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 i tzw. problemu formy logicznej. Studenci poznają następnie syntaktyczne ujęcie klasycznej logiki zdaniowej. Wprowadzamy pojęcia z zakresu teorii dowodu. Następnie wprowadzamy klasyczny rachunek predykatów pierwszego rzędu z identycznością - prezentujemy intuicyjną semantykę, aparat dedukcyjny oraz dowody wybranych tez i reguł.
|
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. |
W cyklu 2024/25_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
Opis nakładu pracy studenta w ECTS
Poziom przedmiotu
Symbol/Symbole kierunkowe efektów uczenia się
Typ przedmiotu
Wymagania wstępne
Koordynatorzy przedmiotu
W cyklu 2023/24_Z: | W cyklu 2024/25_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ć egzamin z wykładu;
3. być obecnym na ćwiczeniach, obecność na wykładach jest nieobowiązkowa, ale może być dużą pomocą w zrozumieniu przedmiotu.
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),
4. Stanosz, B., Wprowadzenie do logiki formalnej, PWN;
5. Stanosz, B. Ćwiczenia z logiki, PWN;
- 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.
3. Teresa Hołówka, Kultura logiczna w przykładach, PWN.
|
W cyklu 2021/22_Z:
-obowiązkowa: - uzupełniająca: |
W cyklu 2022/23_Z:
-obowiązkowa: - uzupełniająca: |
W cyklu 2023/24_Z:
-obowiązkowa: - uzupełniająca: |
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. |
W cyklu 2024/25_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: