Logika [20-2F-LOG] Semestr letni 2017/2018
Ćwiczenia, grupa nr 1

1.J. Bremer, Wprowadzenie do logiki, Wydawnictwo WAM, Kraków 2006.

2.G. Malinowski, Logika ogólna, Wyd. II, Wydawnictwo UŁ, Łódź 2008.

3.B. Stanosz, Wprowadzenie do logiki formalnej, Wydawnictwo Naukowe PWN, Warszawa 2010.

4.B. Stanosz, Ćwiczenia z logiki, Wydawnictwo Naukowe PWN, Warszawa 2004.

1.Przedmiot logiki.

2.Pojęcia języka formalnego, formuł logicznych, zmiennych, stałych logicznych oraz stałych poza-logicznych.

3.Nazwy. Pojęcie desygnatu, denotacji oraz konotacji.

4.Zdania.

5.Logika tradycyjna. Ogólny schemat zdania. Alfabet logiki tradycyjnej. Wnioskowanie dedukcyjne.

6.Zdania kategoryczne. Kwadrat logiczny. Sylogizmy.

7.Klasyczny rachunek zdaniowy (KRZ). Alfabet KRZ. Definicja formuły KRZ.

8.Pojęcie funkcji wartościowania formuł KRZ. Tabele prawdziwościowe spójników zdaniowych KRZ.

9.Pojęcia tautologii KRZ oraz wynikania logicznego w KRZ. Skrócona metoda zero-jedynkowa. Kwadrat logiczny KRZ.

10.Syntaktyczne ujęcia KRZ: ujęcie aksjomatyczne oraz założeniowe.

11.Klasyczny rachunek predykatów (KRP). Alfabet KRP.

12.Definicja formuły atomowej.

13.Podstawowe tautologie KRP. Kwadrat logiczny KRP. Zdania kategoryczne w KRP.

14.Wybrane zagadnienia filozofii logiki i filozofii nauki.

15.Pozytywizm logiczny i program logicyzmu.

dyskusja, indywidualne rozwiązywanie zadań

ocena końcowa jest średnią arytmetyczną dwóch kolokwium

Nakład pracy studenta:

1. Udział w ćwiczeniach: 30 h

2. Zapoznanie się z wybraną literaturą filozoficzną i naukową - 30 h

3. Przygotowanie sie do zaliczenia końcowego - 30 h