David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jonathan Jenkins Ichikawa
Jack Alan Reynolds
Learn more about PhilPapers
History and Philosophy of Logic 33 (1):33 - 47 (2011)
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)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
John Corcoran & Alfred Tarski (1986). What Are Logical Notions? History and Philosophy of Logic 7 (2):143-154.
Clarence Irving Lewis (1959). Symbolic Logic. [New York]Dover Publications.
Anita Burdman Feferman & Solomon Feferman (2005). Alfred Tarski, Life and Logic. Bulletin of Symbolic Logic 11 (4):535-540.
Lewis Edwin Hahn & Paul Arthur Schilpp (1989). The Philosophy of W. V. Quine. Philosophical Review 98 (2):242-247.
Emil Leon Post (1941). The Two-Valued Iterative Systems of Mathematical Logic. London, H. Milford, Oxford University Press.
Citations of this work BETA
No citations found.
Similar books and articles
Michael Scanlan (2010). Sheffer's Criticism of Royce's Theory of Order. Transactions of the Charles S. Peirce Society 46 (2):178-201.
Henry M. Sheffer (1909). Ineffable Philosophies. Journal of Philosophy, Psychology and Scientific Methods 6 (5):123-129.
W. V. Quine (1964). Henry Maurice Sheffer 1883-1964. Proceedings and Addresses of the American Philosophical Association 38:103 - 104.
C. A. Meredith (1969). Equational Postulates for the Sheffer Stroke. Notre Dame Journal of Formal Logic 10 (3):266-270.
Norman M. Martin (1976). Direct Analogues of the Sheffer Stroke in $M$-Valued Logic. Notre Dame Journal of Formal Logic 17 (3):415-420.
Robert D. Carnes (1969). A Reduction Procedure for Sheffer Stroke Formulas. Notre Dame Journal of Formal Logic 10 (3):331-335.
Thomas W. Scharle (1965). Axiomatization of Propositional Calculus with Sheffer Functors. Notre Dame Journal of Formal Logic 6 (3):209-217.
Eric Foxley (1962). The Determination of All Sheffer Functions in $3$-Valued Logic, Using a Logical Computer. [REVIEW] Notre Dame Journal of Formal Logic 3 (1):41-50.
Sven Ove Hansson (2009). Replacement—a Sheffer Stroke for Belief Change. Journal of Philosophical Logic 38 (2):127 - 149.
Ralph L. Slaght (1974). A Concise Method for Translating Propositional Formulae Containing the Standard Truth-Functional Connectives Into a Sheffer Stroke Equivalent; Plus an Extension of the Method. Notre Dame Journal of Formal Logic 15 (1):161-164.
Norman M. Martin (1954). The Sheffer Functions of 3-Valued Logic. Journal of Symbolic Logic 19 (1):45-51.
Paul Henle (1951). Structure, Method, and Meaning. New York, Liberal Arts Press.
Gerald J. Massey (1975). Concerning an Alleged Sheffer Function. Notre Dame Journal of Formal Logic 16 (4):549-550.
Kosta Došen (1985). An Intuitionistic Sheffer Function. Notre Dame Journal of Formal Logic 26 (4):479-482.
V. Tejera (1961). Professor Sheffer's Question. Philosophy and Phenomenological Research 21 (4):558-562.
Added to index2011-11-04
Total downloads30 ( #139,332 of 1,934,371 )
Recent downloads (6 months)2 ( #269,537 of 1,934,371 )
How can I increase my downloads?