Daily Archives: October 9, 2017

Sequent calculus

https://ncatlab.org/nlab/show/sequent+calculus Natural deduction : https://ncatlab.org/nlab/show/natural+deduction Advertisements

Posted in homotopy type theory, Logique

Le langage du système de Bolzano 1

On distingue six prédicats unaires (monadiques): O être un objet Q être une qualité D : exister V: être l’idée d’un objet B : être l’idée d’une qualité S : être une proposition ainsi O (x) signifie : x est … Continue reading

Posted in ∞-catégories, ∞-topoi, category theory, Higher category theory, homotopy type theory, Husserl, Logique, Philosophie, Philosophie mathématique, Plan vital-plan spirituel, Science, mathesis, Science-internelle, Théorie des ensembles (set theory) | Tagged