Note ABES L'intuitionnisme dialogique. Une autre lecture du sujet créateur brouwerien Dialogical Intuitionism. Another reading of Brouwer's Creating Subject Intuitionnisme Sujet créateur Théorie Constructive des Types Sémiotique Logique dialogique Sujet épistémique Intuitionism Creating Subject Constructive Type Theory Semantic Dialogical logic Epistemic Subject Brouwer, Luitzen Egbertus Jan (1881-1966) Thèmes, motifs Intuitionnisme Théorie des types Nous inscrivons cette étude dans le cadre de l'approche dialogique de la Théorie Constructive des Types pour proposer une interprétation de quelques points controversés de l'intuitionnisme mathématique - le sujet créateur, les séquences de choix libres et le principe de l'induction barrée - que nous reconstruisons, sans nous appuyer sur des axiomes, mais seulement sur des règles d'interaction. L'originalité de notre approche est de mobiliser la tryade icône, index, symbole, tirée de la sémiotique de Peirce, pour construire un formalisme dynamique permettant de reconstituer les couches antéprédicatives de sens qui sont en jeu dans la relation intersubjective, en évitant certaines difficultés liées à la méthode phénoménologique. Cet approfondissement de la question de l'intersubjectivité nous conduit à discuter la portée de la proposition récemment faite par Per Martin-Löf de fonder la couche épistémique, dont la reconnaissance caractérise le constructivisme mathématique dans sa spécifité, sur une couche déontique. Nous pouvons alors interpréter le solipsisme de Brouwer comme un mode particulier de l'interaction dialogique, résolvant ainsi le problème de la communicabilité des propositions intuitionnistes. This study, embedded in the framework of the dialogical approach to Constructive Type Theory, seeks to interpret some controversial matters of mathematical Intuitionism - the creating subject, free choice sequences, and the principle of bar-induction - which we reconstruct without using any axiom, but only rules of interaction. The originality of our approach is that we make use of the tryad icon, index, symbol, taken from Peirce's semiotic, in order to build a dynamic formalism, which enables us to reconstruct the antepredicative layers of meaning - which are at stake in the intersubjective relations - without falling into the linguistic difficulties of phenomenological methods. Such a deepening of intersubjectivity topics leads us to discuss Per Martin-Löf's recent proposal towards grounding the epistemic layer, the acknowledgment of which is a characteristic feature of mathematical constructivism, upon a deontic layer. Brouwer's solipsism is accordingly interpreted as a particular mode of dialogical interaction, which represents a solution to the problem of the communicability of intuitionistic propositions. Electronic Thesis or Dissertation Text fr PDF 1834115 https://pepite-depot.univ-lille.fr/ToutIDP/EDSHS/2020/2020LILUH045.pdf Lion Clément 1980-01-13 FR 198603789 https://theses.fr/2020LILUH045 2020LILUH045 https://doi.org/10.70675/b38200baz2c26z4b2az969czf05b69a11d2c 2020-12-16 Philosophie Université de Lille (2018-2021) 223446556 Doctorat Docteur es non oui Rahman Shahid MADS_DIRECTEUR_DE_THESE_1 059922435 Heinzmann Gerhard MADS_DIRECTEUR_DE_THESE_2 02832109X Raïd Layla MADS_PRESIDENT_DU_JURY 031210023 Rahman Shahid MADS_MEMBRE_DU_JURY_1 059922435 Heinzmann Gerhard MADS_MEMBRE_DU_JURY_2 02832109X Raïd Layla MADS_MEMBRE_DU_JURY_3 031210023 Clerbout Nicolas MADS_MEMBRE_DU_JURY_4 184996546 Marion Mathieu MADS_MEMBRE_DU_JURY_5 050837249 Atten Markus van MADS_MEMBRE_DU_JURY_6 113308310 Nepomuceno Fernández Ángel MADS_MEMBRE_DU_JURY_7 183288432 Clerbout Nicolas MADS_RAPPORTEUR_1 184996546 Marion Mathieu MADS_RAPPORTEUR_2 050837249 École doctorale Sciences de l'homme et de la société (Lille ; 2006-....) MADS_ECOLE_DOCTORALE_1 148938809 Savoirs, textes, langage (Villeneuve d'Ascq, Nord ; 2006-....) MADS_PARTENAIRE_DE_RECHERCHE_1 094767386 ddc:120 ddc:510 ddc:160 Rahman Shahid Heinzmann Gerhard Raïd Layla Rahman Shahid Heinzmann Gerhard Raïd Layla Clerbout Nicolas Marion Mathieu Van Atten Mark Nepomuceno Fernández Ángel Clerbout Nicolas Marion Mathieu École doctorale Sciences de l'homme et de la société (Villeneuve d'Ascq, Nord) Savoirs, textes, langage (Villeneuve d'Ascq, Nord) PDF 1834115