PH1102 Logic I

Faculty of Arts
Autumn 2016
Extent and Intensity
2/1/0. 3 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
Thu 9:10–11:35 A11
Prerequisites
No special presuppositions
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
there are 7 fields of study the course is directly associated with, display
Course objectives
At the end of the course students should be able to: understand and explain key notions of propositional calculus (tautology, entailment, formal language, axiomatization, formal proof); apply formal techniques controlling whether a formula is a tautology or whether an argument is valid; apply formal techniques (equivalent transformations, normal forms, proving by means of Gentzen's sequential calculus); apply such techniques to ordinary reasoning (negations or equivalences of sentences, validity of an argument)
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
  • RACLAVSKÝ, Jiří. Úvod do logiky: klasická výroková logika ([Introduction to Logic: Classical Propositional Logic). 1. vyd. Brno: Masarykova univerzita, 2015, 238 pp. ISBN 978-80-210-7790-4. info
  • RACLAVSKÝ, Jiří. Úvod do logiky: klasická výroková logika ([Introduction to Logic: Classical Propositional Logic). 1. vyd. Brno: Masarykova univerzita, 2015, 238 pp. ISBN 978-80-210-7790-4. URL info
    not specified
  • ŠTĚPÁN, Jan. Klasická logika. 1. vyd. Olomouc: Univerzita Palackého v Olomouci, 2001, 198 s. ISBN 8024402548. info
  • ŠTĚPÁN, Jan. Logika a logické systémy. Vyd. 1. Olomouc: Votobia, 1992, 165 s. ISBN 80-85619-29-6. info
Teaching methods
Lectures supported by class exercises
Assessment methods
After the first term there is a credit test (after the second there is an exam - its first part written, the second part oral). This credit test has 10 questions. A third of it checks the students's acquaintance with theoretical notions and two thirds of it chec student's practical skills such as negations of sentences or controlling the validity of arguments.
Language of instruction
Czech
Follow-Up Courses
Further comments (probably available only in Czech)
Study Materials
The course is taught annually.
Information about innovation of course.
This course has been innovated under the project "Faculty of Arts as Centre of Excellence in Education: Complex Innovation of Study Programmes and Fields at FF MU with Regard to the Requirements of the Knowledge Economy“ – Reg. No. CZ.1.07/2.2.00/28.0228, which is cofinanced by the European Social Fond and the national budget of the Czech Republic.

logo image
Teacher's information
http://www.phil.muni.cz/elf/course/view.php?id=989
The course is also listed under the following terms Autumn 1999, Autumn 2000, Autumn 2001, Autumn 2002, Autumn 2003, Autumn 2004, Autumn 2005, Autumn 2006, Autumn 2007, Autumn 2008, Autumn 2009, Autumn 2010, Autumn 2011, Autumn 2012, Autumn 2013, Autumn 2014, Autumn 2015, Autumn 2017, Autumn 2018, Autumn 2019.
  • Enrolment Statistics (Autumn 2016, recent)
  • Permalink: https://is.muni.cz/course/phil/autumn2016/PH1102