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

Augustus De Morgan and the development of university mathematics in London in the nineteenth century.

This thesis investigates the teaching of mathematics at university level in London, and in particular by Augustus De Morgan (1806-1871) during his period as founder professor of mathematics at London University (later University College London) from 1828 to 1867. An examination of De Morgan's life and professorial career is followed by a review of changes in instruction at the college under his successors, together with a survey of higher mathematical tuition at other university-level institutions in the capital up to the turn of the twentieth century. Particular attention is paid to original teaching material and the set of students who later achieved distinction in mathematics and other disciplines. A key feature of the research undertaken for this project has been its intensive use of previously unpublished archival documents, hitherto mostly unstudied. Consequently, much of the information which has been gleaned from these sources (such as De Morgan's lecture material, student notes and contemporary correspondence) has never appeared in print before. The data thus derived has been used in conjunction with publications from the period, as well as more recent works, to produce a contribution to the history of mathematical education which gives a more complete picture of how well nineteenth-century London was served for mathematical instruction than was previously available. Previous studies of De Morgan have mainly concentrated on his work in algebra and logic, with little or no reference to his mathematical teaching, while published histories of relevant institutions (e. g. University College, University of London) are similarly localised, with few comparisons being drawn with other bodies, and almost no reference to mathematical tuition. By concentrating on the work of De Morgan as a teacher in the context of London mathematics, this thesis will attempt to fill these two important gaps in the literature

Algebraizable Weak Logics

We extend the standard framework of abstract algebraic logic to the setting of logics which are not closed under uniform substitution. We introduce the notion of weak logics as consequence relations closed under limited forms of substitutions and we give a modified definition of algebraizability that preserves the uniqueness of the equivalent algebraic semantics of algebraizable logics. We provide several results for this novel framework, in particular a connection between the algebraizability of a weak logic and the standard algebraizability of its schematic fragment. We apply this framework to the context of logics defined over team semantics and we show that the classical version of inquisitive and dependence logic is algebraizable, while their intuitionistic versions are not

“A Senior Wrangler Among Senior Wranglers”: The Mathematical Education of Robert Leslie Ellis

This chapter charts Ellis’s mathematical education, from his childhood in Bath under the tutelage of Thomas Stephens Davies to the end of his student days at Cambridge when, in January 1840, he graduated as senior wrangler

A Prodigy of Universal Genius: Robert Leslie Ellis, 1817-1859

Places Ellis at the heart of early-Victorian Cambridge with in-depth descriptions on his scientific work and tragic life Provides a unique glimpse into Victorian intellectual culture, based on previously unpublished archival materials This open access book brings together for the first time all aspects of the tragic life and fascinating work of the polymath Robert Leslie Ellis (1817–1859), placing him at the heart of early-Victorian intellectual culture. Written by a diverse team of experts, the chapters in the book’s first part contain in-depth examinations of, among other things, Ellis’s family, education, Bacon scholarship and mathematical contributions. The second part consists of annotated transcriptions of a selection of Ellis’s diaries and correspondence. Taken together, A Prodigy of Universal Genius: Robert Leslie Ellis, 1817–1859 is a rich resource for historians of science, historians of mathematics and Victorian scholars alike. Robert Leslie Ellis was one of the most intriguing and wide-ranging intellectual figures of early Victorian Britain, his contributions ranging from advanced mathematical analysis to profound commentaries on philosophy and classics and a decisive role in the orientation of mid-nineteenth century scholarship. This very welcome collection offers both new and authoritative commentaries on the work, setting it in the context of the mathematical, philosophical and cultural milieux of the period, together with fascinating passages from the wealth of unpublished papers Ellis composed during his brief and brilliant career. - Simon Schaffer, Department of History and Philosophy of Science, University of Cambridg

Introduction: Logic and Literary Form

Although literature and logic share a number of surprising symmetries and historical contacts, they have typically been seen to occupy separate disciplinary spheres. Declaring a subfield in literary studies-logic and literature-this introduction outlines various connections between literary formalism and formal logic. It surveys historical interactions and reciprocal influences between literary and logical writers from antiquity through the twentieth century, and it examines how literary theory and criticism have been institutionally shadowed by a logical unconscious, from the New Criticism and (post)structuralism to recent debates about historicism and formalism. It further considers how the subfield of logic and literature, in its constitutive attention to form, is neatly positioned to cut across these debates, and it sketches ways of reading at the interface of aesthetics, philosophy of literature, and literary studies that might be energized by an appeal to logical contexts, ideas, and methods

A Prodigy of Universal Genius: Robert Leslie Ellis, 1817-1859

Places Ellis at the heart of early-Victorian Cambridge with in-depth descriptions on his scientific work and tragic life Provides a unique glimpse into Victorian intellectual culture, based on previously unpublished archival materials This open access book brings together for the first time all aspects of the tragic life and fascinating work of the polymath Robert Leslie Ellis (1817–1859), placing him at the heart of early-Victorian intellectual culture. Written by a diverse team of experts, the chapters in the book’s first part contain in-depth examinations of, among other things, Ellis’s family, education, Bacon scholarship and mathematical contributions. The second part consists of annotated transcriptions of a selection of Ellis’s diaries and correspondence. Taken together, A Prodigy of Universal Genius: Robert Leslie Ellis, 1817–1859 is a rich resource for historians of science, historians of mathematics and Victorian scholars alike. Robert Leslie Ellis was one of the most intriguing and wide-ranging intellectual figures of early Victorian Britain, his contributions ranging from advanced mathematical analysis to profound commentaries on philosophy and classics and a decisive role in the orientation of mid-nineteenth century scholarship. This very welcome collection offers both new and authoritative commentaries on the work, setting it in the context of the mathematical, philosophical and cultural milieux of the period, together with fascinating passages from the wealth of unpublished papers Ellis composed during his brief and brilliant career. - Simon Schaffer, Department of History and Philosophy of Science, University of Cambridg

The genealogy of ‘∨’

The use of the symbol ∨ for disjunction in formal logic is ubiquitous. Where did it come from? The paper details the evolution of the symbol ∨ in its historical and logical context. Some sources say that disjunction in its use as connecting propositions or formulas was introduced by Peano; others suggest that it originated as an abbreviation of the Latin word for “or”, vel. We show that the origin of the symbol ∨ for disjunction can be traced to Whitehead and Russell’s pre-Principia work in formal logic. Because of Principia’s influence, its notation was widely adopted by philosophers working in logic (the logical empiricists in the 1920s and 1930s, especially Carnap and early Quine). Hilbert’s adoption of ∨ in his Grundzüge der theoretischen Logik guaranteed its widespread use by mathematical logicians. The origins of other logical symbols are also discussed