PHK1102 Logic I

Faculty of Arts
Autumn 2012
Extent and Intensity
0/0. 4 credit(s). Type of Completion: z (credit).
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
Fri 5. 10. 13:20–14:55 J21, Fri 2. 11. 13:20–14:55 J21, Fri 30. 11. 13:20–14:55 J21
Prerequisites
No special presuppositions
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
At the end of the course students should understand key notions of propositional logic, i.e. syntax and semantics of propositional logic, the concept of tautology, truth-functional entailment, formal language, axiomatization of propositional logic, the concept of formal proof, deduction theorem, normal forms, Gentzen's sequential calculus.
Syllabus
  • Logic as an analytical science.
  • An informal characteristics of entailment as the central notion of logic.
  • Truth-functions.
  • Tautologies.
  • Truth-functional entailment.
  • Formal language. Well-formed formulas.
  • A Hilbert-style axiomatization.
  • The concept of formal proof.
  • The relation between syntax and semantics.
  • Deduction theorem.
  • Normal forms.
  • Gentzen's sequential calculus.
Literature
    required literature
  • ŠTĚPÁN, Jan. Klasická logika. 1. vyd. Olomouc: Univerzita Palackého v Olomouci, 2001, 198 s. ISBN 8024402548. info
    recommended literature
  • ŠTĚPÁN, Jan. Logika a logické systémy. Vyd. 1. Olomouc: Votobia, 1992, 165 s. ISBN 80-85619-29-6. info
    not specified
  • HRUBEŠ, Jaromír and Jan ŠTĚPÁN. Logika : terminologický a výkladový slovník. 1. vyd. V Ostravě: Ateliér Milata, 1994, 115 s. info
Teaching methods
during consultations, the essentials of studied topics are intorcuded, explaining connection sto other topics etc.; students are expected the topics carefully at home, using e-learning materials in which there is offered also a number of excercises; students can consult the topics they have stided at the next consultation
Assessment methods
- this first semester ends with a written examination; it consists of questions asking to explain essential notions (such as, e.g., entailment) and examining also the trained logical skills by solving concrete examples (e.g. the verification of arguments)
Language of instruction
Czech
Follow-Up Courses
Further comments (probably available only in Czech)
Study Materials
The course is taught annually.
Information on the extent and intensity of the course: celkem 6 hod. konzultací.
Teacher's information
http://elf.phil.muni.cz/elf/course/view.php?id=255
The course is also listed under the following terms Autumn 2001, Autumn 2002, Autumn 2003, Autumn 2004, Autumn 2005, Autumn 2006, Autumn 2007, Autumn 2008, Autumn 2009, Autumn 2010, Autumn 2011, Autumn 2013, Autumn 2014, Autumn 2015, Autumn 2016, Autumn 2017, Autumn 2018, Autumn 2019.
  • Enrolment Statistics (Autumn 2012, recent)
  • Permalink: https://is.muni.cz/course/phil/autumn2012/PHK1102