2. Безотносительное обоснование суждений

Безотносительно обосновываемые суждения классифицируем на (1А) эмпирически обосновываемые и (1Б) аналитически обосновываемые. (1А) Эмпирически обосновываемые суждения есть суждения, истинность которых устанавливается эмпирическими методами наблюдения, измерения, материального (не мысленного) эксперимента. Ясно, что такому обоснованию подлежат суждения только о материальных эмпирически воспринимаемых объектах. Такие суждения называются эмпирическими суждениями, а их истинность - эмпирической истинностью. Из эффективного определения эмпирической истинности следует метод ее установления.

Метод обоснования эмпирической истинности:

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

2. Уточнить значение эмпирических дескриптивных терминов на основе эмпирических восприятий, обозначаемых этими терминами объектов.

3. Установить истинность эмпирического суждения методами наблюдения, измерения или эксперимента.

Например, из эмпирического опыта (многочисленных примеров) нам известно, что такое красный цвет (его вербальное определение может быть неизвестным). Нам эмпирически дано и Солнце. Путем наблюдения мы можем обосновать истинность утверждения о том, что Солнце красное. Эмпирически оно действительно истинно.

Эмпирическая истинность является фактуальной истинностью. Фактуальная эмпирическая истинность - это истинность, устанавливаемая на основе эмпирического восприятия объектов, обозначаемых дескриптивными эмпирическими терминами. В общем случае дескриптивным термином называется термин, который обозначает какие-либо конкретные объекты, свойства, отношения, множества объектов. При этом неважно, материальные это объекты или абстрактные. Если материальные, то не имеет значения, могут они чувственно восприниматься или не могут. Например, дескриптивными терминами будут термины, обозначающие человека (материальный чувственно воспринимаемый объект), кварки (материальные чувственно не могущие быть воспринимаемыми объекты), точку (абстрактный, не могущий быть чувственно воспринимаемым объект), белизну (чувственно воспринимаемое материальное свойство), четность (абстрактное, чувственно не воспринимаемое свойство). В целом дескриптивные термины делятся на эмпирические и аналитические.

Эмпирический термин - термин, обозначающий эмпирически (чувственно) воспринимаемый материальный объект. В зарубежной литературе такой термин именуется термином наблюдения³⁸, а эмпирическое предложение, содержащее подобный термин, - предложением наблюдения³⁹. Относительно эмпирических терминов материальные объекты можно подразделить на эмпирически воспринимаемые (наблюдаемые) и эмпирически невоспринимаемые (ненаблюдаемые). Во многих случаях эта граница подвижна. Например, К.Гемпель относит к ненаблюдаемым материальным объектам молекулы, атомы, электрические, магнитные и гравитационные поля⁴⁰. В настоящее время некоторые молекулы можно наблюдать в электронный микроскоп, так что говорить о ненаблюдаемости молекул не приходится. Может быть, в будущем они все будут наблюдаемыми, как и гравитоны и т.п.

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

(1Б) Аналитически обосновываемые суждения представляют суждения, истинность которых устанавливается аналитическим методом, т.е. методом анализа смысла логических или дескриптивных терминов, определяемых вербально. Этот анализ не зависит от эмпирического значения терминов, т.е. от чувственных восприятий объектов, обозначаемых терминами. Более того, эмпирическое значение, данное остенсивным определением, если оно и имеется, не должно влиять на оценку истинности суждения, обосновываемого аналитическим методом. Должен рассматриваться только тот смысл терминов, который им придан вербальными определениями. Такие термины называются теоретическими (или аналитическими) терминами. Суждение, содержащее теоретические термины, является аналитическим суждением, а его истинность - аналитической истинностью, так как может быть установлена только аналитическим методом, а не эмпирическим по той простой причине, что этот метод не применим к абстрактным теоретическим объектам.

Очевидно, что эмпирическая и аналитическая истинность относятся к суждениям, принимающим принципиально различные идеализации. Установление эмпирической и аналитической истинности поясним на примерах. Сделаем два высказывания: (В1) "Солнце красное" и (В2) "Солнце черное". Практика показывает, что многие считают эту ситуацию элементарной: ведь чувственное восприятие совершенно четко показывает, что Солнце красное. Значит, высказывание В1 истинно. Но тогда, как правило, высказывание В2 считают заведомо ложным. Но не будем спешить с выводами, а дадим этой ситуации гносеологический анализ, используя принцип относительности истинности.

Посмотрим, при каких идеализациях оценивается истинность высказывания В1. Наверняка опираясь на данные зрительных восприятий. Солнце в этом случае представлялось как определенный чувственно данный объект. Красное – как определенное всем известное ощущение цвета. Значит, об истинности высказывания В1 судили на основе неявного принятия идеализаций чувственного отображения действительности. Обозначим их как И1. Для этих предпосылок существенно свойство Солнца излучать электромагнитные волны. С точки зрения этих предпосылок действительно высказывание В1 эмпирически истинно. А высказывание В2? Рассуждают так: черное – не красное, стало быть, В2 эмпирически ложно. Но это рассуждение неверно, так как восприятие объекта как черного тела связано не с излучением электромагнитных волн, а с их поглощением Солнцем. Свойство же поглощения эмпирически не воспринимается. Значит, оценивать истинностное значение высказывания В2 нельзя с позиции И1. Надо выявлять принятые идеализации.

Если поглощение есть эмпирически невоспринимаемый объект, то ясно, что судить о нем можно только аналитически, т.е. на основе его определения. Это значит, что истинность суждения В2 может быть аналитической, но не эмпирической, основанной на совсем иных идеализациях нежели И1, которые назовем И2. Тогда надо оценивать истинность суждения В2 при И2, а не И1. А это значит, что свойство излучения для этой оценки несущественно, но существенно свойство поглощения лучей, которое дано не эмпирически, а теоретически, т.е. вербальным определением черного тела.

Согласно определению объект считается черным, если он практически не отражает падающих на него электромагнитных волн⁴¹. Тогда Солнце действительно является черным телом, а высказывание В2 – аналитически истинным. Истинность высказывания В1 при И 2 вообще не установима, как и истинность высказывания В2 при И1.

Отсюда следует, что вопросы "является ли Солнце красным?" и "является ли Солнце черным?" можно оценить как некорректные вопросы, ибо на них получить истинные однозначные ответы невозможно в силу неясности, относительно каких идеализаций эту истинность надо устанавливать. Те, кто принимает И 1, дадут один ответ, а те, кто принимает И 2 – ему прямо противоположный. И нельзя сказать, какой ответ истинен. Из этой проблемной ситуации следует только одно – надо преобразовать эти некорректные вопросы в корректные, уточнив те идеализации, при которых можно получить однозначный истинный ответ. Тогда ответ на вопрос "истинно ли высказывание В1 при И1?" будет существовать и будет истинным ответом: при И1 высказывание В1 истинно, а об истинности В2 нельзя спрашивать, ибо вопрос будет некорректен. Ответ на вопрос "истинно ли высказывание В2 при И 2?" тоже будет существовать и тоже будет ответом: при И 2 высказывание В2 истинно, а об истинности В1 также нельзя спрашивать из-за некорректности вопроса.

Из вышеприведенного видно, что, вообще говоря, установление аналитической истинности не зависит от эмпирических данных. Например, то, что никакой черноты мы не наблюдаем, глядя на Солнце, никак не должно влиять на аналитическую оценку этого суждения. Важны только вербальные определения входящих в него терминов. Если Солнце определить как тело, вокруг которого вращается Земля, которое поглощает все падающие на него электромагнитные излучения и т.д., а черное тело понимать как тело, не отражающее падающих на наго электромагнитных волн, то суждение "Солнце черное" будет аналитически истинно. И никакие эмпирические наблюдения не могут изменить этой оценки.

При обосновании аналитической истинности возможны два случая. В первом случае истинность устанавливается только на основе знания смысла логических терминов. Такая истинность получила название (1Б1) аналитической логической истинности. Во втором случае для установления истинности суждения знания смысла одних его логических терминов недостаточно, необходимо знание смысла дескриптивных теоретических терминов. Такого рода истинность именуется (1Б2) аналитической фактуальной истинностью. Логическая истинность характеризует только законы логики и присуща лишь сложным суждениям, содержащим логические связки "и", "или", "если…, то…" и др. Например, простые суждения "Солнце красное", "все животные состоят из клеток", "некоторые люди мужчины" нельзя охарактеризовать ни как логически истинные, ни как логически ложные. Такие характеристики могут иметь только сложные суждения определенной формы независимо от их конкретного содержания, т.е. от того, что и о чем они утверждают.

Раз конкретное содержание не существенно, то от него можно отвлечься и считать, что любое суждение – это лишь то, что может быть либо истинным, либо ложным. Суждение, рассматриваемое с точностью до его истинностных значений (истина и ложь, например) называется высказыванием (простым или сложным).

Сложные высказывания, логически истинные при любых истинностных значениях входящих в них переменных для высказываний, т.е. независимо от этих значений, называются законами логики. Примером такого закона является закон исключенного третьего "А или не-А", где А – переменная для высказываний, а "не" – логическое отрицание.

Возникает вопрос, как распознать среди сложных высказываний логически истинные, т.е. законы логики, но не обязательно законы мышления⁴². Если найти метод решения этой проблемы, то тем самым будет найден метод обоснования логически истинных суждений. Мы не будем вдаваться в раскрытие этой проблемы. Скажем лишь, что в определенной мере она решена в современной формальной логике. Для более простого класса высказываний метод распознавания законов логики является разрешающим эту проблему алгоритмом (точным предписанием), согласно которому относительно любого сложного высказывания по его форме можно определить, является оно логически истинным или нет.

Например, этот алгоритм (а его можно найти в любом учебнике по математической логике) высказывание "А или не-А" охарактеризует как логически истинное, высказывание "А и не-А" - как логически ложное, а высказывания "А", "А и В" – как и ни то и ни другое (они истинны только при определенных значениях переменных в А, В).

В любом случае этот алгоритм даст однозначный ответ, является или не является высказывание логически истинным.

Для распознавания фактуальной истинности такого алгоритма нет. А если бы был, то все науки без хлопот сразу же распознали все свои законы. Однако это может сделать только логика высказываний относительно своих законов.

В общем случае это и для логики не выполнимо. Дело в том, что для выводов бывает существенен смысл логических терминов "все" и "некоторые". Например, если мы знаем, что все металлы электропроводны, то можем на этом основании утверждать, что и некоторые металлы электропроводны просто в силу смысла слов "все" и "некоторые". А вместо металлов тут может быть что угодно. И это на вывод не повлияет. Тогда ясно, что высказывание типа "Если все…, то некоторые…" логически истинно. Так вот, для сложных высказываний, содержащих слова "все" и "некоторые" не существует разрешающей процедуры (алгоритма) для решения вопроса, логически истинно данное высказывание или нет. Тогда для установления логических законов прибегают к аксиоматическому методу, который уже выходит за рамки непосредственного обоснования истинности.