Polish Contribution to the Study of Classical Propositional logic (1924-1939) WF-FI-SWIETPol-WO
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
E-Learning
Grupa przedmiotów ogólnouczenianych
Poziom przedmiotu
Symbol/Symbole kierunkowe efektów uczenia się
Typ przedmiotu
Koordynatorzy przedmiotu
Kryteria oceniania
Traditional lecture and presentations by students. Class attendance, presentation grade, final text (determined individually)
Praktyki zawodowe
not applicable
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.
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: