Logic
General data
Course ID: | WT-SGD-LOG2 |
Erasmus code / ISCED: |
08.2
|
Course title: | Logic |
Name in Polish: | Logika |
Organizational unit: | Higher Theological Seminary in Gdańsk |
Course groups: | |
ECTS credit allocation (and other scores): |
0 OR
3.00
(depends on study program)
|
Language: | Polish |
(in Polish) Punkty ECTS: | |
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 wymagań wstępnych |
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: pojęcie dowodu logicznego, reguły dowodzenia i przykłady dowodów w klasycznym rachunku zdań. Metody oceny: Egzamin pisemny |
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. |
Classes in period "Winter semester 2022/23" (past)
Time span: | 2022-10-01 - 2023-01-31 |
Navigate to timetable
MO TU W TH FR |
Type of class: |
Lectures, 30 hours
|
|
Coordinators: | Jacek Meller | |
Group instructors: | Jacek Meller | |
Students list: | (inaccessible to you) | |
Examination: |
Course -
graded credit
Lectures - graded credit |
|
Type of subject: | obligatory |
|
(in Polish) Grupa przedmiotów ogólnouczenianych: | (in Polish) nie dotyczy |
Classes in period "Winter semester 2023/24" (past)
Time span: | 2023-10-01 - 2024-01-31 |
Navigate to timetable
MO TU W TH FR |
Type of class: |
Lectures, 30 hours
|
|
Coordinators: | Jacek Meller | |
Group instructors: | Jacek Meller | |
Students list: | (inaccessible to you) | |
Examination: |
Course -
graded credit
Lectures - graded credit |
|
Type of subject: | obligatory |
|
(in Polish) Grupa przedmiotów ogólnouczenianych: | (in Polish) nie dotyczy |
Classes in period "Summer semester 2023/24" (in progress)
Time span: | 2024-02-15 - 2024-06-30 |
Navigate to timetable
MO TU W TH FR |
Type of class: |
Lectures, 15 hours
|
|
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 |
Copyright by Cardinal Stefan Wyszynski University in Warsaw.