• Langue : Français
• Discipline : Informatique
• Identifiant : Inconnu
• Type de thèse : Doctorat
• Date de soutenance : 01/01/1998

Résumé en langue originale

Nous proposons une argumentation hypothético-déductive montrant que l'hypothèse du computationnalisme en science cognitive est incompatible avec une forme, pourtant très faible, de matérialisme. La démonstration est partiellement constructive en ce sens qu'elle montre comment réduire en principe la physique à une psychologie computationnelle. Par computationnalisme nous entendons une version indexicale du mécanisme digital, ce qui nécessite aussi la thèse de Church et le réalisme arithmétique. Dans une seconde partie (chapitre 5) nous illustrons comment isoler une logique des observations possibles à partir de la logique de la prouvabilité par des machines autoréférentiellement correctes. Nous obtenons ainsi une phénoménologie (dans le sens traditionnel non husserlien du terme) de la matière. Nous terminons en comparant cette phénoménologie avec la logique quantique ainsi qu'avec des interprétations récentes (« many-minds ») de la mécanique quantique. Nous avons réuni dans des annexes des rappels sur les logiques modales, sur le problème du corps et de l'esprit, et sur les problèmes de la mesure en mécanique quantique, et quelques réflexions sur la thèse de Church.