PHBL1 Logic I

Faculty of Arts
Autumn 2024
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
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
there are 7 fields of study the course is directly associated with, display
Course objectives
(1) Acquiring the essential notions of formal logic, in particular, propositional logic (both classical and nonclassical), see Course Contents for details.
(2) Most of the course is an application of (selected parts of) mathematical logic on everyday rational reasoning within natural language.
(3) Some lectures focus on theory (e.g. syntax/semantics of propositional logic and its axiomatization, deduction systems, paradoxes), and some lectures focus on solutions of practical problems (e.g. equivalences/negations of propositions/formulas, arguments checking, natural deduction).
(4) The course provides minimal fundaments for the following parts of philosophy: non-classical/philosophical logic, philosophy of language/computing/AI/logic/mathematics etc., formal epistemology, formal ontology, formal ethics.
Learning outcomes
(1) Acquiring the essential notions of formal logic, in particular, (classical) propositional logic, see Course Contents for details. (P) (2) Increasing logical reasoning and critical thinking.
(3) Acquiring skills in the representation of knowledge (natural language processing) and reasoning in the sense of AI, computer science, formal semantics, analytic philosophy etc.
(4) Exercising analytical and algorithmic thinking, both on natural and formal examples.
(5) Acquiring deeper knowledge about logic as a science and its application.
Syllabus
  • (1) Logic as a science of logical consequence.
  • (2) Paradoxes.
  • (3) Truth-functions.
  • (4) Formal language. Well-formed formulas.
  • (5) Tautologies.
  • (6) Equivalences and negations.
  • (7) Logical consequence.
  • (8) Non-classical logics.
  • (9) Axiomatization and formal proofs.
  • (10) Natural deduction.
  • (11) Semantic tableaux.
  • (12) Philosophy of logics.
Literature
    recommended 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
  • HURLEY, Patrick J. A concise introduction to logic. 11th ed., international ed. Australia: Wadsworth Cengage Learning, 2012, xxi, 706. ISBN 9781111185893. info
  • DOXIADĪS, Apostolos and Christos Ch. PAPADIMITRIOU. Logicomix. Edited by Annie Di Donna, Illustrated by Alekos Papadatos. 1st U.S. ed. New York: Bloomsbury, 2009, 347 s. ISBN 9781596914520. info
    not specified
  • RUSSELL, Stuart J. and Peter NORVIG. Artificial intelligence : a modern approach. Edited by Ming-Wei Chang - Jacob Devlin - Anca Dragan - David Forsyth - Ian Good. Fourth edition, global editi. Harlow: Pearson, 2022, 1166 stran. ISBN 9781292401133. info
  • HAUSMAN, Alan, Frank BOARDMAN and Howard KAHANE. Logic and philosophy : a modern introduction. Thirteenth edition. Indianapolis: Hackett Publishing Company, Inc., 2020, xiii, 447. ISBN 9781624669354. info
  • GORANKO, Valentin. Logic as a tool : a guide to formal logical reasoning. First published. Chichester: Wiley, 2016, xxii, 358. ISBN 9781118880005. info
  • KOLMAN, Vojtěch and Vít PUNČOCHÁŘ. Formy jazyka : úvod do logiky a její filosofie. Vydání první. Praha: Filosofia, 2015, 654 stran. ISBN 9788070074381. info
  • BERGMANN, Merrie, James MOOR and Jack NELSON. The logic book. 6th ed., international ed. New York: McGraw-Hill, 2014, x, 611. ISBN 9781259010606. info
  • CRYAN, Dan, Sharron SHATIL and Bill MAYBLIN. Introducing logic. London: Icon Books Ltd, 2013, 175 stran. ISBN 9781848310124. info
  • RAUTENBERG, Wolfgang. A concise introduction to mathematical logic. Third edition. New York: Springer, 2010, xxi, 319. ISBN 9781441912206. info
  • LEARY, Christopher C. A friendly introduction to mathematical logic. New Jersey: Prentice-Hall, 2000, xiv, 218. ISBN 0130107050. info
  • PRIEST, Graham. Logic : a very short introduction. 1st pub. Oxford: Oxford University Press, 2000, xii, 140. ISBN 9780192893208. info
Teaching methods
Classes containing exercises. E-learning with regular homeworks. Numerous study materials: PDF presentations, videos, texts and quizzes.
Assessment methods
(1) REGULAR HOMEWORKS = condition required before the exam. During the semester, at least 80 % of regular e-tests (every week 1-2) must be successfully completed (each e-test must receive at least 80 % of points).
(2) FINAL EXAM. An e-test via computer. The questions are similar to those from homeworks. (For few, the exam is not required; they successfully pass if filling the homeworks.) For A mark approx. 80 % of questions must be correctly answered.
(3) BONUS (non-obligatory surplus activity): increasing received e-test mark by 1 degree (e.g. from D to C) for each of (a)-(c) (cumulative increasing is possible). (a) Attendance to classes, (b) activities in classes (answering topic-related questions), (c) answering questions on selected texts (by analytic philosophers) studied at home. For minimum points, see the Czech version above. Points from activities are recorded in IS during the semester.
Language of instruction
Czech
Follow-Up Courses
Further comments (probably available only in Czech)
The course is taught annually.
The course is taught: every week.
General note: Pro studenty kombinovaného studijního programu je doporučeno zapsat si současně předmět PHV2451 Logika I: otázky a odpovědi.
Information on the extent and intensity of the course: kombinovaná forma: 16 hodin/semestr.
Teacher's information
http://www.phil.muni.cz/~raclavsky/logika/
The course is also listed under the following terms Autumn 2019, Autumn 2020, Autumn 2021, Autumn 2022, Autumn 2023.
  • Enrolment Statistics (Autumn 2024, recent)
  • Permalink: https://is.muni.cz/course/phil/autumn2024/PHBL1