Rules and derivations in an elementary logic course - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue IfColog Journal of Logics and their Applications (FLAP) Année : 2017

Rules and derivations in an elementary logic course

Résumé

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].
Fichier principal
Vignette du fichier
ttl.pdf (101.24 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01252124 , version 1 (07-01-2016)

Identifiants

Citer

Gilles Dowek. Rules and derivations in an elementary logic course. IfColog Journal of Logics and their Applications (FLAP), 2017, 4 (1). ⟨hal-01252124⟩
141 Consultations
163 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More