Symbolic Logic

Symbolic Logic




ECTS credit:4

Lecturer(s): doc. dr. Malec Maja


• Logic as a formal-symbolic system;
• syllogistic logic as a deductive system (A-system); elements of Stoic logic;
• propositional logic (P-system): history, construction of the system, propositional functions and truth-value matrices, the “problem of implication”; logical laws and schemes of inference, natural deduction in propositional logic;
• elements of the predicate logic (Q-sistem): propositional functions, quantifiers, predicates; relations between A-system and Q-system, Venn’s diagrams; natural deduction in the predicate logic; basics of the logic of relations and identity;
• axiomatic systems in logic: history, intentions and functions of axiomatic, criterions for the choice of axioms, Russell's axiomatic system and comparison with other systems;
• the short outline of the modal logic;
• logical paradoxes: Russell, Tarski, Gödel.