Logic 2
General data
Course ID: | WF-FI-11-LOG2 |
Erasmus code / ISCED: |
08.1
|
Course title: | Logic 2 |
Name in Polish: | Logika 2 |
Organizational unit: | Institute of Philosophy |
Course groups: | |
ECTS credit allocation (and other scores): |
(not available)
|
Language: | Polish |
Subject level: | elementary |
Learning outcome code/codes: | FI1_W07 FI1_W12 FI1_U06 FI1_U09 FI1_K03 |
Short description: |
(in Polish) Kurs jest kontynuacją tematyki prezentowanej w semestrze zimowym. Omawia się wybrane systemy oparte na ontologii mnogościowej (algebra zbiorów) i atrybutywnej (logika nazw Arystotelesa). Definiuje się związki między wybranymi fragmentami klasycznej logiki a teorią zbiorów. Kurs obejmuje ponadto podstawowe informacje z zakresu logik nieklasycznych (logiki modalne, deontyczne). Pokazuje się także elementy zastosowań logiki do filozofii. Kurs przeznaczony jest dla studentów, którzy ukończyli kurs Logika 1. |
Full description: |
(in Polish) Kontynuujemy prezentację pojęć i twierdzeń wprowadzonych w semestrze zimowym. Zaczynamy od omówienia ram ontologicznych typu mnogościowego i atrybutywnego. Wprowadzamy sposób definiowania indukcyjnego oraz rozumowania dedukcyjno/indukcyjne (indukcja matematyczna). Rozszerzamy klasyczny rachunek predykatów z identycznością do algebry zbiorów w ujęciu Słupeckiego i Borkowskiego. Następnie omawiamy elementy teorii relacji oraz stosunek między KRZ a algebrą zbiorów. Przesuwamy akcent na zagadnienia z zakresu historii logiki i zastosowania logiki do filozofii. Omawiamy logikę nazw Arystotelesa w ujęciu tradycyjnym i współczesnym, następnie wprowadzamy elementy charakterystyki niektórych logik nieklasycznych (funktory modalne, temporalne deontyczne). Kurs wzbogacamy o wybrane przykłady zastosowań logiki. |
Bibliography: |
(in Polish) Literatura obowiązkowa 1. Słupecki J., Borkowski L., Elementy logiki matematycznej i teorii mnogości, PWN, Warszawa 1984, (do strony 172) 2. Nieznański E., Logika. Podstawy, język, uzasadnianie, Beck, Warszawa 2011 (fragmenty) Literatura uzupełniająca Wajszczyk J., Wstęp do logiki z ćwiczeniami, Wydawnictwo Uniwersytetu Warminsko-Mazurskiego 2001 |
Efekty kształcenia i opis ECTS: |
(in Polish) Wiedza: 1. Student ma uporządkowaną znajomość i rozumie główne kierunki badań w zakresie logiki; zna podstawowe metody badawcze: metodę analizy logicznej, dedukcję sformalizowaną (dowodzenie, wnioskowanie) w ramach logiki klasycznej Umiejętności: 2. Student trafnie definiuje pojęcia na gruncie poznanych języków formalnych, poprawnie projektuje definicje własnych terminów; zna podstawy logiki klasycznej Kompetencje: 3. Na podstawie analizy nowych sytuacjii problemowych student samodzielnie formułuje propozycje ich rozwiązania (dowody lematów i twierdzeń). OPIS ECTS: udział w wykładzie 30; przygotowanie do wykładu 30; czas na uzupełnienie informacji z wykładu tymi, które są prezentowane na ćwiczeniach 30; przygotowanie do egzaminu 40; SUMA GODZIN 130 [110 : 25 =6]; LICZBA ECTS 6 |
Assessment methods and assessment criteria: |
(in Polish) Przewiduje się semestralny egzamin ustny. Aby zdawać egzamin, należy: 1. mieć ukończony kurs Logika 1; 2. zaliczyć ćwiczenia do wykładu; 3. być obecnym na wykładach (dopuszczalna liczba nieobecności: 3) |
Copyright by Cardinal Stefan Wyszynski University in Warsaw.