Logika

Poziom przedmiotu: podstawowy

Cele przedmiotu: Studium logiki ma za zadanie zapoznać słuchaczy ze specyfiką logiki jako nauki formalnej, podstawami logicznej teorii języka i głównymi teoriami logicznymi mającymi zastosowanie przy badaniu poprawności rozumowań, przeprowadzaniu dowodów i obalaniu twierdzeń. Wykład teoretyczny połączony jest z ćwiczeniami kształcącymi umiejętność prowadzenia analizy logicznej wypowiedzi, zwłaszcza schematów wnioskowania.

Wymagania wstępne: Brak wymagań wstępnych

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

K. Ajdukiewicz, Logika pragmatyczna, Warszawa1974.

L. Borkowski, Logika formalna, Warszawa 1970.

M. Omyła, Zarys logiki, Warszawa1995.

J. Słupecki, L. Borkowski, Elementy logiki matematycznej i teorii mnogości, Warszawa 1969.

Z. Ziembiński, Logika praktyczna, Warszawa 1995.