Logika z ćwiczeniami 1 WF-FI-LOG
Spis realizowanych tematów:
1. Przedmiot, zadania i metody logiki. Logika versus dialektyka
2. Język jako system znaków. Zmienne i stałe, kategorie syntaktyczne znaków
3. Metoda sprawdzania spójności wyrażeń
4. Język klasycznej logiki zdaniowej, matryce spójników prawdziwościowych, tautologie klasycznej logiki zdaniowej, metoda 0-1
5. Wynikanie logiczne
6. Pojecie systemu dedukcyjnego
7. Klasyczna logika zdaniowa w wersji dedukcji naturalnej i aksjomatycznej
8. Klasyczny rachunek predykatów w wersji dedukcji naturalnej (KRP) i aksjomatycznej
9. KRP z identycznoscia (KRPID)
10 Ontologie mnogościowe i atrybutywne.
11. Algebra zbiorów, teoria relacji
12. Związek między klasyczną logiką zdaniową i algebrą zbiorów
13 Arystotelesowska logika nazw LA
14. Wprowadzenie do logiki nieklasycznej. Logika modalna, logika deontyczna
15. Z zastosowań logiki do filozofii. Przykłady
Poziom przedmiotu
Symbol/Symbole kierunkowe efektów uczenia się
Kryteria oceniania
Koniecznym warunkiem przystąpienia do egzaminu jest zaliczenie ćwiczeń. Student powinien być obecny na wykładzie (maksimum nieobecności w semestrze: 2). Warunkiem ukończenia kursu w drugim semestrze jest zaliczenie zajęć semestru pierwszego. Egzamin ma formę ustną.
Literatura
Literatura obowiązkowa
1. K. Ajdukiewicz, O spójności syntaktycznej, [w:] Język i poznanie. T1, PWN, Warszawa 1985, 222-242
2. J. Słupecki, L. Borkowski, Elementy logiki matematycznej i teorii mnogości, PWN, Warszawa 1984, (do strony 172)
3. E. Nieznański, Logika. Podstawy, język, uzasadnianie, Beck, Warszawa 2011 (fragmenty)
Literatura uzupełniająca:
Wajszczyk J., Wstęp do logiki z ćwiczeniami, Wydawnictwo Uniwersytetu Warminsko-Mazurskiego 2001
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: