FF:PHV241 Logic I: Seminar - Course Information
PHV241 Logic I: SeminarFaculty of Arts
- Extent and Intensity
- 0/2. 2 credit(s). Type of Completion: z (credit).
Taught in person.
- 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
- PHBL1 (best if simultaneously enrolled) 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 23 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) Exercising techniques enabling investigation of semantic properties of formulas and methods of formal demonstration as well as their applications in the field of natural language. b) Reading and critical analysis of selected texts written by analytic philosophers/logicians.
- Excercises are related to the following topics:
- Logic as an analytical science.
- An informal characteristics of entailment as the central notion of logic.
- 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. The list of text varies (Frege, Russell, Carnap, Wittgenstein, ...)
- Teaching methods
- Classes devoted to practical applications, readings and discussions.
- Assessment methods
- Attendance to (e-)classes, active particpation, e-tests during the course.
- Language of instruction
- Further comments (probably available only in Czech)
- The course is taught annually.
The course is taught: every other week.
Information on the extent and intensity of the course: kombinovaná forma: 16 hodin/semestr.
- Teacher's information
All materials occur in ELF (e-learning).