Monthly Archives: August 2017

Notes sur les “Âges de l’intelligence” de Brunschvicg

https://sites.google.com/site/lesitedemichelphilippon/brunschvicg-ages-de-l-intelligence-notes

Posted in Léon Brunschvicg, Philosophie | Leave a comment

Que signifie “voir l’intelligible” dans les dialogues de Platon ?

https://pallas.revues.org/239 “Selon nous, Platon n’est pas un idéaliste : voir l’intelligible, ce n’est pas regarder des réalités qui existeraient dans un autre monde, ce n’est pas les contempler dans une sorte d’extase, hors du logos2. C’est comprendre les choses qui … Continue reading

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

HoTT in prose

Originally posted on Homotopy Type Theory:
I have adapted some basic HoTT theorems and proofs to prose form, in an attempt to better understand the results and their proofs. The Coq proof scripts often obscure details of the exposition, like the choice…

Posted in Philosophie | Leave a comment

Axiomatic cohesion in HoTT

Originally posted on Homotopy Type Theory:
This post is to alert the members of the HoTT community to some exciting recent developments over at the n-Category Cafe. First, some background. Some of us (perhaps many) believe that HoTT should eventually…

Posted in Philosophie | Leave a comment

La Revue de métaphysique et de morale et la guerre de 1914-18

https://www.cairn.info/revue-mil-neuf-cent-2005-1-page-49.htm

Posted in Léon Brunschvicg, Philosophie | Leave a comment

Léon Brunschvicg : sommes nous spinozistes ?

http://aspinoza.over-blog.com/pages/L_Brunschvicg_CS_V-3088293.html

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

Entre fatalisme et chaos : l’événement dans la philosophie de Léon Brunschvicg

https://methodos.revues.org/4741

Posted in Cochet-Brunschvicg, Léon Brunschvicg, Philosophie, Science-internelle | Leave a comment