PHA0204 Transparent intensional logic

Faculty of Arts
Spring 2015
Extent and Intensity
1/1/0. 3 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
Timetable
each odd Thursday 14:10–15:45 A11
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
  • TICHÝ, Pavel. The foundations of Frege's logic. Berlin: Walter de Gruyter, 1988, xiii, 303. ISBN 3110116685. info
    recommended literature
  • 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 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
  • 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
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
Study Materials
Teacher's information
http://til.phil.muni.cz/
The course is also listed under the following terms Spring 2013, Spring 2014, Spring 2016, Spring 2017.
  • Enrolment Statistics (Spring 2015, recent)
  • Permalink: https://is.muni.cz/course/phil/spring2015/PHA0204