Logika (ćwiczenia) TWT-KP-SM>Logika-c
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.
Tryb zajęć
Koordynatorzy przedmiotu
Efekty kształcenia
1. Ma podstawową wiedzę o roli poszczególnych nauk w poznaniu, o ich specyfice przedmiotowej i metodologicznej, oraz zna miejsce i znaczenie filozofii pośród tych nauk (1. K_W01).
2. Dysponuje uporządkowanymi podstawowymi wiadomościami z dziedziny filozofii poznania, semiotyki i metodologii nauk, oraz logiki (2. K_W10).
3. Zna metody badawcze i strategie argumentacyjne właściwe dla filozofii poznania, semiotyki i metodologii nauk, oraz logiki (3. K_W14).
4. Potrafi właściwie wykorzystać świadectwa empiryczne do krytyki bądź uzasadnień tez ogólnych, idei i stanowisk filozoficznych (4. K_U13).
5. Zna zakres posiadanej przez siebie wiedzy i posiadanych umiejętności, rozumie potrzebę ciągłego dokształcania się i rozwoju zawodowego (5. K_K01)
Kryteria oceniania
1. Kolokwium pisemne.
2. Egzamin ustny.
3. Rozwiązywanie zadań przy tablicy podczas ćwiczeń.
Literatura
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.
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: