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

WS: Metalogika

Informacje ogólne

Kod przedmiotu: WF-FI-12-KOMM
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: WS: Metalogika
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_W01

FI1_W11

FI1_U08

FI1_K02


Skrócony opis:

Kurs przeznaczony jest dla osób, które ukończyły podstawowy kurs logiki na pierwszym roku (lub jego ekwiwalent). W ramach zajęć przedstawia się podstawowe działy logiki: teorię dowodu i teorię modeli oraz ich podstawowe pojęcia. Precyzuje się metalogiczne pojęcie dowodu, odróżnia się reguły ważne, dopuszczalne, wyprowadzalne, prezentuje się ogólną teorię konsekwencji oraz konsekwencję dla klasycznej logiki zdaniowej. Centralnymi pojęciami teoriomodelowymi są pojęcie prawdziwości i wynikania semantycznego - te pojęcia precyzujemy w ramach zajęć. Prezentujemy także metalogiczne pojęcia: niesprzeczności i pełności. Pokazujemy dowód niesprzeczności klasycznej logiki zdaniowej i szkicujemy dowód jej niesprzeczności.

Pełny opis:

Spis tematów:

1. Logika, metalogika. Teoria dowodu, teoria modeli

2. Mapa własności metalogicznych: niesprzeczność, rozstrzygalność, pełność, zupełność, zwartość.

3. Elementy teorii dowodu klasycznej logiki zdaniowej. System założeniowy i system aksjomatyczny.

4. Inferencja, konsekwencja - relacyjna i algebraiczna charakterystyka logiki.

5. Ogólna teoria konsekwencji

6. Konsekwencja klasycznej logiki zdaniowej

7-8. Twierdzenie o dedukcji dla klasycznej logiki zdaniowej

9-10. Semantyka relacyjna i algebraiczna klasycznej logiki zdaniowej

11. Adekwatność CLS w algebrze dwóch wartości logicznych

12-13. Pełność CLS w algebrze dwóch wartości logicznych

Literatura:

Literatura obowiązkowa:

(fragmenty)

Hunter G., Metalogika. Wstęp do metateorii standardowej logiki pierwszego rzędu, 1982, Wydawnictwo Naukowe PWN

Grzegorczyk A., Zarys logiki matematycznej, 1969, Wydawnictwo Naukowe PWN

Efekty kształcenia i opis ECTS:

Student zna ogólne zależności między pojęciami: język, system dedukcyjny, model teorii sformalizowanej; poprawnie stosuje poznaną terminologię z zakresu metalogiki; jest otwarty na nowe idee i gotów do zmiany opinii w świetle dostępnych dowodzonych twierdzeń metateoretycznych.

Wyliczenie punktów ECTS: 1 - obecnośc na zajęciach 30h, 1 ects - praca własna i przygotowanie do zaliczenia 30h.

Efekty kształcenia

Wiedza:

- absolwent zna i rozumie idee i argumenty wybranych klasycznych autorów filozoficznych na podstawie samodzielnej lektury i analizy treści ich pism

- absolwent zna i rozumie metody interpretacji tekstu filozoficznego.

Umiejętności:

- absolwent potrafi poprawnie stosować poznaną terminologię filozoficzną

- absolwent potrafi formułować w mowie i na piśmie problemy filozoficzne, stawiać tezy oraz artykułować własne poglądy w sprawach społecznych i światopoglądowych.

Kompetencje społeczne:

- absolwent jest gotów do rozważenia i analizy nowych idei oraz do

zmiany opinii w świetle dostępnych danych i argumentów.

Metody i kryteria oceniania:

Wykład połączony z elementami ćwiczeń.

1. Zajęcia odbywają się przez program MS Teams, w czasie rzeczywistym. Udział w zajęciach jest obowiązkowy.

2. Warunkiem przystąpienia do zaliczenia końcowego jest obecność na min. 12 zajęciach.

3. Zaliczenia końcowe odbywa się we wcześniej ustalonych grupach i jest nagrywane. Termin zaliczenia to ostatnie zajęcia w semestrze.

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)