Наука не может довольствоваться любым знанием, ее интересует лишь истинное знание. В оценке качества знания ученый, прежде всего, и использует категории истины и заблуждения.

Истина достигается в противоречивом взаимодействии субъекта и объекта. В истине необходимым образом отражается единство объективной и субъективной составляющих познавательного процесса: без объекта знание теряет свою содержательность, а без субъекта нет самого знания.

Истина и действительность - совершенно разные вещи. Действительность существует независимо от познающего субъекта. В самой объективной реальности никаких истин нет, в ней существуют лишь предметы со своими свойствами. Истина появляется в результате познания людьми этой реальности.

Истина - это единство объективного и субъективного, субъективный образ объективной реальности.

По своему источнику и содержанию истина объективна. Источником познания является объект, и оно - отражение его. Под объективной истиной понимают такое содержание знаний, которое целиком и полностью продиктовано объектом, и не зависит ни от человека, ни от человечества. Но истина не существует без человека и человечества. Если реальность существует независимо от сознания субъекта, то истина всегда существует в сознании человека. Истина есть человеческое знание, а не сама реальность.

Для характеристики процесса постепенного уточнения и углубления истины, насыщения ее объективного содержания, вводятся понятия абсолютной и относительной истин.

Абсолютная истина - знание, абсолютно совпадающее по своему содержанию с отображаемым объектом, т.е. это полное, точное, исчерпывающее знание об объекте. Абсолютная истина в познании скорее идеал, к которому стремятся ученые, чем реальный результат.

Относительная истина - знание, достигаемое в конкретно-исторических условиях познания и характеризующееся относительным соответствием своему объекту, т.е. это частично верная истина, она лишь приближенно и неполно соответствует действительности.

Об относительной истине как раз и можно сказать, что она представляет собой более или менее истинное знание. В реальном познании путь к абсолютной истине, как к своему пределу, лежит через серию уточняющих и обогащающих друг друга относительных истин.

Критерии истины заключены в практике. Именно в практике должен человек доказать истинность, т.е. действительность своего мышления. Один из принципов мышления гласит: некое положение является истинным, если возможно доказать, применимо ли оно в той или иной конкретной ситуации. Этот принцип выражается термином «реализуемость». Посредством реализации идеи в практическом действии знание соизмеряется, сопоставляется со своим объектом, выявляя тем самым настоящую меру объективности, истинности своего содержания.

В качестве критерия истины, практика рабочего не только как предметная деятельность. Она выступает и в опосредованной форме - как логика, закалившаяся в горниле практики. Можно сказать, что логика - это

опосредованная практика. Наш разум дисциплинируется логикой вещей,

воспроизведенной в логике, практическим действием и всей системе духовной культуры.

Нельзя забывать, что практика не может полностью подтвердить или

опровергнуть какое бы то ни было представление, знание. " Атом неделим" -

так считалось много веков, и практика подтверждала это. Практика хранит

молчание относительно того, что находится за пределами ее исторически

ограниченных возможностей. Однако она постоянно развивается,

совершенствуется. В процессе развития истинного знания, увеличения его

объема, наука и практика все больше выступают в нераздельном единстве.

Таким образом, обобщая, концепции истины:

--- соответствия. Истина есть форма соотнесения психики субъективная и объективная.

--- когерентная. Где есть многозвенные истинные высказывания, там и

формальные правила выведения их и истинности.

--- прагматическая. Критерий практики, истина как работоспособность и

полезность заключенных в истине идей.

Истина одновременно и субъективна, и обстрактна. Современная трактовка истины включает следующие моменты: 1) понятие «действительность» трактуется, как объективная реальность из явлений и сущностей; 2) в понятие «действительность» входит и субъективная реальность, и духовная реальность; 3) познание - его результат - истина и объект познания понимаются как неразрывно связанные с практикой, истина воспроизводима на практике; 4) не только статичное, но и динамичное образование, истина есть процесс.

Объективная истина имеет три аспекта:

1) Бытийственный --- фиксация в ней бытия, предметно - субстрактного и

духовного. При этом истина обретает собственное бытие.

2) аксиологический --- нравственно - этическая ее наполненность, ее

ценность для морали и для практики человека. Человек, не могущий

найти выход из противоречия и найти истину, мучается в безысходности.

Приравнивается к любви, нраву и воле.

3) праксеологический --- истина связана с практикой.

Конспект.

ИСТИНА[1] М.ДАММИТ Фреге полагал, что истина и ложь являются референциями предложений. Предложения не могут замещать суждения (propositions), то, что Фреге называет «мыслями», поскольку референция сложного выражения зависит только от референции его частей; тогда как, если мы заменим единичное понятие, появляющееся в предложении, другим единичным понятием с той же самой референцией, но с другим смыслом, смысл всего предложения, т. е. мысли, которую оно выражает, изменится. Единственное, что должно в этих обстоятельствах оставаться неизменным, так это истинностное значение предложения. Выражения «является истинным» и «является ложным» выглядят как предикаты, применяемые к суждениям, и можно подумать, что истина и ложь являются свойствами суждений; но сейчас стало ясным, что связь между суждением и его истинностным значением не похожа на связь между столом и его формой; скорее, она похожа на связь между смыслом точного описания и реальным объектом, к которому относится это описание. На возражение, что существуют не-истинностно-функциональные вхождения предложений как частей сложных предложений, например подчиненные предложения в косвенной речи, Фреге отвечает, что в таком контексте мы должны рассматривать обычные сингулярные термины согласно их смыслу, а не согласно их привычной референции, и тогда мы можем сказать, что в таком контексте и только в таком случае предложение замещает суждение, которое оно обычно выражает. На вопрос «Каким родом сущностей должны быть эти истинностные значения?» мы можем ответить, что увидеть, чем может быть истинностное значение предложения, не труднее, чем увидеть, чем может быть направление линии. Иными словами, два предложения имеют одинаковое истинностное значение, когда они материально эквивалентны, так же как две линии имеют одинаковое направление, когда они параллельны. Нет нужды тратить время на возражение, выдвинутое Максом Блэком, будто согласно теории Фреге, некоторые предложения оказываются осмысленными, хотя обычно мы не считаем их таковыми, например, «Если устрицы становятся несъедобными, то ложно». Если предложения замещают истинностные значения, и также существуют выражения, замещающие истинностные значения, но не являющиеся предложениями, тогда возражение против допущения выражений последнего рода для замещения любых предложений, является грамматическим, а не логическим. Мы часто используем слово «вещь» для обозначения имени существительного, когда этого требует грамматика, и при этом имеем только прилагательное, как, например, в предложении «Это было недостойной вещью»; мы можем также ввести глагол, скажем, «истинноствует» (trues), для выполнения чисто грамматической функции превращения имени существительного, замещающего истинностное значение, в предложение, замещающее то же самое истинностное значение. Можно было бы сказать, что Фреге доказал, что предложение не просто замещает суждение, и весьма убедительно аргументировал, что если предложения имеют референции, они замещают истинностные значения, но при этом ничего не сделал, чтобы показать, что предложения вообще имеют референции. Но это неверно. Доказательство Фреге, что понятия концепта (свойства) и отношения могут быть объяснены как особые случаи понятия функции, обеспечивает весьма надежное основание для утверждения о том, что предложения имеют референции. Что действительно является сомнительным, так это использование Фреге слов «истина» и «ложь» для обозначения референций предложений, поскольку, используя эти слова, а не собственные изобретенные понятия, он создает впечатление, будто, рассматривая предложения как имеющие референции, с материальной эквивалентностью как критерием тождества, он дает истолкование тем понятиям истины и лжи, которыми обычно пользуемся мы. Сравним истину и ложь с выигрышем и проигрышем в игре. Для определенной игры мы можем сначала сформулировать правила, определяющие исходное положение и разрешенные ходы; игра заканчивается, когда уже не существует разрешенных ходов. Затем мы можем определить два (или три) типа финальных положений, которые можем назвать «Выигрыш» (в том смысле, что игрок, делающий первый ход, выигрывает), «Проигрыш» (определяется сходным образом) и, возможно, «Ничья». Если мы молча подразумеваем обычные смыслы слов «выигрыш», «проигрыш» и «ничья», то это описание исключает один существенный момент, а именно тот объект, который игрок выигрывает. Ведь то, что игрок играет для выигрыша, является частью понятия выигрыша в игре, и эта часть не отражена в классификации финальных положений на выигрышные и проигрышные. Мы можем представить такой вариант шахмат, в котором именно объекту каждого игрока можно поставить шах и мат, и это будет совершенно иная игра; но формальное описание, которое мы представили, будет совпадать с формальным описанием игры в шахматы. Вся теория шахмат может быть сформулирована с указанием только на формальное описание; но интересующие нас теоремы этой теории будут зависеть от того, хотим ли мы играть собственно в шахматы или в какой-либо вариант этой игры. Сходным образом частью понятия истины является то, что мы стремимся делать истинные утверждения, но теория истины и лжи как референций предложений, предложенная Фреге, оставляет эту характеристику понятия истины практически без внимания. Правда, Фреге впоследствии пытался рассмотреть ее в своей теории утверждений, но слишком поздно; смысл предложения не задан до того, как мы начнем делать утверждения, ибо в противном случае могут существовать люди, выражающие те же самые мысли, но, напротив, желающие их опровергнуть. Подобная критика относится ко многим истолкованиям истины и лжи или смыслов некоторых предложений, выражаемых в понятиях истины и лжи. Мы не можем, в целом, предположить, что мы предоставляем соответствующее истолкование понятия, описывая те обстоятельства, в которых мы используем или не используем соответствующие слова, т. е. описывая использование этих слов. Мы должны также дать истолкование сущности понятия, объяснить, для чего мы используем это слово. Классификации не существуют в пустоте, они всегда связаны с каким-то наличным интересом, чтобы отнесение к тому или иному классу имело следствия, связанные с этим интересом. Ясный пример этому — проблема объяснения формы доказательства: дедуктивной или индуктивной. Классификация доказательств на (дедуктивно или индуктивно) действительные или недействительные не является игрой, в которую играют ради нее самой, хотя ей можно обучать, не ссылаясь на какую-либо цель или интерес, например, в школьном упражнении. Таким образом, существует реальная проблема показа того, что критерии, которые мы используем для определения действительных доказательств, на самом деле служат той цели, ради которой мы их используем: проблема не решается — как долгое время было модным считать — тем, если мы просто скажем, какие критерии использовали. Мы не можем допустить, что классификация, осуществленная посредством использования некоторого предиката в языке, всегда будет иметь только одну цель. Весьма вероятно, что классификация утверждений на истинные и ложные и, возможно, те, которые не являются ни истинными, ни ложными, имеет основание, но могут преследоваться и другие дополнительные цели, что сделает использование слов «истинно» и «ложно» более сложным. Одно время было принято говорить, что мы не можем называть этические утверждения «истинными» или «ложными», и это имело различные последствия для этики. Но вопрос не в том, применяются ли на практике эти слова к этическим утверждениям, а в том, является ли основание, согласно которому они применялись к этическим утверждениям, тем же, согласно которому они применялись к утверждениям другого рода, и, если не применялись, то в чем состоит различие этих оснований. Опять же узнать, что об утверждении, содержащем сингулярный термин, не имеющий референции, мы говорим, что оно не является ни истинным, ни ложным, значит лишь быть информированным о сути его использования, из чего еще нельзя сделать никаких философских выводов. Скорее, мы должны спросить, не лучше ли описание такого утверждения, как не истинного и не ложного, соотнести с основным принципом классификации утверждений на истинные и ложные и описать его как ложное. Предположим, мы узнали, что в определенном языке такие утверждения описываются как «ложные». Как же мы тогда сможем определить, показывает ли это, что в данном языке утверждения используются иным способом, чем в нашем, или просто, что «ложно» не является точным переводом соответствующего слова этого языка? Сказать, что мы используем единичные утверждения таким образом, что они не являются ни истинными, ни ложными, когда объект не имеет референции, значит охарактеризовать наше использование единичных утверждений, поскольку должно быть возможным описать, когда в языке, несодержащем слов «истинно» и «ложно», единичные утверждения будут использоваться тем же способом, как используем их мы, и когда они будут использоваться как ложные, если объект не имеет референции. До тех пор, пока мы не имеем представления об основной цели классификации на истинное и ложное, мы не знаем, какой интерес стоит за определением некоторых утверждений как ни истинных, ни ложных; и до тех пор, пока мы не имеем представления о том, как условия истинности утверждения определяют его смысл, описание смысла посредством описания условий истинности является бесполезным. Распространенным представлением о смысле слова «истинно», также восходящем к Фреге, является то, что высказывание «Истинно, что Р» имеет тот же самый смысл, что и само предложение Р. Если мы за тем спросим, зачем нужно иметь в языке слово «истинно», ответом будет замечание о том, что мы часто ссылаемся на суждения косвенным образом, т. е. не высказывая их, как, например, когда мы говорим «предположение Гольдбаха»[2] или «то, что сказал свидетель». Мы также делаем обобщения относительно суждений, не ссылаясь на какое-либо из них конкретно, например, в высказывании «Все, что он говорит, истинно». Это объяснение не может быть классифицировано как определение в строгом смысле, поскольку оно допускает исключение предиката «является истинным» только тогда, когда он относится к «что Р», а не в том случае, когда он относится к любому другому высказыванию, заменяющему суждение, или в отношении переменной. Однако, хотя каждое суждение может быть выражено предложением, это не отменяет того, что оно может специфическим образом определять смысл «быть истинным». Это можно сравнить с рекурсивным определением знака «+», которое позволяет нам исключать знак «+» только тогда, когда он появляется перед числами, а не когда он появляется перед любым другим выражением числа или перед переменной. Тем не менее, существует ясный математический смысл, в котором оно (рекурсивное определение) точно определяет, что означает операция «+». Сходным образом наше объяснение предиката «является истинным» специфицирует смысл, или, по крайней мере, применение этого предиката: для любого данного суждения существует предложение, выражающее это суждение, и это предложение определяет условия, согласно которым суждение является истинным. Если, как думал Фреге, существуют предложения, выражающие суждения, но неявляющиеся ни истинными, ни ложными, тогда это объяснение представляется неточным. Предположим, что Р содержит сингулярный термин, имеющий смысл, но не имеющий референции. Тогда, согласно Фреге, Р выражает суждение, которое не имеет истинностного значения. Поэтому такое суждение не является истинным, и, следовательно, утверждение «Истинно, что Р» будет ложным. Отсюда, Р не будет иметь тот же смысл, что и «Истинно, что Р», поскольку последнее является ложным, в то время как первое — нет. Невозможно доказать, что выражение «Истинно, что Р» само по себе не является ни истинным, ни ложным, когда сингулярный термин, входящий в Р, не имеет референции, поскольку предложение oratio obliqua[3] «что Р» замещает суждение, выражающее Р, и допускается, что Р имеет смысл и выражает суждение. Сингулярный термин, входящий в Р, имеет в выражении «Истинно, что Р» косвенную референцию, точнее ее смысл, и мы предполагаем, что он имеет смысл. В целом, всегда будет непоследовательным считать истинным каждое составляющее выражения «Истинно, что Р, если и только если р», допуская, что существует вид предложений, которые при определенных условиях не являются ни истинными, ни ложными. Можно было бы избежать этого возражения, допустив, что «что»-предложение в предложении, начинающемся с выражения «Истинно, что», не является требованием oratio obliqua; что слово «что» имеет здесь чисто грамматическую функцию превращения предложения в предложение-существительное, не изменяя ни его смысла, ни его референции. Тогда мы должны рассматривать фразы типа «предположение Гольдбаха» и «то, что сказал свидетель» как замещающие не суждения, а истинностные значения. Тогда выражение «является истинным» будет в точности соответствовать глаголу «истинноствовать», который мы придумали ранее; оно будет просто переводить фразы-существительные, замещающие истинностные значения, в предложения, не изменяя их смысла или их референции. Можно было бы возразить, что этот вариант истолкования Фреге плохо сочетается с его словами о том, что именно мысль (суждение) является истинной или ложной. Однако мы можем выразить эту идею Фреге, сказав, что скорее мысль, а не предложение, изначально замещает истинностное значение. Более сильное возражение нашему истолкованию состоит в том, что оно в значительной мере основывается на теории истинностных значений как референции предложений, в то время как исходная версия зависит только от наиболее вероятной точки зрения, что подчиненные предложения в косвенной речи замещают суждения. В любом случае, если существуют осмысленные предложения, ничего не говорящие о том, что истинно, а что ложно, то должно существовать использование слот «истинно», применимое к суждениям. Поскольку, если мы говорим «Не является ни истинным, ни ложным, что Р», то предложение «что Р» должно быть в oratio obliqua, в противном случае все предложение потеряет истинностное значение. Даже если мы не хотим говорить о некоторых предложениях, что они не являются ни истинными, ни ложными, это представление не может дать нам полный смысл слова «истинно». И если мы даем объяснение слову «ложно», параллельное нашему объяснению слова «истинно», мы вынуждены сказать, что выражение «Ложно, что Р» имеет тот же самый смысл, что отрицание Р. В логическом символизме существует знак, который, будучи помещенным перед началом предложения, образует отрицание этого предложения. Но в естественном языке мы не имеем такого знака. Мы должны сначала подумать, чтобы понять, что отрицание предложения «Здесь есть никто» значит не «Здесь нет никого», а «Здесь есть кто-то», ведь не существует правил для образования отрицания данного предложения. Итак, согласно какому принципу мы опознаем одно предложение как отрицание другого? Естественным было бы ответить, что отрицанием предложения Р является предложение, являющееся истинным, если и только если Р является ложным, и являющееся ложным, если и только если Р является истинным. Но это объяснение не работает, если мы хотим использовать понятие отрицания предложения для объяснения смысла слова «ложно». Не разрешит трудности и то, если бы мы имели общий знак отрицания, аналогичный логическому символу, поскольку тогда вопрос состоял бы в следующем: как, в целом, мы определяем смысл отрицания, зная смысл самого исходного предложения? С той же трудностью мы встречаемся и в случае с соединительным союзом «или». Мы можем дать представление о смысле «и», сказав, что находимся в позиции утверждения Р и в позиции утверждения Q. (Это не круг: можно натренировать собаку лаять только тогда, когда звонит колокольчик и загорается свет, отнюдь не допуская, что она обладает понятием конъюнкции). Но, если мы принимаем двузначную логику, мы не можем дать сходное объяснение смыслу «или». Мы часто допускаем «Р или Q», когда мы находимся в позиции или утверждения Р или утверждения Q. Я намеренно использую здесь слово «мы», имея в виду человечество. Когда учитель истории дает ученику намек, спрашивая «Кто был казнен — Яков I или Карл I?», то ученик находится в позиции утверждения «Был казнен Яков I или Карл I», не будучи (возможно) в позиции утверждения дизъюнкции, но трудность возникает не вследствие подобных случаев. Окончательным источником знаний ученика является нечто, что оправдывает утверждение, что был казнен Карл I; и это все, что необходимо, чтобы предложенное объяснение слова «или» было адекватным. Сходным образом объяснение не опровергается случаями, похожими на те, в которых я знаю, что услышал нечто от Джин или от Элис, но не могу вспомнить, от кого именно. Мое знание того, что я разговаривал или с Джин, или с Элис, исходит, в конечном счете, из знания о том, что в определенное время я разговаривал, скажем, с Джин; факт, что неполное знание — это все, что остается, к делу не относится. Трудность возникает, скорее, потому, что мы часто делаем утверждения в форме «Р или Q», когда окончательные данные в указанном смысле не являются данными ни в пользу истинности Р, ни в пользу истинности Q. Самым удивительным в этом является тот факт, что мы готовы защищать любое утверждение в форме «Р или не-Р», даже если мы не имеем данных ни в пользу истинности Р, ни в пользу истинности «не-Р». Для того чтобы оправдать высказывание «Р или не-Р», мы обращаемся к таблично-истинностному объяснению смысла «или». Но, если все объяснение смыслов «истинно» и «ложно» дано посредством выражений «Истинно, что р, если и только если р» и «ложно, что р, если и только если не-р», это обращение безуспешно. Таблица истинности говорит нам, например, что из Р мы можем вывести «Р или Q» (в частности, «Р или не-Р»); но это мы уже знаем из объяснения «или», которое мы отбросили как недостаточное. Таблица истинности не показывает нам, что мы имеем право на утверждение «Р или не-Р» в любом возможном случае, поскольку это означает, что любое утверждение является или истинным, или ложным. Но, если наше объяснение «истинного» и «ложного» — это и есть объяснение, которое может быть дано, то сказать, что любое утверждение является или истинным, или ложным, значит просто сказать, что мы всегда можем оправданно говорить «P или не-Р». Мы, естественно, имеем в виду таблицы истинности как дающие объяснение смыслу, который мы приписываем знаку отрицания или соединительным союзам, объяснение, которое покажет, что мы оправдано рассматриваем некоторые формы утверждения как логически истинные. Сейчас же становится ясным, что если мы принимаем избыточную теорию «истинного» и «ложного» — теорию, что наше объяснение дает полный смысл этих слов, — таблично-истинностное объяснение окажется в достаточной мере неудовлетворительным. В общем, мы должны оставить привычную нам идею, что понятия истины и лжи играют существенную роль в любом истолковании смысла утверждений в целом или же смысла конкретного утверждения. Для мысли Фреге характерна концепция, что общая форма объяснения смысла утверждения состоит в определении условий, согласно которым оно является истинным, и условий, согласно которым оно является ложным (или лучше: утверждение того, что оно ложно при всех иных условиях). Этот же смысл выражен и в «Логико-философском трактате» [Витгенштейна] следующими словами: «Для того, чтобы быть способным сказать, что "р" является истинным (или ложным), я должен определить, при каких условиях я называю "р" истинным, и именно таким образом я определяю смысл предложения» (4.063). Но для того, чтобы кто-нибудь извлек из объяснения, что Р является истинным в таких-то и таких-то условиях, понимание смысла Р, он должен уже знать, что значит сказать о Р, что оно истинно. Если ему скажут, что единственным объяснением является следующее: сказать, что Р является истинным, есть то же самое, что утверждать Р, поэтому для того, чтобы понять, что имеется в виду, когда говорится, что Р является истинным, он должен уже знать смысл утверждения Р, то есть именно то, что предполагалось ему объяснить. Таким образом, мы должны или дополнить избыточную теорию, или отбросить многие из наших предубеждений относительно истины и лжи. Стало общепринятым говорить, что не существует критерия истины. Аргумент состоит в том, что мы определяем смысл предложения посредством определения условий, согласно которым оно является истинным, поэтому мы не можем сначала знать смысл предложения, а потом применять какой-либо критерий для решения того, согласно каким условиям оно было истинным. В том же самом смысле не может быть критерия для того, что составляет выигрыш в игре, поскольку знание того, что составляет выигрыш, является существенной частью знания о том, чем является сама игра. Это не значит, что не может существовать в любом смысле теория истины. Для строго заданного языка, если он свободен от двусмысленности и противоречивости, должна быть возможна характеристика истинных предложений этого языка, подобно тому, как для некоторой данной игры мы можем сказать, какие ходы являются выигрышными. (Язык задан, если мы можем не вводить в него новых слов или новых смыслов для старых слов). Такая характеристика является рекурсивной, определяющей истину сначала для самых простых предложений, а потом для предложений, построенных из других посредством логических операций, используемых в языке; это то, что делается для формальных языков посредством определения истины. Избыточная теория дает общую форму таким определениям истины, хотя в конкретных случаях могут быть даны более информативные определения. Итак, мы увидели, что сказать для каждой конкретной игры, в чем состоит выигрыш, не значит дать удовлетворительное представление о самом понятии выигрыша в игре. Использовать одно и то же понятие «выигрыш» для каждого из различных видов деятельности нас заставляет то, что принцип любой игры заключается в том, что каждый игрок пытается делать то, что для этой игры составляет выигрыш; т. е. то, что составляет выигрыш, всегда играет ту же роль в определении, чем является игра. Сходным образом, условия истинности утверждения, всегда играют ту же роль в определении смысла этого утверждения, и теория истины должна быть возможна в смысле истолкования того, в чем заключается эта роль. Я не буду сейчас предпринимать попытку подобного истолкования. Я, однако, полагаю, что такое истолкование явится обоснованием нижеследующего. Утверждение в той мере, в какой оно не является двусмысленным или неопределенным, делит все возможные положения дел только на два класса. Для данного положения дел или утверждение используется таким образом, что человек, который его высказывает, рассматривает это состояние дел как возможное и будет оцениваться как рассуждающий неправильно, или высказывание утверждения не будет рассматриваться как выражающее исключение говорящим этой возможности. Если достигнуто состояние дел первого рода, утверждение является ложным; если все реальные состояния дел второго рода, утверждение является истинным. Таким образом, бессмысленно говорить о любом утверждении, что при таком-то и таком-то положении дел оно не является ни истинным, ни ложным. Смысл утверждения определяется знанием того, при каких условиях оно является истинным и при каких условиях — ложным. Сходным образом, смысл команды определяется знанием того, что составляет подчинение команде и что неподчинение ей; смысл пари — знанием того, когда пари выиграно и когда проиграно. Итак, может существовать зазор (gap) между выигрышем пари и его проигрышем как в случае с условным пари; может ли существовать сходный зазор между подчинением и неподчинением команде, или между истинностью и ложностью утверждения? Существует различие между условным пари и пари, основанном на истинности материальной импликации; если антецедент не выполнен, то в первом случае пари ликвидируется — как если бы оно вовсе не заключалось, а во втором случае пари выигрывается. Условная команда, в которой антецедент заключается в способности человека отдавать приказ (например, мать говорит ребенку: «Если ты идешь на улицу, надень пальто»), всегда похожа на пари, основанное на материальной импликации; она эквивалентна команде обеспечения истинности материальной импликации, а именно: «Не выходи на улицу без пальто». Мы не можем сказать, что если ребенок не идет на улицу, значит не было дано команды, поскольку, возможно, он не может найти свое пальто и сидит дома с тем, чтобы подчинится приказу. Можно ли для условных команд, в которых антецедентом не является способность человека провести различие, параллельное различию для пари? Я утверждаю, что различие, похожее на то, которое было установлено, на самом деле лишено значимости. Существует два различных типа следствий заключения пари выигрыш и проигрыш; определить то, что включает в себя одно из них, еще не значит определить полностью то, что включает в себя другое. Но есть только один тип следствия подачи команды, а именно: человек, обеспеченный, в первую очередь, правом давать команду, получает право наказывать или, по крайней мере, осуждать неподчинение. Можно подумать, что наказание или поощрение являются различными следствиями команды в том же самом смысле, как выплата денег или получение их являются различными следствиями пари; но это не согласуется с ролью команд в нашем обществе. Право на поощрение не рассматривается как автоматическое следствие подчинения команде, в то время как право на упрек является автоматическим следствием неподчинения ей; если осуществлено поощрение, то это проявление милости, так же как проявлением милости может быть отсутствие наказания или упрека. Более того, любое действие, обдуманно принятое для того, чтобы выполнить команду (избежать неподчинения ей), имеет то же право быть вознагражденным, как и любое другое; поскольку определение того, что составляет неподчинение команде, означает, тем самым, определение того, какой тип поведения может быть поощрен без необходимости принятия дальнейших решений. Если ребенок остается дома потому, что он не может найти свое пальто, это поведение является столь же похвальным, как если бы он пошел на улицу, не забыв его надеть. И если он вообще забыл приказ, но надел пальто по какой-то другой причине, это поведение заслуживает похвалы не меньше, чем если бы он решил, по эгоистическим соображениям, остаться дома. Когда антецедентом не является способность человека, действительно возможно рассматривать условные команды как аналогичные условным пари; но поскольку подчинение команде не имеет иного следствия, кроме как избежание наказания за неподчинение команде, то для таких команд не существует никакого значимого различия, параллельного различию между условными пари и пари, основанными на материальной импликации. Если мы рассматриваем подчинение команде как предоставление права на поощрение, тогда мы можем ввести такое различие команд, чьим антецедентом является способность человека. Так, мать может использовать конструкцию «Если ты идешь на улицу, надень пальто» как включающую то, что если ребенок пойдет на улицу, надев пальто, он получит поощрение, а если он пойдет на улицу без пальто, то будет наказан, и если он останется дома — даже для того, чтобы подчиниться команде, — он не будет ни поощрен, ни наказан; в то время как конструкция «Не ходи на улицу без пальто» может включать его поощрение, если он останется дома. Утверждения (в плане использования) похожи на команды и не похожи на пари. Высказывание утверждения предполагает, так сказать, только один вид следствия. Чтобы понять это, представим себе язык, который содержит условные утверждения, но не имеет контрфактической формы (контрфактические утверждения создали бы ненужные сложности). В этом языке предполагаются также два альтернативных представления о способах использования условных утверждений. Первым способом является их использование для условного высказывания утверждений; вторым — их использование в качестве материальной импликации. Согласно первому представлению, условное утверждение похоже на условное пари: если антецедент выполнен, то утверждение понимается так, как если бы оно было безусловным утверждением следствия и соответственно оценивается как истинное или ложное; а если антецедент не выполнен, то ситуация оценивается так, как если бы утверждения, истинного или ложного, не делалось вообще. Согласно второму представлению, если антецедент не выполнен, то утверждение оценивается как истинное. Как же мы можем определить, которое из этих представлений является правильным? Если утверждения на самом деле похожи на пари и не похожи на команды если возможны два вида следствий из высказывания утверждений: те, что оценивают утверждения как «истинные», и те, что оценивают их как «ложные», тогда может существовать зазор между этими двумя типами следствий, и мы должны быть способны найти нечто, что разделяет два представления также определенно, как финансовая сделка разделяет пари, основанное на истине материальной импликации, и условное пари. Бесполезно задавать вопрос: говорят ли люди, использующие описанный выше язык, что человек, высказавший условное утверждение, антецедент которого оказался ложным, сказал нечто истинное или что он не сказал ничего истинного или ложного; они могут не иметь слов, соответствующих нашим словам «истинное» и «ложное»; а если они имеют их, то каким образом мы можем быть уверены, что соответствие является точным? Если использование слов «истинное» и «ложное» имеет хоть малейшее значение для этих людей, то должна существовать какая-либо разница в их поведении, соответствующая тому, когда они говорят «истинно» или «не истинно, не ложно». Итак, по размышлении становится ясным, что в их поведении нет ничего, что могло бы отличить два альтернативных представления; различие между ними является столь же пустым, сколь и аналогичное различие между условными командами, антецедентом которых не является способность человека. Для того чтобы зафиксировать смысл выражения, нам не нужно принимать два отдельных решения: когда сказать, что было сделано истинное утверждение и когда сказать, что было сделано ложное утверждение. Скорее, любая ситуация, в которой не достигается ничего, что было бы рассмотрено как случай ложности, может быть рассмотрена как случай истинности; также того, кто ведет себя подобным образом, то есть чье поведение не рассматривается как неподчинение команде, можно рассматривать как подчиняющегося команде. Вопрос станет яснее, когда мы рассмотрим его следующим образом. Если, в целом, имеет смысл предположить, что некоторая форма утверждений используется таким образом, что в некоторых обстоятельствах они являются истинными, в других -ложными, а в третьих нельзя сказать, являются они истинными или ложными, то мы можем представить, что форма условного утверждения была использована таким образом (фон Вригт действительно полагал, что мы используем условное утверждение именно таким образом). Если Р оказывается истинным, тогда «Если Р, то Q» рассматривается как истинное или ложное в соответствии с тем, является ли Q истинным или ложным; в то время как если Р оказывается ложным, мы не можем сказать, что было сказано что-то истинное или ложное. Противопоставим это точке зрения Фреге и Стросона на использование в нашем языке утверждений, содержащих сингулярный термин. Итак, если существует объект, который обозначается сингулярным термином, то утверждение является истинным или ложным в соответствии с тем, применим или нет предикат к этому объекту; но если не существует такого объекта, то мы не можем сказать ничего — ни истинного, ни ложного. Так говорят ли нам эти объяснения о смысле предложений двух описанных выше типов, т. е. говорят ли они нам, каким образом эти утверждения используются, что делается посредством утверждений этих форм? Нет, поскольку еще не определена существенная характеристика их использования. Некто, высказывающий условное утверждение описанного типа, может совершенно не иметь представления о том, окажется ли антецедент утверждения истинным или ложным, поэтому нельзя считать, что он высказывает утверждение неправильно или вводит в заблуждение своих слушателей, если он предвидит возможность того, что этот случай может оказаться таковым, о котором он не делал истинных или ложных утверждений. Все, что он выражает, высказывая условное утверждение, так это то, что он исключает возможность, что при случае он мог бы сказать нечто ложное, а именно, что антецедент является истинным, а следствие — ложным. С сингулярным утверждением дело обстоит иначе. Здесь некто явно или неправильно использует форму утверждения, или вводит в заблуждение своих слушателей, если он рассматривает возможность, что этот случай может оказаться таковым, о котором он не делал истинных или ложных утверждений, а именно, что единичное понятие не имеет референции. Делая утверждение, он выражает большее, чем просто то, что он исключает возможность его ложности; он связывает себя самого с его истинностью. Говорим ли мы, таким образом, что определения условий истинности для предложения недостаточно для определения его смысла, что нечто в дальнейшем также будет обусловливать его смысл? Мы говорим, скорее, что должны оставить и понятие истины, и понятие лжи. Для того, чтобы охарактеризовать смысл выражений наших двух форм, подходит только двоичная классификация возможных соответствующих обстоятельств. Мы должны различать такие положения дел, когда говорящий рассматривает их как возможности, и тогда будут считать, что он или неправильно использует утверждение, или вводит в заблуждение своих слушателей; и такие положения дел, в которых этого не происходит. Одним из этих путей использования слов «истинно» и «ложно» будет характеризовать положения дел первого типа как те, при которых утверждение было ложным, а другие — как те, при которых утверждение было истинным. Для наших условных утверждений различие будет делаться между теми положениями дел, при которых утверждение будет рассмотрено как ложное, и теми положениями дел, при которых мы говорим, что утверждение будет либо истинным, либо не истинным, не ложным. Для сингулярных утверждений различие будет делаться между теми положениями дел, при которых мы говорим, что утверждение будет либо ложным, либо не ис тинным, не ложным, и теми положениями дел, при которых оно будет истинным. Чтобы постигнуть смысл или использование этих форм утверждений, двоичная классификация вполне подходит; троичная же классификация, с которой мы начали, к делу не относится. Таким образом, согласно одному способу использования слов «истинно» и «ложно», мы должны, вместо того чтобы проводить различие между способностью условных утверждений быть истинными и их способностью быть не истинными и не ложными, различать два способа, согласно которым они могут быть истинными; и вместо того чтобы различать между способностью сингулярных утверждений быть ложным и их способностью быть не истинными и не ложными, мы должны различать два способа, в силу которых они могут быть ложными. Это указывает нам на то, как следует объяснять роль, которую играют истина и ложь в определении смысла утверждения. Мы еще не увидели, какой смысл может быть в различении способов, согласно которым утверждение может быть истинным, и различении способов, согласно которым оно может быть ложным, или можно так сказать, в различении уровней истины и лжи. Смысл таких различении не имеет ничего общего со смыслом самого утверждения, он связан со способом, которым утверждение входит в сложные утверждения. Представим, что в языке, часть которого составляют рассмотренные нами условные утверждения, существует знак отрицания, например слово, которое, будучи помещенным перед утверждением, образует другое утверждение; я называю это знаком отрицания, потому что в большинстве случаев он образует утверждение, которое мы должны рассматривать как противоположное исходному утверждению. Предположим, тем не менее, что, будучи помещенным перед условным утверждением «Если Р, то Q», он образует утверждение, используемое тем же способом, что и утверждение «Если Р, то не-Q». Тогда, если мы описываем использование условных утверждений только с помощью двоичной классификации, например, тем же способом, которым мы описываем материальную импликацию, мы не будем способны дать истинностно-функциональное представление о поведении в этом языке знака «не». Т. е. мы будем иметь таблицы: