Frege, le nécessaire et le superflu

G. Frege (1848-1925) est connu pour avoir cherché à réduire le raisonnement mathématique aux lois logiques générales. Pour mener ce projet, il a construit un langage formulaire, l’idéographie, où le logicien mène une réflexion sur les requisits de la pensée ainsi que sur la nécessité logique. Dans un dialogue constant avec l’Organon d’Aristote, il a non seulement abandonné la distinction traditionnelle entre le sujet et le prédicat, mais il a rendu compte des pensées annexes, des éclairages... Voir plus