In this book, T. L. Short corrects widespread misconceptions of Peirce's theory of signs and demonstrates its relevance to contemporary analytic philosophy of language, mind and science. Peirce's theory of mind, naturalistic but nonreductive, bears on debates of Fodor and Millikan, among others. His theory of inquiry avoids foundationalism and subjectivism, while his account of reference anticipated views of Kripke and Putnam. Peirce's realism falls between 'internal' and 'metaphysical' realism and is more satisfactory than either. His pragmatism is not verificationism; (...) rather, it identifies meaning with potential growth of knowledge. Short distinguishes Peirce's mature theory of signs from his better-known but paradoxical early theory. He develops the mature theory systematically on the basis of Peirce's phenomenological categories and concept of final causation. The latter is distinguished from recent and similar views, such as Brandon's, and is shown to be grounded in forms of explanation adopted in modern science. (shrink)

Peirce's determination to understand matter, the cosmos, and "the grand design" of the universe remain relevant for contemporary students of science, technology, and symbolic logic.

1 INTRODUCTION Above the other titles he might justly have claimed, Charles S. Peirce prized the title 'logician'. He expressed in several places his ...

Peirce discusses the nature and structure of propositions in several manuscripts written in the 1890’s and during the first decade of this century. In this paper I shall outline the main features of Peirce’s theory of the proposition, especially his account of what may be called indeterminate indices in propositions.

This article investigates Charles Peirce’s development of logical calculi for classical propositional logic in 1880–1896. Peirce’s 1880 work on the algebra of logic resulted in a successful calculus for Boolean algebra. This calculus, denoted byPC, is here presented as a sequent calculus and not as a natural deduction system. It is shown that Peirce’s aim was to presentPCas a sequent calculus. The law of distributivity, which Peirce states in 1880, is proved using Peirce’s Rule, which is a residuation, inPC. The (...) transitional systems of the algebra of the copula that Peirce develops since 1880 paved the way to the 1896 graphical system of the alpha graphs. It is shown how the rules of the alpha system reinterpret Boolean algebras, answering Peirce’s statement that logical graphs supply a new system of fundamental assumptions to logical algebra. A proof-theoretic analysis is given for the connection betweenPCand the alpha system. (shrink)

Ethics and jurisprudence are liable to the remark in common with logic. Almost every writer having taken a different view of some of the particulars which ...

: This paper discusses the American scientist and philosopher Charles S. Peirce's (1839–1914) classification of the sciences from the contemporary perspective of interdisciplinary studies. Three theses are defended: (1) Studies on interdisciplinarity pertain to the intermediate class of Peirce's classification of all science, the sciences of review (retrospective science), ranking below the sciences of discovery (heuretic sciences) and above practical science (the arts). (2) Scientific research methods adopted by interdisciplinary inquiries are cross-categorial. Making them converge to an increasing extent with (...) the sciences of discovery, especially the methodeutic of normative logic, is one of the future challenges for studies on interdisciplinarity. (3) The overall structure of Peirce's classification, were it to be applied in today's situation, would not, in any major respect, be radically different from what it was designed to reflect a hundred years ago, in spite of the virtually exponential creation and production of new domains and the massive increase in investment in research and scientific publication. Accordingly, charges that the sciences of discovery are becoming ever more fragmented are not new. (shrink)

Charles Peirce’s alpha system \ is reformulated into a deep inference system where the rules are given in terms of deep graphical structures and each rule has its symmetrical rule in the system. The proof analysis of \ is given in terms of two embedding theorems: the system \ and Brünnler’s deep inference system for classical propositional logic can be embedded into each other; and the system \ and Gentzen sequent calculus \ can be embedded into each other.

C.S. Peirce, the American philosopher and a principal figure in the development of the modern study of semiotics, struggled, mostly during his later years, to work out a systematic method for classifying sciences. By doing this, he hoped to define more clearly the various tasks of these sciences by showing how their individual effects are interrelated and how these effects, considered in their interrelations, establish pragmatic meanings for each individual science. Much of his work was centered on the meaning and (...) function of logic in relation to other areas of human knowledge. By rightly defining the work of logic, Peirce argued, the work of the other sciences could be pursued with more rigorous reasoning. Beverley Kent closely examines the published and unpublished writings of Peirce and carefully attends to the chronological development of his systems of classification; she thereby shows for the first time in the scholarly literature how seeming contradictions in Peirce's evolving classification are really part of an increasingly clear position. Logic, Peirce came to understand, is actually dependent on ethics and aesthetics for its principles. Kent shows how Peirce's working out of the classification of logic in relation to other sciences is a clue to the significant differences between his early and late philosophy and, perhaps even more important, to a reading of his more general claims for a philosophy of "pragmaticism." This work will be of interest to readers of Peirce and American philosophy, to historians of logic and semiotics, and to those more generally interested in the history of systems of knowledge-classification. (shrink)

We describe Peirce’s 1903 system of modal gamma graphs, its transformation rules of inference, and the interpretation of the broken-cut modal operator. We show that Peirce proposed the normality rule in his gamma system. We then show how various normal modal logics arise from Peirce’s assumptions concerning the broken-cut notation. By developing an algebraic semantics we establish the completeness of fifteen modal logics of gamma graphs. We show that, besides logical necessity and possibility, Peirce proposed an epistemic interpretation of the (...) broken-cut modality, and that he was led to analyze constructions of knowledge in the style of epistemic logic. (shrink)

Peirce aspired for the completeness of his logic cum the theory of signs in his 1903 Lowell Lectures and other late manuscripts. Semeiotic completeness states that everything that is a consequence in logical critic is derivable in speculative grammar. The present paper exposes the reasons why Peirce would fall short of establishing semeiotic completeness and thus why he would not continue seeking a perfect match between the theories of grammar and critic. Some alternative notions are then proposed.

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain (...) in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

This volume represents an important contribution to Peirce’s work in mathematics and formal logic. An internationally recognized group of scholars explores and extends understandings of Peirce’s most advanced work. The stimulating depth and originality of Peirce’s thought and the continuing relevance of his ideas are brought out by this major book.

Peirce introduced Existential Graphs in late 1896, and they were systematically investigated in his 1903 Lowell Lectures. Alpha graphs for classical propositional logic constitute the first part of EGs. The second and the third parts are the beta graphs for first-order logic and the gamma graphs for modal and higher-order logics, among others. As a logical syntax, EGs are two-dimensional graphs, or diagrams, in contrast to the linear algebraic notations. Peirce's theory of EGs is not only a theory of logical (...) syntax but also a proof theory for many logics. A set of transformation rules of graphs defines a proof system for a graphical logic. In this... (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)

The following two articles comprise two sets of Charles Peirce’s manuscripts, “Recent Developments of Existential Graphs and their Consequences for Logic” (MS 498, MS 499, MS 490 & S-36, 1906) and “Assurance through Reasoning” (MS 669 & MS 670, 1911), written for the National Academy of Sciences meetings in 1906 and 1911. The papers are deposited at Houghton Library, Harvard University. Only some parts of MS 470 have been published before, and in somewhat defective form. Although “Assurance” follows “Recent Developments” (...) chronologically, given the expository style of the former it is recommended to be read before “Recent Developments”. As the title indicates, in the latter Peirce goes on to describe his latest discoveries concerning the method and the logic of existential graphs. The transcription reproduces all significant deletions that appear in the original sheets. Editorial comments and additions are given in brackets. [Alt.:] means the beginning of an alternative sequence. [Del. (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)

Charles Peirce's theory of proper names is intimately connected to a number of central topics in contemporary philosophy of language and logic. Several papers have appeared in the past in which Peirce's theory of names has been attested to be a precursor of the causal-historical theory of reference.2 The causal-historical theory in turn has customarily been pigeonholed as the 'new' theories of reference that have been emerging since the 1950s (Devitt 1981; Donellan 1966; Kripke 1980; Marcus 1950; Putnam 1973). Among (...) those who have seen Peirce as such a precursor of the new theory of reference are DiLeo (1997), Hilpinen (1995), Maddalena (2006), Pape (1987), and Thibaud (1987). Related recent publications on the .. (shrink)

Expressively equivalent logical languages can enunciate logical notions in notationally diversified ways. Frege’s Begriffsschrift, Peirce’s Existential Graphs, and the notations presented by Wittgenstein in the Tractatus all express the sentential fragment of classical logic, each in its own way. In what sense do expressively equivalent notations differ? According to recent interpretations, Begriffsschrift and Existential Graphs differ from other logical notations because they are capable of “multiple readings.” We refute this interpretation by showing that there are at least three different kinds (...) of such multiple readings. While readings of the first kind do not capture any essential difference among notations but only among vocabularies, corresponding to readings of the second and the third kind two general parameters according to which notations may differ are defined: linearity vs. non-linearity, and tabularity vs. non-tabularity. This answers the question of how there can be substantially different but expressively equivalent logical notations. (shrink)

_Peirce’s Speculative Grammar: Logic as Semiotics _offers a comprehensive, philologically accurate, and exegetically ambitious developmental account of Peirce’s theory of speculative grammar. The book traces the evolution of Peirce’s grammatical writings from his early research on the classification of arguments in the 1860s up to the complex semiotic taxonomies elaborated in the first decade of the twentieth century. It will be of interest to academic specialists working on Peirce, the history of American philosophy and pragmatism, the philosophy of language, the (...) history of logic, and semiotics. (shrink)

Peirce discusses the nature and structure of propositions in several manuscripts written in the 1890’s and during the first decade of this century. In this paper I shall outline the main features of Peirce’s theory of the proposition, especially his account of what may be called indeterminate indices in propositions.