Действуй, мозг! Квантовая модель разума

Для Буля это разные вещи: логика может быть нематематической и крайне субъективной, а Вычисления (англ. Calculus) существуют независимо от наших желаний. В указанной работе учёный сделал соответствующее духу времени заявление: «Дело науки – не создавать законы, а открывать их». Что, по его мнению, достигается путём анализа наблюдений и опыта.

Буль постулировал: наш мозг работает по «фундаментальным законам рассуждения на символическом языке исчисления».

Следовательно, задача состоит в том, чтобы описать эти законы, открыть их – создать «науку об интеллектуальных операциях» (англ.

Разбирая известные со времён Аристотеля правила логики, Буль нашёл их неполными.

Вот, например, классический простой силлогизм:

Все люди смертны.

Сократ – человек.

Сократ смертен.

Давным-давно разъяснено, как строится такая конструкция: из двух предпосылок делается частный вывод.

Большая (общая) предпосылка всегда идёт первой и содержит описание характеристики или свойство, о наличии/отсутствии которого надлежит сделать вывод (в данном случае – «подверженность смерти»).

Малая (частная) предпосылка идёт следом за большой: содержит указание на субъект (в данном случае – «Сократ»), относительно которого выводится следствие.

Объединение большой и малой предпосылки приводит к заключению: наделён ли субъект искомым свойством (в данном случае – да, наделён; поэтому «Сократ смертен»).

Подмечено, что, следуя указанным правилам построения силлогизма, можно прийти к абсурдному выводу.

Скажем, посредством т.н. «подмены тезиса».

Работает это так:

Все люди смертны.

Все не люди не смертны.

Кот Сократа – не человек.

Кот Сократа бессмертен.

Несмотря на абсурдное заключение, с точки зрения аристотелевской логики придраться тут не к чему.

Опытный демагог будет трактовать второе утверждение как расширение (уточнение) большой предпосылки. Далее – всё по правилу: малая предпосылка и вывод.

Можно, конечно, с демагогом поспорить.

Ввести правило проверки большой предпосылки: из практического опыта вовсе не следует, что все, кого нельзя назвать человеком, бессмертны. Но тогда придётся формулировать объект проверки (кого включать в категорию «не люди»? ), провести бесконечное число наблюдений (а вдруг кто-то из «не люди» действительно бессмертен? как это узнать?) и т. д.

Одним словом, спорить будете долго, нудно и безрезультатно.