Читать «Истина и доказательство» онлайн - страница 2

Начнём с простой проблемы. Рассмотрим предложение русского языка, значение которого не вызывает никаких сомнений, — например, «снег бел». Для краткости мы обозначим это предложение буквой «Ѕ», так что индекс «Ѕ» становится именем данного предложения. Зададим себе вопрос: что мы имеем в виду, когда говорим, что Ѕ истинно или что оно ложно? Ответ на этот вопрос будет простым. Говоря в духе аристотелева объяснения, что Ѕ истинно, мы просто имеем в виду, что снег бел, а говоря, что Ѕ ложно, мы подразумеваем, что снег не бел. Опуская символ Ѕ, мы получаем следующие формулировки:

(1) «снег бел» — истинно, если и только если снег бел.

(1') «снег бел» — ложно, если и только если снег не бел.

Таким образом, формулировки (1) и (1') обеспечивают удовлетворительные объяснения значений терминов «истинное» и «ложное», когда эти термины соотносятся с предложением «снег бел». Мы можем рассматривать формулировки (1) и (1') как частные дефиниции терминов «истинное» и «ложное», как их дефиниции по отношению к данному конкретному предложению.

На первый взгляд может показаться, что формулировка (1), когда она рассматривается в качестве дефиниции, обнаруживает существенный недостаток, широко обсуждавшийся в традиционной логике, ― порочный круг. Основание состоит в том, что некоторые слова, например, «снег», встречаются как в дефиниенсе, таки в дефиниендуме. Однако на самом деле их присутствие там является совершенно различным по своему характеру. Слово «снег» является синтаксической (или органической) частью дефиниенса. Действительно, дефиниенс есть предложение, и слово «снег» его подлежащее. Дефиниендум также есть некоторое предложение, оно выражает тот факт, что дефиниенс есть истинное предложение. Его подлежащим является название или имя дефиниенса, образуемое путём заключения дефиниенса в кавычки (когда мы говорим нечто о некотором объекте, мы всегда используем имя этого объекта, а не сам объект). Выражение, заключенное в кавычки, должно грамматически трактоваться как единое слово, не имеющее никаких синтаксических частей. Поэтому, в частности, слово «снег», которое вне каких-либо сомнений присутствует в дефиниендуме, не является в нём синтаксической частью. Логики средних веков сказали бы, что слово «снег» присутствует в дефиниенсе по suppositione formalis, а в дефиниендуме по suppositione materialis.