Теория языка

Я сказал, что так кажется; на самом деле нужно провести исследование, чтобы потом решить, может ли в рамках теории языка быть доказана иррелевантность to–дейктических учебных вспомогательных средств для семантической структуры в высшей степени формализованного логического репрезентативного предложения S ? P. Пристально вглядевшись в предложения логики, можно заметить то, что менее «строго» попутно уже обнаружила аристотелевская логика в свои звездные мгновения и что может только повторить современная логика на более высокой ступени абстракции: в логике репрезентация при помощи таких знаковых систем, как язык, рефлективна. Логика размышляет о структуре языкового репрезентативного механизма и формирует предложения, проясняющие конструктивные условия всех простых и сложных системных образований и всех операций, при помощи которых они выводимы друг из друга, например предложение о том, что многократно употребленное А идентично себе и должно оставаться таковым в ходе любого доказательства.

Вот и все; большего нельзя требовать ни вообще от логики, ни от какого–либо относящегося к ней, так сказать, абсолютно свободного от указания предложения S ? P. Многие или даже все предложения логики и (как многие полагают) тем самым математики могли бы относиться к этому типу; по крайней мере так утверждают серьезные логики. Следовательно, размышление над условиями системы, самоограничение первого порядка гарантируют далеко идущую иррелевантность to–дейктических средств, играющих вспомогательную роль в познании. Повторяю: в области чистой логики. Предложения, о которых идет речь, встречаются только в чистой логике и в конечном счете могут быть сведены к аналитически очевидным предложениям или просто тавтологиям.

По сути дела, это давно известно формальной логике, которая и учит этому в течение нескольких столетий. За последнее время в одном и том же 1892 г. к сходному убеждению, подготовленному Локком, Юмом и Дж.Ст. Миллем, пришли Алоис Риль, Бенно Эрдманн и Й. фон Крис, различавшие «реальные» и «идеальные» (либо «реальные» и «рефлексивные», или «объективные» и «понятийные») суждения для обозначения особого статуса логических предложений[283]. На долю логики, по их мнению, приходятся только идеальные (рефлексивные, понятийные) суждения. Простейший путь к пониманию этого тезиса, как мне кажется, открывает старая схоластическая теория суппозиции: если в каком–то контексте ты увидишь лексему «отец», отметь, что иногда это слово используется не как символ определенного производителя детей, а для suppositio formalis воспринимаемого знакового объекта и т.д. В лингвистике, например, его считают существительным. Встретив в логике формулу «А есть А», отметь, что это не детская игра, но высшая формализация смысла предложения, в котором ты должен увидеть один из основных типов предложений языковой репрезентативной системы (а именно идентифицирующее предложение).