Research On The Thought Of Boole’s Logic

Nowadays,Boole’s algebra and its improvement have been paid more and more attention,which makes it important to study the thought of the Boole’s logic closely related to it.He was influenced by the remarkable work of G.Peacock,D.F.Gregory,and A.De Morgan on algorithms,whether the rules of notation should be extended beyond quantities,whether symbols allow non-numbers,and where logic is in algebra.Boole applied the idea of algebra to the study of logic and transformed the traditional logic which originated from Aristotelian logic.Inheriting the traditional logic,he devoted himself to the study of the theoretical preference of validity reasoning.Boole constructs a new logic system,applies it to complex arguments,and makes breakthroughs in logic calculus.Boole’s thought of logic system is mainly based on the in-depth study of differential equations and probability theory,with logical algebra as the representative achievement.Boole’s ideas were in line with Leibniz’s logic,which sought to transform logic into a science to rival mathematics by creating a "universal symbolic language" of ideogram rather than Pinyin.In the 19 th century,British society was eager to change,and the development of various disciplines was constantly inspired by the discussion of related disciplines.So is the study of logic.The idea of Boole’s logic was born from a change in the theoretical perspective,that is,to enrich the connotation of logical rationality through the cross study of logic and mathematics.Correspondingly,Boole’s thought of logic focused on mathematical calculus.Mainly by reinterpreting the concepts of class and proposition,expressing logic with mathematical calculus,and putting forward and improving the operation of logic equations,Boole manifests the power of logic in its unique way.The traditional method of logic emphasizes the use of formal deduction to support the conclusion,and the use of inverse model to prove that the conclusion is not valid.Deductive derivation is studied in formal grammar and inverse model is studied in formal semantics(mainly model theory).Boole not only clarified this,but also pointed out that these methods presuppose criteria for validity.We found in our research that thevalidity criterion of the thought of Boole’s logic focuses on the interpretation and application of the concept of time.He advocates explaining the "conjunctures of circumstances" with the concept of time to determine the duration;Boole’s logic philosophy and traditional logic philosophy are not contradictory,he paid attention to the "unity","order" and "harmony" of logic,and made outstanding contributions in reconstructing the standard of consistency with the example of mathematical science.His efforts are not only a useful exploration of interdisciplinary research,but also contributed to the independence of the discipline of logic.The thought of Boole’s logic focuses on transforming traditional logic with an attitude of explaining scientific progress.It is not a break with science,but a combination of history and thought.The influence of the thought of Boole’s logic and its application is far-reaching,but related discussions gradually show some limitations of the thought of Boole’s logic.This is mainly reflected in the fact that the core of deductive reasoning is the symbols that are equal to each other or the echoes between things.Boole has not made an in-depth explanation.Therefore,his logical system needs improvements in equation design and logical algebraic addition.The thought of Boole’s logic has three aspects: class,proposition and relation.Logic in logical algebra can be divided into three branches: calculus of class,proposition,and relation.However,he did not discuss proposition and relation calculus in depth.Moreover,under the influence of Boolean logic thought,reflection on related issues has led some scholars to advocate a strict distinction between arithmetic operations and logical operations,and to cancel the subtraction and division operations.Frege is committed to systematically demonstrate the logical basis of mathematics and attribute the concepts and laws of mathematics to the concepts and laws of logic.All these enlighten us to deepen the study of Boole’s logic from a philosophical perspective,and to gain inspiration from contemporary logic theory and its applied research.