PHA0204 Transparent intensional logic

Filozofická fakulta
jaro 2016
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
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
  • RACLAVSKÝ, Jiří, Petr KUCHYŇKA a Ivo PEZLAR. Transparentní intenzionální logika jako characteristica universalis a calculus ratiocinator. 1. vyd. Brno: Masarykova univerzita. 322 s. ISBN 978-80-210-7973-1. 2015. info
    doporučená literatura
  • TICHÝ, Pavel. The foundations of Frege's logic. Berlin: Walter de Gruyter. xiii, 303. ISBN 3110116685. 1988. info
  • Pavel Tichý's collected papers in logic and philosophy. Edited by Vladimír Svoboda. Prague: Filosofia. 901 s. ISBN 1877276987. 2004. info
    neurčeno
  • RACLAVSKÝ, Jiří. Jména a deskripce: logicko-sémantická zkoumání. 1. vyd. Olomouc: Nakladatelství Olomouc. 396 s. mimo edice. ISBN 978-80-7182-277-6. 2009. 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. 412 s. ISBN 9788089491087. 2012. info
  • DUŽÍ, Marie, Bjorn Thoring F. JESPERSEN a Pavel MATERNA. Procedural Semantics for Hyperintensional Logic. First edition. Berlin: Springer Verlag. 552 s. Logic, Epistemology, and the Unity of Sciences, 17. ISBN 978-90-481-8811-6. 2010. 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/
also ELF, ID=2851
Další komentáře
Studijní materiály
Výuka probíhá blokově.
Poznámka k četnosti výuky: + e-learning.
Předmět je zařazen také v obdobích jaro 2013, jaro 2014, jaro 2015, jaro 2017.