Форум

СИНОНИМИЯ, это когда несколько знаков имеют один
концепт и один денотат. Например, "первый космонавт" и
"Гагарин"; "предприниматель" и "ворюга, которому давно место
в тюрьме, а не в кабаке с девками, которым тоже давно место
не в кабаке".

Некоторые вздрагивают от другого вполне приличного
слова ОМОНИМИЯ. А это всего лишь случай, когда у одного
знака несколько пар концепт-денотат. К хрестоматийному
примеру: "Закрой замок на замок, чтобы замок не замок"
добавлю "Косая девушка с косой косой косила на косе косо"...

ПОЛИСЕМИЯ позволяет одному знаку иметь родственные
концепты и различные денотаты. Первое пришедшее в голову:
"Ключ от сейфа - ключ к успеху в ключевых сферах политики".

И наконец, АВТОНИМИЯ - когда знак означает сам себя.
Например, картина или музыка, это прежде всего они сами, а
не "сюжеты", на основе которых их сотворили.

Cовременной логикой объявили БУЛЕВУ АЛГЕБРУ. Но
алгебра, это еще не совсем то, что надо роботам. Логические
операции "И", "ИЛИ", "НЕ", "ЕСЛИ..., ТО" - обман простых
людей, на что указал еще логик Клини. Он констатировал, что
для логики:
1) Мэри вышла замуж "И" родила ребенка.
2) Мэри родила ребенка "И" вышла замуж.
будет равносильно. Но любой грамотный первоклассник
знает, что это "две большие разницы". Или белиберда, вроде:
"Если сыр делают из лунного грунта, то Пермь столица
Франции" - в алгебре логики это истинное высказывание!

ЛОГИКИ ДРУГИХ МИРОВ

"Пусть цветет тысяча садов!"
(гипотеза из китайской логики)

Искусственный интеллект (ИИ) очень недоволен
классической математической логикой, поэтому посматривает на
другие логики, которые появляются как грибы после дождя.

МОДАЛЬНАЯ ЛОГИКА позволяет различать "возможность" и
"необходимость". Высказывание "Ваня - вор в законе" -
"необходимо", посольку это "узаконено" братвой. А "Ваня
читает книгу" - "возможно". Поскольку Ваня знает буквы и
всякое может быть... Зато "Возможно Ваня читает книгу" -
всегда истинно. Почувствуйте разницу!..

Интересно, что модальную логику сами логики объясняют
как "логику множества миров".

Классическая логика не имеет времени. В ней истинное
высказывание "Ваня читает книгу" обрекает Ваню читать эту
книгу вечно. Но перекусить и еще что-нибудь сделать кроме
чтения Ваня может с помощью ВРЕМЕННОЙ ЛОГИКИ, где и "на
дело" можно выделить время и книге - час.

Истины вроде "Украдешь кошелек - посадят в тюрьму,
украдешь миллиард - зауважают" хорошо описываются
НЕМОНОТОННОЙ ЛОГИКОЙ, в которой дополнительные данные могут
приводить к противоположному выводу. В этой логике в порядке
вещей принцип: "Если не нравится результат, изменяй исходные
законы". Дети и депутаты в своих играх широко этим
пользуются.

КОНСТРУКТИВНАЯ (ИНТУИЦИОНИСТСКАЯ) ЛОГИКА больше
озабочена тем, чтобы не допустить даже мысли типа: "Кто-то
должен быть первым: яйцо или курица - третьего не дано!".
Она с этим не согласна. Ей ЗАКОН ИСКЛЮЧЕННОГО ТРЕТЬЕГО не
писан.

ВЕРОЯТНОСТНАЯ ЛОГИКА. "Если начальник хлопнет по столу,
то прихлопнет семь мух, с вероятностью 0.8". В этой логике
все нивелируется статистикой. Для получения значения
вероятности желательно, чтобы как можно больше начальников
чаше стучали по столам с мухами... А потом это
усредняется... Если вероятностная логика и соответствует
конкретной индивидуальности, то только индивидуальности
Господа Бога.

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

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

ЛОГИЧЕСКОЕ ОТРИЦАНИЕ. Пусть дано истинное высказывание:
"Все читатели умные". Что будет его (логическим) отрицанием?

- НЕ все читатели умные.
- Все читатели НЕ умные.
- НЕ все читатели НЕ умные.
- Все НЕ читатели умные.
- НЕ все НЕ читатели умные.
- НЕ все читатели НЕ умные.
- НЕ все НЕ читатели НЕ умные...