L’intuitionnisme entre philosophie, mathématique et logique

Dominique Pradelle, Marwan Rashed & Mark van Atten
Présentation du numéro
1. Commencements grecs et arabes de l’intuitionnisme
Roshdi Rashed
Ménélaüs : un mathématicien proto-intuitionniste ?
Thomas Auffret
Intuitionnisme et systèmes philosophiques hellénistiques. Le tiers exclu chez Épicure et Chrysippe
Marwan Rashed
L’intuitionnisme d’al-Samaw’al : algèbre, arithmétique, géométrie, théologie, cosmologie
J. Gil-Ferez, M. A. Moshier, A. Naibo, M. Panza & J.-M. Salanskis
Formalizing the Logic and Proofs of Book I of Euclid’s Elements: Some Examples
2. Formes modernes de l’intuitionnisme
Štěpán Holub & Burt Hopkins
Rerum formae: What is François Viète’s Logistice Speciosa about?
Frédéric de Buzon
Descartes intuitionniste ?
David Rabouin
Leibniz entre logicisme, formalisme et intuitionnisme ?
3. Formes contemporaines de l’intuitionnisme
Gerhard Heinzmann
Poincaré and Intuitionism
Dominique Pradelle
Brouwerian Intuitionism and Husserlian Phenomenology
Clément Lion
Intuitionnisme dialogique et pré-propositionnalité
Théophile Richard
Note sur l’intuitionnisme selon Jules Vuillemin