Logika
Informacje ogólne
Kod przedmiotu: | WF-FI-KGN-L |
Kod Erasmus / ISCED: |
08.1
|
Nazwa przedmiotu: | Logika |
Jednostka: | Instytut Filozofii |
Grupy: |
Kognitywistyka - I rok Kognitywistyka I stopień |
Punkty ECTS i inne: |
5.00
|
Język prowadzenia: | polski |
Poziom przedmiotu: | podstawowy |
Symbol/Symbole kierunkowe efektów uczenia się: | Wykład: KOG1_W03 Ćwiczenia: KOG1_U02; KOG1_U03; KOG1_U09 |
Wymagania wstępne: | Brak. |
Skrócony opis: |
W ramach kursu prezentuje się podstawowe informacje dotyczące budowy logiki klasycznej: klasycznego rachunku zdań i klasycznego rachunku predykatów z identycznością oraz elementy jej zastosowań do filozofii. Kurs obejmuje także wiadomości z zakresu semiotyki logicznej w tym zakresie, w jakim jest to potrzebne do zrealizowania podstawowego zadania: prezentacji teorii wynikania logicznego opartej na logice klasycznej |
Pełny opis: |
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ł. |
Efekty kształcenia i opis ECTS: |
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. |
Metody i 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. |
Zajęcia w cyklu "Semestr zimowy 2024/25" (zakończony)
Okres: | 2024-10-01 - 2025-01-31 |
Przejdź do planu
PN WT WYK
CW
CW
ŚR CZ PT |
Typ zajęć: |
Ćwiczenia, 30 godzin, 50 miejsc
Wykład, 30 godzin, 100 miejsc
|
|
Koordynatorzy: | Konrad Zdanowski | |
Prowadzący grup: | Konrad Zdanowski | |
Lista studentów: | (nie masz dostępu) | |
Zaliczenie: |
Przedmiot -
Egzaminacyjny
Ćwiczenia - Zaliczenie na ocenę Wykład - Egzaminacyjny |
|
E-Learning: | E-Learning (pełny kurs) z podziałem na grupy |
|
Opis nakładu pracy studenta w ECTS: | 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 |
|
Typ przedmiotu: | obowiązkowy |
|
Grupa przedmiotów ogólnouczenianych: | 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łaścicielem praw autorskich jest Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie.