|
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í se s moderním pojetím logiky (výroková logika, predikátová logika, některá rozšíření). Nácvik elementárních praktických logických dovedností v rámci moderní formální logiky. Filosofie moderní 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 nebo Logika.
|
|
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.
-
P. Cmorej. Úvod do logické syntaxe a sémantiky, Triton. 2002.
-
Priest, Graham; Hromek, Petr. Logika. První vydání v českém jazyce. Praha : Dokořán, 2007. ISBN 978-80-7363-124-6.
-
Prokop Sousedík. Logika pro studenty humanitních oborů, Vyšehrad, Praha 2001. Praha: Vyšehrad, 2001.
|