Předmět Transparent intensional logic (PHA0204)
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 PHA0204 - Transparent intensional logic, Filozofická fakulta, Masarykova univerzita (MU).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
| Materiál | Typ | Datum | Počet stažení |
|---|
Další informace
Cíl
a comperehension of any logical system (TIL being not a counter-example) increases one's capability of abstract thinking: cpabality to analyze a problem, to apply a method, synthetize elements, etc.
Osnova
functions in intensional / extensional senseconstructionssimple theory of typesramified theory of typesdeductionseleted semantical applicationother applications
Literatura
povinná literaturaTICHÝ, Pavel. The foundations of Frege's logic. Berlin: Walter de Gruyter, 1988. xiii, 303. ISBN 3-11-011668-5. infodoporučená literaturaPavel Tichý's collected papers in logic and philosophy. Edited by Vladimír Svoboda - Bjorn Jespersen - Colin Cheyne. Prague: Filosofia, 2004. 901 s. ISBN 1-877276-98-7. infoDUŽÍ, Marie , Bjorn Thoring F. JESPERSEN a Pavel MATERNA . Procedural Semantics for Hyperintensional Logic. First edition. Berlin: Springer Verlag, 2010. 552 s. Logic, Epistemology, and the Unity of Sciences, 17. ISBN 978-90-481-8811-6. infoRACLAVSKÝ, Jiří . Jména a deskripce: logicko-sémantická zkoumání. 1. vyd. Olomouc: Nakladatelství Olomouc, 2009. 396 s. mimo edice. ISBN 978-80-7182-277-6. infoDUŽÍ, Marie a Pavel MATERNA. TIL jako procedurální logika :průvodce zvídavého čtenáře Transparentní intensionální logikou. 1. vyd. Bratislava: Aleph, 2012. 412 s. ISBN 9788089491087. info
Požadavky
PROGRAM ( N - HS ) || PROGRAM ( N - PH )English
Garant
prof. PhDr. Josef Krob, CSc.
Vyučující
doc. PhDr. BcA. Jiří Raclavský, Ph.D.