Geodesic

Aperçus philosophiques en logique et en mathématiques

Sommaire

Éditorial
p. 1-3
Upsetting the foundations for mathematics
p. 5-21
En quoi la crise des fondements des mathématiques est-elle terminée ?
p. 23-39
Psychologism and the cognitive foundations of mathematics
p. 41-59
Mathematical practice and naturalist epistemology : structures with potential for interaction
p. 61-78
Le pragmatisme peircéen, la théorie des catégories et le programme de Thiel
p. 79-96
Axiomatics without foundations. On the model-theoretical viewpoint in modern axiomatics
p. 97-107
Des fondements vers l'avant. Sur la rationalité des mathématiques et des sciences formalisées
p. 109-130
Aggregate theory versus set theory
p. 131-144
Scientific intuition of Genii against mytho-‘logic' of Cantor's transfinite ‘paradise'
p. 145-163
Vers une analyse sémiotique de la théorie des ensembles : hiérarchies et réflexivité
p. 165-187
La no-class theory de Stanisław Leśniewski
p. 189-204
Le temps, l'espace et la démonstration. De Kant à Gentzen, en passant par Brouwer, Hilbert et Frege
p. 205-223
On the epistemological justification of Hilbert's metamathematics
p. 225-238
Nonstandard semantics for modal logic and the concept of a logically possible world
p. 239-258
Mental models, model-theoretic semantics, and the psychosemantic conception of truth
p. 259-278
Quine l'extensionaliste. Entre naturalisme et esthétisme
p. 279-293
Independence and games
p. 295-304
Falsity conditions for IF-sentences
p. 305-322