Symbolic logic faced great difficulties in its early stage of development in order to acquire recognition of its utility for the needs of science and society. The aim of this paper is to discuss an early attempt by the British logician Lewis Carroll (1832–1898) to promote symbolic logic as a social good. This examination is achieved in three phases: first, Carroll’s belief in the social utility of logic, broadly understood, is demonstrated by his numerous interventions to fight fallacious reasoning in (...) public debates. Then, Carroll’s attempts to promote symbolic logic, specifically, are revealed through his work on a treatise that would make the subject accessible to a wide and young audience. Finally, it is argued that Carroll’s ideal of logic as a common good influenced the logical methods he invented and allowed him to tackle more efficiently some problems that resisted to early symbolic logicians. (shrink)

Peirce considered the principal business of logic to be the analysis of reasoning. He argued that the diagrammatic system of Existential Graphs, which he had invented in 1896, carries the logical analysis of reasoning to the furthest point possible. The present paper investigates the analytic virtues of the Alpha part of the system, which corresponds to the sentential calculus. We examine Peirce’s proposal that the relation of illation is the primitive relation of logic and defend the view that this idea (...) constitutes the fundamental motive of philosophy of notation both in algebraic and graphical logic. We explain how in his algebras and graphs Peirce arrived at a unifying notation for logical constants that represent both truth-function and scope. Finally, we show that Shin’s argument for multiple readings of Alpha graphs is circular. (shrink)

Journal Name: Semiotica - Journal of the International Association for Semiotic Studies / Revue de l'Association Internationale de Sémiotique Volume: 2013 Issue: 196 Pages: 139-161.

In this article I bring to light a group of scientific and philosophical ideas and intellectual currents from the early era of the significs movement, contemporaneous with the origins of early analytic philosophy. Significs was a strong candidate for the science of language, meaning, and communication during the new century. Its heyday coincided with the forums of the Vienna Circle, yet its intellectual and cultural climate persisted until fading in the turmoil of the mid-century's analytic thought.

Well over a century after its introduction, Frege's two-dimensional Begriffsschrift notation is still considered mainly a curiosity that stands out more for its clumsiness than anything else. This paper focuses mainly on the propositional fragment of the Begriffsschrift, because it embodies the characteristic features that distinguish it from other expressively equivalent notations. In the first part, I argue for the perspicuity and readability of the Begriffsschrift by discussing several idiosyncrasies of the notation, which allow an easy conversion of logically equivalent (...) formulas, and presenting the notation's close connection to syntax trees. In the second part, Frege's considerations regarding the design principles underlying the Begriffsschrift are presented. Frege was quite explicit about these in his replies to early criticisms and unfavorable comparisons with Boole's notation for propositional logic. This discussion reveals that the Begriffsschrift is in fact a well thought-out and carefully crafted notation that intentionally exploits the possibilities afforded by the two-dimensional medium of writing like none other. (shrink)

The theory of existential graphs, which Peirce ultimately divided into four quadrants , is a rich method of analysis in the philosophy of logic. Its $$\upbeta $$ β -part boasts a diagrammatic theory of quantification, which by 1902 Peirce had used in the logical analysis of natural-language expressions such as complex donkey-type anaphora, quantificational patterns describing new mathematical concepts, and cognitive information processing. In the $$\upbeta $$ β -quadrant, he came close to inventing independence-friendly logic, the idea of which he (...) found indispensable in fulfilling the tasks –. (shrink)

The notion of scope as it relates to a model of logical form is discussed. The inability of the accepted definition of scope to account for the contrast between priority scope - the logical priority of different quantifiers & other logical notions via rule ordering - & binding scope - the identification of the connection between variables of quantification & a particular quantifier - is demonstrated. The semantic ambiguity of this dichotomy of scope is explored via examination of donkey sentences. (...) A formal representation of this dichotomy is suggested. The government-binding approach & principle of compositionality that handle scope relations via the logical form is rejected due to the complexity of the mechanism by which syntactic form results in logical forms. A discourse representational approach is also rejected. It is concluded that the interaction of syntax & semantics is instead better represented by a game-theoretical treatment of scope & anaphora. 26 References. T. Rosenberg. (shrink)

It is well-known that by 1882, Peirce, influenced by Cayley’s, Clifford’s and Sylvester’s works on algebraic invariants and by the chemical analogy, had already achieved something like a diagrammatic treatment of quantificational logic of relatives. The details of that discovery and its implications to some wider issues in logical theory merit further investigation, however. This paper provides a reconstruction of the genesis of Peirce’s logical graphs from the early 1880s until 1896, covering the period of time during which he already (...) was acquainted with the works of his Johns Hopkins colleagues on the mathematical theory of graphs and was reaching the very first forms of his theory and method of... (shrink)

In 1898 C. S. Peirce declares that the medieval doctrine of consequences had been the starting point of his logical investigations in the 1860s. This paper shows that Peirce studied the scholastic theory of consequentiae as early as 1866–67, that he adopted the scholastics’ terminology, and that that theory constituted a source of logical doctrine that sustained Peirce for a lifetime of creative and original work.

BEFORE Frege’s Begriffsschrift, propositional logic was submerged in the often murky theory of the "hypothetical syllogism." With the exception of the Stoa, a handful of astute mediaeval logicians, Leibniz, and Bolzano, one might well obtain the impression from studying the history of logic that Frege created his theory ex nihilo—which is substantially true, since Frege was apparently little influenced by previous work. One might also obtain the impression, especially by reading Frege himself, that very little was being done on propositional (...) logic in the 19th century. This claim would be false. As one might expect from a philosopher who is sometimes grouped with Frege and De Morgan as one of the greatest nineteenth century logicians, Charles S. Peirce dealt extensively with propositional logic, or as he would have called it, with the theory of the hypothetical syllogism. (shrink)

We briefly overview some of the historical landmarks on the path leading to the reduction of the number of logical connectives in classical logic. Relying on the duality inherent in Boolean algebras, we introduce a new operator ( Nallor ) that is the dual of Schönfinkel’s operator. We outline the proof that this operator by itself is sufficient to define all the connectives and operators of classical first-order logic ( Fol ). Having scrutinized the proof, we pinpoint the theorems of (...) Fol that are needed in the proof. Using the insights gained from the proof, we show that there are four binary operators that each can serve as the only undefined logical constant for Fol . Finally, we show that from every n -ary connective that yields a functionally complete singleton set of connectives two Schönfinkel-type operators are definable, and all the latter are so definable. (shrink)

The present study of sense and reference in the logic of Frege represents the first fruits of several years of dealing with the work of this great German logician. In the preparation of this work, which was presented as a dissertation to the Faculty of Philosophy of the Friedrich-Alexander University in Erlangen/Nuremberg, assistance came from many quarters. lowe most to Professor R. Zocher, who directed this dissertation with understanding counsel and unflagging interest. I must also thank Professor P. Lorenzen, whose (...) courses and seminars provided more inspiration than might be immediately apparent in the book. Professor W. Britzelmayr of Munich was so kind as to provide copies of important fragments of Frege's works. These texts are reproduced with the permission of Professor H. Hermes, Director of the 'Institut fUr mathematische Logik und Grund lagenforschung' in Munster, where Frege's works and letters are being prepared for publication. The preparation of this work was greatly facilitated by a two-year grant from the Fritz Thyssen Foundation. CHRISTIAN THIEL Nuremberg, February 1965 v TRANSLATOR'S NOTE In the difficult matter of Fregean terminology we have taken Ignacio Angelelli's translation of Two Soviet Studies on Frege as the model. Both Professor Angelelli and Dr. Thiel have been so kind as to read over the translation before publication. (shrink)

AN INVESTIGATION OF THE LAWS OF THOUGHT. CHAPTER I. NATURE AND DESIGN OF THIS WORK. . HPHE design of the following treatise is to investigate the ...

This is a discussion of a three-valued logic in Peirce's writings.