Дж. Буль (1815-1864).

Англ. математик и логик. Основоположник математической логики. Буль предпринимал попытки математической обработки дедуктивной части аристотелевской логики. Исходной точкой его алгебры выступает аналогия между алгеброй и логикой.

Его современная алгебра занималась решением уравнений. Скорее исходя из этого Буль решил, что центральной проблемой логики также должна стать проблема о решении логических уравнений относительно неизвестных терминов. Решение данной задачи равносильно требованию сводить их к наивозможно более простому виду. По мнению Буля, наиболее общая проблема логики задается следующим образом: дано некоторое уравнение, которое содержит символы х, у, z, w; требуется найти логическое отношение класса, обозначенного через w, к классам, обозначенным через х, у, z. Исходное уравнение Буль сначала решает по правилам элементарной алгебры, а затем полученный результат толкует с помощью вводимых им специальных правил интерпретации.

<< | >>

↑

Источник: М.Д. Купарашвиди. Неклассическая логика: учебное пособие Сост. М.Д. Купарашвиди . - Омск: Изд-во ОмГУ,2006. - 74 с.. 2006

Еще по теме Дж. Буль (1815-1864).:

- Архитектура и строительство - Безопасность жизнедеятельности - Библиотечное дело - Бизнес - Биология - Военные дисциплины - География - Геология - Демография - Диссертации России - Естествознание - Журналистика и СМИ - Информатика, вычислительная техника и управление - Искусствоведение - История - Культурология - Литература - Маркетинг - Математика - Медицина - Менеджмент - Педагогика - Политология - Право России - Право України - Промышленность - Психология - Реклама - Религиоведение - Социология - Страхование - Технические науки - Учебный процесс - Физика - Философия - Финансы - Химия - Художественные науки - Экология - Экономика - Энергетика - Юриспруденция - Языкознание -