Skip to Main content Skip to Navigation
Journal articles

Rules and derivations in an elementary logic course

Gilles Dowek 1, *
* Corresponding author
1 DEDUCTEAM - Deduction modulo, interopérabilité et démonstration automatique
LSV - Laboratoire Spécification et Vérification [Cachan], Inria Saclay - Ile de France
Abstract : When teaching an elementary logic course to students who have a general scientific background but have never been exposed to logic, we have to face the problem that the notions of deduction rule and of derivation are completely new to them, and are related to nothing they already know, unlike, for instance, the notion of model, that can be seen as a generalization of the notion of algebraic structure. In this note, we defend the idea that one strategy to introduce these notions is to start with the notion of inductive definition [1]. Then, the notion of derivation comes naturally. We also defend the idea that derivations are pervasive in logic and that defining precisely this notion at an early stage is a good investment to later define other notions in proof theory, computability theory, automata theory, ... Finally, we defend the idea that to define the notion of derivation precisely, we need to distinguish two notions of derivation: labeled with elements and labeled with rule names. This approach has been taken in [2].
Document type :
Journal articles
Complete list of metadata

Cited literature [4 references]  Display  Hide  Download
Contributor : Gilles Dowek Connect in order to contact the contributor
Submitted on : Thursday, January 7, 2016 - 11:36:57 AM
Last modification on : Friday, April 30, 2021 - 9:53:26 AM


Files produced by the author(s)


  • HAL Id : hal-01252124, version 1
  • ARXIV : 1601.01483


Gilles Dowek. Rules and derivations in an elementary logic course. IfColog Journal of Logics and their Applications (FLAP), College Publications, 2017, 4 (1). ⟨hal-01252124⟩



Les métriques sont temporairement indisponibles