?
Как сделать тавтологии ясными?
В статье показывается, каким образом первый раздел теории экзистенциальных графов Ч. Пирса отвечает на вопрос Л. Витгенштейна: «Как должна быть устроена система знаков, чтобы каждая тавтология распознавалась в ней одним и тем же способом?» Теория экзистенциальных графов или теория графов - диаграмматическая логическая система, базовой единицей которой является диаграмма (внешне похожая на диаграммы Эйлера). Ее первый раздел, альфа-графы, примерно соотносится с пропозициональным фрагментом классической логики. Синтаксис теории нагляден, точнее, он иконичен, а потому иконичным оказывается и решение задачи Витгенштейна. Чтобы определить тип формулы, не требуется никаких преобразований. Тавтологии наблюдаемы. Возможность усматривать тавтологии объясняется не только диаграмматическими особенностями синтаксиса, но и его минимальностью. Единственным знаком теории (первый раздел) является разрез (контур упомянутой круговой диаграммы): размещение разрезов рядом друг с другом, внутри друг друга порождает не нового вида знаки, а различного вида графы.