WS: Metalogika
Informacje ogólne
Kod przedmiotu: | WF-FI-12-KOMM |
Kod Erasmus / ISCED: |
08.1
|
Nazwa przedmiotu: | WS: Metalogika |
Jednostka: | Instytut Filozofii |
Grupy: | |
Punkty ECTS i inne: |
(brak)
|
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. |
Właścicielem praw autorskich jest Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie.