Rules and derivations in an elementary logic course

Gilles Dowek 1, *
* Auteur correspondant
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].
Type de document :
Article dans une revue
IfColog Journal of Logics and their Applications (FLAP), College Publications, 2017, 4 (1)
Liste complète des métadonnées

Littérature citée [4 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01252124
Contributeur : Gilles Dowek <>
Soumis le : jeudi 7 janvier 2016 - 11:36:57
Dernière modification le : mardi 9 janvier 2018 - 14:13:30

Fichiers

ttl.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

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

Collections

Citation

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〉

Partager

Métriques

Consultations de la notice

436

Téléchargements de fichiers

69