Бахтияров К.И.
Логика с точки зрения информатики: бестселлер в духе Льюиса Кэрролла (12 этюдов)
2002. 128 с. 110 руб.
ISBN 978-5-354-00089-0

Оглавление

Предисловие

Эта книга посвящается Льюису Кэрроллу, который приобрел всемирную известность благодаря своим сказкам "Алиса в Стране Чудес" (1865) и "Алиса в Зазеркалье" (1871). Они так понравились английской королеве Виктории, что она попросила все книги автора. К удивлению венценосной любительницы сказок, это оказались труды по математике Чарльза Лютвиджа Доджсона, профессора математики Оксфордского университета.

Чтобы привлечь широкую читательскую аудиторию, уже заинтересовавшуюся увлекательными сказками Л.Кэрролла, свои работы по логике профессор тоже опубликовал под этим псевдонимом. Его популярная книга "Логическая игра" (1887) открывается посвящением: "Моему другу -- маленькой девочке", напоминая детям и взрослым о жизнерадостной и находчивой Алисе. А начинается книга следующими словами: "Чтобы играть в эту игру, необходимо иметь девять фишек... Например, четыре красных и пять черных... Хотя одного игрока для нашей игры вполне достаточно, намного интереснее играть в нее вдвоем и помогать друг другу исправлять допущенные ошибки". Желающим Кэрролл даже предлагал выслать комплект из фишек и игровой доски...

Игра стала своеобразной основой книги не только в силу стремления автора оживить изложение формальной логики, которая и по сию пору большинству представляется скучной, схоластической наукой. Дело в том, что Льюис Кэрролл предложил оригинальный и эффективный метод, позволивший свести умозаключения к определенным ходам -- перемещениям фишек на игровой доске. Выдающийся английский писатель и философ Г.К.Честертон, больше известный у нас детективными историями о патере Брауне, назвал его "геометрией мысли будущего". И действительно, Кэрролл предвосхитил то, что сегодня называется интерактивными методами.

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

Но является ли дистанция между вычислениями и логическим мышлением принципиально непреодолимой? Автор считает, что нет. И цель настоящей книги -- показать возможность сокращения этой дистанции путем сведения умозаключений к вычислениям. Это предвидел еще великий немецкий философ и математик Г.В.Лейбниц, мечтавший о времени, когда люди вместо того чтобы спорить, скажут "Вычислим!".

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

Разработанный автором подход опирается на современные методы программирования. Особенно наглядно их эффективность проявляется в таблице EXCEL, которую Билл Гейтс назвал электронной таблицей будущего. По его признанию, когда в 1975 году была основана фирма Microsoft, "появление первой электронной таблицы предугадать было невозможно". Однако всего два года спустя Дэн Бриклин изобрел ее за одну неделю, т.е. за те несколько дней, на которые ему одолжили компьютер Apple II, чтобы он смог разработать действующую модель своей программы.

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

Вместе с тем содержание книги выходит за рамки общепринятых программ изучения логики. В частности, в ней вводятся многомерные логические массивы, позволяющие добиваться поразительной эффективности при анализе парадоксальных объектов. А опытным педагогам хорошо известно, как захватывает учащихся и студентов все парадоксальное. Поэтому и рассмотрение на учебных занятиях представленных в настоящей книге парадоксов "Брадобрей", "Лжец" и им подобных, вызывая интерес, создает у обучаемых самого различного возраста мотивацию к изучению логики как науки о правильном мышлении. Вот почему книга может стать основой для преподавания факультативных предметов в средних учебных заведениях. Ее можно использовать и для чтения спецкурсов, дополняющих вузовскую программу логики и ориентированных на формирование высокой логической культуры.

Об авторе

Бахтияров Камиль Ибрагимович, доктор философских наук, профессор кафедры высшей математики МГАУ, член Диссертационного совета Д 053.05.20 при МГУ по специальности 09.00.07 - логика.

Метод арифметизации логики, основы которого были разработаны автором в докторской диссертации (защищенной в МГУ в 1989 г.), позволил дать решение проблемы, поставленной Лейбницем - сведение умозаключений к вычислениям. Новым в работе явилось введение логических векторов для представления булевых конституент. Метод был, в частности, реализован в компьютерных программах для минимизации булевых нормальных форм, что может быть практически использовано для проектирования систем автоматического управления (см. подробнее статью "БАХТИЯРОВ" в энциклопедическом словаре "Философы России XIX-XX столетий". М., 1995. С. 55).

К.И.Бахтияровым опубликовано 129 печатных работ, получено 14 авторских свидетельств на изобретения. Основные результаты опубликованы в книгах:

1) Логические основы компьютеризации умозаключений. М.: МИИСП, 1986. 95 с.

2) Умозаключения на персональных компьютерах. М.: МГУ, 1989. 46 с.

3) Массивы и циклы в логике с точки зрения информатики. М.: МГАУ, 1996. 95 с.

Методические разработки опубликованы в учебных пособиях по математике и информатике:

1) Специальные главы высшей математики. М.: Военная Краснознаменная академия химической защиты (в соавторстве с И.Б.Раскиной и А.И.Корелицкой), 1976. 340 с.

2) Методические указания по математической статистике. М.: МИИСП, 1978. 32 с.

3) Как освоить WinWord. М.: МГАУ, 1995. 6 с.