Logic (wykład) - 2019/2020

Course description
General information
Lecturer:prof. dr hab. Marcin Tkaczyk
Organising unit:Faculty of Philosophy - Instytut Filozofii
Number of hours (week/semester): 1/15
Language of instruction:English
Course objective
1. To acquaint the attendee with key concepts, problems and outcomes of logic, including metalogic.
2. To introduce the attendee to the standard first-order logic and selected simple non classical logics.
3. To train the attendee\\\'s skills in solving logical problems.
4. To develop the attendee\\\'s feel for logical correctness and logical fallacy.
Rudiments in mathematics
Learning outcomes
1. Acquaintance with key semantic categories, kinds of belief justification and kinds of knowledge (K_W02, K_W03).
2. Acquaintance with principles of theory construction, theory features, and with methods of proving theorems (K_W02, K_W03).
3. Analysis and evaluation of typical inferences and arguments (K_U05).
4. Solving problems in first-order logic (K_U04, K_U05).
5. Solving rudimentary problems in selected non classical logics (K_U04, K_U05).
6. Analysis and evaluation of formal proofs (K_U04).
7. Recognition and description of logical fallacies (K_U04, K_U05).
8. Readiness of the attendee to solve problems as a team and to debate without passion or prejudice (K_K04).
Teaching method
lecture, text analysis, solvind problems, solving problems as a team, debate.
Course content description
The concept, kinds andfeatures of reasoning (argument), correctnes and logical fallacies. Logical consequence, inference, entailment, contradiction. Rudiments of set theory, algebra and arithmetics. Logical calculus, interpretation, model. Classical propositional calculus, first-order logic, identity theory. Logic and arithmetics, soundness, completeness, decidability. Origin and development of non-classical logics, selected rudimentary non-classical calculi. Logical pluralism, choice of logic, cognitive value and reliability of logic. Structure and features of theory, first-order theories, axiomatics, proofs, definitions. Goedel\\\'s incompleteness theorems, Tarski\\\'s theorem, Church\\\'s theorem, Church\\\'s thesis. Kinds of knowledge.
Forms of assessment
5 - Comprehensive and integral knowledge, ability to use the knowledge in practical situations. Unaided formulating and solving all the problems. Perfect attitude.
4 - Comprehensive and integral knowledge, possibly with secondary faults. Unaided solving typical problems. Perfect attitude.
3 - Acquaintance with basic concepts of reasoning its correctness, kinds and features, logical fallacies, structure and features of theories, structure, correctness, kinds and features of definition. kinds of knowledge. Unaided analysis of simple reasoning. Assisted solving simple problems. Acceptable attitude.
2 - Lack of any condition to be met for the mark 3.
Required reading list
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.
Field of study: Philosophy
Course listing in the Schedule of Courses:
Year/semester:Year I - Semester 1
Number of ECTS credits: 4
Form of assessment: Credit