Logics 2105-PP-L-D2LOGI

1. Natural language. Interpretation of natural language. Formalization of language and AI
2. Sign, language, logical notion of language.
3. Linguistic categories in logic.
4. Introduction to logical calculus.
4.1. Types of justification.
4.2. Notion of inference.
4.3. Detection of premises and conclusion.
4.4. Soundness.
4.5. Deductive vs. speculative inferences.
4.6. Notion of entailment.
4.7. Logical fallacies.
4.8. Entailment vs. truth.
4.9. Notion of entymem.
5.0. Propositional calculus.
5.1. Language of propositional calculus (PC).
5.2. Language vs. metalanguage.
5.3. Translation of sentences of natural language into language of PC and vice versa.
5.4. Valuation - notion of valuation in logic.
5.5. Truth tables.
5.6. Tautology.
5.6. Truth tables method.
5.7. Using truth tables method for verifying deductive inferences.
5.8. Selected logical laws.

Type of course

obligatory courses

Mode

Blended learning

Prerequisites (description)

The aim of the course is to familiarize students with the basics of logic. The material is to equip the student with basic tools for verifying the correctness of statements and the ability to verify the validity of deductive reasoning, primarily on the basis of classical propositional calculus. Elements of quantifier logic will also be introduced.

Course coordinators

Łukasz Młyńczyk

Assessment criteria

1. Test exam.
2. Student participation.

Bibliography

D. Bonevac, Deduction. Introductory Symbolic Logic, Malden–Oxford: Blackwell Publishing 2003
L. Borkowski, Wprowadzenie do logiki i teorii mnogości, Lublin: Towarzystwo Naukowe KUL 1991
K. Ajdukiewicz, Zarys logiki, Warszawa: Państwowe Zakłady Wydawnictw Szkolnych 1959

Additional information

Additional information (registration calendar, class conductors, localization and schedules of classes), might be available in the USOSweb system:

Description of 2105-PP-L-D2LOGI in USOSweb