Università Roma Tre

This course provides an introduction to:
(1) the role played by reasoning in rational interaction (discussions, exchanges of theses), in the solution of problems of logic and mathematics, and the consequence of a lack of adequate reasoning procedures in these areas;
(2) rational argumentation and the logical structure underlying valid arguments;
(3) a rigorous approach to deductive reasoning, based on the formal tools provided by propositional and quantified (deductive) logic.
The course also wishes to alert participants of the consequences of a lack of a rational course in the context of mass communication, information society, and online interaction, while developing the ability to correctly apply the basic rules of reasoning that are distinctive of deductive reasoning.

The course will apply, as far as possible, a `bottom-up' approach: from reasoning problems, to the tools required to solve them, to the theories in which such tools are defined, understood, and discussed. The course is divided into two modules:

Module A: It will approach and discuss the definition of an argument and of a good argument, the role played by arguments in our reactions to disagreement and in rational discussions, and the rational strategies for reacting to disagreement. It will then focus on deductive reasoning and on propositional logic in particular. In this context the course will introduce and discuss the basic rules of reasoning of propositional logic and it will discuss the notion of derivability, introduce the procedures for building a formal language, it will explore the semantics of propositional logic, the notions of logical consequence and validity, and the possible connections between derivability, logical consequence, and validity.

Module B: It will introduce the notion of a system of rules and that of an axiomatics system, together with the notions of soundness and completeness, and it will then focus on natural deduction and its soundness and completeness with respect to the semantics of classical propositional logic. It will then present basic facts, notions, and definitions of set theory, which are indispensable when it comes to an understanding of quantified logic. After that, the course will focus on quantified logic, by explaining the way in which quantified logic 'reads' predicates and quantifiers (expressions like 'Every' and 'Some'), it will introduce basic rules for reasoning with the quantifiers, and it will introduce the semantics of quantified logic. The course will then discuss soundness and completeness of natural deduction for quantified classical logic with respect to the semantics of quantified classical logic. Russell paradox will also be introduced and discussed.

The achievement of 12 CFU requires presenting the program of both modules; achievement of 6 CFU requires presenting the program of one of the two modules only.

Textbook:

Francesco Berto. Logica. Da zero a Gödel, Laterza, Roma 2008.