Logic - an introduction PSY-SJ-p>logika-w

1. What does logic do - in the colloquial and scientific sense.
2. Elements of the history of logic and its applications.
3. Basic logical theories and their relationship with the analysis of colloquial language and the art of argumentation.
4. Sentence in a logical sense.
5. Semantic categories, sentences, sentence conjunctions.
6. Classical propositional calculus - semantic definitions of functors, omitting parentheses, logical square
7. Zero-one method in classical propositional calculus - full and shortened tables, shortened methods: direct and indirect; computer programs supporting the verification of logical theorems.
8. The assumption system of classical propositional calculus: listing assumptions and goals, primary and secondary rules, relations between the assumption and binary methods (completeness theorem).
9. Introduction to the axiomatics of classical propositional calculus.
10. Examples of systems and theorems of non-classical logics.
11. Aristotle's syllogistics: definitions of terms and associations, zero-, one- and two-premise syllogisms.
12. Methods of checking the efficiency of syllogisms: binary, syntactic, Venn diagrams, laws of syllogisms, reduction of syllogisms.
13. Selected methods of proving and checking expressions of set theory.
14. Narrower calculus of predicates, relationship theory.
15. Principles of correct definition of terms.
16. Logical errors.

Basic reading:
Z. Wolak, Elementy logiki, skrypt.
G. Malinowski, Logika ogólna, Łódź 2007.

Complementary reading:
T. Batóg, „Podstawy logiki”, Poznań, UAM, 2003.
L. Borkowski, „Wprowadzenie do logiki i teorii mnogości”, TN KUL, 1991.
B. Stanosz, Logika języka naturalnego, Warszawa 1999.