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

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.

W cyklu 2022/2023-Z:

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.

Koordynatorzy przedmiotu

W cyklu 2022/2023-Z:

Zbigniew Wolak

W cyklu 2024/2025-Z:

Robert Piechowicz

Efekty kształcenia

WIEDZA:
1. Wiedza ugruntowana dotycząca wymienionych zagadnień.
2. Wiedza ogólna o pewnych problemach badanych przez logików.
UMIEJĘTNOŚCI:
1. Umiejętność rozpoznania struktury formalnej wypowiedzi.
2. Umiejętność sprawdzenia poprawności wnioskowań.
KOMPETENCJE:
1. Student powinien potrafić na podstawie uzyskanej wiedzy i umiejętności, samodzielnie bez niczyjej pomocy, zanalizować dowolny tekst pod względem jego podstawowych właściwości logicznych.

2. Student powinien potrafić samemu formułować swoje poglądy za pomocą pełnych, samodzielnych zdań, w sposób jasny i precyzyjny oraz swoje przekonania umieć odpowiednio uzasadnić.

Kryteria oceniania

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

Literatura

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.

W cyklu 2022/2023-Z:

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:

Strona przedmiotu PSY-SJ-p>logika-w w USOSweb