Category Archives: Logique

les résultats des Malliaris et Shelah sur l’hypothèse du continu

http://www.slate.fr/story/151703/mathematiciens-demonstrations-infinis-egaux Advertisements

Posted in Logique, Philosophie, Philosophie mathématique, Science-internelle, Théorie des ensembles (set theory) | Leave a comment

Paul Cohen, 1 to 6

Les cinq autres sont dans la colonne de droite

Posted in Alain Badiou, Logique, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory) | Leave a comment

Philosophical Logic of #HoTT

https://www.sussex.ac.uk/webteam/gateway/file.php?name=talk.pdf&site=552

Posted in homotopy type theory, Logique, Philosophie mathématique

La représentation tétraédrique quaternaire de Robert Lutz et Jean François Froger

Ces deux images sont photocopiées de « Structure de la connaissance » de Robert Lutz et Jean François Froger: La seconde est plus générale et se situe page 12 du livre . Les arrêtés reliant le sommet A à C et D … Continue reading

Posted in Logique, Ouvert : dualité plan vital-plan spirituel, Philosophie, Quaternité, Science, mathesis, Science-internelle

Critique hégélienne de la logique formelle et logiques formelles contemporaines

http://www.implications-philosophiques.org/semaines-thematiques/actualite-de-hegel/critique-hegelienne-de-la-logique-formelle-et-logiques-formelles-contemporaines/

Posted in category theory, Hegel, homotopy type theory, Logique, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle

Logique et mathématiques chez Hegel

https://revuemosaique.files.wordpress.com/2013/06/mosaique-8-05_pagc3a8s.pdf

Posted in category theory, Hegel, homotopy type theory, Logique, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle

Hegel’s Logic as modal type theory

https://ncatlab.org/nlab/show/Hegel%27s+%22Logic%22+as+Modal+Type+Theory

Posted in Hegel, homotopy type theory, Logique, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle