Logika 2 WF-FI-11-LOG2
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.
E-Learning
W cyklu 2020/21_L: E-Learning (pełny kurs) z podziałem na grupy | W cyklu 2019/20_L: E-Learning |
Grupa przedmiotów ogólnouczenianych
Poziom przedmiotu
Symbol/Symbole kierunkowe efektów uczenia się
Typ przedmiotu
Koordynatorzy przedmiotu
W cyklu 2020/21_L: | W cyklu 2019/20_L: |
Efekty kształcenia
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
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)
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
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: