Cardinal Stefan Wyszynski University in Warsaw - Central Authentication System

Logic

General data

Course ID:	WT-SGD-LOG1
Erasmus code / ISCED:	08.2 Kod klasyfikacyjny przedmiotu składa się z trzech do pięciu cyfr, przy czym trzy pierwsze oznaczają klasyfikację dziedziny wg. Listy kodów dziedzin obowiązującej w programie Socrates/Erasmus, czwarta (dotąd na ogół 0) – ewentualne uszczegółowienie informacji o dyscyplinie, piąta – stopień zaawansowania przedmiotu ustalony na podstawie roku studiów, dla którego przedmiot jest przeznaczony. / (0221) Religion and theology The ISCED (International Standard Classification of Education) code has been designed by UNESCO.
Course title:	Logic
Name in Polish:	Logika
Organizational unit:	Higher Theological Seminary in Gdańsk
Course groups:
ECTS credit allocation (and other scores):	2.00 (differs over time) Basic information on ECTS credits allocation principles: the annual hourly workload of the student’s work required to achieve the expected learning outcomes for a given stage is 1500-1800h, corresponding to 60 ECTS; the student’s weekly hourly workload is 45 h; 1 ECTS point corresponds to 25-30 hours of student work needed to achieve the assumed learning outcomes; weekly student workload necessary to achieve the assumed learning outcomes allows to obtain 1.5 ECTS; work required to pass the course, which has been assigned 3 ECTS, constitutes 10% of the semester student load. view allocation of credits
Language:	Polish
(in Polish) Punkty ECTS:
Subject level:	elementary
Learning outcome code/codes:	enter learning outcome code/codes
Short description:	(in Polish) 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
Full description:	(in Polish) 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
Bibliography:	(in Polish) 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.
Efekty kształcenia i opis ECTS:	(in Polish) 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ń

Classes in period "Summer semester 2021/22" (past)

Time span:	2022-02-01 - 2022-06-30	Selected timetable range: weekly course term Navigate to timetable
Type of class:	Lectures, 15 hours more information
Coordinators:	Jacek Meller
Group instructors:	Jacek Meller
Students list:	(inaccessible to you)
Examination:	Course - examination Lectures - examination
Type of subject:	obligatory
(in Polish) Grupa przedmiotów ogólnouczenianych:	(in Polish) nie dotyczy

Course descriptions are protected by copyright.
Copyright by Cardinal Stefan Wyszynski University in Warsaw.