The Algebra of Logic Tradition

The algebra of logic, as an explicit algebraic system showing the underlying mathematical structure of logic, was introduced by George Boole (1815-1864) in his book The Mathematical Analysis of Logic (1847). The methodology initiated by Boole was successfully continued in the 19th century in the work of William Stanley Jevons (1835-1882), Charles Sanders Peirce (1839-1914), Ernst Schröder (1841-1902), among many others, thereby establishing a tradition in (mathematical) logic. From Boole's first book until the influence after WWI of the monumental work Principia Mathematica (1910 1913) by Alfred North Whitehead (1861-1947) and Bertrand Russell (1872-1970), versions of thealgebra of logic were the most developed form of mathematical above allthrough Schröder's three volumes Vorlesungen über die Algebra der Logik(1890-1905). Furthermore, this tradition motivated the investigations of Leopold Löwenheim (1878-1957) that eventually gave rise to model theory. Inaddition, in 1941, Alfred Tarski (1901-1983) in his paper On the calculus of relations returned to Peirce's relation algebra as presented in Schröder's Algebra der Logik. The tradition of the algebra of logic played a key role in thenotion of Logic as Calculus as opposed to the notion of Logic as Universal Language . Beyond Tarski's algebra of relations, the influence of the algebraic tradition in logic can be found in other mathematical theories, such as category theory. However this influence lies outside the scope of this entry, which is divided into 10 sections.Fil: Burris, Stanley. University of Waterloo; CanadáFil: Legris, Javier. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Saavedra 15. Instituto Interdisciplinario de Economía Politica de Buenos Aires. Universidad de Buenos Aires. Facultad de Ciencias Económicas. Instituto Interdisciplinario de Economía Politica de Buenos Aires; Argentin

Relations between logic and mathematics in the work of Benjamin and Charles S. Peirce.

Charles Peirce (1839-1914) was one of the most important logicians of the nineteenth century. This thesis traces the development of his algebraic logic from his early papers, with especial attention paid to the mathematical aspects. There are three main sources to consider. 1) Benjamin Peirce (1809-1880), Charles's father and also a leading American mathematician of his day, was an inspiration. His memoir Linear Associative Algebra (1870) is summarised and for the first time the algebraic structures behind its 169 algebras are analysed in depth. 2) Peirce's early papers on algebraic logic from the late 1860s were largely an attempt to expand and adapt George Boole's calculus, using a part/whole theory of classes and algebraic analogies concerning symbols, operations and equations to produce a method of deducing consequences from premises. 3) One of Peirce's main achievements was his work on the theory of relations, following in the pioneering footsteps of Augustus De Morgan. By linking the theory of relations to his post-Boolean algebraic logic, he solved many of the limitations that beset Boole's calculus. Peirce's seminal paper `Description of a Notation for the Logic of Relatives' (1870) is analysed in detail, with a new interpretation suggested for his mysterious process of logical differentiation. Charles Peirce's later work up to the mid 1880s is then surveyed, both for its extended algebraic character and for its novel theory of quantification. The contributions of two of his students at the Johns Hopkins University, Oscar Mitchell and Christine Ladd-Franklin are traced, specifically with an analysis of their problem solving methods. The work of Peirce's successor Ernst Schröder is also reviewed, contrasting the differences and similarities between their logics. During the 1890s and later, Charles Peirce turned to a diagrammatic representation and extension of his algebraic logic. The basic concepts of this topological twist are introduced. Although Peirce's work in logic has been studied by previous scholars, this thesis stresses to a new extent the mathematical aspects of his logic - in particular the algebraic background and methods, not only of Peirce but also of several of his contemporaries

A computational approach to George Boole's discovery of mathematical logic

This paper reports a computational model of Boole's discovery of Logic as a part of Mathematics. George Boole (1815–1864) found that the symbols of Logic behaved as algebraic symbols, and he then rebuilt the whole contemporary theory of Logic by the use of methods such as the solution of algebraic equations. Study of the different historical factors that influenced this achievement has served as background for our two main contributions: a computational representation of Boole's Logic before it was mathematized; and a production system, BOOLE2, that rediscovers Logic as a science that behaves exactly as a branch of Mathematics, and that thus validates to some extent the historical explanation. The system's discovery methods are found to be general enough to handle three other cases: two versions of a Geometry due to a contemporary of Boole, and a small subset of the Differential Calculus.Publicad

From mathematics in logic to logic in mathematics : Boole and Frege

This project proceeds from the premise that the historical and logical value of Boole's logical calculus and its connection with Frege's logic remain to be recognised. It begins by discussing Gillies' application of Kuhn's concepts to the history oflogic and proposing the use of the concept of research programme as a methodological tool in the historiography oflogic. Then it analyses'the development of mathematical logic from Boole to Frege in terms of overlapping research programmes whilst discussing especially Boole's logical calculus. Two streams of development run through the project: 1. A discussion and appraisal of Boole's research programme in the context of logical debates and the emergence of symbolical algebra in Britain in the nineteenth century, including the improvements which Venn brings to logic as algebra, and the axiomatisation of 'Boolean algebras', which is due to Huntington and Sheffer. 2. An investigation of the particularity of the Fregean research programme, including an analysis ofthe extent to which certain elements of Begriffsschrift are new; and an account of Frege's discussion of Boole which focuses on the domain common to the two formal languages and shows the logical connection between Boole's logical calculus and Frege's. As a result, it is shown that the progress made in mathematical logic stemmed from two continuous and overlapping research programmes: Boole's introduction ofmathematics in logic and Frege's introduction oflogic in mathematics. In particular, Boole is regarded as the grandfather of metamathematics, and Lowenheim's theorem ofl915 is seen as a revival of his research programme

The Logic within the Logic Reinterpretation of Boolean algebra from Transcurssive Logic

In the introduction of Boole’s "Mathematical Analysis of Logic" of 1847, he approaches one of the operative foundations of Transcurssive Logic. He tells us that "those who are familiar with the theory of symbolic algebra, know that the validity of their analysis does not depend on the interpretation of the symbols, but only on the laws of their combination." This statement makes very clear the preponderance that Boole gives to relationships. In response to this interest in the relational, we proposed to try to understand, how it was that Boole gave an algebraic form to logic. To carry out this task, we decided to use the principles that govern Transcurssive Logic (TL). The analysis of the categorical propositions was initiated: universal affirmative, universal negative, particular affirmative and particular negative. In analyzing the latter, we discovered that a whole universe could be described only from it. That is, not only told us that, for example, "some a is not b", but also could tell us: that there is "a which are not b", that there is "b that is not a", that there is "a which is b", and that in the rest of the universe there is "something" that "is not a nor is b". Then, from the TL it was inquired about the relationships that link these contents to try to determine how this algebraic structure could be generated. After some steps, four elements that resulted from this inquiry were given an entity; by relating them, they formed an algebraic structure called the permutation group or Galois group. The structure that constitutes the "universal language" in which the TL is written. In the analysis of the basic principles on which Boole's algebra is based, we have discovered that some aspects of reality that are revealed when we approach it from the subjective hidden between its values of truth and functions. That is, there is an 'implicit logic' underlying the Boolean binary proposal, a logic that we have called 'transcurssive' because it leaves evidence of a particular evolution over time, of what affects an observer. Among the findings, are: a) the existence of a complex system based, not on its constituent elements and a specific purpose, but on the interrelations that link its components. b) a systemic complexity that enables an adaptive dynamic response in front of the demands (inputs). c) the possibility of analyzing through the discovered structure, the relational situation of several binary systems, simultaneously (heterarchical distribution of hierarchical systems). d) the functional non-dependence of the structure concerning the observer ( measurement process), as it is the case with any situation that is objectively addressed, and e) the advantage of being able to consider situations where more than two states are at stake, even if they are exclusive. From the transcurssive perspective, an interesting panorama opens up of possible applications of this way of observing reality

Laws of Thought and Laws of Logic after Kant

George Boole emerged from the British tradition of the “New Analytic”, known for the view that the laws of logic are laws of thought. Logicians in the New Analytic tradition were influenced by the work of Immanuel Kant, and by the German logicians Wilhelm Traugott Krug and Wilhelm Esser, among others. In his 1854 work An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities, Boole argues that the laws of thought acquire normative force when constrained to mathematical reasoning. Boole’s motivation is, first, to address issues in the foundations of mathematics, including the relationship between arithmetic and algebra, and the study and application of differential equations (Durand-Richard, van Evra, Panteki). Second, Boole intended to derive the laws of logic from the laws of the operation of the human mind, and to show that these laws were valid of algebra and of logic both, when applied to a restricted domain. Boole’s thorough and flexible work in these areas influenced the development of model theory (see Hodges, forthcoming), and has much in common with contemporary inferentialist approaches to logic (found in, e.g., Peregrin and Resnik)