Calculabilité, physique et cognition Church, Hypothèse de, Logique modale Matérialisme Modèles logiques Mathématiques -- Aspect cognitif Phénoménologie de l'esprit Mécanisme (philosophie) Phénoménologie de la matière 003.52 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. Text Electronic Thesis or Dissertation FR application/pdf 1 : 912787 https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/1998/50376-1998-121-122.pdf Marchal Bruno 1998-01-01 Informatique Université Lille1 - Sciences et Technologies thesis.degree.grantor_1 026404184 Doctorat non oui Delahaye Jean-Paul Université Lille1 - Sciences et Technologies PDF ASCII 912787