Wykład monograficzny II z filozofii Logical Representations of Philosophical Notion of Chanage Friday, 16:45-18:15 Wóycickiego 1/3, b. 23, room 310 Teacher: dr hab.kordula Świętorzecka, prof. CSWU In frame of the presented lecture there are considered certain theories based on the sentential logic of change LCG (K. Świętorzecka, Classical Conceptions of the Changeability of Situations and Things Represented in Formalized Languages, Ed. CSWU 2008). LCG logic is intended to describe substantial changes which play a fundamental part in Aristotelian (classical) vision of reality. It comes out that LCG calculus posses interesting formal properties (the notion of changeability is characterised in LCG axiomatically without refering to temporal notions, LCG in neither normal nor monotonic, antymonotonic). LCG gives also an opportunity to consider other types of changes - in particular: epistemic ones. In frame of the intended semantics for LCG the changeability is interpreted in so-called histories of situational changes. Every history is a sequence of conjunctions of some elementary sentences and negations of some others. There are described two types of changes in such a semantics: (a) dychotomic changes which are connected with a change of truth values of sentences - they are called C-changes (they occur just when it is the case that A and next it is not-a or when it is the case that not-a and next it is A) and changes which are linked with growing spectrum of informations (epistemic interpretation) and force us to extend the language used for their description by adding new elementary sentences - so-called G-changes. Some connections between certain axioms and certain properties of such histories allow us to reconstruct conceptions of change attributed to Parmenides, Heraclitus, Zenon from Elea. Another interesting attempt of some extention of LCG is based on linking LCG with one of the crucial sentential modal logic - S4. 1
CONTENTS At the beginning of every lecture there is given a vocabulary of basic specific terms together with polish translation (1-4) An outline of the history: formalizations of the notion of change (temporal systems of Prior, von Wright, Wajszczyk) (5-6) Description of the sentential logic of change LCG (7-8) Adaptation of a semantics of possible worlds to the interpretation of LCG (9-10) Philosophical inspirations linked with the changeability described by LCG. Aristotelian theory of change. Conceptions of Parmenides, Zenon, Heraclitus. Inspiracje filozoficzne pojęcia zmiany reprezentowanego w LCG. (11-12) Modal complement of LCG epistemic interpretation of intuitionisstic logic by A. Grzegorczyk (13-14) Situational change in terms of modal logic S4 - calculus LCS4 BIBLIOGRAPHY Grzegorczyk Andrzej, 1964, A Philosophicaly Plausible Formal Interpretation of Intuitionistic Logic, Indagationes Mathematicae 26, 596-601; Świętorzecka Kordula, 2008, Odwzorowane w językach sformalizowanych klasyczne koncepcje zmienności sytuacji i rzeczy, Ed. CSWU Świętorzecka Kordula, 2008, Classical Conceptions of the Changeability of Situations and Things Represented in Formalized Languages, Ed. CSWU Świętorzecka Kordula, 2009, Between the Logic of Parmenides and the Logic of Liar, Bulletin of the Section of Logic, vol 38: 3/4 (2009), 123-134; Wajszczyk Józef, 1995, Logika a czas i zmiana, High School of Pedagogy, Olsztyn; 2
Wajszczyk Józef, 1995, The logic of dichotomic changes, Bulletin of the Section of Logic, vol 24, Nr 2, 89-97; von Wright Georg Henrik, 1965, And Next, Acta Philosophica Fennica, fasc. 18; 3
WYKŁAD MNONGRAFICZNY II Z FILOZOFII Logiczne reprezentacje filozoficznego pojęcia zmiany Piątek, 16:45-18:15 Wóycickiego 1/3, b. 23, sala 310 Osoba prowadząca: dr hab. Kordula Świętorzecka Przedmiotem rozważania będą wybrane teorie oparte na zdaniowej logice zmiany LCG (K. Świętorzecka, Odwzorowane w językach sformalizowanych klasyczne koncepcje zmienności sytuacji i rzeczy ; Wyd. UKSW 2008). Logika LCG jest dedykowana opisowi zmian substancjalnych, które odgrywają fundamentalną rolę w ramach Arystotelesowskiej (klasycznej) wizji rzeczywistości. Rachunek jest formalizmem o ciekawych własnościach formalnych (w LCG aksjomatycznie charakteryzuje się zmienność, bez odwoływania się do pojęć temporalnych, logika LCG nie jest normalna, monotoniczna ani antymonotoniczna) oraz takim, który daje możliwość rozważania także innych typów zmian w szczególności zmian o naturze epistemicznej. W ramach zamierzonej semantyki dla LCG, zmienność interpretuje się w tzw. historiach zmian sytuacyjnych. Każda historia jest pewnego rodzaju ciągiem koniunkcji zdań elementarnych i ich negacji. W klasie wszystkich historii opisuje się dwojakiego typu zmiany: (a) zmiany dychotomiczne związane ze zmianą wartości logicznej zdań są to tzw. C-zmiany (zachodzą one wtedy, gdy jest tak, że A, a następnie: nie-a lub: jest tak, że nie-a, a następnie: A), oraz zmiany związane z powiększającym się spektrum informacji (interpretacja epistemiczna), których opis wymaga rozszerzenia języka, w którym taką zmianę opisujemy o nowe zdania elementarne tzw. G-zmiany. Niektóre związki między wybranymi aksjomatami a określonymi własnościami wyróżnionych historii pozwalają odtworzyć koncepcje zmiany przypisywane Parmenidesowi, Heraklitowi, Zenonowi z Elei (C-zmiany). Inną próbą rozszerzenia LCG jest sprzężenie logiki LCG z jednym z kluczowych systemów modalnych S4 (G-zmiany). PLAN (1-4) Rys historyczny dotychczasowych formalizacji pojęcia zmiany (wybrane systemy temporalne Priora, von Wrighta, Wajszczyka) (5-6) Charakterystyka zdaniowej logiki zmiany LCG (7-8) Adaptacja semantyki światów możliwych dla LCG 4
(9-10) Inspiracje filozoficzne pojęcia zmiany reprezentowanego w LCG. Arystotelesowska teoria zmiany. Koncepcje Parmenidesa, Heraklita, Zenona z Elei (11-12) Modalne uzupełnienie logiki LCG epistemiczna interpretacja logiki intuicjonistycznej w wykonaniu Grzegorczyka (13-14) Zmiana sytuacyjna w terminach modalnej logiki S4 - formalizm LCS4 LITERATURA Grzegorczyk Andrzej, 1964, A Philosophicaly Plausible Formal Interpretation of Intuitionistic Logic, Indagationes Mathematicae 26, s. 596-601; Świętorzecka Kordula, 2008, Odwzorowane w językach sformalizowanych klasyczne koncepcje zmienności sytuacji i rzeczy, Wyd. UKSW Świętorzecka Kordula, 2008, Classical Conceptions of the Changeability of Situations and Things Represented in Formalized Languages, Wyd. UKSW Świętorzecka Kordula, 2009, Between the Logic of Parmenides and the Logic of Liar, Bulletin of the Section of Logic, vol 38: 3/4 (2009), s. 123-134; Wajszczyk Józef, 1995, Logika a czas i zmiana, Wyższa Szkoła Pedagogiczna, Olsztyn; Wajszczyk Józef, 1995, The logic of dichotomic changes, Bulletin of the Section of Logic, vol 24, Nr 2, s. 89-97; von Wright Georg Henrik, 1965, And Next, Acta Philosophica Fennica, fasc. 18; 5