Adam Mickiewicz University, Poznań - Central Authentication System
Strona główna

Formal Logic

General data

Course ID: 22-FLDL-LOF
Erasmus code / ISCED: 08.1 Kod klasyfikacyjny przedmiotu składa się z trzech do pięciu cyfr, przy czym trzy pierwsze oznaczają klasyfikację dziedziny wg. Listy kodów dziedzin obowiązującej w programie Socrates/Erasmus, czwarta (dotąd na ogół 0) – ewentualne uszczegółowienie informacji o dyscyplinie, piąta – stopień zaawansowania przedmiotu ustalony na podstawie roku studiów, dla którego przedmiot jest przeznaczony. / (0223) Philosophy and ethics The ISCED (International Standard Classification of Education) code has been designed by UNESCO.
Course title: Formal Logic
Name in Polish: Logika formalna
Organizational unit: Faculty of Philosophy
Course groups: (in Polish) Moodle - przedmioty Szkoły Nauk Humanistycznych
(in Polish) Przedmioty dla 2 semestru filozofii ogólnej I stopnia
(in Polish) Przedmioty na Wydziale Filozoficznym
ECTS credit allocation (and other scores): 6.00 Basic information on ECTS credits allocation principles:
  • the annual hourly workload of the student’s work required to achieve the expected learning outcomes for a given stage is 1500-1800h, corresponding to 60 ECTS;
  • the student’s weekly hourly workload is 45 h;
  • 1 ECTS point corresponds to 25-30 hours of student work needed to achieve the assumed learning outcomes;
  • weekly student workload necessary to achieve the assumed learning outcomes allows to obtain 1.5 ECTS;
  • work required to pass the course, which has been assigned 3 ECTS, constitutes 10% of the semester student load.
view allocation of credits
Language: Polish
Module type:

compulsory
Major:

Philosophy
Cycle of studies:

1st cycle
Module learning aims:

This course present principial fundamental theoretical results about QC logic.
Year of studies (where relevant):

Year 2
Pre-requisites in terms of knowledge, skills and social competences:

(in Polish) Zaliczenie kursu "Wstęp do logiki" (I rok)
Short description:

Language QC. Metalogic for QC: the notion of consequence operation, the notion of first-order theory and its properties. Introduction to semantic for QC.
Full description:

1.Lecture. Language QC. Metalogic for QC: the notion of formalized proof, the logical consequence operation and its basic properties, deduction theorems for QC, theorem of consistency. The notion of first-order theory, the Peano Arithmetic. Consistency, indepedence of axioms, structural completeness, decidability. Gödel's Incompleteness Theorems and its philosophical importance. Philosophical problems of truth. The Liar Antinomy. Elements of semantic for QC: interpretations, satisfiability, truth, some theorems for truth. Tarski's undefinability theorem for truth. Tautology, models, semantic consequence. Completeness theorem for QC.

2. Lab. Logical reconstruction of statements. Set theory. Philosophical problems of truth. Truth and proof.
Bibliography:

1. T. Batóg Podstawy logiki, Wydawnictwo Naukowe UAM, Poznań 1994 (Wyd. II).

2. G. Hunter Metalogic. An Introduction to the metatheory of Standard First Order Logic, University of California Press 1971.

3. L. Borkowski „Wprowadzenie do logiki i teorii mnogości” Towarzystwo Naukowe KUL, Lublin 1991.

4. B. Stanosz „Ćwiczenia z logiki”, Wydawnictwo Naukowe PWN, Warszawa 1998

5. B. Russell „Truth and Falsehood” in: „The Problems of Philosophy”, Oxford University Press 1967.

6. A. Tarski „The semantic conception of truth and the foundations of semantics", in: "Philosophy and Phenomenological Research" 4: 341-375

7. A. Tarski „Truth and proof” in: "Scientific Americam" 220, 6, 63-77
Learning outcomes:

Students gain: (1) knowledge of basic notions and results of formal logic, that are relevant and applicable to many areas of science and philosophy, (2) ability to prove theorems, (3) to realize that the proper use of logic is reasonable way to solve problems.
Assessment methods and assessment criteria:

Exam

Classes in period "Academic year 2020/2021, winter semester" (past)

Time span: 2020-10-01 - 2021-02-28
Selected timetable range:
Navigate to timetable
Type of class:
laboratory, 30 hours more information
lecture, 30 hours more information
Coordinators: Zbigniew Tworak
Group instructors: Zbigniew Tworak
Students list: (inaccessible to you)
Examination: Course - Exam
laboratory - Graded credit
lecture - Exam

Classes in period "Academic year 2020/2021, summer semester" (past)

Time span: 2021-03-01 - 2021-09-30
Selected timetable range:
Navigate to timetable
Type of class:
classes, 30 hours more information
lecture, 30 hours more information
Coordinators: (unknown)
Group instructors: Zbigniew Tworak
Students list: (inaccessible to you)
Examination: Course - Exam
classes - Graded credit
lecture - Exam

Classes in period "Academic year 2021/2022, summer semester" (past)

Time span: 2022-02-24 - 2022-09-30
Selected timetable range:
Navigate to timetable
Type of class:
classes, 30 hours more information
lecture, 30 hours more information
Coordinators: Zbigniew Tworak
Group instructors: Zbigniew Tworak
Students list: (inaccessible to you)
Examination: Course - Exam
classes - Graded credit
lecture - Exam

Classes in period "Academic year 2022/2023, summer semester" (past)

Time span: 2023-02-27 - 2023-09-30
Selected timetable range:
Navigate to timetable
Type of class:
classes, 30 hours more information
lecture, 30 hours more information
Coordinators: Zbigniew Tworak
Group instructors: Zbigniew Tworak
Students list: (inaccessible to you)
Examination: Course - Exam
classes - Graded credit
lecture - Exam
Course descriptions are protected by copyright.
Copyright by Adam Mickiewicz University, Poznań.
ul. Wieniawskiego 1
61-712 Poznań tel: +48 61 829 4000 contact accessibility statement USOSweb 7.0.3.0 (2024-03-22)