Вестник БФУ им. И. Канта

2015 Выпуск №12

Назад к списку Скачать статью

О судьбе центрального философского замысла создателя алгебры логики: к 200-летию Джорджа Буля

Страницы / Pages
81-88

Аннотация

Рассматривается история реализации главного философского замысла пионера математической логики Джорджа Буля. Замысел заключался в использовании созданных им логико-алгебраических и теоретико-вероятностных методов для моделирования процессов мышления. Несмотря на то что этот проект оказался несостоятельным, современное развитие computer science и программирования удивительным образом подтвердило идеи Буля о плодотворности применении строгих методов логических исчислений в области выражения процессов мышления.

Abstract

The article considers the history of George Boole’s main philosophical conception consisting in using his logical-algebraic and theoretical-probabilistic methods in modelling thought processes. Despite the project’s failure, current developments in computer science and programming have surprisingly confirmed Boole’s ideas on the applicability of rigorous methods of logical calculus in the explication of thought processes.

Список литературы

1. Пушкарский А. Г. Джордж Буль и проблема психологизма в логике // Электронное научное издание Альманах Пространство и Время. 2013. Т. 3, вып. 2. URL: http://www.j-spacetime.com/actual%20content/t3v2/3206.php (дата обращения: 15.10.2015).
2. Boole M. E. Collected works : in 4 vols. / ed. by E. M. Cobham. L., 1931. Vol. 2.
3. Boole G. The mathematical analysis of logic, being an essay towards a calculus of deductive reasoning. Cambridge ; L., 1847.
4. Boole G. An investigation of the laws of thought, on which are founded the mathematical theories of logic and probabilities. L. ; Cambridge, 1854.
5. Hailperin T. Boole's Logic and Probability. N. Y., 1986.
6. Jacquette D. Boole’s Logic // Handbook of the History of Logic. Vol. 4. British Logic in the Nineteenth Century. 2008. P. 331—379.
7. Laita L. M. Boolean algebra and its extra-logical sources: the testimony of Mary Everest Boole // History and Philosophy of Logic. 1980. № 1. Р. 37—60.
8. Boole M. E. Philosophy and Fun of Algebra. N. Y., 1891.