Suchergebnisse

Chapter Introduction -- chapter 1 Logic as Objective Symbolistic -- chapter 2 The Logic of 1873 -- chapter 3 The Johns Hopkins Years -- chapter 4 How to Reason -- chapter 5 The Schrödifer Reviews and the Logical Graphs -- chapter 6 The Minute Logic -- chapter 7 The Syllabus -- chapter 8 Grammatica speculativa 1904-1908 -- chapter 9 Confines of Semiotics.

Abstract
The goal of this paper is a reassessment of Peirce's doctrine of symbol. The paper discusses a common reading of Peirce's doctrine, according to which all and only symbols are conventional signs. Against this reading, it is argued that neither are all Peircean symbols conventional, nor are all conventional signs Peircean symbols. Rather, a Peircean symbol is a general sign, i. e., a sign that represents a general object.

AbstractThis paper provides an analysis of the notational difference between Beta Existential Graphs, the graphical notation for quantificational logic invented by Charles S. Peirce at the end of the 19th century, and the ordinary notation of first-order logic. Peirce thought his graphs to be "more diagrammatic" than equivalently expressive languages (including his own algebras) for quantificational logic. The reason of this, he claimed, is that less room is afforded in Existential Graphs than in equivalently expressive languages for different ways of representing the same fact. The reason of this, in turn, is that Existential Graphs are a non-linear, occurrence-referential notation. As a non-linear notation, each graph corresponds to a class of logically equivalent but syntactically distinct sentences of the ordinary notation of first-order logic that are obtained by permuting those elements (sentential variables, predicate expressions, and quantifiers) that in the graphs lie in the same area. As an occurrence-referential notation, each Beta graph corresponds to a class of logically equivalent but syntactically distinct sentences of the ordinary notation of first-order logic in which the identity of reference of two or more variables is asserted. In brief, Peirce's graphs are more diagrammatic than the linear, type-referential notation of first-order logic because the function that translates the latter to the graphs does not define isomorphism between the two notations.