Lettres, chiffres, figures comme langage formel de la logique

Abstrakt

Rozwój logiki był możliwy dzięki stworzeniu języka formalnego, którego symbolika była ciągle doskonalona. Autor artykułu analizuje przyczyny dostarczania przez alfabet znaków (symboli) oznaczających elementy, na których dokonuje się operacji logicznych. W pierwszej części rozpatruje użycie symboli alfabetycznych. Alfabet (jako zbiór liter ) tworzy kod o charakterze fonetycznym. Wykorzystanie notacji alfabetycznej łączy się z defonetyzacją alfabetu. W drugiej części autor odwołuje się do dążeń Fregego, przekonanego, że język może być wyłącznie pismem. Jednak niepowodzenie w konstruowaniu grafów całkowicie adekwatnych do potrzeb arytmetyki doprowadziło Fregego do odrzucenia idei "myśli czystej" . Postawił on pytanie, czy zapis logiczny mógłby być łączony z innym źródłem poznania a priori, jakim jest intuicja geometryczna, przy czym grafy wykorzystujące intuicję przestrzeni musiałyby być degeometryzowane. W końcu autor stawia pytanie , czy wymagania dowodowe rozumowań w logice mogą obejść się bez tego aspektu zachowanego przez pismo alfabetyczne, jakim jest liniowość, czyli ciągłość łańcucha myśli.