Logic 2

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.

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 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

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

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)