PHA0204 Transparent intensional logic

Filozofická fakulta
jaro 2017
Rozsah
blokově + e-learning. 5 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
in ELF (https://elf.phil.muni.cz/): ID=2851 (access is enabled automatically after enrolment in IS)
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 2016.
  • Statistika zápisu (nejnovější)
  • Permalink: https://is.muni.cz/predmet/phil/jaro2017/PHA0204