О судьбе центрального философского замысла создателя алгебры логики: к 200-летию Джорджа Буля
Аннотация
Рассматривается история реализации главного философского замысла пионера математической логики Джорджа Буля. Замысел заключался в использовании созданных им логико-алгебраических и теоретико-вероятностных методов для моделирования процессов мышления. Несмотря на то что этот проект оказался несостоятельным, современное развитие computer science и программирования удивительным образом подтвердило идеи Буля о плодотворности применении строгих методов логических исчислений в области выражения процессов мышления.
Список литературы
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.