PHV242 Logic II: Seminar

Faculty of Arts
Spring 2023
Extent and Intensity
0/2. 2 credit(s). Type of Completion: z (credit).
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
each odd Thursday 12:00–13:40 A11
Prerequisites
PHBL2 or similar course
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 27 fields of study the course is directly associated with, display
Course objectives
The course extends knowledge from the course PHBL1. Mainly its practical part + some reading of the classics of analytic philosophy (the ratio of the two changes upon agreement).
Learning outcomes
a) Reading and critical analysis of selected texts written by analytic philosophers/logicians. a) Exercises on predicate logic an its applications in the field of natural language.
Syllabus
  • The list of text varies (Frege, Russell, Carnap, Wittgenstein, ...). Exercises are related to the following topics of first-order logic
  • - informal introduction
  • - its 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
Literature
  • RACLAVSKÝ, Jiří. Úvod do logiky: klasická predikátová logika ([Introduction to Logic: Classical Predicate Logic). 1. vyd. Brno: Masarykova univerzita, 2015, 348 pp. ISBN 978-80-210-7867-3. info
Teaching methods
Classes devoted to practical applications, readings and discussions.
Assessment methods
Attendance to (e-)classes, active participation, e-tests during the course.
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: kombinovaná forma: 16 hodin/semestr.
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.
  • Enrolment Statistics (recent)
  • Permalink: https://is.muni.cz/course/phil/spring2023/PHV242