PHA0204 Transparent intensional logic

Filozofická fakulta
jaro 2014
Rozsah
blokově + e-learning. 3 kr. Ukončení: k.
Vyučující
prof. PhDr. BcA. Jiří Raclavský, Ph.D. (přednášející)
Garance
prof. PhDr. Josef Krob, CSc.
Katedra filozofie – Filozofická fakulta
Kontaktní osoba: Hana Holmanová
Dodavatelské pracoviště: Katedra filozofie – Filozofická fakulta
Rozvrh
každý lichý pátek 12:30–14:05 J21
Předpoklady
PROGRAM(N-HS) || PROGRAM(N-PH)
English
Omezení zápisu do předmětu
Předmět je nabízen i studentům mimo mateřské obory.
Mateřské obory/plány
Cíle předmětu
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 sense
  • constructions
  • simple theory of types
  • ramified theory of types
  • deduction
  • seleted semantical application
  • other applications
Literatura
    povinná literatura
  • TICHÝ, Pavel. The foundations of Frege's logic. Berlin: Walter de Gruyter, 1988, xiii, 303. ISBN 3110116685. info
    doporučená literatura
  • Pavel Tichý's collected papers in logic and philosophy. Edited by Vladimír Svoboda. Prague: Filosofia, 2004, 901 s. ISBN 1877276987. info
  • DUŽÍ, 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. info
  • RACLAVSKÝ, 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. info
  • DUŽÍ, 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
Výukové metody
lectures with class discussion, readings and homework
Metody hodnocení
a written test (asking to explain key notions of the course) is combined with an oral exam (during the which additional knowledge is discussed)
Vyučovací jazyk
Angličtina
Informace učitele
http://til.phil.muni.cz/
Další komentáře
Studijní materiály
Předmět je zařazen také v obdobích jaro 2013, jaro 2015, jaro 2016, jaro 2017.