Logic 02.06-S-L

A. Subjects of the lecture:
1. Elements of name theory: division of names, scope andtreść i zakres nazwy
2. Stosunki między zakresami nazw.
3. Pojęcie zbioru w sensie mereologicznym i dystrybutywnym, diagramy Venna
4. Relacje binarne między zbiorami: zawieranie (właściwe), krzyżowanie, rozłączność, tożsamość.
5. Sylogistyka: język, budowanie schematów zdań, badanie niezawodności trybów sylogistycznych, kwadrat lo-giczny dla zdań kategorycznych;
6. Błąd formalny i materialny.
7. Rodzaje definicji, podstawowe błędy w definiowaiu
8. Pojęcie kategorii syntaktycznej; kategorie wyrażeń językowych: nazwy, zdania, funktory
9. Język naturalny i formalny, metajęzyk
10. Wprowadzenie do logiki formalnej: klasyczny rachunek zdań (KRZ); język KRZ; budowanie schematów zdań na gruncie KRZ;
11. tautologia i kontrtautologia (położenie nacisku na wybrane tautologie),
12. metody badania tautologiczności formuł.

B. Problematyka ćw.:
1. Relacje binarne między zbiorami – rozpoznawanie i opis przypadków w języku Teorii Mnogości i w języku pol-skim,
2. Sylogistyka: zapis i analiza zadanych rozumowań. Dyskusja błędów.
3. Klasyczny Rachunek Zdań: zapis formalny rozumowań, sprawdzanie tautologiczności formuł, twierdzenie o peł-ności KRZ i znaczenie tautologii w KRZ..