|
Vyučující
|
|
|
|
Obsah předmětu
|
MODERNÍ FORMÁLNÍ LOGIKA Moderní pojetí logiky. Jazyk jako materiální předmět logiky. Jazykový znak. Sémiotika. Fregeho trojúhelník. Logická forma a formalizace. Formální jazyky. Pravdivost, dokazatelnost a vyplývání v moderním pojetí. Extenze, intenze a hyperintenze. Výroková logika. Jazyk výrokové logiky, jeho syntaxe a sémantika. Výrokové spojky. Pravdivostní tabulky. Predikátová logika. Predikátová logika 1. řádu. Jazyk predikátové logiky 1. řádu. Funkční pojetí predikace. Konstanty a proměnné. Jedno- a vícemístné predikáty. Kvantifikátory a jejich dosah. Logiky vyšších řádů. Doplňky k moderní logice. Určité deskripce. Lambda-abstrakce a lambda-predikáty. Formalismus možných světů a modální logika. Modalita de re a modalita de dicto. VYBRANÉ PROBLÉMY MODERNÍ FILOSOFICKÉ LOGIKY Problém obecnin a zakotvení obecného poznání v realitě. Platonismus, realismus a nominalismus. Povaha pravdy a povaha predikace. Problémy existence. Je existence predikát? Sémantika vlastních jmen. Deskriptivní teorie vlastních jmen vs. teorie rigidní designace. Ontologické interpretace teorie možných světů. Různá pojetí modalit
|
|
Studijní aktivity a metody výuky
|
|
Monologická (výklad, přednáška, instruktáž), Dialogická (diskuze, rozhovor, brainstorming), Práce s textem (učebnicí, knihou)
|
|
Výstupy z učení
|
Seznámení s moderním pojetím logiky a nácvik praktických logických dovedností v rámci moderní formální logiky.
- teoretická znalost výrokové a predikátové logiky a jejích standardníéch extenzí - schopnost elementární logické analýzy přirozeného jazyka pomocí moderních prostředků - praktická schopnost rozlišit platný a neplatný argument výrokové logiky - porozumění nejzásadnějším problémům filosofické logiky.
|
|
Předpoklady
|
Formální a filosofická logika 1
|
|
Hodnoticí metody a kritéria
|
Ústní zkouška, Analýza výkonů studenta, Test
Průběžné domácí úkoly, aktivní účast na seminářích, opakovací testy.
|
|
Doporučená literatura
|
-
Kolář, Petr. Argumenty filosofické logiky, Filosofia, Praha 1999. Praha, 1999.
-
Kolář, Petr. Pravda a fakt, Filosofia, Praha 2002.
-
M. J. Loux. M. J. Loux: "Nutné a možné", in: Studia Neoaristotelica 1-2/2004 až 1/2005, (přel. Prokop Sousedík).. České Budějovice, 2005.
-
Mark Sainsbury. "Philosophical Logic", in: Philosophy. A Thorough Guide through the Subject, ed. A.C. Grayling, Oxford University Press 1995. Oxford, 1995.
-
P. Cmorej. Úvod do logické syntaxe a sémantiky, Triton. 2002.
-
Prokop Sousedík. Logika pro studenty humanitních oborů, Vyšehrad, Praha 2001. Praha: Vyšehrad, 2001.
|