The Fundamental Law of Thought: From Kant to Boole | Tomsk State University Journal of Philosophy, Sociology and Political Science. 2019. № 51. DOI: 10.17223/1998863X/51/12

The Fundamental Law of Thought: From Kant to Boole

In some matters, the philosophical significance of historical and logical research cannot be overestimated. First, because any significant philosophical system is based on a certain logic, rarely pronounced, and its explication helps to clarify the main points, reveal the genesis of this system and, possibly, avoid its frankly false interpretations. Immanuel Kant's doctoral thesis "A New Elucidation of the First Principles of Metaphysical Cognition (Principiorum primorum cognitionis metaphysicae nova dilucidatio)", presented at the Faculty of Philosophy at the University of Konigsberg in September 1755, can be considered his first serious work devoted to the actual problems of metaphysics. This treatise is remarkable, for, in it, Kant criticized two fundamental principles of the then dominant Leibniz-Wolff metaphysics, namely, the principles of contradiction and sufficient reason. He proposes to replace them with the principle of identity for the basis and criterion of all truths and the principle of the determining basis for finding the source of true knowledge. In his critical philosophy, Kant considers reason and mind as cognitive abilities that constitute rational thinking in general. Logic is the science of thinking, and general pure logic contains its basic and necessary, a priori principles. Any thinking, according to Kant, is based on the law of identity because no thinking about the world would be possible, firstly, if we could not perceive the identity of the objects of thinking in the process of perceiving the diverse in time and, secondly, without the identity of the perceiving subject. Thus, it must be admitted that the status of the law of identity has not changed much in Kant's critical philosophy, just like his idea of distinguishing between logical and real foundations of knowledge. Despite the fact that the origin of the first systems of symbolic logic is not associated with traditional metaphysics, it seems that it is not accidental; the course of George Boole's reasoning about the basic principle of logic surprisingly resembles that of early Kant. First, he formulates the fundamental law of thought, based on some version of the law of identity for classes and then deduces from it the law of contradiction. Then he turns to one of the most important tasks of Kant's critical philosophy to identify the elementary actions of thinking to create conditions for the construction of an adequate theory of consciousness. In his unpublished notes on the nature of logic, Boole writes that it is absolutely wrong to define logic as an art or a science of reasoning, since it is impossible to define the process of reasoning in any way without first analyzing the process of thinking, conceptualizing and judging. In addition, it is not enough just to recognize the existence of such processes and describe their objects. Their laws must be established. According to Boole, logic is the science of thought and its laws, expressed in operations on the concepts of judgments and reasoning and in language.

Download file
Counter downloads: 110

Keywords

основной закон мышления, принцип тождества, философия математики Канта, алгебра логики Буля, basic law of thought, principle of identity, Kant's philosophy of mathematics, Boole's algebra of logic

Authors

NameOrganizationE-mail
Pushkarsky Anatoly G.Immanuel Kant Baltic Federal Universitypushcarskiy@mail.ru
Всего: 1

References

Жучков В.А. Из истории немецкой философии XVIII в. Предклассический период. От вольфовской школы до раннего Канта. М. : ИФ РИН, 1996. 260 с.
Кант И. Новое освещение первых принципов метафизического познания // Сочинения : в 6 т. М. : Мысль, 1963. Т. 1. С. 263-314.
Кислов А.Г. Онтологическая автономия ассерции и негации у раннего Канта // Онтология негативности : сб. науч. тр. М. : Канон+ РООИ «Реабилитация», 2015. С. 292-307.
Лейбниц Г.В. Сочинения : в 4 т. М. : Мысль, 1984. Т. 3.
Кант И. Сочинения : в 6 т. М. : Мысль, 1964. Т. 3: Критика чистого разума. 799 с.
Васильев В.В. Философская психология в эпоху Просвещения. М. : Канон+, 2010.
Зеебом Т.М. Логика понятий как предпосылка кантовской формальной и трансцендентальной логики // Кантовский сборник. 1993. Вып. 17. С. 67-81.
Гильберт Д. Основы теоретической логики. М. : Изд-во иностр. лит., 1947.
Рассел Б. Философия логического атомизма. Томск : Водолей, 1999.
Dawson J.W. Logical Dilemmas: the life and work of Kurt Godel. Welles Ley, MA : A.K. Peters, 1997.
Стяжкин Н.И. Формирование математической логики. М. : Наука, 1967.
Кюнг Г. Онтология и логический анализ языка. М. : Дом интеллектуальной книги, 1999.
Кант И. Об одном открытии, после которого всякая новая критика чистого разума становится излишней ввиду наличия прежней (против Эберхарда) // Кант И. Трактаты. Рецензии. Письма (впервые изданные в «Кантовском сборнике»). Калининград : Изд-во РГУ им. И. Канта, 2009. С. 38-115.
Cohen D.J. Equations from God Pure Mathematics and Victorian Faith. Baltimore : The Johns Hopkins University Press, 2007.
Boole G. The Mathematical Analysis of Logic, Being an Essay towards a Calculus of Deductive Reasoning. London ; Cambridge, 1847.
Boole G. Selected manuscripts on logic and its philosophy / [ed. by] lvor Grattan-Guinness, Gerard Bornet. Basel ; Boston ; Berlin : Birkhauser, 1997.
Boole G. An investigation of the laws of thought, on which are founded the mathematical theories of logic and probabilities. London ; Cambridge : Macmillan, 1854.
Laita L.M. Boolean algebra and its extra-logical sources: the testimony of Mary Everest Boole // History and Philosophy of Logic. 1980. Vol. 1. С. 37-60.
Beziau J.-Y. Is the principle of contradiction a consequence of x2 = x? // Современная логика: проблемы теории, истории и применения в науке. СПб., 2016. С. 10-15.
Математика XIX века / под ред. А.Н. Колмогорова и А.П. Юшкевича. М. : Наука, 1978.
Peacock G. A Treatise on Algebra. Cambridge : J. & J. J. Deighton, 1830.
Boole G. The Calculus of Logic // Cambridge and Dublin Mathematical Journal. 1848. Vol. III. P. 183-198.
Gregory D.F. The Mathematical Writings of Duncan Farquharson / M.A. Gregory, W. Walton, eds. Cambridge : Deighton, Bell, 1865.
 The Fundamental Law of Thought: From Kant to Boole | Tomsk State University Journal of Philosophy, Sociology and Political Science. 2019. № 51. DOI: 10.17223/1998863X/51/12

The Fundamental Law of Thought: From Kant to Boole | Tomsk State University Journal of Philosophy, Sociology and Political Science. 2019. № 51. DOI: 10.17223/1998863X/51/12

Download full-text version
Counter downloads: 1702