(in Polish) Thematic seminar: Polish Contribution to the Study of Classical Propositional logic (1924-1939)

General data

Course ID:	WF-FI-SWIETPol-PCECE
Erasmus code / ISCED:	08.1 Kod klasyfikacyjny przedmiotu składa się z trzech do pięciu cyfr, przy czym trzy pierwsze oznaczają klasyfikację dziedziny wg. Listy kodów dziedzin obowiązującej w programie Socrates/Erasmus, czwarta (dotąd na ogół 0) – ewentualne uszczegółowienie informacji o dyscyplinie, piąta – stopień zaawansowania przedmiotu ustalony na podstawie roku studiów, dla którego przedmiot jest przeznaczony. / (unknown)
Course title:	(unknown)
Name in Polish:	Thematic seminar: Polish Contribution to the Study of Classical Propositional logic (1924-1939)
Organizational unit:	Institute of Philosophy
Course groups:
ECTS credit allocation (and other scores):	(not available) Basic information on ECTS credits allocation principles: the annual hourly workload of the student’s work required to achieve the expected learning outcomes for a given stage is 1500-1800h, corresponding to 60 ECTS; the student’s weekly hourly workload is 45 h; 1 ECTS point corresponds to 25-30 hours of student work needed to achieve the assumed learning outcomes; weekly student workload necessary to achieve the assumed learning outcomes allows to obtain 1.5 ECTS; work required to pass the course, which has been assigned 3 ECTS, constitutes 10% of the semester student load. view allocation of credits
Language:	English
Subject level:	elementary
Learning outcome code/codes:	FI2_W06 FI2_W07 FI2_W08 FI2_W12 FI2_W16 FI2_U04 FI2_U17 FI2_K05 FI2_K06 FI2_K08
Short description:	(in Polish) 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.
Full description:	(in Polish) 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
Bibliography:	(in Polish) 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.
Assessment methods and assessment criteria:	(in Polish) Traditional lecture and presentations by students
Practical placement:	(in Polish) not applicable

This course is not currently offered.

Course descriptions are protected by copyright.
Copyright by Cardinal Stefan Wyszynski University in Warsaw.