Logika 1 WF-FI-N11-L1
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.
W cyklu 2021/22_Z:
Opis pokrywa się z opisem zamieszczonym w informacjach ogólnych o przedmiocie. |
W cyklu 2022/23_Z:
Opis pokrywa się z opisem zamieszczonym w informacjach ogólnych o przedmiocie. |
W cyklu 2023/24_Z:
Opis pokrywa się z opisem zamieszczonym w informacjach ogólnych o przedmiocie. |
Dyscyplina naukowa, do której odnoszą się efekty uczenia się
E-Learning
Grupa przedmiotów ogólnouczenianych
Poziom przedmiotu
Symbol/Symbole kierunkowe efektów uczenia się
Typ przedmiotu
Koordynatorzy przedmiotu
W cyklu 2023/24_Z: | W cyklu 2022/23_Z: | W cyklu 2021/22_Z: |
Efekty kształcenia
1. Wiedza: 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.
2. Umiejętności: Student trafnie definiuje pojęcia na gruncie poznanych języków formalnych, poprawnie stosuje wybrane pojęcia logiczne, zna scharakteryzowane systemy dedukcyjne logiki klasycznej
3. Kompetencje: Na podstawie analizy nowych sytuacji problemowych z zakresu logiki student samodzielnie formułuje propozycje ich rozwiązania - potrafi samodzielnie konstruować dowody nowych lematów i twierdzeń, falsyfikować formuły nietautologiczne, orzekać czy zachodzi wynikanie logiczne w prostych rozumowaniach pozalogicznych.
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 kartkówek 15, przygotowanie do egzaminu 40; SUMA GODZIN 150; [150 : 30 =5]; LICZBA ECTS 5
Kryteria oceniania
Aby zaliczyć przedmiot, należy:
1. zaliczyć ćwiczenia;
2. zdać ustny egzamin z wykładu;
3. być obecnym na wykładach i ćwiczeniach.
Uwaga: Brak zaliczenia ćwiczeń uniemożliwia przystąpienie do egzaminu.
Warunki zaliczenia ćwiczeń i egzaminacyjne są określone w opisie szczegółowym.
Praktyki zawodowe
nie dotyczy
Literatura
-obowiązkowa:
1. Ajdukiewicz K., "O spójności syntaktycznej", w: Język i poznanie. T1, PWN, Warszawa 1985, s. 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),
- uzupełniająca:
1. Malinowski G. Logika ogólna, PWN Warszawa 2010;
2. Wajszczyk J., Wstęp do logiki z ćwiczeniami, Wydawnictwo Uniwersytetu Warminsko-Mazurskiego 2001.
Uwagi
W cyklu 2021/22_Z:
Student powinien znać elementy gramatyki języka polskiego i mieć znajomość elementów matematyki na poziomie licealnym podstawowym. |
W cyklu 2022/23_Z:
Student powinien znać elementy gramatyki języka polskiego i mieć znajomość elementów matematyki na poziomie licealnym podstawowym. |
W cyklu 2023/24_Z:
Student powinien znać elementy gramatyki języka polskiego i mieć znajomość elementów matematyki na poziomie licealnym podstawowym. |
Więcej informacji
Więcej informacji o poziomie przedmiotu, roku studiów (i/lub semestrze) w którym się odbywa, o rodzaju i liczbie godzin zajęć - szukaj w planach studiów odpowiednich programów. Ten przedmiot jest związany z programami:
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: