Daily Archives: September 20, 2019

De la logique de Hegel à #HoTT + modalités

Cette page rend bien compte du « mouvement de l’esprit » qui en deux siècles a porté la philosophie spéculative à travers la philosophie analytique (anglo-saxonne ) jusqu’au positivisme du Cercle de Vienne, puis au renouveau de la métaphysique : … Continue reading

Posted in category theory, Cochet-Brunschvicg, EHTT, Higher category theory, Higher topos theory, homotopy type theory, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory)