ИСКЛЮЧЕННОГО ТРЕТЬЕГО ЗАКОН- один из трех главных законов традиционной логики, сформулированных Аристотелем. Его оригинальная формулировка «Оба утверждения А и не-А не могут быть одновременно ложны». Но уже у самого Аристотеля в «Метафизике» встречается (не как закон, а как способ рассуждения) другая формулировка, в настоящее время более употребительная: «Одно из утверждений А или не-Л должно быть истинным» (сильный исключенного третьего закон). Эта формулировка получила в схоластической логике название tertium non datur. Сам Аристотель указал и границу применимости tertium non datur, рассмотрев пример высказывания: «Завтра будет морское сражение», которое сегодня не истинно и не ложно. На языке математической логики сильный исключенного третьего закон выражается формулой A W^A, которая часто подменяет его в современных математизированных работах и называется математическим законом исключенного третьего. Но последний не эквивалентен ни сильному исключенного третьего закону, ни аристотелеву. В частности, в алгебраической интерпретации со значениями в булевой алгебре выполнены все законы классической логики, но как А, так и 1А могут быть неистинны. Сильный исключенного третьего закон математически означает полноту используемой теории, что практически недостижимо. Аристотелев закон (в первой формулировке) выполняется в интуиционистской логике, a tertium non datur носит в ней статус весьма нежелательного утверждения. Одним из способов показать конструктивную неприемлемость утверждения А является доказательство tertium, исходя из А. Впервые такой метод явно сформулировал В. Крейнович. Сильный закон исключенного третьего оказался тем критическими местом, вокруг которого развивались дискуссии в течение всего времени существования логики как науки. Стоики и эпикурейцы рассматривали лоипки, несовместимые с законом исключенного третьего (как правило, не замечая разницы между его сильной и Аристотелевой формулировкой). Интуиционизм начинался с утверждения о недостоверности сильного исключенного третьего закона, но он опровергает его достаточно тонко, сохраняя слабый закон исключенного третьего и придавая ему точную математическую формулировку: 11 (A V~\A) не вводя дополнительных логических значений. Эту формулировку можно назвать брауэровым исключенного третьего законом. Первое формальное доказательство этого брауэрова закона дал Гливенко (1928). Многозначные логики в значительной степени появились как результат простейшей формулировки отрицания сильного закона исключенного третьего (может быть не два значения, а несколько). В целом критику закона исключенного третьего (в его сильной форме) можно подытожить следующим образом. Он годится для рассмотрения терминов в фиксированной обстановке с фиксированной точки зрения. Он не подходит для меняющейся обстановки и субъективных понятий. Он не допустим даже для терминов, если нас интересует не просто доказательство, а построение. Тем не менее во всех перечисленных случаях порою его использование корректно и весьма эффективно, но требует дополнительных обоснований. Так, в элементарной классической геометрии сильный закон исключенного третьего не влечет разрушения конструктивности доказательств. Я. Я. Непейвода

ИСКУССТВЕННОЕ И ЕСТЕСТВЕННОЕ- онтологическая характеристика объектов внутренней и внешней реальности, различающая их по способу происхождения, существования и исчезновения. Впервые соотношение «искусственного и естественного» как философская проблема было осмыслено Платоном («Софист» 219 а-с; 268 d и др.). Позднее Аристотель в «Физике» (В1, 192 b 8—17) дает определение искусственного и естественного, ставшее классическим: «Из существующих [предметов] одни существуют по природе, а другие — в силу иных причин». Все образованное «по природе» имеет начало движения и покоя в самом себе (растения, животные и части их), а также простые тела: земля, вода, огонь, воздух. Наоборот, то, что образовано искусственно, не имеет врожденного стремления к изменению и поэтому ему природа не присуща первично, но «по совпадению», как только состоящему из природных тел. В античности доминирует представление, согласно которому естественное (природа, космос) есть онтологическая ценность, а искусственное — лишь как «производное» от него — «второстепенно». При этом природа и космос — божественны, одушевлены и сакральны. В средние века преобладает представление о «твар- ности» природы, которая лишается ореола божественности, выступая своеобразно понятым «изделием» бога. Начиная с 15 в. идея замены «недолговечной» естественной при-

158

ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ роды на «природу» искусственную становится одной из фундаментальных составляющих техногенной цивилизации. Господство односторонне понятого научного разума в конечном счете привело к противоречию между естественной сущностью человека и окружающей его природы, с одной стороны, и искусственными формами их освоения и воспроизводства — с другой. Противоречие привело к возникновению экологического кризиса. Потребность в нормализации отношений «цивилизация — природа» стимулировала появление экологической этики. Если раньше основой-«материалом» для создания искусственных продуктов выступала внешняя природа, то в настоящее время в качестве такого «материала» человек начал активно использовать самого себя: генная инженерия, фетальная терапия, трансплантология и т. п. Искусственные органы, искусственное оплодотворение, искусственное продление или прерывание естественной жизни и др. становятся нормой бытия современного человека. Следствием вторжения «конструирования» в человеческую природу стало появление биоэтики. С точки зрения семантики различают естественные (русский, английский и др.) и искусственные (символические, конструктивно построенные и др.) языки. Искусственными языками считаются формальные, формализованные, символические и идеальные языки. Особенность искусственных языков состоит в том, что значение их терминов распознается по форме, а не по содержанию. Анализом формы искусственных языков занимается математическая логика, которая вместе с теорией управления, структурной лингвистикой, теорией вычислений и др. дисциплинами рассматривается как основа для создания искусственного интеллекта. В научном познании выделяют также искусственные и естественные классификации. Как правило, познание начинается с создания искусственной классификации, которая есть упорядочение понятий на основе несущественных признаков (напр., ботаническая классификация К. Линнея). Следующим шагом в познании оказывается естественная классификация, в которой упорядочение понятий осуществляется на основе существенных признаков. Ее примером может служить периодическая система химических элементов Д. И. Менделеева. Естественная классификация способствует установлению законов. Выявление законов и закономерностей, которым подчиняются исследуемые явления и процессы, нуждается в создании искусственной модели их поведения. Чем существеннее параметры, включаемые в объяснительную (описательную) модель, тем она адекватнее познаваемой реальности. Таким образом, искусственное оказывается необходимым условием рационального человеческого познания. Различают также естественную и искусственную реальности. В широком смысле искусственной реальностью являются все продукты осознанной человеческой деятельности — науки, техники, философии, литературы, театра, живописи, музыки и т. д. К естественной реальности относится все то, что остается за вычетом искусственной реальности. С появлением компьютерных технологий стало интенсивно разрабатываться представление о новом типе искусственной реальности — виртуальной реальности. Эволюция человеческой цивилизации имеет тенденцию к поглощению естественного искусственным. Это проявляется в создании множества опосредствующих звеньев между естественными способностями и потребностями человека и искусственными формами их проявления и удовлетворения. Развитию искусственной реальности в значительной степени способствует увеличение численности населения Земли. Воспроизводство человека нуждается в усложнении системы внутрипопуляционных связей, что объективно потребует создания все более сложных форм искусственной реальности. Л. Н. Павленко