Приглашаем посетить сайт
БУЛЬ
БУЛЬ (Boole), Джордж (2 ноября 1815 - 8 дек. 1864) - англ. математик и логик, основоположник математической логики. Родился в Линкольне в семье ремесленника. Б. не имел спец. математич. образования, однако его успехи в этой области были так велики, что в 1849 он стал проф. математики в Куинс-колледже в Корке (Ирландия), где преподавал до конца жизни. Б. почти в равной мере интересовали логика, математич. анализ, теория вероятностей, этика Спинозы, философ. работы Аристотеля и Цицерона. В работе "Математический анализ логики" ("The mathematical analysis of logic", 1847) содержится попытка математич. обработки дедуктивного фрагмента классич. аристотелевой логики; в статье "Логическое исчисление" ("The calculus of logic", в журн. "Cambridge and Dublin Math. j.", 1848, [v.] 3, p. 183-93) излагается резюме этой работы. В 1854 в Лондоне появляется осн. логич. произведение Б. - "Исследование законов мысли" ("An investigation of the laws of thought..."). Б. исходил из идеи аналогии между алгеброй и логикой. Он стал рассматривать логику как алгебру лишь с нулем и единицей, в к-рой существуют все четыре операции арифметики. Совр. Булю алгебра занималась в основном решением уравнений. Верный своему осн. допущению, Б. заключил отсюда, что и центр. проблематика логики должна определяться вопросами: о решении т.н. логич. уравнений относительно неизвестных терминов. Эта задача решения булевых уравнений равносильна требованию сводить их к наивозможно более простому виду. Ставится также вопрос об исключении к.-л. терминов из заданных логич. уравнений (проблема элиминации). Трактуя алгебру как науку о равенствах, Б. и в исчислении классов также записывает логич. выражения в виде равенств. Он стремился давать полные явные определения, из к-рых можно было бы вывести все свойства определяемого объекта, что соответствует попытке заменить аксиоматич. определения явными.
Основными операциями у Б. являются:
Сложение, обозначавшееся знаком "+"; в исчислении классов (объемов понятий) булевой формуле х + у соответствует объединение классов х и у с исключением их общей части; в исчислении высказываний - т.н. строгая дизъюнкция, грамматически совпадающая с союзом "либо" (либо х, либо у).
Умножение, обозначавшееся знаком "·", в исчислении классов этой операции соответствует пересечение; в исчислении высказываний - конъюнкция, грамматически тождественная союзу "и". Выражение х · у Б. употребляет также в смысле: "те х, которые суть у" (т.е. знак "·" играет здесь роль оператора "тот, который").
Дополнение до единицы (по Б., до класса "всех вещей"), обозначавшееся записью 1 - х; в исчислении классов формула 1 - х означает дополнение к классу х; в исчислении высказываний - отрицание х, т. е. "не - х".
С помощью введенных Б. правил преобразования оказалось, в частности, возможным формализовать все те аристотелевы модусы силлогизма, к-рые дают заключения с суждениями общего характера.
Основным законом логики Б. считал т.н. принцип идемпотентности, согласно к-рому имеет место соотношение: (1) х · х = х; напр., "белый" и "белый" - это все равно, что просто "белый". В алгебре же выражение х = х верно лишь при х = 1 или х = 0 (т.е. при значениях х, являющихся корнями уравнения х2 - х = 0). Именно в этом пункте следует искать первоисточник мысли Б. о формальной аналогии между элементарной алгеброй и алгеброй логики.
Наиболее общая проблема логики, согласно Б., может быть сформулирована так: задано некоторое логическое уравнение, содержащее символы х, у, z, w; требуется найти логич. отношение класса, обозначенного через w, к классам, обозначенным через х, у, z.
Исходное уравнение Б. решает сначала по правилам элементарной алгебры, а затем дает логическое истолкование полученного результата с помощью вводимых им с этой целью спец. "правил интерпретации".
Идеи Б. наталкивали не только на построение исчисления высказываний как разновидности т.н. 2 - арифметики, т. е. арифметики, в к-рой налицо только два числа 0 и 1 (что было сделано советским математиком И. И. Жегалкиным в 1928), но и на создание логических исчислений, к-рые так обработаны, что в них логич. операции осуществляются так же, как и арифметические (такие исчисления строятся, напр., в приложениях математич. логики к технике, в частности в теории контактно-релейных схем слабого тока).
Соч.: The Mathematical analysis of logic, Cambr. - L., 1847; An investigation of the laws of thought..., L., 1854. Лит.: Стяжкин Η. И., Из истории развития математической логики в XIX веке, М., 1959 (Автореферат дисс.); Льар Л., Английские реформаторы логики в ХIХ в., пер. с франц., СПБ, 1897; Venn J., Boole's logical system, "Mind", 1876, v. 1, No 4.
H. Стяжкин. Москва.