PHA0204 Transparent intensional logic

Faculty of Arts
Spring 2017
Extent and Intensity
0/0. 5 credit(s). Type of Completion: k (colloquium).
Teacher(s)
prof. PhDr. BcA. Jiří Raclavský, Ph.D. (lecturer)
Guaranteed by
prof. PhDr. Josef Krob, CSc.
Department of Philosophy – Faculty of Arts
Contact Person: Hana Holmanová
Supplier department: Department of Philosophy – Faculty of Arts
Prerequisites
PROGRAM(N-HS) || PROGRAM(N-PH)
English
Course Enrolment Limitations
The course is also offered to the students of the fields other than those the course is directly associated with.
fields of study / plans the course is directly associated with
Course objectives
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.
Syllabus
  • functions in intensional / extensional sense
  • constructions
  • simple theory of types
  • ramified theory of types
  • deduction
  • seleted semantical application
  • other applications
Literature
    required literature
  • RACLAVSKÝ, Jiří, Petr KUCHYŇKA and Ivo PEZLAR. Transparentní intenzionální logika jako characteristica universalis a calculus ratiocinator (Transparent intensional logic a characteristica universalis and calculus ratiocinator). 1. vyd. Brno: Masarykova univerzita, 2015, 322 pp. ISBN 978-80-210-7973-1. info
    recommended literature
  • TICHÝ, Pavel. The foundations of Frege's logic. Berlin: Walter de Gruyter, 1988, xiii, 303. ISBN 3110116685. info
  • Pavel Tichý's collected papers in logic and philosophy. Edited by Vladimír Svoboda. Prague: Filosofia, 2004, 901 s. ISBN 1877276987. info
    not specified
  • RACLAVSKÝ, Jiří. Jména a deskripce: logicko-sémantická zkoumání (Names and Descriptions: Logico-Semantical Investigations). 1st ed. Olomouc: Nakladatelství Olomouc, 2009, 396 pp. mimo edice. ISBN 978-80-7182-277-6. info
  • DUŽÍ, Marie and 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
  • DUŽÍ, Marie, Bjorn Thoring F. JESPERSEN and Pavel MATERNA. Procedural Semantics for Hyperintensional Logic. First edition. Berlin: Springer Verlag, 2010, 552 pp. Logic, Epistemology, and the Unity of Sciences, 17. ISBN 978-90-481-8811-6. info
Teaching methods
lectures with class discussion, readings and homework
Assessment methods
a written test (asking to explain key notions of the course) is combined with an oral exam (during the which additional knowledge is discussed)
Language of instruction
English
Further comments (probably available only in Czech)
Study Materials
The course is taught: in blocks.
Note related to how often the course is taught: + e-learning.
Information on the extent and intensity of the course: blokově + e-learning.
The course is also listed under the following terms Spring 2013, Spring 2014, Spring 2015, Spring 2016.
  • Enrolment Statistics (recent)
  • Permalink: https://is.muni.cz/course/phil/spring2017/PHA0204