Jean-Pierre Melville, soldat de l’ ombre

Autrement qu'être Mathesis uni∜ersalis Problema Universale Heidegger/Husserl être/conscience : plan vital-ontologique vs plan spirituel d'immanence CLAVIS UNIVERSALIS HENOSOPHIA PANSOPHIA ενοσοφια μαθεσις

http://www.lepoint.fr/culture/jean-pierre-melville-soldat-de-l-ombre-03-06-2016-2044048_3.php

Melville, de son vrai nom Jean Pierre Grumbach, avait pris part à la Résistance pendant la guerre (il était né en 1917)

La scène est tirée de « L’armée des ombres » (1969)

Son sens est le suivant : le Dieu des nazis est le plan vital, la Nature, c’est à dire la vie instinctive, animale, comme celui des musulmans actuellement, les héritiers du nazisme. Il s’agit de la vie machinale, « automatique », non » rédimée » ,  » rachetée » , éclairée par les Idées, les valeurs spirituelles universelles du plan internel-spirituel ( aucun rapport avec « nos valeurs » des islamocollabos contemporains, ces « belles âmes  » qui ne perdent pas une occasion de « faire la leçon » aux autres, aux  » fachos »)

https://anthroposophiephilosophieetscience.wordpress.com/2016/04/08/quest-ce-que-le-nazisme/

Dans le film de Melville le SS (Un nazi idéologisé, pleinement conscient du sens du nazisme) accorde une mince chance aux prisonniers d’avoir la vie sauve (jusqu’à la prochaine exécution) en courant le…

View original post 221 mots de plus

Andrei Rodin : Logic and geometry in topos theory and #HoTT 1

Autrement qu'être Mathesis uni∜ersalis Problema Universale Heidegger/Husserl être/conscience : plan vital-ontologique vs plan spirituel d'immanence CLAVIS UNIVERSALIS HENOSOPHIA PANSOPHIA ενοσοφια μαθεσις

Ce travail d’Andrei Rodin:

http://philomatica.org/wp-content/uploads/2013/01/am2.pdf

fait suite, ou accompagne, cet autre que nous avons étudié ici:

http://ffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/RODIN_Andrei.pdf

Le domaine de prédilection de ce philosophe est la méthode axiomatique:

https://arxiv.org/abs/1210.1478

Page 3:
La « received axiomatic method » (RAM) qui d’origine des recherches de Hilbert est jugée par Rodin non adéquate pour expliquer les récents succès de l’axiomatisation dans la théorie des Topoi et surtout dans HoTT (homotopy type theory).

Page 4 : Andrei Rodin oppose à RAM une axiomatisation qu’il nomme constructive ( constructive axiomatique method = CAM) débutant avec…. les Éléments d’Euclide.

Page 5 : CAM, cette notion plus large de l’axiomatisation, fournit un instrument meilleur que RAM pour servir de cadre formel pour les sciences.

Il y a deux fondements dans RAM : la « statement view » (SV) des théories axiomatiques, qui laisse une large place aux théories comme ensembles de propositions déduites logiquement des axiomes.

Ainsi que la fixité de…

View original post 272 mots de plus

Modeling Univalence in Subtoposes

Homotopy Type Theory

In my recent post at the n-Category Café, I described a notion of « higher modality » in type theory, which semantically ought to represent a left-exact-reflective sub-$latex (infty,1)$-category of an $latex (infty,1)$-topos ? once we can prove that homotopy type theory has models in $latex (infty,1)$-toposes. I’ve since realized that this theory may also be useful in proving that latter fact itself. For if we have a set-theoretic model which contains such a modality $latex sharp$, then we ought to be able to show that the resulting left-exact-reflective subcategory of the model also supports such a model. If this works, it should simplify the search for models of univalence in $latex (infty,1)$-toposes, since any $latex (infty,1)$-topos is a left-exact localization of an $latex (infty,1)$-category of presheaves, and the latter can be presented by model categories that are easier to understand concretely.

Moreover, given a suitable inductive definition of type theory…

View original post 749 mots de plus