Logika 2
Informacje ogólne
Kod przedmiotu: | WF-FI-11-LOG2 |
Kod Erasmus / ISCED: |
08.1
|
Nazwa przedmiotu: | Logika 2 |
Jednostka: | Instytut Filozofii |
Grupy: | |
Punkty ECTS i inne: |
(brak)
|
Język prowadzenia: | polski |
Poziom przedmiotu: | podstawowy |
Symbol/Symbole kierunkowe efektów uczenia się: | FI1_W07 FI1_W12 FI1_U06 FI1_U09 FI1_K03 |
Skrócony opis: |
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. |
Pełny opis: |
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. |
Literatura: |
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: |
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 |
Metody i kryteria oceniania: |
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) |
Właścicielem praw autorskich jest Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie.