Henry M. Sheffer: Difference between revisions
added Category:Boston Latin School alumni using HotCat |
removed Category:1880s births; added Category:1882 births using HotCat |
||
(27 intermediate revisions by 23 users not shown) | |||
Line 1: | Line 1: | ||
{{Short description|American logician (1882–1964)}} |
|||
{{more footnotes|date=March 2013}} |
|||
'''Henry Maurice Sheffer''' ( |
'''Henry Maurice Sheffer''' (1 September 1882 – 17 March 1964)<ref name="oxfordindex">{{cite web|title=Henry Maurice Sheffer|url=http://oxfordindex.oup.com/view/10.1093/oi/authority.20110803100500625|website=Oxford Index|publisher=Oxford University Press|accessdate=25 November 2017|ref=oxfordindex}}</ref> was an American [[Mathematical logic|logician]]. |
||
==Life and career== |
==Life and career== |
||
Sheffer was a |
Sheffer was a Polish [[Jews|Jew]] born in the western [[Ukraine]], who immigrated to the USA in 1892 with his parents and six siblings. He studied at the [[Boston Latin School]] before entering [[Harvard University]], learning logic from [[Josiah Royce]], and completing his undergraduate degree in 1905, his master's in 1907, and his Ph.D. in philosophy in 1908. |
||
Sheffer was a postdoctoral fellow at Harvard, and then taught [[University of Washington]], [[Cornell]], the [[University of Minnesota]], the [[University of Missouri]], and [[City College of New York]] for one year each. In 1916, he was hired by Harvard as a philosophy professor, where he stayed until he retired in 1952. Scanlan (2000) is a study of Sheffer's life and work. |
|||
Sheffer proved in 1913 that [[ |
Sheffer proved in 1913 that [[Boolean algebra]] could be defined using a single primitive binary operation, "not both . . . and . . .", now abbreviated [[logical NAND|NAND]], or its dual [[logical NOR|NOR]], (in the sense of "neither . . . nor").<ref>Geoffrey Hunter, An Introduction to the Metatheory of Standard First-Order Logic, MacMillan, London and Basingstoke, 1971.</ref> Likewise, the [[propositional calculus]] could be formulated using a single connective, having the [[truth table]] either of the [[logical NAND]], usually symbolized with a vertical line called the [[Sheffer stroke]], or its dual [[logical NOR]] (usually symbolized with a vertical arrow or with a [[dagger (typography)|dagger]] symbol). [[Charles Sanders Peirce|Charles Peirce]] had also discovered these facts in 1880, but the relevant paper was not published until 1933. Sheffer also proposed axioms formulated solely in terms of his stroke.<ref>Henry Maurice Sheffer. A set of five independent postulates for Boolean algebras, with applications to logical constants, Transactions of the American Mathematical Society, volume 14, 1913, pages 481-488. Presented to the Society 13 December 1912.</ref> |
||
Sheffer introduced what is now known as the Sheffer stroke in 1913; it became well known only after its use in the 1925 edition of [[Alfred North Whitehead|Whitehead]] and [[Bertrand Russell|Russell's]] ''[[Principia Mathematica]]''. Sheffer's discovery won great praise from Bertrand Russell, who used it extensively to simplify his own logic, in the second edition of his ''Principia Mathematica''. Because of this comment, Sheffer was something of a mystery man to logicians, especially because Sheffer, who published little in his career, never published the details of this method, only describing it in mimeographed notes and in a brief published abstract. [[W. V. Quine]]'s ''Mathematical Logic'' also made much of the Sheffer stroke. |
Sheffer introduced what is now known as the Sheffer stroke in 1913; it became well known only after its use in the 1925 edition of [[Alfred North Whitehead|Whitehead]] and [[Bertrand Russell|Russell's]] ''[[Principia Mathematica]]''. Sheffer's discovery won great praise from Bertrand Russell, who used it extensively to simplify his own logic, in the second edition of his ''Principia Mathematica''. Because of this comment, Sheffer was something of a mystery man to logicians, especially because Sheffer, who published little in his career, never published the details of this method, only describing it in mimeographed notes and in a brief published abstract. [[W. V. Quine]]'s ''Mathematical Logic'' also made much of the Sheffer stroke. |
||
A [[Sheffer connective]], subsequently, is any connective in a [[logical system]] that functions analogously: one in terms of which all other possible connectives in the language can be expressed. For example, they have been developed for quantificational and modal logics as well.<ref>{{cite |
A [[Sheffer connective]], subsequently, is any connective in a [[logical system]] that functions analogously: one in terms of which all other possible connectives in the language can be expressed. For example, they have been developed for quantificational and [[modal logic|modal]] logics as well.<ref>{{cite journal |author = Robert B. Brandom |title= A binary Sheffer operator which does the work of quantifiers and sentential connectives |journal = Notre Dame Journal of Formal Logic |year = 1979 |volume = 20 |issue = 2 |publisher= [[Notre Dame J. Formal Logic]] |doi = 10.1305/ndjfl/1093882530 |doi-access = free }}</ref> |
||
Sheffer was a dedicated teacher of mathematical logic. He liked his classes to be small and did not like auditors. When strangers appeared in his classroom, Sheffer would order them to leave, even his colleagues or distinguished guests visiting Harvard. Sheffer was barely five feet tall; he was noted for his wit and vigor, as well as for his nervousness and irritability. Although widely liked, he was quite lonely. He is noted for a quip he spoke at his retirement: "Old professors never die, they just become emeriti." Sheffer is also credited with coining the term "Boolean algebra". Sheffer was briefly married and lived most of his later life in small rooms at a hotel packed with his logic books and vast files of slips of paper he used to jot down his ideas. Unfortunately, Sheffer suffered from severe depression during the last two decades of his life. |
|||
==Notes== |
==Notes== |
||
⚫ | |||
<references/> |
|||
⚫ | |||
==References== |
==References== |
||
{{reflist}} |
|||
⚫ | |||
⚫ | |||
{{Authority control}} |
{{Authority control}} |
||
{{DEFAULTSORT:Sheffer, Henry M.}} |
{{DEFAULTSORT:Sheffer, Henry M.}} |
||
[[Category: |
[[Category:1882 births]] |
||
[[Category:1964 deaths]] |
[[Category:1964 deaths]] |
||
[[Category:American people of Polish-Jewish descent]] |
[[Category:American people of Polish-Jewish descent]] |
||
[[Category:American people of Ukrainian-Jewish descent]] |
[[Category:American people of Ukrainian-Jewish descent]] |
||
[[Category: |
[[Category:Boston Latin School alumni]] |
||
[[Category:Harvard University alumni]] |
[[Category:Harvard University alumni]] |
||
[[Category:Harvard University faculty]] |
[[Category:Harvard University Department of Philosophy faculty]] |
||
[[Category:American logicians]] |
[[Category:American logicians]] |
||
[[Category:Ukrainian Jews]] |
[[Category:Ukrainian Jews]] |
||
[[Category: |
[[Category:Emigrants from Austria-Hungary to the United States]] |
||
[[Category:Jewish philosophers]] |
[[Category:Jewish philosophers]] |
||
[[Category:Boston Latin School alumni]] |
Latest revision as of 00:28, 26 March 2024
Henry Maurice Sheffer (1 September 1882 – 17 March 1964)[1] was an American logician.
Life and career
[edit]Sheffer was a Polish Jew born in the western Ukraine, who immigrated to the USA in 1892 with his parents and six siblings. He studied at the Boston Latin School before entering Harvard University, learning logic from Josiah Royce, and completing his undergraduate degree in 1905, his master's in 1907, and his Ph.D. in philosophy in 1908.
Sheffer was a postdoctoral fellow at Harvard, and then taught University of Washington, Cornell, the University of Minnesota, the University of Missouri, and City College of New York for one year each. In 1916, he was hired by Harvard as a philosophy professor, where he stayed until he retired in 1952. Scanlan (2000) is a study of Sheffer's life and work.
Sheffer proved in 1913 that Boolean algebra could be defined using a single primitive binary operation, "not both . . . and . . .", now abbreviated NAND, or its dual NOR, (in the sense of "neither . . . nor").[2] Likewise, the propositional calculus could be formulated using a single connective, having the truth table either of the logical NAND, usually symbolized with a vertical line called the Sheffer stroke, or its dual logical NOR (usually symbolized with a vertical arrow or with a dagger symbol). Charles Peirce had also discovered these facts in 1880, but the relevant paper was not published until 1933. Sheffer also proposed axioms formulated solely in terms of his stroke.[3]
Sheffer introduced what is now known as the Sheffer stroke in 1913; it became well known only after its use in the 1925 edition of Whitehead and Russell's Principia Mathematica. Sheffer's discovery won great praise from Bertrand Russell, who used it extensively to simplify his own logic, in the second edition of his Principia Mathematica. Because of this comment, Sheffer was something of a mystery man to logicians, especially because Sheffer, who published little in his career, never published the details of this method, only describing it in mimeographed notes and in a brief published abstract. W. V. Quine's Mathematical Logic also made much of the Sheffer stroke.
A Sheffer connective, subsequently, is any connective in a logical system that functions analogously: one in terms of which all other possible connectives in the language can be expressed. For example, they have been developed for quantificational and modal logics as well.[4]
Notes
[edit]- Scanlan, Michael, 2000, "The Known and Unknown H. M. Sheffer," The Transactions of the C.S. Peirce Society 36: 193–224.
- Rosen, Kenneth, 2005, "Discrete Mathematics and its Applications" The Foundations: Logic and Proofs 1: 28.
References
[edit]- ^ "Henry Maurice Sheffer". Oxford Index. Oxford University Press. Retrieved 25 November 2017.
- ^ Geoffrey Hunter, An Introduction to the Metatheory of Standard First-Order Logic, MacMillan, London and Basingstoke, 1971.
- ^ Henry Maurice Sheffer. A set of five independent postulates for Boolean algebras, with applications to logical constants, Transactions of the American Mathematical Society, volume 14, 1913, pages 481-488. Presented to the Society 13 December 1912.
- ^ Robert B. Brandom (1979). "A binary Sheffer operator which does the work of quantifiers and sentential connectives". Notre Dame Journal of Formal Logic. 20 (2). Notre Dame J. Formal Logic. doi:10.1305/ndjfl/1093882530.
- 1882 births
- 1964 deaths
- American people of Polish-Jewish descent
- American people of Ukrainian-Jewish descent
- Boston Latin School alumni
- Harvard University alumni
- Harvard University Department of Philosophy faculty
- American logicians
- Ukrainian Jews
- Emigrants from Austria-Hungary to the United States
- Jewish philosophers