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 .