Как изобрести все - Райан Норт

[(p → q) ∧ (q → r)] ∧ (p → r)

Другими словами: если p означает q и q означает r, то р означает r.

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

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

И учитывая это, мы можем легко доказать, что «не не р», или ¬¬р, должно равняться р. Все, что вам нужно для этого, – записать все возможные варианты, которых всего два (табл. 17).

Это все, что требуется, чтобы доказать, что предположение «р ∧ ¬¬р» – действительно. Тема доказательства может выглядеть удивительно простой, и она такая и есть, но с ее помощью вы закладываете основания для манипуляций с много более сложными аргументами. Переведя мышление в символический формат вроде того, что описан выше, вы не просто вырабатываете правила того, как переменные могут взаимодействовать друг с другом, вы также открываете истинные правила логического мышления. Вы придумываете новый способ мышления, определенно более точный. Изобретаете логику, мой друг.

Таблица 17. Подобные штуки именуют «таблицами истины», и вы только что с помощью одной из них доказали, что р равняется ¬¬р.

Смотрите, мы не будем говорить, что вы самый великий логик в истории. Но мы скажем: вы определенно величайший логик в истории на данный момент

Мы приводим перечень действительных аргументов в приложении D, и если вы решите замутить предельно логическую цивилизацию, то этот список сэкономит вам кучу времени. Понятно, что это лишь один из многих способов упорядочить систему логики: вы можете создать более сложные варианты, базирующиеся на степенях истинности^[203], включить больше сложных взаимосвязей^[204] и т. д.

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

Логика – единственный способ придумать видеоигры и смотреть кино в кровати снова.