Logika 1 WF-FI-11-LOG1
W ramach dwustopniowego kursu logiki zaczynamy od prezentacji podstawowych pojęć z zakresu semiotyki logicznej, uczymy metody sprawdzania spójności wyrażeń. W drugim kroku definiujemy klasyczne znaczenia spójników prawdziwościowych, definiujemy pojęcie tautologii logiki klasycznej i wprowadzamy pojęcie wynikania logicznego. Przedstawiamy także zastosowania wprowadzonych pojęć na gruncie parafrazowanego języka naturalnego. Studenci poznają następnie syntaktyczne ujęcie klasycznej logiki zdaniowej. Zaczynamy od pojęcia systemu dedukcyjnego. Następnie prezentujemy system dedukcji naturalnej w ujęciu Słupeckiego i Borkowskiego dla klasycznej logiki zdaniowej. Wprowadzamy pojęcia z zakresu teorii dowodu. Dowodzimy szeregu twierdzeń KRZ oraz reguł wtórnych. Na klasycznej logice zdaniowej budujemy klasyczny rachunek predykatów pierwszego rzędu z identycznością - prezentujemy aparat dedukcyjny oraz dowody wybranych tez i reguł wtórnych.
E-Learning
W cyklu 2020/21_Z: E-Learning (pełny kurs) z podziałem na grupy | W cyklu 2019/20_Z: E-Learning |
Grupa przedmiotów ogólnouczenianych
Poziom przedmiotu
Symbol/Symbole kierunkowe efektów uczenia się
Typ przedmiotu
Koordynatorzy przedmiotu
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
Aby zaliczyć przedmiot, należy:
1. zaliczyć ćwiczenia;
2. zdać ustny egzamin z wykładu;
3. być obecnym na wykładach (maksymalna liczba nieobecności w semestrze: 3).
Uwaga: Brak zaliczenia ćwiczeń uniemożliwia przystąpienie do egzaminu.
Literatura
Literatura obowiązkowa
1. Ajdukiewicz K., O spójności syntaktycznej, [w:] Język i poznanie. T1, PWN, Warszawa 1985, 222-242
2. Słupecki J., Borkowski L., Elementy logiki matematycznej i teorii mnogości, PWN, Warszawa 1984, (do strony 172)
3. 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: