Logika FIL-SL>Logika-w-1

Klasyczny rachunek zdań
- system tablic analitycznych (semantycznych)
- uwagi o systemach aksjomatycznych KRZ
- algebra zbiorów
- teoria relacji z formalnymi własnościami relacji
- uwagi o rachunku nazw Arystotelesa
Klasyczny rachunek predykatów
- język rachunku predykatów
- system tablic analitycznych
- metoda aksjomatyczna
- pełność systemu rachunku predykatów
- dowodzenie tez rachunku predykatów

W cyklu 2024/2025-Z:

Klasyczna logika pierwszego rzędu (klasyczny rachunek predykatów)
- zagadnienia wstępne, język i składnia klasycznego rachunku predykatów (KRP)
- syntaktyczny opis KRP
- własności syntaktyczne KRP
- twierdzenie o dedukcji dla KRP
- inne twierdzenia (również niesprzeczność) o syntaktycznych własnościach KRP
- definicja interpretacji
- definicja spełniania formuł KRP
- pojęcie prawdy
- tautologie KRP
- modele
- pełność KRP
- pojęcie wynikania
- definicje predykatów, symboli funkcyjnych
- definicje indukcyjne.

Tryb zajęć

Stacjonarne

Koordynatorzy przedmiotu

Adam Olszewski

Efekty kształcenia

- znajomość KRZ, algebry zbiorów, podstaw teorii relacji
- umiejętność dowodzenia,
- podstawowa znajomość satruktury systemów aksjomatyczno-dedukcyjnych
- umiejętność logicznego argumentowania

Kryteria oceniania

egzamin końcowy pisemny obejmuje materiał wykładany podczas zajęć. Zostanie podana lista pytań, spośród których zostaną wybrane zadania w czasie egzaminu.

Literatura

A. Olszewski, Logika dla filozofów, skrypt.
R. Smullyan, First-order Logic. Dover 1994.
T. Batóg, Podstawy logiki, UAM, 2000.

W cyklu 2024/2025-Z:

1. NOTATKI Z WYKŁADÓW,
2. R. Smullyan, First-Order Logic. Doer Publications 1994.
3. Olszewski A., skrypt dostępny na stronie internetowej wykładowcy,
4. Borkowski L., Logika formalna, Warszawa 1970.

Uwagi

W cyklu 2024/2025-Z:

1. student dysponuje uporządkowanymi podstawowymi wiadomościami z dziedziny filozofii poznania, semiotyki i metodologii nauk, oraz logiki K_W10

2. Student zna metody badawcze i strategie argumentacyjne właściwe dla filozofii poznania, semiotyki i metodologii nauk, oraz logiki K_W14

3. Student zna podstawy logiki oraz typowe strategie argumentacyjne K_U07

4. Student uznaje konieczności odwoływania się do racjonalnej argumentacji w debatach na temat współczesnych problemów i rozumie odpowiedzialność filozofa za racjonalny charakter sporów K_K08

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 FIL-SL>Logika-w-1 w USOSweb