Contents

 
• Remerciements
• Introduction
• L'hypothèse du computationnalisme
• Comment fonctionne la démonstration ?
• L'argument du déployeur universel
  • Le mécanisme entraîne une forme forte d'indéterminisme phénoménal
  • La sélection ne dépend pas des délais de reconstitutions
  • Le mécanisme entraîne une forme forte de non-localité phénoménale
  • La sélection ne dépend pas de la nature des reconstitutions
  • L'argument du déployeur universel
    • L'hypothèse extravagante
    • Une phénoménologie de la matière est nécessaire
  • A quoi peut ressembler une phénoménologie computationnelle de la $matière\; ?$
• L'argument du graphe filmé
  • Les thèses de supervénience
    • La supervénience physique
    • La supervénience computationnelle
  • L'éliminination de l'hypothèse extravagante
    • COMP entraîne SUP-COMP
    • Le graphe filmé: COMP => ~SUP-PHYS
    • Objections et raffinements
      • Et si le film rêvait?
      • Contrefactuellement correcte/accidentellement correcte
      • Barnes et Malcolm
• Opinions et silences de la machine löbienne
  • Une ``toute petite théorie de la conscience"
  • La prouvabilité formelle
  • La phénoménologie du sujet
    • L'idée de Théétète
    • Réfutation de Lucas et Penrose
  • Phénoménologies de l'objet
    • De la vérité à la possibilité
    • La Sigma<sub>1</sub>-restriction
  • Comparaison avec la physique actuelle
    • Indéterminisme et non-localité
    • Etats multiples et relatifs
    • Logique quantique : contrefactualité
    • Logiques quantiques : mesures et qualia ``arithmétiques"
    • Comparaison avec Maudlin et Penrose
    • L'arithmétique comme ``Théorie de Tout"
    • Penrose, Maudlin
    • Penrose, Deutsch, Albert, Wheeler, Tipler, Böhm 19
• Logique modale
  • La sémantique de Kripke
  • Théories et démonstrations
  • La sémantique de Scott et Montague
• La thèse de Church
  • Généralité et histoire
  • La thèse de Church entraîne l'incomplétude de Gödel
  • La thèse de Church intensionnelle
  • La thèse de Church permet de réhabiliter une ``philosophie de Pythagore"
• Mécanique quantique
  • Le doute qui vient de la chimie
  • Quel effet cela fait-il d'être une machine dans un univers quantique ?
    • L'indéterminisme quantique est un cas particulier de l'indéterminisme abrupte mécaniste
    • Le point de vue du chat de Schrödinger
    • L'ordinateur avec l'instruction ``KILL-THE-USER"
    • Confirmation à la troisième personne de l'interprétation d'Everett
    • Le rôle pédagogique de l'interprétation d'Everett
    • Peut-on croire à l'interprétation d'Eve$rett\; ?$
  • Inégalités de Bell et Logique Quantique
    • Violation des Inégalités de Bell
      • Principes de Base
      • Démonstration d'une inégalité de Bell
      • Violations expérimentales des inégalités de Bell
    • Logique quantique
• Zombies et compagnie
  • Le problème du corps et de l'esprit
    • Le paradoxe du fonctionnalisme
    • Une formulation générale du problème du corps et de l'esprit
      • Ontologie, rasoirs d' Occam et phénoménologie
  • Le computationnalisme est une hypothèse forte
  • Le computationnalisme est une hypothèse faible
• References
• About this document ...