Logika ogólna - wprowadzenie PSY-SJ-p>logika-w

1. Czym się zajmuje logika – w sensie potocznym i naukowym.
2. Elementy historii logiki i jej zastosowań.
3. Podstawowe teorie logiczne i ich związek z analizą języka potocznego oraz sztuką argumentacji.
4. Zdanie w sensie logicznym.
5. Kategorie semantyczne, zdania, spójniki zdaniowe.
6. Klasyczny rachunek zdań (KRZ) – semantyczne definicje funktorów, opuszczanie nawiasów, kwadrat logiczny
7. Metoda zero-jedynkowa w KRZ – pełne i skrócone tabelki, metody skrócone: wprost i nie wprost; programy komputerowe wspomagające sprawdzanie twierdzeń logicznych.
8. System założeniowy KRZ: wypisywanie założeń i celów, reguły pierwotne i wtórne, związki między metodą założeniową i zero-jedynkową (twierdzenie o pełności).
9. Wprowadzenie w aksjomatykę KRZ.
10. Przykłady systemów i twierdzeń logik nieklasycznych.
11. Sylogistyka Arystotelesa: definicje terminów i spójek, sylogizmy zero-, jedno- i dwuprzesłankowe.
12. Metody sprawdzania sprawności sylogizmów: zero-jedynkowe, syntaktyczne, diagramy Venna, prawa sylogizmów, redukcja sylogizmów.
13. Wybrane metody dowodzenia i sprawdzania wyrażeń teorii mnogości.
14. Węższy rachunek predykatów, teoria relacji.
15. Zasady poprawnego definiowania pojęć.
16. Błędy logiczne.

Powyższy cel zostanie zrealizowany w następującyh punktach:
1. Kategorie semantyczne, zdania, spójniki zdaniowe.
2. Klasyczny rachunek zdań; wynikanie i wnioskowanie.
3. Elementy klasycznej teorii zbiorów. Relacje.
4. Elementy klasycznej teorii nazw.
5. Elementarna teoria definicji.
6. Elementy teorii pytań.
7. Arystotelesowska teoria nazw.
8. Podstawy głównych systemów nieklasycznych logik zdaniowych
9. Predykaty i kwantyfikatory.
10. Rudymenty maszyn Turinga.
11. Informacje o definicji prawdy Tarskiego i twierdzeniach Gödla.

Lektury podstawowe:
Z. Wolak, Elementy logiki, skrypt.
G. Malinowski, Logika ogólna, Łódź 2007.
Lektury uzupełniające:
T. Batóg, „Podstawy logiki”, Poznań, UAM, 2003.
L. Borkowski, „Wprowadzenie do logiki i teorii mnogości”, TN KUL, 1991.
B. Stanosz, Logika języka naturalnego, Warszawa 1999.

Lektury podstawowe:
A. Olszewski, „Skrypt z logiki”, Kraków, PAT, 2003; dostępny w internecie: https://www.academia.edu/19807560/Logika_dla_studentów_filozofii
T. Batóg, „Podstawy logiki”, Poznań, UAM, 2003.

Lektury uzupełniające:
M. Tokarz, „Wprowadzenie do logiki”, Katowice, U. Śl, 1999.
L. Borkowski, „Wprowadzenie do logiki i teorii mnogości”, TN KUL, 1991.
P. Łukowski, „Logika praktyczna z elementami wiedzy o manipulacji”, Wolters Kluwer Polska, 2012.

Lektury podstawowe:
A. Olszewski, „Skrypt z logiki”, Kraków, PAT, 2003; dostępny w internecie: https://www.academia.edu/19807560/Logika_dla_studentów_filozofii
T. Batóg, „Podstawy logiki”, Poznań, UAM, 2003.

Lektury uzupełniające:
M. Tokarz, „Wprowadzenie do logiki”, Katowice, U. Śl, 1999.
L. Borkowski, „Wprowadzenie do logiki i teorii mnogości”, TN KUL, 1991.
P. Łukowski, „Logika praktyczna z elementami wiedzy o manipulacji”, Wolters Kluwer Polska, 2012.
R. Smullyan, "First Order Logic", Dover Books on Mathematics, 1995.

1. Kolokwium pisemne.
2. Egzamin pisemny
3. Rozwiązywanie zadań przy tablicy podczas ćwiczeń.