Calculabilit , Physique Et Cognition

Une argumentation hypothtico-dductive est propose pour montrer que l'hypothse du computationnalisme en science cognitive est incompatible avec une forme, pourtant trs faible, de matrialisme. La dmonstration est partiellement constructive en ce sens qu'elle montre comment rduire en principe la physique une psychologie computationnelle. Par computationnalisme nous entendons une version indexicale du mcanisme digital, ce qui ncessite aussi la thse de Church et le ralisme arithmtique. Les premiers chapitres prsentent la dmonstration proprement dite au moyen des arguments du dployeur universel et du graphe film. Le dernier chapitre isole une logique des observations possibles partir de la logique de la prouvabilit par des machines autorfrentiellement correctes. De cette faon une thorie de la matire est drive. Nous terminons en comparant la logique de cette thorie avec la logique quantique. On trouvera dans les annexes des rappels sur les logiques modales, sur le problme du corps et de l'esprit, et sur les problmes de la mesure en mcanique quantique, ainsi qu'une drivation aise de l'incompltude des discours des machines partir de la thse de Church.