Zapomniałeś hasła? |

Sylabus przedmiotu

Drukuj
Przedmiot: Wprowadzenie do logiki
Kierunek: Kognitywistyka, I stopień [6 sem], stacjonarny, ogólnoakademicki, rozpoczęty w: 2014
Rok/Semestr: I/1
Liczba godzin: 30,0
Nauczyciel: Gurczyński Jacek, dr
Forma zajęć: konwersatorium
Rodzaj zaliczenia: zaliczenie na ocenę
Poziom trudności: podstawowy
Metody dydaktyczne:
  • metoda przypadków
Zakres tematów:

1. Zdanie w sensie logicznym i zdanie w sensie gramatycznym;

2. Wprowadzenie do klasycznego rachunku zdań; ekstensjonalność i intensjonalność; schematy zdań, wartości logiczne, klasyczne spójniki zdaniowe i ich matryce;

3. Rozstrzyganie o prawdziwości/fałszywości zdania, metoda zerojedynkowa;

4. Tautologie, kontrtautologie;

5. Skrocona metode zerojedynkowa; pojęcie dowodu wprost i niewprost, zasada sprowadzania do absurdu;

6. Schematy wnioskowań - dedukcja i indukcja; błędy wnioskowania: błąd formalny i błąd materialny;

7. Dedukcja naturalna;

8. Wprowadzenie do rachunku predykatów: predykaty, kwantyfikatory, kwantyfikatorowa struktura zdań.
Forma oceniania:
  • obecność na zajęciach
  • ocena ciągła (bieżące przygotowanie do zajęć i aktywność)
  • śródsemestralne ustne kolokwia
Literatura:
  1. B. Stanosz, Ćwiczenia z logiki, PWN, Warszawa 1982 i wyd. późniejsze;
  2. T. Hołówka, Kultura logiczna w przykładach. PWN, Warszawa 2005;
  3. W. Marciszewski, Mala encyklopedia logiki, Ossolineum, Wrocław 1988.