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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Метод непосредственного обоснования логической истинности высказываний:

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

Уточнить смысл логических терминов. Для этого можно воспользоваться данными формальной логики.

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

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

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

Метод обоснования аналитической фактуальной истинности:

Выявить логические термины, если они имеются, и уточнить их смысл.

Выявить теоретические дескриптивные термины и уточнить их смысл путем уточнения вербальных определений.

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

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

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

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

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

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

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

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

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

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

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

Апории Зенона относятся к мнимым противоречиям, когда они трактуются как логические противоречия. А такая трактовка существует веками. Ее даже некоторые философы возвели в ранг общего и " законного" явления науки, а то и в принцип неизбежного логически противоречивого выражения диалектических противоречий движения, и вообще отображения движения в мышлении[43]. За счет чего получаются эти мнимые логические противоречия? В апории " Ахиллес и черепаха", например, " противоречие" получается потому, что при заданном Ахиллесу и черепахе порядке движения Ахиллес будет неограниченно приближаться к черепахе, но никогда ее не догонит, а в объективной действительности он ее, разумеется, догоняет. Если не анализировать идеализации этих высказываний, то действительно можно получить противоречие.

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

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

Логическое противоречие имеет место только тогда, когда суждение не-А есть логическое отрицание суждения А. Но так как операция логического отрицания идеализаций суждения не меняет, то логическое противоречие имеет место только для суждений (как А, так и не-А), имеющих одни и те же идеализаций.

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

Апории Зенона и их разрешение имеют чисто исторический интерес. Но проблема мнимых противоречий (парадоксов) существует до сих пор. Такие ситуации часто возникают, когда речь идет об отношении теории и фактов, одной теории и другой теории. Только при полном игнорировании идеализаций и сути определения логического противоречия можно утверждать о противоречиях евклидовой геометрии и геометрии Лобачевского, ньютоновой и релятивистской механик и т.д., о чем в наше время приходится еще нередко слышать[44].

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

Отсюда следует, что специфика истинности одного и того же суждения не безотносительна к методу ее обоснования, а, напротив, относительна применительно к этому методу. Тогда получается, что, если истинность суждения можно обосновать разными методами, то суждение будет иметь различные типы, виды, и вообще разную специфику истинности. Это кажется странным (!). Это не укладывается в рамки представлений, согласно которым каждое суждение либо логически истинно, либо эмпирически истинно и т.д., т.е. имеет один тип истинности. И если иметь понятия об истинности, не связанные с методом ее обоснования, т.е. неэффективные понятия, то это действительно так.

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

Так произошло и в теории истины, когда тип истинности суждения стал зависимым от метода установления истинности. Для примера возьмем суждение: " Солнце красное или не красное". И зададимся вопросом: «Каков тип его истинности?» Ответ зависит от того, какими методами можно установить его истинность. А эти методы следующие: