Abstract

Chaque science fondée sur des idées générales doit être relative. Il y a pourtant une science exacte qui n’est pas relative. C’est la sémantique rationnelle. Cette science concerne les expressions qu’on peut construire à l’aide de deux signes donnés d’avance. Elle n’admet que la notion de substitution, une notion élémentaire du type d’expression et les notions du calcul logique élémentaire. Elle nous met en état de construire un système de métamathé- matique symbolique qui embrasse les mathématiques entières. Elle nous fournit les moyens d’une critique objective des notions philosophiques.