Polish Contribution to the Study of Classical Propositional logic (1924-1939)
Informacje ogólne
Kod przedmiotu: | WF-FI-SWIETPol-ER |
Kod Erasmus / ISCED: |
08.1
|
Nazwa przedmiotu: | Polish Contribution to the Study of Classical Propositional logic (1924-1939) |
Jednostka: | Instytut Filozofii |
Grupy: | |
Punkty ECTS i inne: |
(brak)
|
Język prowadzenia: | angielski |
Poziom przedmiotu: | podstawowy |
Symbol/Symbole kierunkowe efektów uczenia się: | FI2_W06 FI2_W07 FI2_W08 FI2_W12 FI2_W16 FI2_U04 FI2_U17 FI2_K05 FI2_K06 FI2_K08 |
Skrócony opis: |
Lecture and seminar is focused on the most fruitful period of the development of Polish logic in the history of this discipline. During the period (1924-1939) - in frame of activity of Lvov-Warsaw School, the most significant results arise, in particular regarding propositional logics and among them: classical propositional logic. The latter is a basic system for many modern logics and formal systems applied to philosophy and science. This is a good reason to broaden knowledge about the contribution of Polish logicians to research on this calculus. We present historical context of these researches. Next, we give an elementary introduction to modern description of classical propositional logic. Referring to this description we present selected systems of Łukasiewicz, Tarski, Leśniewski, Sobociński, Wajsberg and Jaśkowski. |
Pełny opis: |
We present the following topics: 1. Pedigree of Polish logicians. The Lviv-Warsaw School and its historical map. 2. LWS's ideas and selected stereotypes 3. Historical map of Polish logicians (1924-1939): Łukasiewicz, Leśniewski, Tarski, Sobociński, Wajsberg, Jaśkowski, Lindenbaum, Lejewski 4. Introduction to modern logic. Language as a system of symbols 5. Language of CLS 6. Matrixes, valuations, tautologies 7. Natural deduction by Słupecki and Borkowski 8. Natural deduction by Jaśkowski 9. Standard axiomatic system of CLS 10. Coming back to LWS. Selected axiomatics of CLS 11. CLS with operator variables |
Literatura: |
Obligatory literature: 1. "The Lvov-Warsaw School. Past and Present, A. Garrido, U. Wybraniec-Skardowska (eds), Birkhauser, Springer 2018 (fragments), 2. G. Davies, L. Ekenberg, J. Thorbiornson, "Propositional logic - An Introduction", Sine Metu 2009. Additional literature: 1. J. Jadacki, "Polish Analytical Philosophy", Semper, Warsaw 2009; 2. J. Woleński, "Logic and Philosophy in the Lvov-Warsaw School", Kluver Academic Publ. 1989. |
Metody i kryteria oceniania: |
Traditional lecture and presentations by students |
Praktyki zawodowe: |
not applicable |
Właścicielem praw autorskich jest Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie.