На самом деле речь идет о давнем заблуждении. Заблуждению этому примерно столько же лет, сколько самой математической логике. Ее основы заложил еще Джон Буль (1815-1864). Едва родившись в середине 19 века, математическая логика стала чем-то вроде сокровенного знания. Понятная лишь посвященным, сопровождаемая насмешками дилетантов, она вот уже 150 лет остается "вещью в себе". Правильно ли это?

Чуть отклонюсь от темы и приведу пару близких по смыслу примеров. Вы идете в магазин. Покупаете сколько-то килограммов капусты. Умножая вес капусты на цену килограмма, вы определяете, сколько денег надо отдать продавцу. Подбираете нужные купюры, складывая в уме их достоинство. Затем, вычитая, рассчитываете в уме сдачу. Действия привычные и обычные для всех. Вы применяете математику и ее конкретный раздел - арифметику.

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

А теперь давайте дадим волю фантазии и представим себе забавную сценку. Покупатель приходит в магазин. На прилавке лежит гора капусты. Ценника нет. Между ним и продавцом возникает такой диалог:

Покупатель: - Почем кило капусты?
Продавец: - Неважно. Выбирайте себе капусту, а мне давайте кошелек.
Покупатель: - Зачем вам мой кошелек?
Продавец: - А зачем вам моя капуста?
Покупатель: - Я хочу ее купить!
Продавец: - Вот и покупайте. Выбирайте у меня кочан, какой нравится. А я выберу у вас в кошельке купюры, которые мне нравятся.
Покупатель: - Но как так можно!? Мало ли сколько денег вы захотите! Я хочу заплатить столько, сколько полагается, и ни копейки больше!
Продавец: - Как вы себе это представляете?
Покупатель: - Скажите, сколько стоит кило капусты. Потом взвесим кочан и я умножу...
Продавец: - Умножите!?!? Бог с Вами, вы что, говорите об арифметике??
Покупатель: - Да, конечно! А что вас так удивило?
Продавец: - Арифметика - это только для всяких чокнутых ученых. Которые слишком далеки от реальной жизни. Витают в каких-то своих теориях. Слыхали: у них что два яблока, что два кирпича - одно и то же. Называют это "числом два" и не видят разницы. Представляете?
Покупатель: - Это же просто число, так удобно считать...
Продавец: - Считать!?!? Вы наверное сам - из этих ученых психов да? Из какой лаборатории вы сбежали? Очнитесь! Попробуйте съесть два кирпича и я погляжу, как вы переломаете все зубы!
Покупатель: - Не хочу я есть кирпичи, я хочу считать кирпичи! Тьфу. То есть капусту!
Покупатель: - Вот видите, вы сами не знаете, что хотите. Убирайтесь из моего магазина! Вы бы еще красоту вон той девушки посчитали, ха-ха-ха! Ну и придурки эти ученые!

Не правда ли, подобный диалог выглядит как отрывок из фантастического романа о какой-то планете психов или отрывок романа исторического о диком и варварском княжестве? Для современного человека применять арифметику - естественно и нормально. Он отлично понимает, в чем разница между двумя яблоками и двумя кирпичами. Почему и то, и другое можно обозначить цифрой 2; но нельзя съесть и то, и другое. Не вызывает вопросов и тот факт, что девушка может быть красивой или нет, но при желании можно и девушек пересчитать, спросив: сколько девушек в вашем селе?

Шутка шуткой, а ситуация с логикой почти в точности повторяет ситуацию с арифметикой в приведенной сценке. Количество суеверий, связанных с логикой, в современном мире воистину чудовищно. Примерно как количество суеверий в астрономии во времена Галилея. Поверьте, многие общепринятые заблуждения оказываются на поверку такой же сказкой, как то, что Земля плоская, а ученые едят кирпичи. Но не надо верить на слово, лучше проверить самим. Для чего и создан этот сайт.

Когда работаешь программистом, то с логикой имеешь дело постоянно. Смысл программирования состоит как раз в том, чтобы научить компьютер рассуждать (в широком смысле слова). Пусть не во всем как человек, но хотя бы для каких-то конкретных задач. При этом методы "рассуждения" оказываются самыми разными. Каждый программист тратит определенное время на поиск ошибок в своих и чужих программах. То есть, на поиск ошибок в рассуждениях, в логике. И это тоже накладывает свой отпечаток. Гораздо легче обнаруживаешь логические ошибки и в обычной речи.

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

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

Почему задача популяризации логики назрела именно сегодня? Ответ заключается в нескольких пунктах.

• Мы живем в таком мире, когда получаем очень много информации, из непроверенных источников. Из рекламы, из никем не проверяемых книг, из средств массовой информации, от малознакомых людей. Если мы не хотим быть обманутыми, стоит научиться распознавать ложь.
• Математическая логика и логика научного метода достаточно развились для того, чтобы сделать очередной шаг: рассмотреть возможность их применения не только в компьютерах, но и в обычном общении.
• В мире появилось новое быстро растущее государство: Internet. Его общественный строй - самоуправляемая анархия. Его кредо - свобода. Нужно в полной мере использовать открывающиеся возможности, но и оградить себя от неточной или неверной информации, которой в Internet предостаточно.
• Хотим мы этого или нет, но уже сегодня идет поиск самых разных изощренных методов обмана. Речь не идет о таких сказках, как эффект 25-го кадра. Речь идет о вполне открытом обмане. О рекламе, о пропаганде, об избирательных кампаниях. Все знают, что это - обман, но он действует, так как использует определенные методы из области психологии. От этого обмана вполне можно защититься с помощью психологики.