PHK1201 Logic II

Faculty of Arts
Spring 2008
Extent and Intensity
0/0. 6 credit(s). Type of Completion: zk (examination).
Teacher(s)
prof. PhDr. BcA. Jiří Raclavský, Ph.D. (lecturer)
Guaranteed by
prof. PhDr. Jan Zouhar, CSc.
Department of Philosophy – Faculty of Arts
Contact Person: Hana Holmanová
Timetable
Fri 7. 3. 15:00–16:35 B11, Fri 4. 4. 15:00–16:35 B11, Fri 16. 5. 15:00–16:35 B11, Fri 6. 6. 11:40–12:25 B11
Prerequisites
- the first part of the course (Logika I)
Course Enrolment Limitations
The course is only offered to the students of the study fields the course is directly associated with.
fields of study / plans the course is directly associated with
Course objectives
The main aim is practical acquaintance with fundamental concepts of first order logic (as well as other systems). For more see http://www.phil.muni.cz/fil/logika/zkl.html
Syllabus
  • 1st order logic: semantics, syntax, adding identitz\y, descriptive operator, functions. Informatively: Higher order logics. 'Non-classical logics'. Intensional logics, modal systems. The concept of concept, definitions.
Assessment methods (in Czech)
Přednášecí část hodin bude věnována principiálnímu porozumění tématu, které bude (po samostudiu posluchačů) procvičováno. Zkouška se sestává  písemného testu ověřujícího zejména praktické ovládání, jednak z doplňující ústní části věnované teorii.
Language of instruction
Czech
Further comments (probably available only in Czech)
The course is taught annually.
Information on the extent and intensity of the course: celkem 14 hod. konzultací.
Teacher's information
http://www.phil.muni.cz/elf/course/view.php?id=441
The course is also listed under the following terms Spring 2002, Spring 2003, Spring 2004, Spring 2005, Spring 2006, Spring 2007, Spring 2009, Spring 2010, Spring 2011, Spring 2012, Spring 2013, Spring 2014, Spring 2015, Spring 2016, Spring 2017, Spring 2018, Spring 2019, Spring 2020.
  • Enrolment Statistics (Spring 2008, recent)
  • Permalink: https://is.muni.cz/course/phil/spring2008/PHK1201