De Bolzano aux « Recherches logiques » de Husserl

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 acheté dans la collection « Oxford Logic guides » , le livre d’Ettore Casari:

« Bolzano’s logical system »

Qui est accessible en lecture partielle sur Google:

https://henosophiamathesis.wordpress.com/2016/11/06/bolzanos-logical-system/

Un système de logique qui est un des ancêtres de la logique formelle actuelle , entièrement mathématisée : alors qu’on se posait du Temps de Russell la question des fondations logiques de la mathématique, c’est en quelque sorte le contraire qui s’est avéré vrai et la logique est un territoire mathématique maintenant. Voir cet interview de Laurent Schwartz en 1971 sur les « Principia mathematica » de Russell et Whitehead:

http://fresques.ina.fr/jalons/fiche-media/InaEdu01436/les-principia-mathematica-de-bertrand-russell.html

dont il faut retenir que les problèmes fondationnels ont été en grande partie résolus (mais peut être doivent ils être posés autrement et c’est là le sens de l’entreprise en quoi consiste ce blog) et la Science mathématique est maintenant autonome et rigoureuse , ce qu’elle n’était pas au début du vingtième siècle, et en grande…

View original post 532 mots de plus

Laisser un commentaire

Entrez vos coordonnées ci-dessous ou cliquez sur une icône pour vous connecter:

Logo WordPress.com

Vous commentez à l'aide de votre compte WordPress.com. Déconnexion / Changer )

Image Twitter

Vous commentez à l'aide de votre compte Twitter. Déconnexion / Changer )

Photo Facebook

Vous commentez à l'aide de votre compte Facebook. Déconnexion / Changer )

Photo Google+

Vous commentez à l'aide de votre compte Google+. Déconnexion / Changer )

Connexion à %s