PHBL2 Logic II

Faculty of Arts
Spring 2023
Extent and Intensity
1/1/0. 5 credit(s). Type of Completion: zk (examination).
Taught in person.
Teacher(s)
prof. PhDr. BcA. Jiří Raclavský, Ph.D. (lecturer)
Guaranteed by
prof. PhDr. BcA. Jiří Raclavský, Ph.D.
Department of Philosophy – Faculty of Arts
Supplier department: Department of Philosophy – Faculty of Arts
Timetable
Thu 10:00–11:40 A11
Prerequisites
passing Logic 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
At the end of the course students should be able to: understand and explain key notions of first-order logic (tautology, entailment, formal language, axiomatization, formal proof) and non-classical logics; apply formal techniques of controlling whether a formula is a tautology and whether an argument is valid; apply formal techniques (equivalent transformations, proving by means of natural deduction and semantic tableaux); apply techniques to an ordinary reasoning (negations or equivalences of sentences, validity of an argument)
Learning outcomes
The course presents main information about predicate logic, whereas an accent is put on the notion of entailment. The student is gradually introduced to techniques enabling investigation of semantic properties of formulas and methods of formal demonstration as well as their applications in the field of natural language. The student examines a number of practical examples; a great portion of them practise constructing negations, equivalents and checking arguments.
Syllabus
  • 1st order logic:
  • - informal introduction (predicates, quantification)
  • - its syntax, semantics
  • - logical truths
  • - negation, equivalence
  • - square of opposition
  • - syllogistic
  • - proof, natural deduction
  • - identity
  • - perspectives: higher order logics (relations), modal and intensional logics
  • - formalized theories, arithmetics of natural numbers, incompleteness theorems
Literature
    recommended literature
  • RACLAVSKÝ, Jiří. Úvod do logiky: klasická predikátová logika ([Introduction to Logic: Classical Predicate Logic). Online. 1. vyd. Brno: Masarykova univerzita, 2015. 348 pp. ISBN 978-80-210-7867-3. [citováno 2024-04-23] info
Teaching methods
Classes + introduction to exercises. E-learning.
Assessment methods
* Written examination (possibly via computer) and possibly, a short oral examination. The test consists of questions asking to explain essential notions (such as e.g., entailment) and examining also the trained logical skills by solving particular examples (e.g. validity of arguments). * Condition required before the exam: During the semester, at least 80% of regular e-tests must be successfully completed (each e-test must receive at least 80 % of points). The questions in the final test are variants of selected questions from the e-tests. (For those who have only "z", not "Zk", no final exam is required.) * Bonification (exam mark increasing) thanks to activities such as e.g. Kahoot-style KvIS used during classes
Language of instruction
Czech
Follow-Up Courses
Further comments (probably available only in Czech)
Study Materials
The course is taught annually.
General note: Studentům kombinovaného studijního programu je doporučeno zapsat si současně předmět PHV244 Logika II: otázky a odpovědi.
Information on the extent and intensity of the course: kombinovaná forma: 16 hodin/semestr.
Listed among pre-requisites of other courses
Teacher's information
http://www.phil.muni.cz/~raclavsky/logika/
The course is also listed under the following terms Spring 2020, Spring 2021, Spring 2022, Spring 2024, Spring 2025.
  • Enrolment Statistics (Spring 2023, recent)
  • Permalink: https://is.muni.cz/course/phil/spring2023/PHBL2