Symbole de déduction $\vdash$

samok

Bonjour,
j'aimerais situer dans le temps l'introduction du symbole $\vdash$ en logique formelle. Cela me semble récent (moins de 100 ans).
S

nicolas.patrois

Il me semble que ça vient de l’idéographie de Frege mais le trait horizontal signifiait l’affirmation d’une proposition, le trait vertical l’affirmation de sa véracité.
Ensuite ça a été réutilisé par Russell et Whitehead dans les Principia mathematica.

samok

Tu as des livres en V.O sieur Nicolas ?

S

nicolas.patrois

Pas les Principia mais j’ai (en cartons) presque tout Frege en français.
Sinon, regarde dans le livre de Cajori.

samok

Merci, je viens de consulter le livre de Cajori (que j'avais connu grâce à toi), il n'en parle pas.

S

nicolas.patrois

Sinon, Frege est disponible à la BNF (gallica).

skilveg

@Samok : Cajori en parle, dans la partie "Logique mathématique", notations de Frege puis de Whitehead et Russell. C'est dans le deuxième volume, paragraphes 687 et 695. (Et peut-être aussi ailleurs !)

Résumé : exactement ce que dit Nicolas plus haut.

samok

Merci skilveg,

je vais de ce pas commander le volume 2.

S

nicolas.patrois

Il est inclus dans le gros volume noir.