Category Archives: Philosophie mathématique

Spinoza : traité de la purification de l’Intellect

http://spinozaetnous.org/tre.htm Il est plus indiqué, et cela correspond mieux au latin ( tractatus de emendatione intellectus) de traduire par « purification de l’intellect » que par « réforme de l’entendement »: « L’expérience m’ayant appris à reconnaître que tous les événements ordinaires de la vie … Continue reading

Posted in Philosophie, Philosophie mathématique, Science-internelle, Spinoza | Tagged , , | Leave a comment

#ScienceInternelle : le projet d’une philosophie absolument rigoureuse

Comme je l’ai dit à plusieurs reprises, je compte développer ici un système que j’appelle théorie des Idées, un système absolument scientifique et rigoureux, en m’ inspirant des études réalisées de la théorie des catégories et des ∞-catégories ainsi que … Continue reading

Posted in category theory, Higher category theory, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle | Leave a comment

André Lebel : Introduction à la pensée d’Albert Lautman

http://theses.ulaval.ca/archimede/fichiers/26798/26798.pdf

Posted in Léon Brunschvicg, Philosophie, Philosophie mathématique, Science-internelle | Tagged | Leave a comment

Jean- Michel Salanskis : l’herméneutique formelle

Ce livre défend l’idée que la mathématique pense au sens de Heidegger et de Gadamer : qu’en elle opère une herméneutique, différente de l’herméneutique usuelle seulement en ce qu’elle est formelle. http://www.klincksieck.com/livre/?GCOI=22520100387900 http://www.philosciences.org/notices/document.php?id_document=256 https://www.cairn.info/revue-le-philosophoire-2003-2-page-21.htm Alain Badiou défend lui aussi cette … Continue reading

Posted in Christianisme, judaisme, Philosophie, Philosophie mathématique, Religions, Science, mathesis, Science-internelle | Leave a comment

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 | Leave a comment

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 | Leave a comment

#HoTT n-types

https://ncatlab.org/nlab/show/homotopy%20n-type Le dernier chapitre de The Book est consacré aux n-types: The HoTT Book Type theoretic replacement & the n-truncation https://golem.ph.utexas.edu/category/2011/03/homotopy_type_theory_i.html Comme je l’ai déjà dit, j’ai dans l’idée que l’on pourrait atténuer un peu la radicalité de la coupure entre … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, Bible, category theory, Higher category theory, Higher topos theory, homotopy type theory, Littérature-Poésie, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle | Leave a comment