Logic (lecture) (wykład) - 2017/2018

Course description
General information
Lecturer:dr hab. Robert Trypuz
Organising unit:Faculty of Biotechnology and Environmental Sciences - Instytut Biotechnologii
Number of hours (week/semester): 1/15
ECTS code:00001-1000-1100WYK0000
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.
Prerequisites
Rudiments in mathematics
Learning outcomes
KNOWLEDGE
K_K05 The student can use acquired knowledge during his/her professional career without violating law or ethical principles
K_K06 The student understands social aspects of applying acquired knowledge and the responsibility that is connected with it
K_K07 The student can communicate by using different methods in his/her professional environment

SKILLS
K_U21 The student can use logic, methods of providing proof and recursion in order to solve problems in the computer science


ATTITUDES
K_W02 The student has knowledge about mathematical analysis, algebra and geometry, logic, discrete mathematics, probability theory and statistics useful when formulating and solving simple tasks associated with the computer science
Teaching method
lecture, text analysis, solvind problems, solving problems as a team, debate.
Course content description
The concept, kinds and features of reasoning (argument), correctness 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
Michael Genesereth and Eric Kao, Introduction to Logic, Second Edition, Morgan & Claypool, 2013

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: Biotechnology
Course listing in the Schedule of Courses:
Year/semester:Year I - Semester 1
Number of ECTS credits: 2
Form of assessment: Examination
Field of study: Informatics
Course listing in the Schedule of Courses:
Year/semester:Year I - Semester 1
Number of ECTS credits: 2
Form of assessment: Examination
Field of study: Mathematics
Course listing in the Schedule of Courses:
Year/semester:Year I - Semester 1
Number of ECTS credits: 2
Form of assessment: Examination
Field of study: Theology
Course listing in the Schedule of Courses:
Year/semester:Year I - Semester 1
Number of ECTS credits: 2
Form of assessment: Examination