<< Пред. стр. 7 (из 17) След. >>
Железо ковко.Золото ковко.
Свинец ковок.
Железо, золото и свинец — металлы.
Все металлы ковки.
Здесь из знания лишь некоторых предметов класса металлов делается общий вывод, относящийся ко всем предметам этого класса.
Индуктивные обобщения широко применяются в эмпирической аргументации. Их убедительность зависит от числа приводи-
[126]
мых в подтверждение случаев. Чем обширнее база индукции, тем более правдоподобным является индуктивное заключение. Но иногда и при достаточно большом числе подтверждений индуктивное обобщение оказывается все-таки ошибочным. Напр.:
Алюминий — твердое тело.
Железо, медь, цинк, серебро, платина, золото, никель, барий, калий, свинец — твердые тела.
Алюминий, железо, медь, цинк, серебро, платина, золото, никель, барий, калий, свинец — металлы.
Все металлы — твердые тела.
Все посылки этого умозаключения истинны, но его общее заключение ложно, поскольку ртуть — единственная из металлов — жидкость.
Поспешное обобщение, т. е. обобщение без достаточных на то оснований, — обычная ошибка в индуктивных умозаключениях и, соответственно, в индуктивной аргументации. Индуктивные обобщения всегда требуют известной осмотрительности и осторожности. Их убедительная сила невелика, особенно если база индукции незначительна («Софокл — драматург; Шекспир -драматург; Софокл и Шекспир — люди; следовательно, каждый человек — драматург»). Индуктивные обобщения хороши как средство поиска предположений (гипотез), но не как средство подтверждения каких-то предположений и аргументации в их поддержку.
Начало систематическому изучению И. было положено в начале XVII в. Ф. Бэконом. Уже он весьма скептически относился к неполной И., опирающейся на простое перечисление подтверждающих примеров.
Этой «детской вещи» Бэкон противопоставлял описанные им особые индуктивные принципы установления причинных связей. Он даже полагал, что предлагаемый им индуктивный путь открытия знаний, являющийся очень простой, чуть ли не механической процедурой, «почти уравнивает дарования и мало что оставляет их превосходству...». Продолжая его мысль, можно сказать, что он надеялся едва ли не на создание особой «индуктивной машины». Вводя в такого рода вычислительную машину все предложения, относящиеся к наблюдениям, мы получали бы на выходе точную систему законов, объясняющих эти наблюдения.
Программа Бэкона была, разумеется, чистой утопией. Никакая «индуктивная машина», перерабатывающая факты в новые зако-
[127]
ны и теории, невозможна. И., ведущая от единичных утверждений к общим, дает только вероятное, а не достоверное знание.
Высказывалось предположение, что все «перевернутые» законы логики могут быть отнесены к схемам индуктивного умозаключения. Под «перевернутыми» законами имеются в виду формулы, получаемые из имеющих форму импликации (условного утверждения) законов логики путем перемены мест основания и следствия. К примеру, поскольку выражение «Если р и q, то р» есть закон логики, то выражение «Если р, то р и q» есть схема индуктивного умозаключения. Аналогично для «Если р, то р или q» и «Если р или q, то р» и т. п. Сходно для законов модальной логики: поскольку выражения «Если р, то возможно р» и «Если необходимо р, то р» - законы логики, выражения «Если возможно р, то р» и «Если р, то необходимо р» являются схемами индуктивного рассуждения и т. п. Законов логики бесконечно много. Это означает, что и схем индуктивного рассуждения (индуктивной аргументации) бесконечное число.
Предположение, что «перевернутые» законы логики представляют собой схемы индуктивного рассуждения, наталкивается на серьезные возражения: некоторые «перевернутые» законы остаются законами дедуктивной логики; ряд «перевернутых» законов, при истолковании их как схем И., звучит весьма парадоксально. «Перевернутые» законы логики не исчерпывают, конечно, всех возможных схем
И
ИНДУКЦИЯ МАТЕМАТИЧЕСКАЯ, ПОЛНАЯ МАТЕМАТИЧЕСКАЯ ИНДУКЦИЯ
- средство доказательства общих положений в математике и др. дедуктивных науках. Этот прием опирается на использование двух суждений. Первое представляет собой единичное суждение и наз. базой индукции. В нем доказывается, что 1 обладает некоторым свойством (S(1)). Второе суждение - общее условное. В нем утверждается, что если произвольное число п обладает свойством S (т. наз. индуктивное предположение), то и непосредственно следующее за ним (в натуральном ряду) число n+1 также обладает этим свойством S (т. наз. индукционный шаг). Это т.наз. наследуемость свойства S в натуральном ряду чисел 1, 2, 3, 4, 5, ..., n, n+1 ... Если первое и второе положения верны, то можно сделать заключение, что и все натуральные числа обладают свойством S, что S принадлежит всему бесконечному множеству натуральных чисел.
Символически это доказательство записывается так:
S(1)& "n(S(n)->S(n+1)) ®" mS(m).
Доказательство некоторого общего математического суждения может быть продемонстрировано последовательностью процедур: из " n(S(n) ->S(n+1)) по правилам логики могут быть получе-
[128]
ны следующие суждения: S(1)->S(2) (1), S(2)->S(3) (2), S(3)->S(4) (3)... и т. д. Поскольку же нам надо 5(1), то из суждения (1) мы получаем по модус поненс S(2); поскольку нам дано S(2), мы из (2) можем получить 5( 3); поскольку нам дано S(3), мы из (3) можем получить 5(4), и т. д. до бесконечности. Это и означает доказанность истинности общего суждения "mS(m).
ИНДУКЦИЯ НЕПОЛНАЯ
- индуктивный вывод о том, что всем представителям изучаемого множества принадлежит свойство Р на том основании, что Р принадлежит некоторым представителям этого множества. Так, напр., узнав о том, что инженер А работает продавцом, инженер B работает продавцом и инженер С также работает продавцом, вы можете сделать индуктивный вывод, что все инженеры ныне работают продавцами. Множество инженеров велико, трудно или даже невозможно установить, чем сейчас занимается каждый из них, поэтому ваше индуктивное заключение связано с риском: оно может оказаться ошибочным. Для повышения степени надежности индуктивного вывода используют специальные методы (см.: Индукция научная, Индукции каноны).
ИНДУКЦИЯ ПОЛНАЯ
- индукция, в которой делается заключение о том, что всем представителям изучаемого множества принадлежит свойство Р, на основании полученной при опытном исследовании информации о том, что каждому представителю изучаемого множества принадлежит свойство Р. Умозаключения полной индукции являются дедуктивными в том смысле, что заключение в них следует из посылок с логической необходимостью: при истинности посылок, применяя известные правила логики, мы не можем получить ложного заключения.
ИНДУКЦИЯ ПОПУЛЯРНАЯ
- наиболее распространенный вид индуктивного вывода, в котором не предпринимается никаких мер для повышения достоверности заключения. Именно так мы чаще всего рассуждаем в повседневной жизни. Напр., столкнувшись с грубостью одного-двух чиновников к.-л. учреждения, мы с легкостью делаем вывод о том, что все сотрудники этого учреждения грубияны, или, купив два-три раза в магазине испорченные консервы, мы заключаем, что все консервы в этом магазине испорчены. Ясно, что такого рода заключения часто оказываются ложными. В таких случаях мы совершаем ошибку поспешного обобщения. Для того чтобы избежать этой ошибки, используют специальные приемы для повышения степени достоверности индуктивного вывода (см.: Индукция научная).
ИНТЕНСИОНАЛ И ЭКСТЕНСИОНАЛ
- понятия, введенные австрийским логиком и философом Р. Карнапом для анализа зна -
[129]
чения языковых выражений. Метод И. и Э. представляет собой модификацию и дальнейшую разработку семантической концепции немецкого математика и логика Г. Фреге. Но если для Фреге исходным и основным было понятие имени, то Карнап скорее ориентировался на роль прилагательных - он анализировал предикаты. Утверждение «Сократ — человек» можно трактовать двояко. Можно считать, что это утверждение приписывает Сократу некоторое свойство «быть человеком». В то же время данное утверждение можно рассматривать как говорящее о том, что индивидуум Сократ включается в класс людей. Этот пример показывает, что предикат, в данном случае «человек», может обозначать как свойство, так и класс. Классы и свойства взаимосвязаны: каждое свойство задает некоторый класс и каждому классу соответствует некоторое свойство. Объекты, обладающие свойством «быть человеком», образуют класс людей; с другой стороны, класс людей характеризуется тем, что входящие в него элементы обладают свойством «быть человеком». Класс, задаваемый некоторым свойством, может быть и пустым.
Большую роль в концепции Карнапа играет понятие эквивалентности. Два класса эквивалентны, если они состоят из одних и тех же элементов. Два предиката эквивалентны, если они обозначают один и тот же класс. Класс, обозначаемый предикатным выражением, называется Э. этого выражения. И. предикатного выражения Карнап называет выражаемое им свойство. Напр., Э. предиката «человек» является класс людей; его И. будет свойство «быть человеком». Предикаты «человек» и «существо, имеющее мягкую мочку уха» будут экстенсионально эквивалентны, т. к. обозначают один и тот же класс. Предикаты «человек» и «существо, способное производить орудия труда» не только экстенсионально, но и интенсионально эквивалентны, т. к. обозначают один и тот же класс и выражают одно и то же свойство.
Поскольку два предложения являются эквивалентными в том случае, когда имеют одинаковое истинностное значение, постольку Э. предложения целесообразно считать его истинностное значение. И. предложения является выражаемое им суждение, мысль. Э. собственного имени Карнап считал предмет, обозначаемый этим именем; И. имени является концепт - индивидуальное понятие. Понятия Э. и И. лежат в основе различения экстенсиональных и интенсиональных контекстов. Экстенсиональными контекстами называют множества утверждений, в которых взаимозаменимы экстенсионально эквивалентные языковые выражения, т. е. которые учитывают лишь Э. выражений. Интенсио-
[130]
нальный контекст допускает замену только интенсионально эквивалентных выражений, т. е. для него важны И. выражений (см.: Имя, Смысл, Значение).
ИНТЕРПРЕТАЦИЯ (от лат. interpretatio - разъяснение, истолкование)
- в логике приписывание некоторого содержательного смысла, значения символам и формулам формальной системы; в результате формальная система превращается в язык, описывающий ту или иную предметную область. Сама эта предметная область и значения, приписываемые символам и формулам, также
наз. И.
Рассмотрим обычное построение исчисления высказываний.
Сначала задается список исходных с и м в о л о в: А, В, С, ...; ~, &, U®,), (. Затем устанавливаются правила построения формул:
1. Отдельная буква из числа А, В, С,... есть формула.
2. Если х есть формула, то ~ х тоже формула.
3. Если х и у - формулы, то х&у, xvу, х->у тоже будут формулами.
К этому добавляются правила, позволяющие из одних формул получать другие. В частности, некоторые формулы, построенные в соответствии с правилами построения, можно принять в качестве аксиом, добавить к ним правило подстановки, разрешающее на место одной правильно построенной формулы подставлять другую правильно построенную формулу, и правило отделения: из формул х -> у и х можно получить формулу у.
Такое синтаксическое построение формальной системы представляет собой просто игру с символами, когда мы комбинируем символы в соответствии с правилами, соединяем их, разъединяем, из одних получаем другие и т. п. Для того чтобы система приобрела смысл, стала языком, описанием каких-то объектов, связей и отношений между объектами, нужно придать ей И. Это делается следующим образом.
Сначала приписывается значение исходным символам. Будем считать, что символы А, В, С, ... представляют предложения, которые могут быть истинными или ложными. Истинность или ложность сложных формул устанавливается следующим образом:
Если формула х истинна, то формула ~ х ложна, если формула х ложна, то формула ~ х истинна.
Формула х&у истинна только в том случае, если х истинна и у истинна; во всех остальных случаях формула х & у ложна.
Формула xvy ложна только в том случае, если х ложна и у ложна; во всех остальных случаях формула х v у истинна.
Формула х -> у ложна только в том случае, если х истинна, а у ложна; во всех остальных случаях формула х -> у истинна.
[131]
После И. формул синтаксической системы она становится системой предложений, обозначающих истину или ложь, а правила преобразования одних формул в другие превращаются в правила вывода одних предложений из других. Подставляя в формулы конкретные истинные или ложные предложения, мы можем устанавливать между ними разнообразные логические отношения. Можно придать исходным символам и другую И., напр. считать, что А, В, С, ... обозначают события, а символ «®» выражает причинную связь событий. Тогда выражение «А®В» приобретает такой смысл: событие A причинно влечет событие В.
Если в формальной системе имеются знаки для индивидуальных переменных, скажем, х, у, z, ...;, для предикатных выражений -Р, Q, ...; для кванторов -", $, то мы можем образовать формулы вида"хР(х) и $хР(х). Для И. таких формул вводят некоторую область объектов, по которым пробегают индивидные переменные, и свойства этих объектов, которые обозначаются предикатными выражениями. Тогда предложение вида"хР(х) считается истинным, если все объекты данной области обладают свойством Р. Предложение вида$хР(х) истинно, если хотя бы один объект из нашей объектной области обладает свойством Р.
В отличие от формальных логических систем, в содержательных естественнонаучных и математических теориях всегда подразумевается некоторая И.: в таких теориях используются лишь осмысленные выражения, т. е. смысл каждого выражения предполагается заранее известным. В общем случае понятия и предложения естественнонаучных теорий интерпретируются посредством образов сознания, идеальных объектов, совокупность которых должна быть адекватна интерпретируемой теории относительно описываемых свойств объектов. И. теоретических построений развитых областей научного знания носит, как правило, опосредованный характер и включает в себя многоступенчатые, иерархические системы промежуточных И. Связь начального и конечного звеньев таких иерархий обеспечивается тем, что И. интерпретаций к.-л. теории дает и непосредственную ее И. В математике интерпретируемость различных систем аксиом с помощью других аксиоматических теорий служит традиционным средством установления их относительной непротиворечивости (начиная с доказательства непротиворечивости неевклидовой геометрии Лобачевского посредством ее И. в терминах обычной геометрии Евклида).
В повседневном языке И. называют истолкование, раскрытие смысла того или иного положения, текста, художественного про-
[132]
изведения. Однако в процессе И. текста или музыкального произведения интерпретатор - литературовед, режиссер, исполнитель всегда вносит в интерпретируемый материал некоторый личностный смысл, истолковывает его по-своему. Это служит основой множественности И. в искусстве и литературе.
ИНТЕРСУБЪЕКТИВНЫЙ (от лат. inter - между)
- межличностный, общий, общедоступный, в противоположность личному, индивидуальному, уникальному. В логико-методологической литературе понятие интерсубъективности получило широкое распространение в связи с программой эмпирического обоснования науки, выдвинутой представителями логического позитивизма в 20-х годах XX в.
Эмпирическое обоснование науки, по мнению логических позитивистов, должно состоять в логическом сведении всех научных понятий и утверждений к таким понятиям и предложениям, которые непосредственно выражают чувственные переживания субъекта, напр. «красный», «теплый», «Я чувствую боль» и т. п. Непосредственная связь с чувственным опытом обеспечивает осмысленность понятий и несомненную достоверность предложений. Однако если содержание понятий и предложений определяется только чувственным опытом субъекта, то каждый человек образует свой собственный эмпирический язык, выражающий его
собственные чувства и переживания. Эмпирические предложения, выражающие чувственный опыт одного человека, будут непонятны другому человеку, чувственный опыт которого отличается от опыта первого. Эмпирические языки, значения понятий и предложений при таком подходе оказываются субъективными. Поэтому встает вопрос отыскания или построения И. языка, слова и предложения которого были бы понятны всем людям и который вместе с тем был бы связан с чувственным восприятием и мог служить эмпирическим базисом науки. Таким языком был признан фрагмент повседневного языка, относящийся к чувственно воспринимаемым объектам и их свойствам.
ИНТУИТИВНАЯ ЛОГИКА
- интуитивные представления о правильности рассуждений, сложившиеся стихийно в процессе повседневной практики мышления. И. л., как правило, успешно справляется с встающими перед нею задачами, но совершенно недостаточна для анализа и критики неправильных рассуждений. Правильно ли рассуждает человек, когда говорит: «Если бы барий был металлом, он проводил бы электрический ток; барий проводит электрический ток, следовательно, он металл»? Чаще всего на основе логической интуиции отвечают: правильно, барий ме-
[133]
талл и он проводит ток. Этот ответ, однако, неверен. Логическая правильность, как гласит теория, зависит только от способа связи утверждений. Она не зависит от того, истинны используемые в выводе утверждения или нет. Хотя все три утверждения, входящие в рассуждение, верны, между ними нет логической связи. Рассуждение построено по неправильной схеме: «Если есть первое, то есть второе; второе есть; значит, есть и первое». Такая схема от истинных исходных положений может вести не только к истинному, но и к ложному заключению, она не гарантирует получения новых истин из имеющихся. В рассуждении «Если у человека повышенная температура, он болен; человек болен; следовательно, у него повышенная температура» обе посылки могут быть истинными, а заключение ложным: многие болезни протекают без повышения температуры. Другой пример: «Если бы шел дождь, земля была бы мокрой; но дождя нет; значит, земля не мокрая». Это рассуждение интуитивно обычно оценивается как правильное, но достаточно небольшого рассуждения, чтобы убедиться, что это не так. Верно, что в дождь земля всегда мокрая; но если дождя нет, из этого вовсе не следует, что она сухая: земля может быть просто полита или быть мокрой после таяния снега. Рассуждение опять-таки идет по неправильной схеме: «Если первое, то второе; но первого нет; значит, нет и второго». Эта схема может привести от истинных посылок к ошибочному заключению: «Если у человека повышенная температура, он болен; у него нет повышенной температуры; значит, он не болен». Эти простые примеры показывают, что логика, усвоенная стихийно, даже в обычных ситуациях может оказаться ненадежной.
Навык правильного мышления не предполагает к.-л. теоретических знаний, умения объяснить, почему что-то делается именно так, а не иначе. К тому же сама И. л., как правило, беззащитна перед лицом критики.
Усвоение языка есть одновременно и усвоение общечеловеческой, не зависящей от конкретных языков логики. Без нее, как и без грамматики, нет, в сущности, владения языком. В дальнейшем стихийно сложившееся знание грамматики систематизируется и шлифуется в процессе школьного обучения. На логику же специального внимания обычно не обращается, ее совершенствование остается стихийным процессом. Нет поэтому ничего странного в том, что, научившись на практике последовательно и доказательно рассуждать, человек затрудняется ответить, какими принципами он при этом руководствуется. Почувствовав сбой в рассуждении, он оказывается, как правило, не способным объяс-
[134]
нить, какая логическая ошибка допущена. Это под силу только теории логики.
ИНТУИЦИОНИЗМ
- направление в обосновании математики и логики, согласно которому конечным критерием приемлемости методов и результатов этих наук является наглядно-содержательная интуиция. Вся математика должна опираться, согласно И., на интуитивное представление ряда натуральных чисел и на принцип математической индукции, истолковываемый как требование действовать последовательно, шаг за шагом; допускаются лишь конструктивные доказательства существования рассматриваемого объекта, указывающие способ его построения.
Создателем И. является голландский математик Л. Э. Я. Брауэр (1881 — 1966). В начале XX в. он выдвинул программу радикальной перестройки математики, противопоставив ее концепции сведения математики к логике (см.: Логицизм) и истолкованию математики исключительно как языка математических символов (см.: Формализм).
Представители И. полагают, что чистая математика является мыслительной активностью, не зависящей от языка, ее объект -нелингвистические математические конструкции. Язык служит лишь для сообщения математических идей, математика не сводится к языку и тем более не может быть истолкована как особый язык. Предметом исследования (математической) логики является математический язык, более или менее адекватно передающий математические построения. Логика вторична по отношению к математике, последняя не может быть обоснована с помощью логических средств.
Основной тезис интуиционистов гласит, что существование в математике — это то же самое, что конструктивность, или «построяемость». Из существования математического объекта вытекает его непротиворечивость, но не наоборот: не каждый непротиворечивый объект существует. Построение является единственным средством обоснования в математике.
Интуиционисты подвергли резкой критике закон исключенного третьего, закон (снятия) двойного отрицания и ряд других законов логики классической. Согласно Брауэру, логические законы не являются абсолютными истинами, не зависящими от того, к чему они прилагаются. Закон исключенного третьего, верный в случае конечной математики, неприменим в рассуждениях о бесконечных множествах. Объекты бесконечного множества невозможно перебрать. Если в процессе перебора не удалось найти элемент с требуемым свойством, ни утверждение о существовании такого объекта,
[135]
ни отрицание этого утверждения не является истинным. Критика И. классической логики привела к созданию нового направления в логике — интуиционистской логики.
Одновременно с Брауэром сомнения в универсальной приложимости закона исключенного третьего высказал рус. философ и логик Н. А. Васильев (1880-1940). Он ставил своей задачей построение такой системы логики, в которой была бы ограничена не только сфера действия этого закона, но и непротиворечия закона. Казавшиеся парадоксальными, идеи Васильева не были в свое время оценены по достоинству.
ИНТУИЦИОНИСТСКАЯ ЛОГИКА
- одна из наиболее важных ветвей логики неклассической, имеющая своей философской предпосылкой программу интуиционизма. Выдвигая на первый план математическую интуицию, интуиционисты не придавали большого значения систематизации логических правил. Только в 1930 г. голландский математик и логик А. Гейтинг — ученик создателя интуиционизма Л. Брауэра - дал аксиоматическую формулировку И. л., подчеркнув, что «интуиционизм развивается независимо от формализации, которая может идти только по следам математической конструкции». В И. л. не действует закон исключенного третьего, а также ряд других законов логики классической, позволяющих доказывать существование объектов, которые невозможно реализовать или вычислить. В числе таких законов — закон (снятия) двойного отрицания и закон приведения к абсурду.
Отбрасывание закона исключенного третьего не означает принятия отрицания этого закона; напротив, И. л. утверждает, что отрицание отрицания этого закона (его двойное отрицание) является верным. Отбрасывание не должно пониматься также как введение какого-то третьего истинностного значения, промежуточного между истиной и ложью.
В классической логике центральную роль играет понятие истины. На его основе определяются логические связки, позволяющие строить сложные высказывания. В И. л. смысл связок задается путем указания тех необходимых и достаточных условий, при которых может утверждаться сложное высказывание.
Если р и q — некоторые высказывания, то их конъюнкцию (р и q) можно утверждать, только если можно утверждать как р, так и q. Дизъюнкцию (р или q) можно утверждать тогда и только тогда, когда можно утверждать хотя бы одно из высказываний р и q. Математическое высказывание р можно утверждать только после проведения некоторого математического построения с определенными свойствами; соответственно отрицание р можно утверждать, если
[136]
и только если имеется построение, приводящее к противоречию предположение о том, что построение р выполнено. Понятие противоречия здесь принимается в качестве неопределяемого, практически противоречие всегда можно привести к форме 1 = 2. Импликацию (если р, то q) можно утверждать, только если имеется такое построение, которое, будучи объединено с построением р, автоматически дает построение q.
Интуиционистское понимание логических связок таково, что из доказательства истинности высказывания всегда можно извлечь способ построения объектов, существование которых утверждается.
И. л. является единственной из неклассических логик, в рамках которой производилась достаточно последовательная и глубокая разработка многих разделов математики. Эта логика позволяет тонко и точно исследовать трудный и важный вопрос о характере существования объектов, исследуемых в математике.
Идеи, касающиеся ограниченной приложимости законов исключенного третьего, снятия двойного отрицания, редукции к абсурду и связанных с ними способов математического доказательства, разрабатывались рус. математиками А. Н. Колмогоровым (1903-1985), В. И. Гливенко (1897-1910), А. А. Марковым (1903-1979), Н. А. Шаниным (р. 1919) и др. В результате критического переосмысления основных принципов И.л. возникла конструктивная логика, также считающая неправильным перенос ряда логических принципов, применимых в рассуждениях о конечных множествах, на область бесконечных множеств.
ИНТУИЦИЯ (от лат. intuitio — пристальное, внимательное всматривание, созерцание)
— способность к прямому усмотрению истины, постижению ее без всякого рассуждения и доказательства. Для И. обычно считаются типичными неожиданность, невероятность, непосредственная очевидность и неосознанность пути, ведущего к ее результату. С «непосредственным схватыванием», внезапным озарением и прозрением много неясного и спорного. Иногда даже говорится, что И. - это куча хлама, в которую сваливаются все интеллектуальные механизмы, о которых не известно, как их проанализировать. И., несомненно, существует и играет заметную роль в познании. Далеко не всегда процесс научного и тем более художественного творчества и постижения мира осуществляется в развернутом, расчлененном на этапы виде. Нередко человек охватывает мыслью сложную ситуацию, не отдавая отчета во всех ее деталях, да и просто не обращая внимания на них. Особенно наглядно это проявляется в военных сражениях, при постановке диагноза, при установлении виновности и невиновности и т. п.
137
Из многообразных трактовок И. можно эскизно наметить следующие:
>> И. Платона как созерцание стоящих за вещами идей, приходящее внезапно, но предполагающее длительную подготовку ума;
>> интеллектуальная И. Декарта как понятие ясного и внимательного ума, настолько простое и отчетливое, что не оставляет никакого сомнения в том, что мы мыслим;
>> И. Спинозы, являющаяся «третьим родом» познания (наряду с чувствами и разумом) и схватывающая сущность вещей;
>> чувственная И. Канта и его более фундаментальная чистая И. пространства и времени, лежащая в основе математики;
>> художественная И. Шопенгауэра, улавливающая сущность мира как мировую волю;
>> И. философии жизни (Ницше), несовместимая с разумом, логикой и жизненной практикой, но постигающая мир как форму проявления жизни;
>> И. Бергсона как непосредственное слияние субъекта с объектом и преодоление противоположности между ними;
>> моральная И. Мура как непосредственное видение добра, не являющегося «естественным» свойством вещей и не допускающего рассудочного определения;
>> чистая И. времени Брауэра, лежащая в основе деятельности мысленного конструирования математических объектов;
>> И. Фрейда как скрытый, бессознательный первоисточник творчества;
>> И. Полани как спонтанный процесс интеграции, непосредственного внезапного усмотрения целостности и взаимосвязи в ранее разрозненном множестве объектов.
Этот перечень может быть продолжен. В сущности, едва ли не у каждого крупного философа и психолога имеется свое собственное понимание И. В большинстве случаев эти понимания не исключают друг друга.
И. как «прямое видение истины» не является чем-то сверхразумным. Она не идет в обход чувств и мышления и не составляет особого рода познания. Ее своеобразие состоит в том, что отдельные звенья процесса мышления проносятся более или менее бессознательно и запечатлевается только итог мысли — внезапно открывшаяся истина.
Существует давняя традиция противопоставлять И. логике. Нередко И. ставится выше логики даже в математике, где роль строгих доказательств особенно велика. Чтобы усовершенствовать метод в математике, полагал Шопенгауэр, необходимо прежде всего
[138]
отказаться от предрассудка — веры в то, будто доказанная истина выше интуитивного знания. Паскаль проводил различие между «духом геометрии» и «духом проницательности». Первый выражает силу и прямоту ума, проявляющиеся в железной логике рассуждений, второй — широту ума, способность видеть глубже и прозревать истину как бы в озарении. Для Паскаля даже в науке «дух проницательности» независим от логики и стоит неизмеримо выше ее. Еще раньше некоторые математики утверждали, что интуитивное убеждение превосходит логику, подобно тому как ослепительный блеск Солнца затмевает бледное сияние Луны.
Неумеренное возвеличение И. в ущерб строгому доказательству неоправданно. Логика и И. не исключают и не подменяют друг друга. В реальном процессе познания они, как правило, тесно переплетаются, поддерживая и дополняя друг друга. Доказательство санкционирует и узаконивает достижения И., оно сводит к минимуму риск противоречия и субъективности, которыми всегда чревато интуитивное озарение. Логика, по выражению математика Г.Вейля, - это своего рода гигиена, позволяющая сохранить идеи здоровыми и сильными. И. отбрасывает всякую осторожность, логика учит сдержанности. Только проведенное шаг за шагом логическое доказательство делает завоевания И. объективно установленным результатом.
Уточняя и закрепляя результаты И., логика сама обращается к ней в поисках поддержки и помощи. Логические принципы не являются чем-то заданным раз и навсегда. Они формируются в многовековой практике познания и преобразования мира и представляют собой очищение и систематизацию стихийно складывающихся «мыслительных привычек». Вырастая из аморфной и изменчивой пралогической И., из непосредственного, хотя и неясного «видения логического», эти принципы всегда остаются связанными с изначальным интуитивным «чувством логического». Не случайно строгое доказательство ничего не значит даже для математика, если результат остается непонятным ему интуитивно.
Логика и И. не должны противопоставляться друг другу, каждая из них необходима на своем месте. Внезапное интуитивное озарение способно открыть истины, вряд ли доступные последовательному и строгому логическому рассуждению. Однако ссылка на И. не может служить твердым и тем более последним основанием для принятия каких-то утверждений. И. приводит к интересным новым идеям, но она нередко порождает также ошибки, вводит в заблуждение. Интуитивные догадки субъективны и неустойчивы, они нуждаются в логическом обосновании. Чтобы убедить в инту-
[139]
итивно схваченной истине как других, так и самого себя, требуется развернутое рассуждение, доказательство (см.: Аргументация контекстуальная).
ИРРАЦИОНАЛЬНОЕ (от лат. irrationalis - неразумный, бессознательный)
- находящееся на пределами разума, противоречащее логике. Обычно противопоставляется рациональному как разумному, целесообразному, обоснованному.
Понимание И. зависит от определения понятия рационального. Если рациональное определяется как соответствующее законам разума, т. е. законам логики, то И. можно назвать то, что нарушает законы логики. Напр., если признается истинной конъюнкция двух предложений «A&B» и признается истинным предложение «A», то это рационально. Если же, наряду с признанием истинности конъюнкции «А&В», признается ложность предложения «A», то данное рассуждение И.: в нем нарушено правило логики, согласно которому из истинности конъюнкции следует истинность каждого ее элемента. Можно дать рациональному более широкое определение - как соответствие не только законам логики, но и некоторым методологическим нормам, правилам, стандартам деятельности и т. п. Соответственно И. будет рассуждение или поведение, нарушающее эти нормы и правила.
Иногда рациональное определяют как целесообразное, т. е. как то, что приводит к намеченной цели. В этом случае И. будет все то, что не приближает нас к цели или даже делает цель еще более недостижимой. При таком понимании квалификация каких-то действий как рациональных или И. в значительной мере зависит от условий деятельности. Напр., в комнате душно, и вы хотите ее проветрить. Для этого вы открываете окно. Если на улице прохладно, то вы достигаете своей цели: свежий воздух ворвется в комнату и дышать станет легче. Но если на улице жарко, то, открыв окно, вы ухудшите положение. В одной ситуации было рационально открыть окно, в другой - И. (см.: Рациональность).
ИСКЛЮЧЕННОГО ТРЕТЬЕГО ЗАКОН, см.: Закон исключенного третьего.
ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ
- метафорическое обозначение области исследований, цель которых - создание технических систем, способных решать задачи невычислительного характера и выполнять действия, требующие переработки содержательной информации и считающиеся прерогативой человеческого мозга. К числу таких задач относятся, напр., задачи на доказательство теорем, игровые задачи (скажем, при игре в шахматы), задачи по переводу с одного языка на другой, по сочинению музыки, распозна-
[140]
ванию зрительных образов, решению сложных творческих проблем науки и общественной практики. Одной из важных задач И. и. является создание интеллектуальных роботов, способных автономно совершать операции по достижению целей, поставленных человеком, и вносить коррективы в свои действия.
ИСТИНА
— мысль или высказывание, соответствующие своему предмету. Мысль соответствует своему предмету, если представляет его таким, каков он есть на самом деле, в реальности. Напр., мысль о том, что Иртыш есть приток Оби, соответствует своему предмету, ибо действительно Иртыш вливается в Обь; а мысль о том, что бананы растут на березе, искажает реальное положение дел, поэтому является ложью.
Вопрос об И. принадлежит сфере философии. Для логики важно иметь в виду следующее.
Реальность, относительно которой наши мысли оцениваются как истинные или ложные, не обязательно должна быть только физической реальностью, это может быть реальность художественного вымысла или идеализированных объектов. Скажем, утверждение «Отелло любил Дездемону» истинно, а утверждение «Гамлет был женат» ложно в мирах, создаваемых текстом шекспировских пьес. Здесь следует обратить внимание на то, что понятие И. говорит о соответствии мысли своему объекту, но никак не касается природы этих объектов.
И. объективна в том смысле, что истинность или ложность некоторой мысли не зависит от воли и желания людей. Даже если все человечество принимает некоторую мысль, считает ее истинной, мысль может оказаться ложной, и наоборот. То, что некоторая мысль соответствует или не соответствует своему предмету, определяется предметом, а не субъектом познания. Я могу горячо верить в то, что на Луне живут разумные существа, при определенных условиях могу увлечь своей верой миллионы других людей, но, если в действительности на Луне нет разумных существ, эта мысль будет ложной.
Логика не занимается установлением истинности и ложности наших мыслей. Это дело конкретных наук. Однако понятие И. играет в логике чрезвычайно важную роль: именно с его помощью определяются фундаментальные для логики понятия логического вывода и логического следования.
ИСТИННОСТНОЕ ЗНАЧЕНИЕ
- одна из возможных характеристик высказывания с точки зрения соответствия его описываемому фрагменту действительности. Если допускается, что каждое высказывание является либо истинным, либо ложным (т. е. что оно
[141]
либо соответствует действительности, либо не соответствует ей), говорят, что высказывание имеет одно из двух значений истинности. Данное допущение, именуемое двузначности (бивалентности) принципом, лежит в основе логики классической. В многозначной логике допускается, что высказывание может принимать одно из и (n>2) значений истинности. Так, в трехзначной логике, опирающейся, соответственно, на принцип трехзначности, высказывание принимает одно из трех И. з.: истинно, ложно и неопределенно; в разных системах этой логики И. з. «неопределенно» понимается по-разному.
ИСЧИСЛЕНИЕ
— основанный на четких правилах формальный аппарат оперирования со знаниями определенного вида, позволяющий дать точное описание некоторого класса задач, а для отдельных подклассов этого класса - и алгоритм решения.
В математической логике понятие об И. подверглось уточнению и более строгой формализации. Логическое И. строится на базе некоторого формализеванного языка. Задается набор исходных символов, из которых с помощью четко определенных правил строятся формулы рассматриваемого И. Некоторые из этих формул выбираются в качестве аксиом, из которых с помощью правил преобразования получают новые формулы, называемые теоремами. После того как к И. добавляется интерпретация, придающая значение ее исходным символам и формулам, И. превращается в язык, описывающий некоторую предметную область (см.: Исчисление высказываний, Исчисление классов, Исчисление предикатов и т. п.).
[143]
К
КАВЫЧКИ
— в грамматике естественного языка парный знак препинания (обычно ,, " или « »), используемый для выделения прямой речи или отдельных выражений, которые употребляются не в привычном смысле.
В логике К. используются для того, чтобы отличить автономное употребление выражений от обычного. Напр., в предложениях «Москва расположена на Москве-реке» и «Москва состоит из шести букв» слово «Москва» в первом предложении употребляется обычно, а во втором — автонимно, т. е. в качестве имени самого себя. Чтобы избежать смешения обычного и автонимного употребления выражений, используются К., т. наз. «кавычковые имена». Второе предложение следует записать так: «"Москва" состоит из шести букв». В естественном языке несложно различить обычное употребление выражений и их автонимное употребление. Однако в логике, когда приходится говорить о выражениях некоторого языка, возможна путаница, приводящая к ошибкам.
КАТЕГОРИЧЕСКОЕ СУЖДЕНИЕ
(в традиционной логике) -суждение, в котором предикат утверждается или отрицается относительно субъекта без формулирования к.-л. условий и при этом исключаются к.-л. альтернативные предикаты. К.с. имеют вид: «S есть (не есть) Р» и относятся к классу простых суждений. К. с. обычно противопоставляются условным и разделительным суждениям.
КАТЕГОРИЯ (от греч. kategoria - высказывание, обвинение, признак)
— предельно общее фундаментальное понятие, отражающее наиболее существенные, закономерные связи и отношения реальной действительности и познания. Будучи формами и устойчивыми организующими принципами процесса мышления, К. воспро-
изводят свойства и отношения бытия и познания во всеобщем и наиболее концентрированном виде.
Характеристику некоторых особенностей К. можно дать, опираясь на операцию обобщения понятий. Почти для каждого видового понятия можно найти более широкое по объему родовое понятие, напр. «береза» — «дерево», «человек» - «млекопитающее», «медь» - «металл». Эти родовые понятия могут включаться в еще более широкие по объему понятия: «дерево» - «растение», «млекопитающее» — «животное», «металл» - «вещество» и т. п. К К. относятся предельно широкие по своему объему понятия, т. е. те, для которых нельзя найти более широкие родовые понятия. Как правило, К. являются философские понятия — «бытие», «субъект», «сущность», «качество», «количество», «материя», «сознание» и т. п.
В каждой конкретной науке имеется своя система К. В логике к числу наиболее общих и фундаментальных понятий относятся понятия логического вывода, суждения, умозаключения, индукции, дедукции и др. К. изменяются вместе с развитием нашего познания: обогащается их содержание, изменяются взаимосвязи между К., меняется их состав и т. п.
КАУЗАЛЬНАЯ МОДАЛЬНОСТЬ, см.: Онтологическая модальность.
КЛАСС, МНОЖЕСТВО (В ЛОГИКЕ И МАТЕМАТИКЕ)
- конечная или бесконечная совокупность объектов, выделенная по общему для них признаку (свойству или отношению), мыслимая как нечто целое. Объекты, составляющие К., называются его элементами. Примером К. (м.) могут быть следующие: «реки России», «четные числа». Первый К. является конечным, второй - бесконечным. Элементами первого К. являются отдельные реки — Волга, Ока, Енисей и др. Элементами второго К. являются числа - 0, 2, 4, 6, 8 и т. д. до бесконечности. Элементами К. могут быть, в свою очередь, К. Так, элементами К. «типы животных» являются К. простейших животных, губок, кишечнополостных и т. д. К. бывают единичными, общими и нулевыми (пустыми). Единичные К. состоят из одного элемента (напр., «самая большая река в Европе»); общие К. состоят из двух и более элементов (напр., «химический элемент», «машина»); нулевые К. не включают в свой состав ни одного элемента (напр., «круглый квадрат», «число меньше двух и больше трех»).
Объект определенной области принадлежит данному К., является его элементом, если он обладает признаками, по которым образован К. В противном случае он исключается из К. Так, если нам дана область натуральных чисел и мы хотим выделить те из них, которые являются элементами К. простых чисел, то в К.. простых чисел войдет, напр., число 7, т. к. оно обладает свойством
[144]
простых чисел («7 — простое число» — истина), а число 8 не войдет (т. к. «8 — простое число» — ложь). Образуя К. к.-л. объектов, мы начинаем их рассматривать лишь под углом зрения некоторых свойств, от иных же свойств абстрагируемся. Так, образуя К. квадратов, мы учитываем такие свойства плоских многоугольников, как «быть четырехугольником», «иметь равные углы», «иметь равные стороны». Площадь, длина сторон и т. п. не учитываются. Это означает, что отдельные квадраты, составляющие К.квадратов, отождествляются нами, становятся неразличимыми в некоторых свойствах (см.: Абстракция).
Общее понятие о К. возникает как результат абстракции не только от природы его элементов, но и от их порядка.
КЛАССИФИКАЦИЯ
— многоступенчатое, разветвленное деление логического объема понятия. Результатом К. является система соподчиненных понятий: делимое понятие является родом, новые понятия — видами, видами видов (подвидами) и т. д. Наиболее сложные и совершенные К. дает наука, систематизирующая в них результаты предшествующего развития к.-л. отраслей знания и намечающая одновременно перспективу дальнейших исследований. Блестящим примером научной К. является периодическая система элементов Д. И. Менделеева, фиксирующая закономерные связи между химическими элементами и определяющая место каждого из них в единой таблице. Эта система позволила сделать подтвердившиеся вскоре прогнозы относительно неизвестных еще элементов. Большую роль в развитии биологии сыграла К. животных и растений К. Линнея. Хорошо известна К. элементарных частиц, даваемая современной физикой.
К. подразделяется на е с т е с т в е н н у ю и искусственную. В качестве основания первой берутся существенные признаки, из которых вытекают многие производные свойства упорядочиваемых объектов. Искусственная К. использует для упорядочивания объектов несущественные их признаки, вплоть до ссылки на начальные буквы имен этих объектов (алфавитные указатели, именные каталоги в библиотеках и т. п.).
Было время, когда естественная К. объявлялась высшей целью изучения природы и венцом научного ее познания. В XX в. представление о роли К. в процессе познания заметно изменилось. Противопоставление естественной и искусственной К. во многом утратило свою остроту. Далеко не всегда удается существенное четко отделить от несущественного, особенно в обществе и живой природе; кроме того, существенное в одном отношении может оказаться гораздо менее важным в другом отношении. Поэтому роль К., в
[145]
том числе естественной, не должна переоцениваться, тем более не должно преувеличиваться ее значение в области сложных и динамичных социальных объектов и явлений. Как стало очевидным еще в прошлом веке, абсолютно резкие разграничительные линии несовместимы с теорией развития.
КЛАССИЧЕСКАЯ ЛОГИКА, см.: Логика классическая.
КОНВЕНЦИЯ (от лат. conventio - соглашение)
- договор, соглашение, условие. Разнообразные К. играют значительную роль в науке и в повседневной жизни. Спор, дискуссия, коллективное обсуждение к.-л. проблем всегда опираются на соглашение относительно значений используемых слов, терминов, выражений. При построении аксиоматических систем символической логики аксиомы часто принимаются конвенционально в зависимости от удобства, простоты или конкретных целей построения. Для описания пространственных свойств объективного мира ученые часто по соглашению используют ту или иную систему геометрии.
КОННОТАЦИЯ (от лат. connotatio — добавочное значение)
— дополнительные черты, оттенки, сопутствующие основному содержанию понятия, суждения. В обыденной речи и в художественном творчестве к основному семантическому значению понятий и суждений часто добавляются дополнительные оттенки, служащие для выражений эмоционального или оценочного отношения говорящего к предмету речи. Напр., слова «военные» и «военщина» совпадают по своему семантическому значению, однако во втором слове присутствует негативный оттенок, которого нет в первом слове.
КОНСТРУКТИВНАЯ ЛОГИКА
- одно из направлений современной логики, изучающее рассуждения о конструктивных объектах и процессах. Конструктивные объекты представляют собой или отдельные, ясно отличаемые друг от друга знаки, или последовательности таких знаков, получаемые посредством некоторого конструктивного процесса, протекающего по четким дискретным правилам. Примером конструктивного объекта могут служить легко отождествляемые и различаемые буквы к.-л. алфавита; конструктивный процесс — построение из них слов по однозначно определенным правилам. В конструктивном процессе используется абстракция потенциальной осуществимости, позволяющая отвлекаться от реальных конструктивных возможностей человека, связанных с ограниченностью его деятельности в пространстве и времени. Можно, напр., рассуждать о сколь угодно длинных, но конечных формулах, которые реально никогда не смогут быть записаны. Вместе с тем в таком процессе не используется абстракция актуальной бесконечности, когда невозможность
[146]
полного обозрения к.-л. бесконечного образования не учитывается. Бесконечное множество, напр. множество всех натуральных чисел, нельзя рассматривать как единый, завершенный объект. Существование конструктивного объекта считается доказанным лишь в том случае, если указан способ потенциально осуществимого его построения (конструирования).
Ограничение рассуждений конструктивными объектами и процессами ведет к отказу от закона исключенного третьего в применении к бесконечным множествам. Отвергаются также закон снятия двойного отрицания (см.: Закон двойного отрицания), закон Клавия, некоторые варианты косвенного доказательства и др.
Термином «К. л.» иногда обозначается интуиционистская логика. Чаще под К. л. понимается логическая теория, совпадающая по классу доказуемых формул с интуиционистской логикой, но не обращающаяся к представлению об «изначальной интуиции» и использующая при задании смысла логических операций понятие алгоритма и некоторые особые положения о конструктивных процессах (А. А. Марков, Н. А. Шанин и др.).
КОНТЕКСТ (от лат. contextus — сцепление, соединение, связь)
— относительно законченный по смыслу отрывок текста или устной речи, в пределах которого наиболее точно и конкретно выявляется смысл и значение отдельного входящего в него слова, фразы, совокупности фраз. В логике и методологии научного познания К. понимается как отдельное рассуждение, фрагмент научной теории или теория в целом. В дополнение к основному семантическому значению, которым обладает слово или предложение, взятые сами по себе, К. придает им добавочное значение, более того, он может существенно изменить это основное значение слов и предложений. Поэтому в разных К. слова и предложения могут приобретать различные значения. Иногда К. целиком придает значение некоторому термину. В таких случаях говорят о контекстуальном определении термина (см.: Определение контекстуальное). Вопрос о контекстуальном значении научных терминов привлекает широкое внимание в методологии научного познания в связи с анализом развития научного знания, переходом терминов из старой теории в новую и изменением их значений при таких переходах.
КОНТЕКСТУАЛЬНОЕ ОПРЕДЕЛЕНИЕ, см.: Определение контекстуальное.
КОНТРАДИКТОРНАЯ ПРОТИВОПОЛОЖНОСТЬ (от лат. contradictorius — противоречащий)
— отношение между противоречащими друг другу суждениями. В традиционной логике противоречащими друг другу считаются общеутвердительные
[147]
и частноотрицательные суждения, имеющие один и тот же субъект и предикат («Все цветы красивы» и «Некоторые цветы некрасивы»), а также общеотрицательные и частноутвердительные суждения («Ни один цветок не красив» и «Некоторые цветы красивы»).
К. п. характеризуется следующими особенностями: 1) суждения не могут быть одновременно истинными; 2) они не могут быть одновременно ложными; 3) из двух противоречащих друг другу суждений одно непременно истинно, а другое ложно, третьего не дано. Последнее свойство контрадикторных суждений широко используется в процессах рассуждения и доказательства. Если нам удалось показать ложность некоторого суждения, то мы можем с уверенностью утверждать, что противоречащее ему суждение истинно, и наоборот.
КОНТРАПОЗИЦИИ ЗАКОН
- общее название для ряда логических законов, позволяющих с помощью отрицания менять местами основание и следствие (антецедент и консеквент) условного высказывания.
Один из этих законов, называемый иногда законом простой контрапозиции, звучит так: если первое влечет второе, то отрицание второго влечет отрицание первого. Напр.: «Если верно, что число, делящееся на шесть, делится на три, то верно, что число, не делящееся на три, не делится также на шесть».
С использованием символики логической (р, q — некоторые высказывания; -> — импликация, «если, то»; ~ — отрицание «неверно, что») данный закон представляется формулой:
(p->q)->(~q->~р),
если дело обстоит так, что если р, то q, то если не-q, то не-р. Другой К. з.:
(~p->~q)->(q->p).
если верно, что если не-р, то не-q, то если q, то р. Напр.: «Если верно, что рукопись, не оцененная рецензентом положительно, не публикуется, то верно, что публикуемая рукопись оценивается рецензентом положительно».
Еще два К. з.:
(p->~q)->(q->~p),
если дело обстоит так, что если р, то не-q, то если q, то не-р. Напр.: «Если квадрат не является треугольником, то треугольник не квадрат»;
(~p->q)->(~q->p), если верно, что если не-р, то q, то если не-q, то р. Напр.: «Если не
[148]
являющееся очевидным сомнительно, то не являющееся сомнительным очевидно».
Закон сложной контрапозиции представляется формулой (& —
конъюнкция, «и»):
(p&q->r)->(p&~r->~q),
если дело обстоит так, что если р и q, то r, то если р и не-r, то не-q. Напр.: «Если верно, что монотонная и ограниченная последовательность сходится, то монотонная и не сходящаяся последовательность неограниченна».
КОНТРАРНАЯ ПРОТИВОПОЛОЖНОСТЬ (от лат. contrarius - противоположный)
— отношение между противными, или противоположными, суждениями (см.: Логический квадрат).
КОНЦЕПТ (от лат. conceptus— понятие)
— содержание понятия, то же, что и смысл. В семантической концепции Р. Карнапа между языковыми выражениями и соответствующими им денотатами, т. е. реальными предметами, имеются еще некоторые абстрактные объекты - К.
КОНЪЮНКЦИЯ (от лат. conjunctio - союз, связь)
- логическая операция, с помощью которой два или более высказываний объединяются в новое сложное высказывание. Это новое высказывание называется конъюнктивным высказыванием или просто К.
Символически конъюнктивная связка обозначается знаками « • », «&», «U». Если А, В, С... представляют простые высказывания, то конъюнктивное высказывание выглядит следующим образом: А&В или А&В&С и т. п. В обыденной речи К. соответствует союз «и», поэтому К. читается так: А и В. Напр.: «Пассажиры заняли свои места, и поезд тронулся».
Значение истинности сложного конъюнктивного высказывания зависит от истинностных значений входящих в него простых высказываний и определяется на основе следующей таблицы истинности:
АВА&В
иии
илл
лил
ллл
Эта таблица говорит о том, что конъюнктивное высказывание истинно только в одном случае, когда все входящие в него простые высказывания истинны. Напр., высказывание «Киев стоит на Днепре, и Киев — столица Украины» истинно, а высказывание
[149]
«Киев стоит на Днепре, и Киев - столица Белоруссии» ложно. Следует иметь в виду, что К. учитывает только истинностные значения простых высказываний и не учитывает смысловые связи между ними. Поэтому К. может соединять высказывания, между которыми нет никакой содержательной связи. Напр., «Дважды два четыре, и снег бел» и т. п. Для К. справедлив закон коммутативности: А&В эквивалентно В&А, хотя в высказываниях с союзом «и» этот закон действует далеко не всегда. Напр., если в высказывании «Подул ветер, и деревья закачались» поменять местами члены К., высказывание станет бессмысленным с точки зрения здравого смысла.
КОСВЕННОЕ ДОКАЗАТЕЛЬСТВО
- доказательство, в котором истинность тезиса устанавливается путем показа ошибочности противоположного ему допущения.
При прямом доказательстве задача состоит в том, чтобы найти убедительные аргументы, из которых логически вытекает тезис. В К. д. рассуждение идет как бы окольным путем. Прямые аргументы для выведения из них доказываемого положения не отыскиваются. Вместо этого формулируется антитезис, отрицание этого положения, и тем или иным способом показывается его несостоятельность.
Поскольку К. д. использует отрицание доказываемого положения, оно называется также доказательством от противного. Напр., врач, убеждая пациента, что тот не болен малярией, может рассуждать так: «Если бы действительно была малярия, имелся бы ряд характерных для нее симптомов, в частности общая слабость и озноб. Однако таких симптомов нет. Значит, нет и малярии».
К. д. проходит, таким образом, следующие этапы: выдвигается антитезис и из него выводятся следствия с намерением найти среди них ложное; устанавливается, что в числе следствий действительно есть ложное; делается вывод, что антитезис неверен; из ложности антитезиса делается заключение, что тезис является истинным.
В зависимости от того, как устанавливается ложность антитезиса, можно выделить несколько вариантов К. д. Иногда ложность антитезиса удается установить простым сопоставлением вытекающих из него следствий с фактами, эмпирическими данными. Так, в приведенном примере рассуждение идет по схеме: если неверно первое, то второе; но второе неверно, значит, верно первое.
Нередко анализ самой логической структуры следствий антитезиса позволяет сделать вывод, что он ошибочен. Так, если в числе следствий встретились и утверждение, и отрицание одного и того же, можно сразу заключить, что антитезис неверен. Ложным будет он и в том случае, если из него выводится внутренне противоречивое высказывание о тождестве утверждения и отрицания.
[150]
Напр., для доказательства тезиса «Квадрат — это ромб с прямыми углами» выдвигается антитезис: «Неверно, что квадрат есть ромб с прямыми углами». Из последнего выводится как то, что у квадрата все углы прямые (т. к. быть квадратом значит иметь четыре прямых угла), так и то, что у квадрата углы не являются прямыми. Раз из антитезиса вытекает и утверждение, и отрицание одного и того же, значит, он неверен, а правильным является противоположное утверждение - тезис.
Рассуждение здесь идет в соответствии с законом косвенного доказательства: если из отрицания высказывания вытекает логическое противоречие, само высказывание истинно.
Существует разновидность К. д., когда прямо не приходится искать ложных следствий антитезиса. Согласно закону Клавия, если из отрицания высказывания вытекает это высказывание, оно является истинным. Напр., из отрицательного высказывания «Ни одно суждение не является отрицательным» вытекает: «Некоторые суждения являются отрицательными»; значит, истинно это утвердительное высказывание, а не исходное отрицательное.
К. д. — эффективное средство обоснования выдвигаемых положений. Однако его специфика в определенной мере ограничивает сферу применения. Эта специфика состоит в том, что из антитезиса, являющегося ложным, выводятся следствия до тех пор, пока не будет получено ложное утверждение или логическое противоречие. Имея дело с К. д., приходится все время сосредоточиваться не на верном положении, справедливость которого необходимо обосновать, а на ошибочных утверждениях. Более серьезные возражения против К.д. связаны с использованием в нем закона (снятия) двойного отрицания. Этот закон не признается универсальным, неограниченно приложимым интуиционистской логикой.
КРУГ В ДОКАЗАТЕЛЬСТВЕ (лат. — circulus in demonstrando)
— логическая ошибка в доказательстве, заключающаяся в том, что истинность доказываемого положения (тезиса) обосновывается с помощью аргумента, истинность которого обосновывается с помощью доказываемого тезиса. Данную ошибку называют также «порочным кругом». В качестве примера можно привести доказательство конечности и ограниченности Вселенной, приводившееся противниками учения Коперника. Защитники геоцентризма доказывали конечность Вселенной, опираясь на утверждение о том, что Вселенная в течение суток совершает полный оборот вокруг неподвижного центра, совпадающего с центром Земли. В свою очередь, истинность этого аргумента они доказывали, опираясь на утверждение о конечности Вселенной, т. к. при условии ее