Charles Sanders Peirce was an American philosopher, logician, mathematician and scientist who is sometimes known as "the father of pragmatism".
In Boolean functions and propositional calculus, the Sheffer stroke denotes a logical operation that is equivalent to the negation of the conjunction operation, expressed in ordinary language as "not both". It is also called nand or the alternative denial, since it says in effect that at least one of its operands is false. In digital electronics, it corresponds to the NAND gate. It is named after Henry M. Sheffer and written as ↑ or as |. In Bocheński notation it can be written as Dpq.
Classical logic is the intensively studied and most widely used class of deductive logic. Classical logic has had much influence on analytic philosophy.
"Pragmaticism" is a term used by Charles Sanders Peirce for his pragmatic philosophy starting in 1905, in order to distance himself and it from pragmatism, the original name, which had been used in a manner he did not approve of in the "literary journals". Peirce in 1905 announced his coinage "pragmaticism", saying that it was "ugly enough to be safe from kidnappers". Today, outside of philosophy, "pragmatism" is often taken to refer to a compromise of aims or principles, even a ruthless search for mercenary advantage. Peirce gave other or more specific reasons for the distinction in a surviving draft letter that year and in later writings. Peirce's pragmatism, that is, pragmaticism, differed in Peirce's view from other pragmatisms by its commitments to the spirit of strict logic, the immutability of truth, the reality of infinity, and the difference between (1) actively willing to control thought, to doubt, to weigh reasons, and (2) willing not to exert the will, willing to believe. In his view his pragmatism is, strictly speaking, not itself a whole philosophy, but instead a general method for the clarification of ideas. He first publicly formulated his pragmatism as an aspect of scientific logic along with principles of statistics and modes of inference in his "Illustrations of the Logic of Science" series of articles in 1877-8.
A conceptual graph (CG) is a formalism for knowledge representation. In the first published paper on CGs, John F. Sowa used them to represent the conceptual schemas used in database systems. The first book on CGs applied them to a wide range of topics in artificial intelligence, computer science, and cognitive science.
In semiotics, a sign is anything that communicates a meaning that is not the sign itself to the interpreter of the sign. The meaning can be intentional, as when a word is uttered with a specific meaning, or unintentional, as when a symptom is taken as a sign of a particular medical condition. Signs can communicate through any of the senses, visual, auditory, tactile, olfactory, or taste.
Laws of Form is a book by G. Spencer-Brown, published in 1969, that straddles the boundary between mathematics and philosophy. LoF describes three distinct logical systems:
In mathematical logic, a proof calculus or a proof system is built to prove statements.
An existential graph is a type of diagrammatic or visual notation for logical expressions, proposed by Charles Sanders Peirce, who wrote on graphical logic as early as 1882, and continued to develop the method until his death in 1914.
A logical graph is a special type of diagrammatic structure in any one of several systems of graphical syntax that Charles Sanders Peirce developed for logic.
This Charles Sanders Peirce bibliography consolidates numerous references to the writings of Charles Sanders Peirce, including letters, manuscripts, publications, and Nachlass. For an extensive chronological list of Peirce's works, see the Chronologische Übersicht on the Schriften (Writings) page for Charles Sanders Peirce.
Diagrammatic reasoning is reasoning by means of visual representations. The study of diagrammatic reasoning is about the understanding of concepts and ideas, visualized with the use of diagrams and imagery instead of by linguistic or algebraic means.
Charles Sanders Peirce began writing on semiotics, which he also called semeiotics, meaning the philosophical study of signs, in the 1860s, around the time that he devised his system of three categories. During the 20th century, the term "semiotics" was adopted to cover all tendencies of sign researches, including Ferdinand de Saussure's semiology, which began in linguistics as a completely separate tradition.
On May 14, 1867, the 27–year-old Charles Sanders Peirce, who eventually founded pragmatism, presented a paper entitled "On a New List of Categories" to the American Academy of Arts and Sciences. Among other things, this paper outlined a theory of predication involving three universal categories that Peirce continued to apply in philosophy and elsewhere for the rest of his life. The categories demonstrate and concentrate the pattern seen in "How to Make Our Ideas Clear", and other three-way distinctions in Peirce's work.
The type–token distinction is the difference between naming a class (type) of objects and naming the individual instances (tokens) of that class. Since each type may be exemplified by multiple tokens, there are generally more tokens than types of an object. For example, the sentence "A rose is a rose is a rose" contains three word types: three word tokens of the type a, three word tokens of the type rose, and two word tokens of the type is. The distinction is important in disciplines such as logic, linguistics, metalogic, typography, and computer programming.
Charles Santiago Sanders Peirce was the adopted name of Charles Sanders Peirce, an American philosopher, logician, mathematician, and scientist. Peirce's name appeared in print as "Charles Santiago Peirce" as early as 1890. Starting in 1906 he used "Santiago" in many of his own articles. There is no well-documented explanation of why Peirce adopted the middle name "Santiago" but speculations and beliefs of contemporaries and scholars focused on his gratitude to his old friend William James and more recently on Peirce's second wife Juliette.
Diagrammatology is the academic study of diagrams. It studies fundamental role played by the diagram in the communication and creation of knowledge. Diagrammatology is not only an interdisciplinary subject, but pan-historical and cross-cultural.
In logic, a quantifier is an operator that specifies how many individuals in the domain of discourse satisfy an open formula. For instance, the universal quantifier in the first order formula expresses that everything in the domain satisfies the property denoted by . On the other hand, the existential quantifier in the formula expresses that there exists something in the domain which satisfies that property. A formula where a quantifier takes widest scope is called a quantified formula. A quantified formula must contain a bound variable and a subformula specifying a property of the referent of that variable.
Kenneth Laine Ketner is an American philosopher. He is Paul Whitfield Horn Professor, Charles Sanders Peirce Interdisciplinary Professor and Director of Institute for Studies in Pragmaticism, Texas Tech University.
