Description

G. Frege (1848-1925) est connu pour avoir cherche a reduire le raisonnement mathematique aux lois logiques generales. Pour mener ce projet, il a construit un langage formulaire, l'ideographie, ou le logicien mene une reflexion sur les requisits de la pensee ainsi que sur la necessite logique. Dans un dialogue constant avec l'Organon d'Aristote, il a non seulement abandonne la distinction traditionnelle entre le sujet et le predicat, mais il a rendu compte des pensees annexes, des eclairages linguistiques et psychologiques de la pensee pour mieux en degager le noyau logique. De quoi la science logique doit-elle se dispenser pour n'etre ni une psychologie ni une grammaire? Comment penser une logique qui n'est pas formelle a l'egard de son propre objet? Comment fonder la distinction entre l'objectivite et la realite? Ce travail cherche a repondre a ces questions par la thematique du requis, du necessaire et du superflu dans l'oeuvre de ce logicien.

Spécifications