Исключенного третьего закон, см.: Закон исключенного третьего. Искусственный интеллект

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

[140]

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

ИСТИНА

 — мысль или высказывание, соответствующие своему предмету. Мысль соответствует своему предмету, если представля­ет его таким, каков он есть на самом деле, в реальности. Напр., мысль о том, что Иртыш есть приток Оби, соответствует своему предмету, ибо действительно Иртыш вливается в Обь; а мысль о том, что бананы растут на березе, искажает реальное положение дел, поэтому является ложью.

Вопрос об И. принадлежит сфере философии. Для логики важ­но иметь в виду следующее.

Реальность, относительно которой наши мысли оцениваются как истинные или ложные, не обязательно должна быть только физической реальностью, это может быть реальность художествен­ного вымысла или идеализированных объектов. Скажем, утвер­ждение «Отелло любил Дездемону» истинно, а утверждение «Гам­лет был женат» ложно в мирах, создаваемых текстом шекспировских пьес. Здесь следует обратить внимание на то, что понятие И. говорит о соответствии мысли своему объекту, но никак не касается природы этих объектов.

И. объективнав том смысле, что истинность или ложность некоторой мысли не зависит от воли и желания людей. Даже если все человечество принимает некоторую мысль, считает ее истин­ной, мысль может оказаться ложной, и наоборот. То, что некоторая мысль соответствует или не соответствует своему предмету, опре­деляется предметом, а не субъектом познания. Я могу горячо ве­рить в то, что на Луне живут разумные существа, при определенных условиях могу увлечь своей верой миллионы других людей, но, если в действительности на Луне нет разумных существ, эта мысль будет ложной.

Логика не занимается установлением истинности и ложности наших мыслей. Это дело конкретных наук. Однако понятие И. игра­ет в логике чрезвычайно важную роль: именно с его помощью определяются фундаментальные для логики понятия логического вывода и логического следования.