Předmět Formální a filosofická logika 2 (KFI / FOL2)

Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu KFI / FOL2 - Formální a filosofická logika 2, Teologická fakulta, Jihočeská univerzita v Českých Budějovicích (JU).

Materiál	Typ	Datum	Počet stažení

Obsah

MODERNÍ FORMÁLNÍ LOGIKAModerní 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É LOGIKYProblé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

Získané způsobilosti

- 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.

Literatura

Kolář, Petr. Argumenty filosofické logiky, Filosofia, Praha 1999. Praha, 1999. 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. 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. Kolář, Petr. Pravda a fakt, Filosofia, Praha 2002.

Požadavky

2 z následujících 3 podmínek:- úspěšné zpracovávání průběžných domácích úkolů- písemná (praktická) a ústní (teoretická) zkouška z vykládané látky.- seminární práce na téma z filosofické logiky

Garant

Mgr. Lukáš Novák, Ph.D.

Vyučující

Mgr. Lukáš Novák, Ph.D.