Logika WT-SGD-LOG1

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

E-Learning

E-Learning z podziałem na grupy

Grupa przedmiotów ogólnouczenianych

nie dotyczy

Poziom przedmiotu

podstawowy

Punkty ECTS

(brak danych)

Symbol/Symbole kierunkowe efektów uczenia się

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.

Typ przedmiotu

obowiązkowy

Koordynatorzy przedmiotu

Jacek Meller

Efekty kształcenia

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ń

Literatura

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.

Więcej informacji

Więcej informacji o poziomie przedmiotu, roku studiów (i/lub semestrze) w którym się odbywa, o rodzaju i liczbie godzin zajęć - szukaj w planach studiów odpowiednich programów. Ten przedmiot jest związany z programami:

Teologia - studia jednolite magisterskie stacjonarne (seminarium Gdańsk)

Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb:

Strona przedmiotu WT-SGD-LOG1 w USOSweb