#HoTT : Propositions as types

Autrement qu'être Mathesis uni∜ersalis Problema Universale Heidegger/Husserl être/conscience : plan vital-ontologique vs plan spirituel d'immanence CLAVIS UNIVERSALIS HENOSOPHIA PANSOPHIA ενοσοφια μαθεσις

J’ai découvert hier ce blog très intéressant qui accorde une grande importance à la quaternité (« fourfold ») que l’on retrouve un peu partout (que l’on pense à la quaternité des éléments chez les Anciens) et qui n’est autre qu’une figure de La Croix , dont les deux branches sont interprétées ici comme la dualité plan vital-plan internel:

https://equivalentexchange.wordpress.com

La quaternité est évoquée aussi par Jung(souvent cité dans le blog Equivalent exchange) et la spécialiste Marie Louise Von Franz , que l’on pense aussi à Raymond Abellio où la perception correspond à une double polarité (quaternité donc) plutôt qu’à la classique opposition sujet-objet : l’objet s’enlève sur fond de monde, de même que l’oeil sur fond de la totalité du corps:

http://www.rencontres-abellio.org/Rencontres/2015/Silva%202015.pdf

http://www.revue3emillenaire.com/blog/structure-absolue-present-vivant-raymond-abellio/

Le schème « Propositions as types », crucial dans la théorie homotopique des types, est le sujet d’un article du blog « Équivalent exchange »:

https://equivalentexchange.wordpress.com/2016/02/14/propositions-as-types/

et est l’une des extrémités d’une quaternité…

Voir l’article original 22 mots de plus

Publicités