History and Philosophy of Logic 33 (1):33 - 47 (2012)
Henry M. Sheffer is well known to logicians for the discovery (or rather, the rediscovery) of the ?Sheffer stroke? of propositional logic. But what else did Sheffer contribute to logic? He published very little, though he is known to have been carrying on a rather mysterious research program in logic; the only substantial result of this research was the unpublished monograph The General Theory of Notational Relativity. The main aim of this paper is to explain, as far as possible (given the scanty evidence), the nature of Sheffer's program, and the reasons for its failure. The paper concludes with a discussion of Sheffer's only true logical descendant, C.H. Langford, and his contributions to model theory
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
What Are Logical Notions?John Corcoran & Alfred Tarski - 1986 - History and Philosophy of Logic 7 (2):143-154.
Alfred Tarski, Life and Logic.Anita Burdman Feferman & Solomon Feferman - 2005 - Bulletin of Symbolic Logic 11 (4):535-540.
The Philosophy of W. V. Quine.Lewis Edwin Hahn & Paul Arthur Schilpp - 1989 - Philosophical Review 98 (2):242-247.
The Two-Valued Iterative Systems of Mathematical Logic.Emil Leon Post - 1941 - London: Oxford University PRess.
Citations of this work BETA
No citations found.
Similar books and articles
Sheffer's Criticism of Royce's Theory of Order.Michael Scanlan - 2010 - Transactions of the Charles S. Peirce Society 46 (2):178-201.
Ineffable Philosophies.Henry M. Sheffer - 1909 - Journal of Philosophy, Psychology and Scientific Methods 6 (5):123-129.
Henry Maurice Sheffer 1883-1964.W. V. Quine - 1964 - Proceedings and Addresses of the American Philosophical Association 38:103 - 104.
Equational Postulates for the Sheffer Stroke.C. A. Meredith - 1969 - Notre Dame Journal of Formal Logic 10 (3):266-270.
Direct Analogues of the Sheffer Stroke in $M$-Valued Logic.Norman M. Martin - 1976 - Notre Dame Journal of Formal Logic 17 (3):415-420.
A Reduction Procedure for Sheffer Stroke Formulas.Robert D. Carnes - 1969 - Notre Dame Journal of Formal Logic 10 (3):331-335.
Axiomatization of Propositional Calculus with Sheffer Functors.Thomas W. Scharle - 1965 - Notre Dame Journal of Formal Logic 6 (3):209-217.
The Determination of All Sheffer Functions in $3$-Valued Logic, Using a Logical Computer. [REVIEW]Eric Foxley - 1962 - Notre Dame Journal of Formal Logic 3 (1):41-50.
A Concise Method for Translating Propositional Formulae Containing the Standard Truth-Functional Connectives Into a Sheffer Stroke Equivalent; Plus an Extension of the Method.Ralph L. Slaght - 1974 - Notre Dame Journal of Formal Logic 15 (1):161-164.
The Sheffer Functions of 3-Valued Logic.Norman M. Martin - 1954 - Journal of Symbolic Logic 19 (1):45-51.
Concerning an Alleged Sheffer Function.Gerald J. Massey - 1975 - Notre Dame Journal of Formal Logic 16 (4):549-550.
An Intuitionistic Sheffer Function.Kosta Došen - 1985 - Notre Dame Journal of Formal Logic 26 (4):479-482.
Added to index2011-11-04
Total downloads32 ( #161,134 of 2,171,689 )
Recent downloads (6 months)2 ( #173,816 of 2,171,689 )
How can I increase my downloads?