přednáška; letní semestr; středa, 10:00 - 12:20, Celetná 20, posluchárna 137
|
Materiály k přednášce (MOODLE) |
| Anotace: Přednáška pojdenává o základních filosofických problémech logiky. |
Anotation The lecture deals with basic philosophical problems of logic |
| Sylabus: Předmět a metody logiky - co a k čemu je to logika? - co je to formální logika? - existuje jedna, nebo více logik? Základní pojmy logiky * vyplývání - vyplývání jako zachovávání pravdivostní - Tarského definice * analytická a logická pravdivost - analytická pravda a vyplývání - lze vymezit analytickou pravdu? - lze vymezit logickou pravdu? * odvozování a dokazování - axiomatická metoda - vyplývání vs. dokazování - Hilbertův program - gödelovský převrat * interpretace * pravdivost - intuitivní pojem, korespondenční teorie - Tarského teorie - další koncepce pravdivosti ‘Klasická’ a ‘neklasické’ logiky * základní vlastnosti klasické logiky: - úplnost - rozhodnutelnost - 'internalizovatelnost' odvozování a vyplývání - kompaktnost * intuicionistická logika * vícehodnotové a fuzzy logiky * relevanční logiky * modální a intenzionální logiky * logiky vyšších řádů * další možná rozšíření klasické logiky: deskripce atd. * současné trendy v logice Paradoxy * paradox lháře * Russellův paradox * obecná struktura diagonálních argumentů * paradox sorites a vágnost Logika a ontologie * ontologické závazky teorií a logik * individua (prvky univerza) - existuje něco takového jako logické individuum? - předpokládá logika existenci individuí? (volná logika) * množiny - je množina ‘logický objekt‘? - logiky vyšších řádů: teorie množin v beránčím rouše? - ‘logický’ pojem množiny vs. kumulativní hierarchie * vlastnosti * propozice * fakty - argument proti existenci faktů: prak * možné světy |
Sylabus: The subject matter and the methods of logic - what is logic and what is it for? - what is formal logic? - is there only one logic, or more? Basic logical concepts * consequence - consequence as truth-preservation - Tarski's definition * analytic and logical truth - analytic truth and consequence - is analytic truth delimitable? - is logical truth delimitable? * inferring and proving - the axiomatic method - consequence vs. inference - Hilbert's program - the Gödelian upheaval * interpretation * truth - the intuitive notion, correspondence theory - Tarski's definition - further conceptions of truth 'Classical' and 'nonclassical' logics * basic properties of classical logic - completness - decidability (on the propositional level) - 'internalizability' of inference and consequence - compactness * intuitionistic logic * multivalued and fuzzy logics * relevance logics * modal and intensional logics * higher-order logics * further ways of extending classical logic: discriptions etc. * current trends in logic Paradoxes * the Liar paradox * Russell's paradox * the general structure of diagonal arguments * sorites and vagueness Logic and ontology * ontologic comittments of theories and logics * individuals (elements of the universe) - is there a 'logical individual'? - does logic presuppose the existence of individuals? (free logic) * sets - is set a 'logical object'? - higher-order logic: set theory in sheep clothing? - the 'logical' concept of set vs. the cummulative hierarchy * properties * propositions * facts - an arguments against the existence of facts: the slingshot * possible worlds |
Přednáška je
určena především
studentům
logiky a předpokládá znalost logiky v rozsahu kurzu Logika I.
Výstupní atestace: zkouška