Logika WT-SGD-LOG2

Treści merytoryczne:
1. Zagadnienia wstępne: koncepcja logiki, przedmiot materialny i formalny, metoda, związki z innymi naukami filozoficznymi i szczegółowymi, zarys historii logiki.
2. Język: pojęcie języka, jego struktura, rodzaje języków, typy wypowiedzi i ich funkcje.
3. Nazwa: pojęcie nazwy, korelaty semantyczne, stosunki między zakresami nazw.
4. Logika nazw (1):.zdania kategoryczne, ich wzajemne związki, kwadrat logiczny.
5. Logika nazw (2): pojęcie niezawodnego schematu wnioskowania, badanie sylogizmów logiki nazw.
6. Logika nazw (3): analiza wypowiedzi w języku naturalnym w świetle logiki nazw.
7. Logika nazw (4): analiza wypowiedzi w języku naturalnym w świetle logiki nazw.
8. Wieloznaczność: pojęcie i podział wieloznaczności, analiza wieloznacznych wypowiedzi w języku naturalnym.
9. Zdanie: pojęcie zdania, korelaty semantyczne, sprzeczność i przeciwieństwo zdań, zasady sprzeczności i wyłączonego środka.
10. Logika zdań (1): spójniki prawdziwościowe.
11. Logika zdań (2): pojęcie tautologii, badanie tautologiczności formuł klasycznego rachunku zdań.
12. Logika zdań (3): badanie tautologiczności schematów wypowiedzi w języku naturalnym w świetle klasycznego rachunku zdań.
13. Logika zdań (4): badanie tautologiczności schematów wypowiedzi w języku naturalnym w świetle klasycznego rachunku zdań.
14. Wynikanie: pojęcie wynikania implikacyjnego, logicznego i inferencyjnego
15. Dowód: pojęcie dowodu logicznego, reguły dowodzenia i przykłady dowodów w klasycznym rachunku zdań.

Metody oceny:
Egzamin pisemny