Формальная логика и творческий интеллект



Скачать 39.29 Kb.
Дата06.11.2012
Размер39.29 Kb.
ТипДокументы
Брусенцов Н.П.

Формальная логика и творческий интеллект
Известно, что формальная логика не в ладах со здравым смыслом, неадекватно отображает реальность. Она занимается не сущностью бытия, а лишь формами отображения сущности, абстрагируясь от их содержания, так что “формальная” значит “бессодержательная”, если не усматривать ее содержание в самих формах. По мнению Д.Гильберта и В.Аккермана, такая логика “делает возможным успешный охват проблем, перед которыми принципиально бессильно чисто содержательное логическое мышление.” [Основы теоретической логики. - М.: ИЛ, 1947. С.17].

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

На протяжении последнего столетия в результате алгебраизации логики ее парадоксы проявились с бесспорной очевидностью, но вместе с тем обусловленные ими заблуждения оказываются нераспознанными и обретают силу полноправных законов и правил. Так, математическая логика, выявив парадоксальность материальной импликации (формальной версии отношения следования) и отметив неотъемлемо связанную с ней бессодержательность, “доказательно” отвергает ряд безупречных модусов силлогистики и даже подчиненность общим посылкам частных. Из “Все x суть y” в этой логике не следует “Некоторые x суть y”!

Ясно, что логика нуждается в безотлагательном коренном усовершенствовании, оздоровлении. Однако многочисленные попытки решения этой насущной проблемы не достигли цели. Причиной безуспешности является, в частности, то, что существующую логику неоправданно считают аристотелевой и поэтому для усовершенствования ее стремятся изобрести нечто неаристотелево. Вместе с тем известно, что силлогистика Аристотеля не отображается в современных логических исчислениях, а также то, что в ней нет парадоксов. Поэтому целесообразней не изобретать неаристотелевы логики, а разобраться в том, что создано Аристотелем, но затем извращено античными стоиками, положившими в основание логики априорный закон исключенного третьего. Ведь в силу именно этого “закона” логика лишилась своего фундаментального отношения - содержательного необходимого следования, в результате чего и стала “мертвой схоластикой”.

Аристотель определил это отношение в “Первой аналитике” [57b1]:

“...когда два [объекта] относятся друг к другу так, что если есть один, необходимо есть и второй, тогда, если нет второго, не будет и первого; однако если второй есть, то не необходимо, чтобы был первый. Но невозможно, чтобы одно и то же было необходимо и когда другое есть, и когда его нет”.


В самом широком смысле “объекты” суть термины: “первый” - x, “второй” - y. Термины именуют качества, присущность либо антиприсущность которых суть особенности вещей. (Антиприсущность термина далее обозначается штрихом). Сущность вещи выражается совокупностью (конъюнкцией) ее особенностей. Например: xy обозначает вещь, которой присуще качество x и антиприсуще качество y.

В аристотелевом определении все x вещи необходимо суть y вещи, т.е. xy вещи, а все y вещи необходимо суть xy вещи. В этом и заключается отношение следования xy - “Из x необходимо следует y“, yx - “Из y необходимо следует x“. Оно обусловлено несовместимостью x с y: если x несовместимо с y, то x вещь не может быть xy вещью и необходимо будет y-вещью, т.е. xy-вещью, а y вещь также не может быть xy вещью и вынуждена быть x вещью, т.е. xy вещью.

Составляющая первопричину следования xy несовместимость x с y равнозначна несуществованию xy в условиях сосуществования противоположностей x, x и y, y. Если допустить несуществование x вещей либо y вещей, то несуществование xy не будет вынуждающей следование xy несовместимостью, а значит не будет и следования.

Диалектический принцип сосуществования противоположностей лежит в основании аристотелевой силлогистики и неукоснительно соблюдаем в ней, хотя самим Аристотелем об этом ничего не сказано. Однако принцип этот несовместим с законом исключенного третьего, которым исключено как раз сосуществование противоположностей - “может быть, а может не быть”. В таблице истинности, представляющей отношение следования, клетка xy не может содержать ни 1 -”необходимо есть”, ни 0 - “необходимо нет”, ибо получатся отношения, соответственно, материальной импликации xy и эквивалентности xy. В случае следования существование xy вещей не утверждается с необходимостью и не отрицается, поэтому клетке естественно быть незанятой (пустой), что и станет символом третьего значения истинности - “может быть есть, а может быть нет”.

Рекурсивные функции xxy, yxy, yxy, xxy, характеризующие в двухзначной логике отношение материальной импликации, при условии сосуществования противоположностей x, x и y, y представляют содержательное следование xy, yx, причем: xxy значит “Особенность y присуща (содержится в) сущности x”, а yxy определяет это же отношение экстенсионально: “Класс y включает подкласс x”.

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


УА – Универсум Аристотеля, УБ – Универсум Буля.
Опубликовано в газете «Интеллект и творчество» № 6, июнь 2007. С. 2.

Похожие:

Формальная логика и творческий интеллект iconБ. М. Лепешко Формальная логика и детективный жанр: единство эвристической достоверности
Более того, детективный жанр и формальная логика как наука имеют некое “общее поле” исследования, связанное с такими классическими...
Формальная логика и творческий интеллект iconВопросы А. И. Мигунова к зачету или экзамену по курсу «Логика [Часть Формальная логика]»

Формальная логика и творческий интеллект icon2. Логика и язык
Логическая форма мысли. Понятие формально-логического закона. Правильные и неправильные умозаключения. Установление неправильности...
Формальная логика и творческий интеллект iconПреподаватель: Уакиев Валериан Савирович рекомендуемая литература
В обыденной жизни часто встречаемся с понятием «логика», например логика женская, мужская, математическая, кибернетическая, формальная,...
Формальная логика и творческий интеллект iconВопросы к экзамену Формальная логика как наука. Значение логики для профессиональной деятельности юриста
Формальная логика как наука. Значение логики для профессиональной деятельности юриста
Формальная логика и творческий интеллект iconОсновы логического программирования Исчисление высказываний пропозициональная логика
Исчисление высказываний (пропозициональная логика) — это формальная теория, основным объектом которой служит понятие логического...
Формальная логика и творческий интеллект iconИскусственный интеллект
Ммд — формальная модель математического диалекта, используемого в математической практике при доказательстве математических утверждений....
Формальная логика и творческий интеллект iconИнтеллект и адаптация
Пиаже и после него многократно повторенной, интеллект определяется через адаптацию: … интеллект с его логическими операциями, обеспечивающими...
Формальная логика и творческий интеллект iconРассуждение о логике
Формальная логика только кажется надёжной и незыблемой. Однако сила её вовсе не так велика, как мы привыкли думать. Эта наука основана...
Формальная логика и творческий интеллект iconТеория юридической аргументации. Опыт критического осмысления
Формальная логика позволяет анализировать судебные решения, но юридическая аргументация обладает рядом специфических черт, сильно...
Разместите кнопку на своём сайте:
ru.convdocs.org


База данных защищена авторским правом ©ru.convdocs.org 2016
обратиться к администрации
ru.convdocs.org