This course will be divided into four parts: 1. Theory of supposition; 2. Logical fallacies (Fallacies of relevance, of presumption, of ambiguity); 3. Introduction to modern logic (Short history of logic; Meta-logic and Russell’s paradoxes; Coherence and completeness; Gödel’s incompleteness theorems); 4. Introduction to symbolic logic (Symbolic language; Propositional Calculus; Truth value of compound propositions; Rules of inference and rules of replacement; Basic notions of Predicate Calculus).