19th Century Logic

John Venn and Charles L. Dodgson (Lewis Carroll) created systems of logic diagrams capable of representing classes (sets) and their relations in the form of propositions. Each is a proof method for syllogisms, and Carroll's is a sound and complete system. For a large number of sets, Carroll diagrams are easier to draw because of their self-similarity and algorithmic construction. This regularity makes it easier to locate and thereby to erase cells corresponding with classes destroyed by the premises of an (...) argument, a particularly difficult task in Venn diagrams for more than four sets. Carroll diagrams can represent existential propositions easily, so they are capable of clearly representing more complex problems than Venn's system can. Finally, both Carroll and Venn diagrams are maximal, in the sense that no additional logic information like inclusive disjunctions is able to be represented by them. Carroll's logic diagrams and logic trees constitute his visual logic system. (shrink)

Charles L. Dodgson's reputation as a significant figure in nineteenth-century logic was firmly established when the philosopher and historian of philosophy William Warren Bartley, III published Dodgson's ?lost? book of logic, Part II of Symbolic Logic, in 1977. Bartley's commentary and annotations confirm that Dodgson was a superb technical innovator. In this paper, I closely examine Dodgson's methods and their evolution in the two parts of Symbolic Logic to clarify and justify Bartley's claims. Then, using more recent publications and unpublished (...) letters, I argue that Dodgson approached the elimination problem in class logic differently than his contemporaries, and in doing so, anticipated several important concepts and techniques in automated deductive reasoning. These materials also provide additional insight into his reasons for writing this book. (shrink)

In this pa­per we aim to pin­po­int so­me of the key mar­kers of the de­velop­ment of lo­gic in Ser­bia, star­ting from the fo­un­ding of the Lyce­um in 1836 un­til the end of the 19th cen­tury. Our main goal is to un­der­li­ne the ro­le that Lju­bo­mir Ne­dić, a phi­lo­sop­her and li­te­rary cri­tic, had in this con­text. Alt­ho­ugh he did not le­a­ve any ori­gi­nal con­tri­bu­ti­ons in lo­gic, Ne­dić played a sig­ni­fi­cant part by ex­po­sing con­tem­po­rary re­sults in symbo­lic lo­gic, which we­re to lead, (...) thro­ugh Fre­ge’s la­ter work, to the cre­a­tion of mo­dern lo­gic. (shrink)

Frege's docent's dissertation Rechnungsmethoden, die sich auf eine Erweiterung des Grössenbegriffes gründen(1874) contains indications of a bold attempt to extend arithmetic. According to it, arithmetic means the science of magnitude, and magnitude must be understood structurally without intuitive support. The main thing is insight into the formal structure of the operation of ?addition?. It turns out that a general ?magnitude domain? coincides with a (commutative) group. This is an interesting connection with simultaneous developments in abstract algebra. As his main application, (...) Frege studies iterations of functions. He does not yet pose the question of existence proofs. Measurement of magnitudes is also connected to numbers, but the discussion is here ambiguous in a way which calls for the systematic account of numbers in Grundgesetze. (shrink)

I interpret Mill?s view on logic as the instrumentalist view that logical inferences, complex statements, and logical operators are not necessary for reasoning itself, but are useful only for our remembering and communicating the results of the reasoning. To defend this view, I first show that we can transform all the complex statements in the language of classical first-order logic into what I call material inference rules and reduce logical inferences to inferences which involve only atomic statements and the material (...) inference rules. Then I explain why we introduce logical operators and logical inference rules into a system of the latter kind. In the end I determine what kind of negation is justified from this point of view. (shrink)

We explore the technical details and historical evolution of Charles Peirce's articulation of a truth table in 1893, against the background of his investigation into the truth-functional analysis of propositions involving implication. In 1997, John Shosky discovered, on the verso of a page of the typed transcript of Bertrand Russell's 1912 lecture on ?The Philosophy of Logical Atomism? truth table matrices. The matrix for negation is Russell's, alongside of which is the matrix for material implication in the hand of Ludwig (...) Wittgenstein. It is shown that an unpublished manuscript identified as composed by Peirce in 1893 includes a truth table matrix that is equivalent to the matrix for material implication discovered by John Shosky. An unpublished manuscript by Peirce identified as having been composed in 1883?1884 in connection with the composition of Peirce's ?On the Algebra of Logic: A Contribution to the Philosophy of Notation? that appeared in the American Journal of Mathematics in 1885 includes an example of an indirect truth table for the conditional. (shrink)

We consider the history of logic in pre-Petrine. Petrine. and immediate post-Pctrine Russia (from the 15th to the mid-18th centuries) and especially of the Petrine era from the late 17th to early 18th century. Throughout much of this time, the clergy evinced strong hostility towards logic. Nevertheless, a small number of academics and clerics such as Stefan Iavorskii and Fcofan Prokopovich kept Aristotelian logic alive during this period and provided the foundation for its development in the modern era.

I try to reconstruct how Frege thought to reconcile the cognitive value of arithmetic with its analytical nature. There is evidence in Frege's texts that the epistemological formulation of the context principle plays a decisive role; it provides a way of obtaining concepts which are truly fruitful and whose contents cannot be grasped beforehand. Taking the definitions presented in the Begriffsschrift,I shall illustrate how this schema is intended to work.

The Scottish logician Hugh MacColl is well known for his innovative contributions to modal and nonclassical logics. However, until now little biographical information has been available about his academic and cultural background, his personal and professional situation, and his position in the scientific community of the Victorian era. The present article reports on a number of recent findings.

This paper is the first in a two-part series in which we discuss several notions of completeness for systems of mathematical axioms, with special focus on their interrelations and historical origins in the development of the axiomatic method. We argue that, both from historical and logical points of view, higher-order logic is an appropriate framework for considering such notions, and we consider some open questions in higher-order axiomatics. In addition, we indicate how one can fruitfully extend the usual set-theoretic semantics (...) so as to shed new light on the relevant strengths and limits of higher-order logic. (shrink)

NEW ANALYTIC OF LOGICAL FORMS. THE main principle on which the new Analytic of Logical Forms proceeds is that of a thorough-going quantification of ...

SummaryThe germs of future development, contained in Aristotle's logical works, are indicated, and their influence on the later evolution of logic is explained.The history of symbolic logic since Boole's Mathematical analysis and De Morgan's Formal logic, both of which were published in 1847, is divided into four approximately subsequent phases, viz.:1. algebra of logic; this phase is characterized by Boole's work;2. logical foundation of mathematics; this phase is characterized by Frege's, Peano's and Russell's work, by the discovery of the antonomies (...) of logic and set theory, by the Couturat‐Poincaré debate and by the rise of Brouwer's intuitionism;3. intuitive metamathematics, concentrating in Hilbert's attempts towards a consistency proof for classical analysis; the discovery of Gödel's theorem necessitated a change of policy;4. axiomatic methodology, deriving from Hilbert's metamathematics and culminating so far in Tarski's semantics. — E. W. B. (shrink)

Sur le contenu et l’objet des représentations (1894) de Kazimierz Twardowski est un des textes les plus influents de la tradition autrichienne. Le manuscrit Logik (1894-1895) complète ce dernier et nous permet entre autres de reconstruire la théorie du jugement de Twardowski. Ces textes soulèvent plusieurs questions, en particulier si Twardowski acceptait les notions de propositions et d’etats de choses, et si sa théorie est acceptable. Cet article presente la théorie de Twardowski, montre qu’il acceptait les états de choses, qu’il (...) avait une notion de proposition et qu’il s’agit d’une theorie intéressante et raffinée.Twardowski’s On the Content and Object of Presentations (1894) is one of the most influential works that Austrian philosophy has lelt to posterity. The manuscript Logik (1894-1895) supplements that work and allows us to reconstruct Twardowski’s theory of judgement. These texts raise several issues, in particular whether Twardowski accepts propositions and states of affairs in his theory of judgement and whether his theory is acceptable. This article presents Twardowski’s theory, shows that he accepts states of affairs, that he has a notion of proposition, and that his theory is interesting and sophisticated. (shrink)

In several manuscripts, written between 1894 and 1897, Twardowski developed a new theory of judgement with two types of judgement: existential and relational judgements. In Zur Lehre he tried to stay within a Brentanian framework, although he introduced the distinction between content and object in the theory of judgement. The introduction of this distinction forced Twardowski to revise further Brentano'stheory.His changes concerned judgements about relations and about non-present objects. The latter are considered special cases of relational judgements. The existential judgements (...) are analysed in a Brentanian way; whereas relational judgements are analysed in a Brentanian way only as far as the act is concerned, but not when it comes to the object: the object of a relational judgement is a relationship. With this notion of relationship Twardowski comes close to introducing a concept of state of affairs for the object of (relational) judgements. (shrink)

Appropriate for upper-level undergraduates and graduate students, this volume includes a variety of Boole's writings on logical subjects, along with papers on related questions of probability. His earlier work, The Mathematical Analysis of Logic, appears here, together with an account of the notes Boole made on his own interleaved copy. In addition, the appendices contain relevant papers by contemporaries with whom the author engaged in discussion, making it possible to trace interesting developments in Boolean reasoning-particularly in regard to his extended (...) treatment of the relation between formal logic and the theory of probabilities. 1952 ed. (shrink)

The deductive system in Boole's Laws of Thought (LT) involves both an algebra, which we call proto-Boolean, and a "general method in Logic" making use of that algebra. Our object is to elucidate these two components of Boole's system, to prove his principal results, and to draw some conclusions not explicit in LT. We also discuss some examples of incoherence in LT; these mask the genius of Boole's design and account for much of the puzzled and disparaging commentary LT has (...) received. Our evaluation of Boole's logical system does not differ substantially from that advanced in Hailperin's exhaustive study, Boole's Logic and Probability. Unlike the latter work, however, we make direct use of the polynomials native to LT rather than appealing to formalisms such as multisets and rings. (shrink)

This paper augments Hailperin's substantial efforts to place Boole's algebra of logic on a solid footing. Namely Horn sentences are used to give a modern formulation of the principle that Boole adopted in 1854 as the foundation for his algebra of logic—we call this principle The Rule of 0 and 1.

John Stuart Mill's theory of meaning is presented and discussed.

Sir William Hamilton's theory of the quantification of the predicate is presented and discussed with reference to the contemporary debate on logic.

The paper discusses some changes in Bolzano's definition of mathematics attested in several quotations from the Beyträge, Wissenschaftslehre and Grössenlehre: is mathematics a theory of forms or a theory of quantities? Several issues that are maintained throughout Bolzano's works are distinguished from others that were accepted in the Beyträge and abandoned in the Grössenlehre. Changes are interpreted as a consequence of the new logical theory of truth introduced in the Wissenschaftslehre, but also as a consequence of the overcome of Kant's (...) terminology, and of the radicalization of Bolzano's anti‐Kantianism. Bolzano's evolution is understood as a coherent move, once the criticism expressed in the Beyträge on the notion of quantity is compared with a different and larger notion of quantity that Bolzano developed already in 1816. This discussion is enriched by the discovery that two unknown texts mentioned by Bolzano in the Beyträge can be identified with works by von Spaun and Vieth respectively. Bolzano's evolution is interpreted as a radicalization of the criticism of the Kantian definition of mathematics and as an effect of Bolzano's unaltered interest in the Leibnizian notion of mathesis universalis. As a conclusion, the author claims that Bolzano never abandoned his original idea of considering mathematics as a scientia universalis, i.e. as the science of quantities in general, and suggests that the question of ideal elements in mathematics, apart from being a main reason for the development of a new logical theory, can also be considered as a main reason for developing a different definition of quantity. (shrink)

Polynomizing is a term that intends to describe the uses of polynomial-like representations as a reasoning strategy and as a tool for scientific heuristics. I show how proof-theory and semantics for classical and several non-classical logics can be approached from this perspective, and discuss the assessment of this prospect, in particular to recover certain ideas of George Boole in unifying logic, algebra and the differential calculus.

Russell alleged that the version of the cosmological argument he debated with Copleston involved type confusions, but the definitions of plural descriptive functions and the ancestral in Principia Mathematica can be used to reformulate the argument in a type-safe way via a notion of causally self-sufficient classes. Although the argument depends on the assumption that the class of contingent things is not causally self-sufficient, if that assumption is weakened to say only that it may not be so, then a new (...) modalized version emerges which has similarities with recent ontological arguments but weaker and more intuitive assumptions. (Familiarity with Principia notation and conventions is presupposed throughout.). (shrink)