Wybrane zagadnienia z logiki filozoficznej 3501-NZ-M20-4
Wykład poświęcony jest wykorzystaniu narzędzi logicznych do analizy zagadnień metalogicznych i filozoficznych. Stanowi przegląd zagadnień z logiki formalnej i jej filozoficznych zastosowań przygotowujący słuchaczy do uczestniczenia w bardziej specjalistycznych zajęciach (z ontologii, epistemologii, filozofii języka, filozofii nauki etc.) i ułatwiający lekturę współczesnej literatury filozoficznej. Omawiane będą następujące zagadnienia:
- poprawność i adekwatność logiki klasycznej,
- tzw. paradoks implikacji materialnej,
- formalizacja: jej istota i ograniczenia,
- logiki wielowartościowe,
- formalne ujęcie presupozycji i implikatur,
- rodzaje modalności, modalności de dicto i de re,
- analiza wywodu z procy (w wersji wymierzonej przeciw logice modalnej),
- systemy formalne nadbudowane nad logiką klasyczną dostosowane do analiz wnioskowania o modalnościach aletycznych, epistemicznych, doksastycznych,
- semantyka relacyjna Kripkego,
- omówienie tezy KK (pozytywnej introspekcji) i innych wzbudzających kontrowersję tez lub reguł logik epistemicznych i doksastycznych ,
- paradoks Fitcha,
- sceptycki argument z niewiedzy,
- logika pytań: podstawowe pojęcia, pojęcie implikowania i ewokowania erotetycznego
Rodzaj przedmiotu
Efekty kształcenia
Nabyta wiedza:
Zna i rozumie podstawowe pojęcia wybranych logik wielowartościowych, modalnych i epistemicznych.
Zna język, semantykę, aksjomaty oraz reguły dowodowe wybranych logik modalnych i epistemicznych.
Ma świadomość znaczenia narzędzi formalnych dla analiz problemów filozoficznych
Zna ograniczenia i trudności związane z formalizacją zagadnień filozoficznych.
(KW03, KW05, KW08, KW09, KW11).
Nabyte umiejętności:
Potrafi prowadzić dowody i sprawdzać prawdziwość formuł w wybranych logikach modalnych i epistemicznych
Stosuje język wybranych systemów formalnych do analizy wybranych problemów filozoficznych
Poprawnie stosuje poznaną terminologię filozoficzną i logiczną
Określa stopień doniosłości przedstawianych tez i reguł dla badanego problemu lub argumentacji ((KU03, KU04, KU05, KU08, KU09, KU14, KU16).
Nabyte kompetencje społeczne:
Potrafi pracować w grupie
Potrafi jasno i precyzyjnie mówić o abstrakcyjnych zagadnieniach
Zna zakres posiadanej przez siebie wiedzy i posiadanych umiejętności, rozumie potrzebę ciągłego dokształcania się
Efektywnie organizuje własną pracę i krytycznie ocenia jej stopień zaawansowania (KK06).
Kryteria oceniania
Każde zajęcia, poza pierwszymi, będą się rozpoczynały kartkówką, na której trzeba będzie odpowiedzieć na jedno z pięciu podanych wcześniej pytań, dotyczących poprzedniego wykładu. Osoby, które uzyskają bardzo dobre wyniki z kartkówek będą zwolnione ze sprawdzianu końcowego. Pisemny sprawdzian końcowy będzie się składał z wybranych pytań, które wcześniej były podawane jako pytania na kartkówkę.
Dopuszczalna liczba nieobecności podlegających usprawiedliwieniu: 2
Literatura
.
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: