Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie - Centralny System Uwierzytelniania
Strona główna

Logika 1

Informacje ogólne

Kod przedmiotu: WF-FI-11-LOG1
Kod Erasmus / ISCED: 08.1 Kod klasyfikacyjny przedmiotu składa się z trzech do pięciu cyfr, przy czym trzy pierwsze oznaczają klasyfikację dziedziny wg. Listy kodów dziedzin obowiązującej w programie Socrates/Erasmus, czwarta (dotąd na ogół 0) – ewentualne uszczegółowienie informacji o dyscyplinie, piąta – stopień zaawansowania przedmiotu ustalony na podstawie roku studiów, dla którego przedmiot jest przeznaczony. / (brak danych)
Nazwa przedmiotu: Logika 1
Jednostka: Instytut Filozofii
Grupy:
Punkty ECTS i inne: (brak) Podstawowe informacje o zasadach przyporządkowania punktów ECTS:
  • roczny wymiar godzinowy nakładu pracy studenta konieczny do osiągnięcia zakładanych efektów uczenia się dla danego etapu studiów wynosi 1500-1800 h, co odpowiada 60 ECTS;
  • tygodniowy wymiar godzinowy nakładu pracy studenta wynosi 45 h;
  • 1 punkt ECTS odpowiada 25-30 godzinom pracy studenta potrzebnej do osiągnięcia zakładanych efektów uczenia się;
  • tygodniowy nakład pracy studenta konieczny do osiągnięcia zakładanych efektów uczenia się pozwala uzyskać 1,5 ECTS;
  • nakład pracy potrzebny do zaliczenia przedmiotu, któremu przypisano 3 ECTS, stanowi 10% semestralnego obciążenia studenta.

zobacz reguły punktacji
Język prowadzenia: polski
Poziom przedmiotu:

podstawowy

Symbol/Symbole kierunkowe efektów uczenia się:

FI1_W07

FI1_W12

FI1_U06

FI1_U09

FI1_K03


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. Zajęcia są częścią kursu rocznego - w semestrze letnim kontynuowany jest wykład z ćwiczeniami z logiki dla filozofów pod nazwą: Logika 2.

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. 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.

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.

Efekty kształcenia i opis ECTS:

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

Metody i 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.

Przedmiot nie jest oferowany w żadnym z aktualnych cykli dydaktycznych.
Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie.
ul. Dewajtis 5,
01-815 Warszawa
tel: +48 22 561 88 00 https://uksw.edu.pl
kontakt deklaracja dostępności USOSweb 7.0.2.0-1 (2024-03-12)