FF:PHA0204 Transparent intensional logic - Course Information
PHA0204 Transparent intensional logic
Faculty of ArtsSpring 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
- Philosophy (programme FF, N-HS)
- Philosophy (programme FF, N-PH) (2)
- 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.
- Enrolment Statistics (recent)
- Permalink: https://is.muni.cz/course/phil/spring2017/PHA0204