PHA0204 Transparent intensional logic

Faculty of Arts
Spring 2013
Extent and Intensity
0/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 Friday 12:30–14:05 J21
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 text combined with oral exam
Language of instruction
English
Further comments (probably available only in Czech)
Study Materials
Information on the extent and intensity of the course: blokově + e-learning.
Teacher's information
http://til.phil.muni.cz/
The course is also listed under the following terms Spring 2014, Spring 2015, Spring 2016, Spring 2017.
  • Enrolment Statistics (Spring 2013, recent)
  • Permalink: https://is.muni.cz/course/phil/spring2013/PHA0204