PH1201 Logic II

Faculty of Arts
Spring 2005
Extent and Intensity
2/1/0. 4 credit(s). Type of Completion: zk (examination).
Teacher(s)
prof. PhDr. BcA. Jiří Raclavský, Ph.D. (seminar tutor)
Guaranteed by
prof. PhDr. Jan Zouhar, CSc.
Department of Philosophy – Faculty of Arts
Contact Person: Hana Holmanová
Timetable
Fri 8:20–9:55 12, Fri 10:00–11:35 12
Prerequisites
The student passed examination Logica I
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
1st order logic: semantics, syntax, adding identity, descriptive operator, functions. Informatively: Higher order logics. The notion of algorithm. 'Non-classical logics'. Intensional logics, modal systems. The concept of concept, definitions.
Syllabus
  • 1st oder logic: Informal introduction, syntax, semantics proof, natural deduction Identity, descriptive operator, functions Perspectives: higher order logics, modal and intensional logics. Formalized theories, arithmetics of natural numbers, incompleteness theorems. Algorithm Concept, definition
Literature
  • Jakákoli učebnice logiky po konzultaci s prof. Maternou
  • ŠTĚPÁN, Jan. Logika a logické systémy. Vyd. 1. Olomouc: Votobia, 1992, 165 s. ISBN 80-85619-29-6. info
Assessment methods (in Czech)
Přednáška, cvičení, zápočet, zkouška
Language of instruction
Czech
Further comments (probably available only in Czech)
The course is taught annually.
Teacher's information
phil.muni.cz
The course is also listed under the following terms Spring 2000, Spring 2001, Spring 2002, Spring 2003, Spring 2004, Spring 2006, Spring 2007, Spring 2008, 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 2005, recent)
  • Permalink: https://is.muni.cz/course/phil/spring2005/PH1201