Phénoménologies de l'objet

La phénoménologie de l'objet, comme celle du sujet, est produite par une variante modale de l'autoréférence. Plus précisément elle va résulter des opérations successives suivantes.

• Une variante affaiblie de l'idée de Théétète: la restriction à la vérité va être remplacée par la restriction à la possibilité, c'est-à-dire ici la consistance. Cela va donner deux logiques: Z et sa ``starification" Z$*$. La motivation de base est le ``darwinisme arithmétique" tel qu'il est imposé par les arguments du déployeur universel et du graphe filmé.
• La restriction des réalisations arithmétiques des formules atomiques aux énoncés $\Sigma$₁. Avec la thèse de Church de tels énoncés correspondent, du point de vue d'une machine löbienne, aux ``feuilles" de l'arbre du déploiement universel. Cela va donner à nouveau un couple de logiques Z$$<sub>1</sub> et sa ``starification" Z$$₁*. Cette dernière devrait, si le computationnalisme est correct et si notre prospection philosophique est pertinente, correspondre à la phénoménologie de la matière.

 
• De la vérité à la possibilité
• La $\Sigma$₁-restriction