Logika FIL-SL>Logika-w-2
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.
|
W cyklu 2023/2024-L:
Material do powtórzenia z semestru zimowego obejmuje takie partie: |
Tryb zajęć
Koordynatorzy przedmiotu
Efekty kształcenia
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
Kryteria oceniania
Egzamin końcowy – pisemny/ustny. Obowiązuje materiał przedstawiony w czasie wykładów. Warunkiem dopuszczenia do egzaminu jest zaliczenie ćwiczeń.
Literatura
1. NOTATKI Z WYKŁADÓW,
2. Batóg T., „Podstawy logiki”, Poznań 1999.
3. Olszewski A., skrypt dostępny na stronie internetowej wykładowcy,
4. Borkowski L., Logika formalna, Warszawa 1970.
|
W cyklu 2023/2024-L:
skrypt dostępny w internecie: Adam Olszewski "Podstawy logiki klasycznej dla filozofów". |
Uwagi
|
W cyklu 2023/2024-L:
Trochę sie tym martwię :) |
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: