Булева алгебра (названа в честь английского математика XIX века Джорджа Буля) рассматривает величины, принимающие только два значения — 0 или 1. Значение булевой величины можно представлять как ложность или истинность какого-либо утверждения (0 — ложь, 1 — истина). Поэтому с такими величинами можно производить различные операции — так же, как мы оперируем с утверждениями при рассуждениях. Основные операции — это И, ИЛИ, НЕ. Например: «я возьму зонт», если «пойдет дождь» И «за мной НЕ заедет друг на машине». Если обозначить через С утверждение «я возьму зонт», А — «пойдет дождь» и В — «за мной заедет друг», то С = А И (НЕ В). Выполнением подобных операций и занимается процессор компьютера.

Биолог Жак Моно однажды сказал, что «удивительное свойство эволюции заключается в том, что она всем кажется понятной». К сожалению, никто не повторил того же самого о логике, но я исправлю это упущение. Практически каждый человек знаком с этим словом, и всем оно кажется понятным. Наш язык пропитан выражениями вроде «логичная мысль», или «звучит логично». В бытовом использовании логика выступает буквально синонимом здравого смысла и ума. Почти под каждым роликом про логику на ютубе есть комментарий про то, что введение логики в школе, наконец, заставит всех мыслить правильно (правильно это по-видимому так же, как автор данного комментария). Так или иначе, логика обладает в обществе огромным авторитетом, и апелляция к ней имеет статус сильного аргумента. Но откуда у неё такой авторитет?

А нужна ли нам логика?