Przebieg wykładu

LITERATURA

1. Logika formalna - Klasyczny rachunek zdań:

• Logiczne własności zdań. Spójniki logiczne. Schematy zdań.

• Tautologie. Sprawdzanie statusu formuł.

• Wynikanie logiczne.

• Wnioskowania.

2. Semiotyka:

• Znak, funktor, język, kategorie syntaktyczne.

• Nazwy.

3. Logika Nazw:

• Zdania kategoryczne.

• Rozkłady terminów.

• Wnioskowanie bezpośrednie.

• Związki kwadratu logicznego

• Inne prawa wnioskowania bezpośredniego

4. Sylogistyka:

• Sylogizmy.

• Sprawdzanie poprawności (wnioskowanie pośrednie).

5. Definicje:

• Rodzaje definicji z przykładami

• Stylizacja definicji nominalnych

• Błedy w definiowaniu