Logika 1 WF-FI-N11-L1
Wykład (WYK) Semestr zimowy 2023/24

-obowiązkowa:

1. Ajdukiewicz K., "O spójności syntaktycznej", w: Język i poznanie. T1, PWN, Warszawa 1985, s. 222-242;

2. Słupecki J., Borkowski L., Elementy logiki matematycznej i teorii mnogości, PWN, Warszawa 1984, do strony 172;

3. Nieznański E., Logika. Podstawy, język, uzasadnianie, Beck, Warszawa 2011 (fragmenty),

- uzupełniająca:

1. Malinowski G. Logika ogólna, PWN Warszawa 2010;

2. Wajszczyk J., Wstęp do logiki z ćwiczeniami, Wydawnictwo Uniwersytetu Warminsko-Mazurskiego 2001.

1. Wiedza: Student ma uporządkowaną znajomość i rozumie główne kierunki badań w zakresie logiki; zna podstawowe metody badawcze: metodę analizy logicznej, dedukcję sformalizowaną (dowodzenie, wnioskowanie) w ramach logiki klasycznej.

2. Umiejętności: Student trafnie definiuje pojęcia na gruncie poznanych języków formalnych, poprawnie stosuje wybrane pojęcia logiczne, zna scharakteryzowane systemy dedukcyjne logiki klasycznej

3. Kompetencje: Na podstawie analizy nowych sytuacji problemowych z zakresu logiki student samodzielnie formułuje propozycje ich rozwiązania - potrafi samodzielnie konstruować dowody nowych lematów i twierdzeń, falsyfikować formuły nietautologiczne, orzekać czy zachodzi wynikanie logiczne w prostych rozumowaniach pozalogicznych.

Warunkami, które należy spełnić łącznie, aby zaliczyć wykład jest obecność na zajęciach (maksymalna liczba dozwolonych nieobecności: 3x45 min) oraz zdanie egzaminu ustnego w sesji zimowej. W ramach egzaminu student dostaje trzy pytania; minimum potrzebne do zaliczenia to pełna odpowiedź na jedno pytanie i częściowa odpowiedź na któreś z pozostałych pytań.

Uwaga: Brak zaliczenia ćwiczeń uniemożliwia przystąpienie do egzaminu.

1. Przedmiot, zadania i metody logiki. Logika versus dialektyka

2. Logiczna koncepcja języka

3. Zmienne i stałe, kategorie syntaktyczne znaków

4. Metoda sprawdzania spójności wyrażeń

5. Język klasycznej logiki zdaniowej, matryce spójników prawdziwościowych, tautologie klasycznej logiki zdaniowej

6. Tautologie klasycznej logiki zdaniowej, metoda 0-1

7. Wynikanie logiczne

8. Pojęcie systemu dedukcyjnego. Systemy dedukcji naturalnej i systemy aksjomatyczne

9. Klasyczna logika zdaniowa w wersji dedukcji naturalnej Słupeckiego i Borkowskiego

10. Reguły pierwotne KRZ w wersji Słupeckiego i Borkowskiego, pojęcia: teza, metateza, wtórna reguła wnioskowania

11. Tezy i reguły wtórne KRZ (1/2)

12. Tezy i reguły wtórne KRZ (2/2)

13. Klasyczna rachunek predykatów w wersji Słupeckiego i Borkowskiego (reguły pierwotne)

14. KRP – tezy i reguły wtórne (1/2)

15. KRP – tezy i reguły wtórne (2/2)

Tradycyjny wykład uniwersytecki z elementami prezentacji multimedialnej.

W przypadku konieczności prowadzenia zajęć on-line korzystamy z MS Teams. W trakcie trwania wykładu wszyscy uczestnicy są zobowiązani do włączenia kamer.