Logika

podstawowy

TMA_W09 - ma uporządkowaną i pogłębioną wiedzę z zakresu filozofii i prawa kanonicznego

TMA_U02 - posiada umiejętności badawcze w zakresie teologii, obejmujące zwłaszcza analizę tekstów filozoficznych, biblijnych i teologicznych, syntezę różnych idei i poglądów, dobór metod i konstruowanie narzędzi badawczych, opracowanie i prezentację wyników, pozwalające na oryginalne rozwiązywanie złożonych problemów

TMA_U09 - posiada umiejętność merytorycznego argumentowania, prowadzenia merytorycznej dyskusji światopoglądowej dotyczącej zagadnień teologicznych i życia Kościoła, z wykorzystaniem własnych poglądów oraz poglądów zaczerpniętych z literatury, formułowania wniosków oraz tworzenia syntetycznych podsumowań

TMA_U20 - posiada kompetencje komunikacyjne w zakresie różnych form komunikacji (indywidualnej i masowej, bezpośredniej i zapośredniczonej; wewnętrznej i zewnętrznej); konstruuje i prawidłowo interpretuje przekazy komunikacyjne.

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

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: pojecie dowodu logicznego, reguły dowodzenia i przykłady dowodów w klasycznym rachunku zdań.

Metody oceny: egzamin pismeny

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.

1. rozumie specyfikę nauk formalnych, w tym logiki

2. definiuje podstawowe pojęcia z zakresu logiki formalnej i semiotyki

3. rozpoznaje schemat formalny wypowiedzi w języku naturalnym

4. bada poprawność rozumowań w teorii nazw i klasycznym rachunku zdań

5. wykrywa i klasyfikuje wypowiedzi wieloznaczne

6. zachowuje krytycyzm w odniesieniu do schematów wyprowadzania wniosków, analizuje schematy rozumowań