Pensée formelle et sciences de l’homme
Gilles-Gaston GRANGER
Aubier (Montaigne) - 1975
Logique et langage à Port-Royal
Marc DOMINICY
Dans L’Âge de la science. Lectures philosophiques - 1991
Science formelle et science du réel
Rudolf CARNAP
Dans L'Âge d'or de l'empirisme logique - 2006
Philosophie de la linguistique
Paul ÉGRÉ
Dans Précis de philosophie des sciences - 2011
Des régimes de preuve en langue et discours
Georges VIGNAUX
Dans Le Concept de preuve à la lumière de l'intelligence artificielle - 1999