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