2. Логика как теория истины

Суждение в своей сущности — это мысленная связь значений, гипотеза о некоторой реальности, которая может быть либо истинной, либо ложной. Согласно Аристотелю, истину говорит тот, кто считает разъединенное разъединенным и связанное связанным29. Можно сказать, что истинность представляет собой функцию, сопоставляющую мысленные образы с реальным положением дел. Суждение «На улице холодно» истинно, если на улице действительно холодно. Слово «действительно» обозначает здесь некоторую внемысленную (практическую) операцию, соотносящую суждение и реальность.

Здесь важно зафиксировать несколько моментов. Первый из них состоит в том, что логика опирается на общее гносеологическое понятие истины, в основе которого лежит идея соотнесения суждения с реальностью. В этом смысле логика неразрывно связана с общей теорией познания. Важно понять также, что гносеологическая истина в логике — не приближенная истинность эмпирического знания, а абсолютная (идеальная) истинность, не допускающая изменения или корректировки. Идея абсолютной истины — не фикция и не бесполезная метафизическая конструкция, а представление, составляющее основу логики, интуитивный критерий правильности ее законов. Необходимо иметь в виду, наконец, то обстоятельство, что в отличие от теории познания и методологии науки логика полностью абстрагируется от рассмотрения фактических возможностей установления истины. Логическое рассмотрение исходит из условного допущения абсолютной истинности суждений. Задача логики состоит в том, чтобы исходя из допущения истинности некоторых суждений, определить всю систему истинных суждений, вытекающих из этого допущения.

Принципы логики в своей сущности представляют собой запреты на типы суждений, заведомо несовместимые с понятием истины. Говоря, что недопустимы суждения вида «А и не-А», мы утверждаем тем самым, что суждения, обладающие такой формой, ни при каких условиях не могут претендовать на истинность. Нам не нужно здесь гипотез о том, как устанавливается истинность суждения А в том или другом случае, и может ли она быть установлена вообще. Логический принцип непротиворечия утверждает лишь то, что суждение, состоящее из утверждения и отрицания определенного смысла, несовместимо с понятием его истинности. В основе логики, таким образом, лежит общезначимая идея истины, исключающая определенные формы суждения как находящиеся за ее пределами.

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

При прояснении сущности логики философы, вообще говоря, прибегали к различным трактовкам понятия истинности. В основе логической концепции Лейбница лежит онтологическое понятие истины, которое является коррелятом реального положения дел в мире, не зависящего от мышления и самого существования мыслящих существ. Концепция логики Куайна опирается на семантическое понятие истины, задаваемое через понятие выполнимости. Деятельностиый анализ логики ориентирует нас на гносеологическое понятие абсолютной истины как определяющее для понимания природы и функции логики.