La logique traditionnelle, telle qu'on la trouve exposée chez les Rationalistes classiques, repose sur le dilemme suivant: les principes des sciences sont ou des vérités rationnelles, ou des vérités empiriques. Les vérités rationnelles sont a priori, universelles, éternelles, analytiques et nécessaires; les vérités empiriques sont a posteriori, singulières, révisables, synthétiques et contingentes. A ces deux catégories de principes correspondent deux sortes de sciences: les sciences rationnelles et les sciences de la nature, les premières de vérité nécessaire, les secondes de vérité contingente.