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
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