Gottlob FREGE

Gottlob FREGE était un philosophe allemand fondateur de la logique moderne et l'un des pères de la philosophie analytique. Il a développé des innovations révolutionnaires en logique formelle , malgré une reconnaissance limitée de son vivant. Ses idées ont profondément influencé Russell, Wittgenstein et la philosophie du langage.

Il invente la logique des prédicats modernes dans Begriffsschrift, introduisant une notation axiomatique complète pour la logique propositionnelle et de premier ordre, avec quantification et distinction entre axiomes et règles d'inférence. Cela rompt avec la syllogistique aristotélicienne, fondant la logique contemporaine. Il traite les concepts comme des fonctions prenant des valeurs de vérité (Vrai ou Faux).

Défenseur du logisme, il vise à réduire l'arithmétique à la logique pure dans Grundlagen der Arithmetik (1884) et Grundgesetze der Arithmetik (1893-1903). Il critique le psychologisme, affirmant que les nombres sont des objets objectifs (extensions de concepts), non des idées mentales. Le paradoxe de Russell (1902) ruine son système, mais ses axiomes inspirent la théorie des ensembles.

Dans "Über Sinn und Bedeutung" (1892), Frege distingue le sens (Sinn, mode de présentation) de la référence (Bedeutung, objet désigné), expliquant pourquoi "l'étoile du matin" et "l'étoile du soir" ont le même référent (Vénus) mais des sens différents. Il introduit le principe de compositionnalité et le contexte, fondant la sémantique moderne.