Art of Definition and Conceptual Analysis (konwersatorium) - 2018/2019

Opis zajęć
Informacje ogólne
Prowadzący:dr Marcin Czakon
Organizator:Wydział Filozofii - Instytut Filozofii
Liczba godzin tydzień/semestr: 2/30
Język wykładowy:Język polski
Cele przedmiotu
C1 Presentation and discussion about main concepts, problems and achievements of philosophical logic, taking into account metalogic.
C2. Presentation of Propositional Calculus, First Order Logic.
C3. Developing skills in solving logic problems.
C4. Developing skills in paying attention to logical fallacies and logical correctness.
Wymagania wstępne
General knowledge about mathematics of high school level.
Efekty kształcenia dla przedmiotu
KNOWLEDGE:
1. Student has knowledge about basic types of formulas, main ways to justification the theorems, main types of knowledge and he/she understands specificity of them.
2. Student has knowledge and understanding the features and way to construction logical theories and he/she knows the importance and way to proof of limitations theorems.
SKILLS:
1. Student has a skill to analyzing, evaluating of correctness and reading the structure of logical reasoning.
2. Student has a skill to solve the problems in Propositional Calculus and First Order Logic.
3. Student has a skill to solve the problems in non-classical logics.
4. Student has a skill to examine the correctness of the formal proofs.
5. Student has a skill to recognize and naming basic logical fallacies.

Social competences:
1. Student has a skill to work in group.
Metody dydaktyczne
lecture, working in groups, individual work
Treści programowe przedmiotu
Structure, types and features of arguments, correctness and logical fallacies in reasoning. Induction, deduction, inconsistency and similar relations. Structure of logical theory, concepts of model and interpretation. Selected concepts of set theory, algebry and arithmetic of natural numbers. Propositional Calculus. First Order Logic, theory of identity, logics of higher order. Structure and features of logical theories, axioms, proofs, definitions. Limitatnion theorems: I and II Godel’s theorem, Tarski’s theorem, Church’s theorem. Variety of types of knowledge and sciences.
Kryteria oceny i sposoby weryfikacji zakładanych efektów kształcenia
Fail:
Knowledge: Student doesn’t have required knowledge about reasonings and definitions. Student doesn’t have basic knowledge about constructing a logical theory, types of knowledge or limitation theorems.
Skills: Student doesn’t have a skill to analyze arguments, recognize the logical fallacies and solve logical problems.
Social competences: The student is not involved in the learning process.

Barely Pass:
Knowledge: Student has required knowledge about types, features and correctness of reasonings and definitions. Student has knowledge about constructing a logical theory, types of knowledge and limitation theorems.
Skills: Student has a skill to analyze arguments, recognize and naming the logical fallacies and solve logical problems. Student can solve logical problems with the help of the teacher.
Social competences: The student is involved in the learning process.

Good Pass:
Knowledge: Student has knowledge about all topics presented during the course, but he/she can have insignificant gaps in detail.
Skills: Student has a skill to solve typical problems in all presented topics.
Social competences: The student is involved in the learning process.

Very Good Pass
Knowledge: Student has systematized and wide knowledge about all topics presented during the course.
Skills: Student has a skill to solve typical and difficult problems in all presented topics. He/she can put the problems, find the answers and illustrate them by examples.
Social competences: student is very active at the classes.

The way to verification of knowledge is an oral exam.
Literatura podstawowa i uzupełniająca
D. Bonevac, Deduction. Introductory Symbolic Logic,
Blackwell Publishers Ltd., 2003.
J. C. Beall, B. C. van Fraassen, Possibilities and Paradox. An Introduction to Modal and Many-Valued Logic, Oxford 2003.
R. M. Smullyan, Goedel’s Incompleteness Theorems, Oxford 2001.
Kierunek studiów: Filozofia - grupa w języku angielskim (stacjonarne II stopnia)
Lokalizacja w planach rocznych:
Etap:Rok II - Semestr 3
Punkty ECTS: 4
Forma zaliczenia: Zal. na ocenę