Une preuve intuitionniste de l’argument de Diodore-Prior - HAL-SHS - Sciences de l'Homme et de la Société Accéder directement au contenu
Article Dans Une Revue Travaux de logique du CdRS Année : 2011

Une preuve intuitionniste de l’argument de Diodore-Prior

Résumé

Cet article répond aux trois reproches que Vuillemin a formulés contre la preuve du Dominateur proposée par Prior. L‘interprétation intuitionniste de cette preuve permet d‘écarter les deux premiers reproches et de limiter la portée du troisième. On donne en conclusion une preuve de l‘argument de Diodore, fondée sur une interprétation intuitionniste du premier axiome de la démonstration de Prior. Cette preuve fait à la fois l‘économie des axiomes additionnels de Prior et des indices temporels utilisés dans les démonstrations de Vuillemin .
Fichier non déposé

Dates et versions

hal-01240983 , version 1 (09-12-2015)

Identifiants

  • HAL Id : hal-01240983 , version 1

Citer

Joseph Vidal-Rosset. Une preuve intuitionniste de l’argument de Diodore-Prior. Travaux de logique du CdRS, 2011, Regards croisés sur l'axiomatique., 20, pp.103-122. ⟨hal-01240983⟩
166 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More