Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie - Centralny System Uwierzytelniania
Strona główna

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

Informacje ogólne

Kod przedmiotu: WF-FI-SWIETPol-PCECE
Kod Erasmus / 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. / (brak danych)
Nazwa przedmiotu: Thematic seminar: Polish Contribution to the Study of Classical Propositional logic (1924-1939)
Jednostka: Instytut Filozofii
Grupy:
Punkty ECTS i inne: (brak) Podstawowe informacje o zasadach przyporządkowania punktów ECTS:
  • roczny wymiar godzinowy nakładu pracy studenta konieczny do osiągnięcia zakładanych efektów uczenia się dla danego etapu studiów wynosi 1500-1800 h, co odpowiada 60 ECTS;
  • tygodniowy wymiar godzinowy nakładu pracy studenta wynosi 45 h;
  • 1 punkt ECTS odpowiada 25-30 godzinom pracy studenta potrzebnej do osiągnięcia zakładanych efektów uczenia się;
  • tygodniowy nakład pracy studenta konieczny do osiągnięcia zakładanych efektów uczenia się pozwala uzyskać 1,5 ECTS;
  • nakład pracy potrzebny do zaliczenia przedmiotu, któremu przypisano 3 ECTS, stanowi 10% semestralnego obciążenia studenta.

zobacz reguły punktacji
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

Przedmiot nie jest oferowany w żadnym z aktualnych cykli dydaktycznych.
Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie.
ul. Dewajtis 5,
01-815 Warszawa
tel: +48 22 561 88 00 https://uksw.edu.pl
kontakt deklaracja dostępności USOSweb 7.0.2.0-1 (2024-03-12)