Ecrits logiques et philosophiques

Ecrits logiques et philosophiques Dix textes, échelonnés entre 1879 et 1925, qui forment une méditation continue, sur les médications qu'il faut administrer à la langue naturelle pour satisfaire l'idéal d'une «langue formulaire de la pensée pure».

Dix textes qui se trouvent aux sources de trois courants essentiels de la pensée contemporaine : le formalisme logique, dont la figure décisive sera Bertrand Russell ; la critique du langage commun, que poursuivra, après Wittgenstein, la philosophie analytique anglo-saxonne ; et la réflexion proprement linguistique.

Parmi les apports décisifs de ces essais de Frege, il faut noter la construction d'une logique extensionnelle (avec l'identification du concept et de la fonction) et la mise en place de ce «triplet» de notions : la fonction, essentiellement insaturée, l'argument qui la complète, la valeur (de vérité) que prend la fonction pour cet argument. S'y articule cette distinction valable en tout langage : s'il y a des expressions équivalentes, c'est qu'à la pluralité des sens se conjugue l'unité de la dénotation.