Introduction to logic

ECTS : 3

Lecturer in charge : Gabriella PIGOZZI (https://dauphine.psl.eu/recherche/cvtheque/pigozzi-gabriella)

Language of instruction : French

Teaching hours : 30

Course content:

• Valid and sound arguments
• Formalize natural language statements in symbolic forms (propositional and predicate logic)
• Propositional logic:
  • syntax and semantics
  • truth tables
  • axiomatic proof
  • tableaux
  • derivations
  • SAT
• Predicate logic:
  • syntax and semantics
  • axiomatic proof
  • tableaux

Skills to be acquired:

This course provides an introduction to classical logic. You will develop an understanding of symbolic logic and of different proof techniques.No prerequisite is required.After an informal introduction to valid and sound arguments in natural language, we move to formal classical logic.

• You will develop an understanding of symbolic logic and of different proof techniques.
• You will be able to translate natural language sentences to propositional and first-order logic.
• You will learn how to prove statements using the most common deductive systems (axiomatic systems, tableaux, derivations).

Recommended prerequisites

None

Bibliography, recommended reading:

• Reading material will be provided on the course space on Moodle
• Recommended book:
  • Valentin Goranko. "Logic as a Tool : A guide to formal logical reasoning", Wiley, 2016.