Logika

Timetable

Module aim (aims)

1 przedstawienie historycznej i współczesnej roli logiki w procesie zdobywania wiedzy
2 opis podstawowych systemów logiki starożytnej
3 prezentacja współczesnych klasycznych systemów logiki i ich relacji względem systemów logik nieklasycznych
4 ukazanie możliwości zastosowania logiki i formalnych zasad wnioskowania w procesie pozyskiwania wiedzy

Pre-requisites in terms of knowledge, skills and social competences (where relevant)

Syllabus

1. Gramatyka, logika i retoryka w trivium i sztukach wyzwolonych.
2. Logika w starożytnej Grecji.
3. Podstawowe pojęcia semiotyczne.
4. Język jako system znaków. Nazwy.
5. Logika arystotelesowska.
6. Zdania kategoryczne. Kwadrat logiczny i sylogistyka.
7. Klasyczny rachunek zdań, jego syntaktyka i semantyka.
8. Schematy wnioskowania w klasycznym rachunku zdań.
9. Podstawy klasycznej logiki pierwszego rzędu.
10. Logiki nieklasyczne.

Reading list

Obowiązkowa

1. Ajdukiewicz K., Zarys logiki, Warszawa 1959.
2. Malinowski G., Logika ogólna, Warszawa 2010.
3. Omyła M., Zarys logiki, Warszawa 1995.
4. Stanosz B., Wprowadzenie do logiki formalnej, Warszawa 2005.
5. Ziembiński Z., Logika praktyczna, Warszawa (wiele wydań).