The best possible unification for any collection of physical theories.
The lattice of bi-numerations of arithmetic. I.
The lattice of bi-numerations of arithmetic. II.
The process of induction as a non-classical logic's double negation: evidence from classical scientific theories.
The strength of Turing determinacy within second order arithmetic
We investigate the reverse mathematical strength of Turing determinacy up to Σ₅⁰, which is itself not provable in second order arithmetic.
The theory of Archimedean real closed fields in logics with Ramsey quantifiers
Trames, classifications, définitions
L'article part d'une analogie entre trames et partitions, définitions conceptuelles et optiques. On montre que les divisions d'un espace de concepts ressemblent souvent à celles de l'espace réel. On étudie alors quelques exemples de pavage d'un espace conceptuel (Aristote) et on compare les processus dichotomiques platoniciens (générateurs de définitions) aux filtres d'une algèbre booléenne. Par la suite, on généralise ces modèles, considérant des structures floues et des «ensembles approximatifs»...