Henry Maurice Sheffer


Quick Info

Born
1 September 1882
Odessa, Russia (now Ukraine)
Died
17 March 1964
Boston, Massachusetts, USA

Summary
Henry Sheffer was a mathematical logician who introduced what is now called the NAND operator which lies at the basis of the entire computer industry. He showed that all logical operators can be derived from a single one, NAND.

Biography

Henry Sheffer was the son of Max Sheffer (born about 1859) and Ida Hirshberg (1862-1942). Max and Ida were married in 1881 and they had nine children, seven of whom survived. The family were Jewish and their spoken language was Yiddish. Henry's six surviving siblings were Rose (born about 1889 in Russia), Mary (born about 1890 in Russia), Meyer (born 26 December 1894 in Boston, died 1981), Sadie (born 26 October 1896 in Boston, died 10 June 1987), William (born about 1898 in Boston), and Isadore Mitchell (born 14 October 1901 in Boston). Let us remark that Isadore Mitchell Sheffer, who died 20 April 1992, became a mathematician with a Ph.D. from Harvard University in 1927 with George Birkhoff as his advisor; he became a professor of mathematics at Pennsylvania State University.

The members of the family who were born in Russia did not all emigrate to the United States at the same time. Max entered first in 1891, while his wife and children followed two years later: official forms show that Ida, Mary, Henry, and Rose entered in 1893. The 1893 voyage was on the ship California which sailed from Rotterdam in August 1893.

We note that many Jewish families emigrated from Odessa and the surrounding area in the second half of the 19th century to try to find a better life away from anti-Jewish agitation and attacks. The government did nothing to protect the Jewish population, so many felt they had no alternative but to emigrate. The way that the Sheffer family left, in that the husband would leave first and set up things in their chosen country, followed by the rest of the family a couple of years later, was fairly typical.

Arriving in Boston in 1893, Henry quickly prepared for schooling, and entered the Eliot grammar school [15]:-
His aptness in all matters educational soon attracted the attention of the teachers, and young Sheffer succeeded in attaining enough knowledge to pass the entrance examinations to the Boston Latin school.
The Boston Latin School is one of the most prestigious secondary schools in America established in 1635. We note that Sheffer was the only member of his family to attend the school. The headmaster at this time was Moses Merrill (headmaster from 1871 to 1901) and Sheffer studied the standard course of education offered by the Latin School at that time, namely English, Latin, Greek, French, science, mathematics and classical history. Susanne Langer writes [10]:-
With amazing agility young Henry fitted himself into the new educational system, caught up to his schoolmates in the subjects they had laboriously learned in their four previous grades, and in due time found his place in the Boston Latin School. An extraordinary ear for language seems to have helped him over the newcomer's most formidable barrier, the strange tongue. His linguistic talent was evident throughout his life. He spoke English without any foreign accent, though with a New England "a" and "r" which reflected the sources of his learning. The thorough training in Latin and Greek that the famous Boston Latin School provided, as well as some ability to read Hebrew which he owed to his grandfather in Russia (according to his mother, he wrote poems in Hebrew before he was ten years old), made a solid foundation for the acquisition of modern languages, French, German and Italian as well as English. This man without any literary pretensions had a great and accurate command of the tongue he had made his own, so that his lectures and his few brief writings had a rare style and dignity, befitting the nature of his thought.
The article in the Boston Daily Morning Post from June 1901 [15] tells us more of Sheffer's success at the Boston Latin School:-
Like many successful predecessors, Henry Sheffer picked up a goodly knowledge of the world while selling newspapers. He always attracted customers by his brightness and gentlemanly manners, and soon he had established a very good business. Upon his admission to the Boston Latin school he devoted even more time to his studies, and so persevering was he that in three years he has succeeded in finishing the regular six years' course. This in itself is a remarkable distinction for one so young, but he has also commanded the respect and envy of his classmates by winning the Derby prize at the Latin school for the best original essay in Latin. For this young Sheffer was presented with a gold medal. He also received the following highest prizes at the award of prizes at the school building last Wednesday [29 May 1901]: For excellence in classics; For exemplary conduct and punctuality; and For the best written exercise. This bright youth will be graduated from the Latin School this month and is assured of his entrance into Harvard University. He has already passed the Harvard preliminary examinations, doing so with much honour last June. He will take the final examinations this month, entering the university in the fall. He hopes to complete the four years' course in the three years.
In the autumn of 1901, Sheffer entered Harvard University. While he was an undergraduate student, he became a citizen of the United States of America completing the necessary form on 1 August 1904. His application was supported by Hyman Morrison and Robert Silverman. Hyman Morrison (1881-1963) was a Jewish student at Harvard University who, like Sheffer, was born in Russia and had emigrated to the United States in 1894. Morrison went on to have a prestigious medical career. Robert Silverman was an active Zionist law student at Boston University who was also born in Russia and emigrated to the United States in 1893.

Sheffer was awarded a B.A. in 1905 and continued to work towards his Master's Degree. He was awarded an M.A. in 1907 and then undertook research for a doctorate advised by Josiah Royce (1855-1916). Even before the award of his M.A., in 1906, he was appointed as an assistant to Josiah Royce. Although Sheffer did not agree with Royce's metaphysical views, nevertheless, Royce had been making a deep study of mathematical logic following criticism of his use of logic by Charles S Peirce. Sheffer, who approached philosophy in a scientific and mathematical way, was very much in tune with Royce's recent enthusiasm for symbolic logic. His thesis was entitled A Program of Philosophy based on Modern Logic and he was examined in 1908 by the committee consisting of Josiah Royce, Edwin B Holt, and Edward V Huntington. Michael Scanlan writes in [18]:-
Henry Sheffer's 1908 Harvard Ph.D. thesis contains an interesting appendix on a central feature of the logical work of his thesis advisor, Josiah Royce. This is the claim in Royce's 1905 article "The Relations of the Principles of Logic to the Foundations of Geometry" that an unsymmetric ordering relation can be defined on the single symmetric O-relation for which he gives postulates in that paper. Sheffer criticises Royce's specific definition from the point of view of the evolving twentieth century conception of axiomatic method and also shows more generally that an unsymmetric order relation cannot be defined in the system of the 1905 paper based on the O-relation.
We note that the confidence that Sheffer has at this stage in his career, in giving an appendix showing a major error by his thesis advisor who, of course, was also an examiner of the thesis. In 1909 he published the paper Ineffable Philosophies where again we see his approach to philosophy:-
That the method of philosophy is that of logic, of articulate thought, and of a corresponding coherent formulation, no one, philosophers will say, has ever doubted. The fact is, however, that reputable philosophers have, in practise, often shown themselves blind to this elementary requirement. Many a philosopher might as well have called his work a work of art, a lyric poem, or an unfinished drama, as to have called it a philosophic system. For many a system-builder has forgotten the simple truth that although various things in life are neither coherent nor articulate, philosophy can not be one of those things.
Following the award of his doctorate, he won a Sheldon Traveling Fellowship to fund two years of study in Europe. On 18 April 1910 he applied for a passport to make his European trip. The application contains a nice description of Sheffer: age 27; height 5ft 2 in; forehead high; eyes brown; nose straight; mouth medium; chin square; hair brown; complexion light; face long. His first European visit was to be to Bertrand Russell at the University of Cambridge, England, and Royce had written to Russell on 29 June 1910 saying, "we have, in America, no more promising research student of the new logic than Sheffer is." Russell had just published the article Mathematical Logic as Based on the Theory of Types (1908) and Sheffer attended Russell's 'Mathematical Philosophy' lectures in the Michaelmas term. After visiting Russell, Sheffer travelled to Göttingen, Germany visiting David Hilbert before going on to Italy where Giuseppe Peano was about to give a course on 'The New Mathematical Logic'. Later in his career, when one of his students asked how he managed to understand lectures in Italy, he replied (see [10]):-
Professor Peano was very considerate, and conducted the seminar in French for most of the first term, until I could speak Italian.
While on his travels he met and had discussions with, in addition to those mentioned above, Gottlob Frege, Cesare Burali-Forti, Alessandro Padoa and others.

Back in the United States by the autumn of 1911 he began a series of one year appointments: 1911-12, Instructor in Philosophy and Psychology at the University of Washington, in Seattle; 1912-13, Lecturer in Mathematical Logic at Cornell; 1913-14, Instructor in Philosophy and Psychology at the University of Minnesota; 1914-15, in Philosophy at the University of Missouri; 1915-16, at City College in New York; 1916-17, at the University of Michigan. Sheffer had just started his one year appointment at the University of Michigan when Josiah Royce died on 14 September 1916. Harvard Philosophy Department asked Sheffer to return there as a temporary instructor to help cover their teaching commitments and he took up this position in the winter of 1917. We note the uncomfortable fact that, since Sheffer was Jewish, Harvard University insisted his salary should be provided by outside sources. Before taking up the position, in June 1917, he married Adele Blonden who was 12 years younger than her husband.

For details of Sheffer's difficult marriage, see THIS LINK.

By this time Sheffer had already published the ideas for which he is now most famous. These ideas are contained in Total determinations of deductive systems with special reference to the algebra of logic (1910); A set of postulates for Boolean algebra (1913), and A set of five independent postulates for Boolean algebras, with application to logical constants (1913). These three were all published by the American Mathematical Society, the first two are abstracts in the Bulletin of lectures Sheffer gave to the Society, the third is a paper in the Proceedings. These contain the now famous "Sheffer stroke". Sheffer [17]:-
... is well-known as the discoverer of the eponymous "Sheffer stroke", a binary truth-functional operator with which any truth-functional operator can be defined. This was presented in his 1913 paper, "A Set of Five Independent Postulates for Boolean Algebras, with application to logical constants". As the title indicates, Sheffer's stroke operator was not originally developed by him in the context of truth-functional logic, but to use in postulate sets for Boolean Algebra. This idea could be applied to the propositional logic of 'Principia Mathematica', and Sheffer does this by giving definitions of the "primitive ideas" of negation and disjunction using his stroke with the interpretation of "pqp | q" as "neither p nor q".
Bertrand Meyer writes [13]:-
[Sheffer] was not very prolific, but his introduction of (what is now called) the NAND operator can be said to lie at the basis of the entire computer industry! He showed that all logical operators can be derived from a single one, NAND.
We note that in fact Sheffer's stroke was discovered by Charles Sanders Peirce in 1880 and is in an unpublished manuscript of this date and another dated 1902. This, however, only came to light long after Sheffer's 1913 publication. In fact, the discovery of C S Peirce's 1880 manuscript was made by Paul Weiss in the autumn of 1926 in a basket labelled "to be discarded."

Bertrand Russell was impressed by Sheffer's introduction of the Sheffer stroke and when he revised Principia Mathematica for a second edition he skilfully integrated the stroke into the work. Wittgenstein made extensive use of the Sheffer stroke in his Tractatus, but does not give credit to Sheffer (in fact he gives no sources) but Russell in his Introduction to the Tractatus gives full credit to Sheffer.

Despite these strong endorsements of Sheffer's work, he remained an instructor at Harvard for ten years. It is hard to tell exactly why this was the case as a number of different factors played a part but these factors are not independent. One factor was undoubtedly the fact that Sheffer was Jewish. William Ernest Hocking (1873-1966) was the Professor of Philosophy at Harvard and Abbott Lawrence Lowell (1856-1943) was President of the University. Lowell wrote to Hocking, who had already proposed ways to eliminate "undesirable Jews", suggesting that a limit be put on the number of Jewish students claiming that their numbers would cause Protestants to leave and thus "ruin the College." Although no limits on Jews were agreed, selecting students not only for their academic abilities but also for their "character and personality" was brought in as a new admission policy by Harvard in 1922. It was seen by many as a way of limiting the number of Jewish students and the general anti-Semitic atmosphere must have affected Sheffer. When talking with Karl Menger in 1930, Sheffer spoke of his "serious social difficulties at Harvard" and the importance of Russell's support, given the speed with which gossip spreads in universities.

Sheffer had other problems relating to his health. He suffered from episodes of severe depression. Although the following description by Morton White in [3] relates to an episode in 1948, it illustrates Sheffer's problems:-
Henry Aiken was also very fond of Sheffer and would go to his room in the old Ambassador Hotel just to sit there with the poor man while he sat with his face to a wall and groaned loudly. I vividly remember this groaning on a day when I went to lunch with Sheffer and Lewis while Sheffer was ill. Lewis, who was familiar with the ways of his almost lifelong friend, paid no attention to Sheffer's peculiar noises throughout the meal and kept up a conversation with me alone. It was clear to Lewis that Sheffer wanted merely to be with people and not talk to them during these episodes.
In addition, he had serious problems with his marriage as detailed in [8]. Of course it is impossible to say whether his depression caused marriage difficulties and social problems or whether marriage difficulties and anti-Semitism caused (or at least added to) his depression. His other major difficulty regarding promotion was his lack of papers. Most of his publications are abstracts of lectures or reviews of other works. Again, perhaps his depression and other difficulties made it hard for him to write papers, but perhaps there was pressure on him to publish which added to his difficulties.

In 1927, after ten years as an instructor, Sheffer was promoted to assistant professor. This seems to have been the result of a serious breakdown by Sheffer and the consequent realisation by the philosophy department of how valuable he was as a teacher. Also an important factor was a memorandum by A N Whitehead dated 23 January 1927 in which he wrote [2]:-
Symbolic Logic, as the general theory of structure, has been generalized to its utmost extent by Dr Sheffer. He has not only enunciated the general principles, but achieved the far more difficult task of making substantial progress in constructing the ground work of the science. ... In the department of philosophy at Harvard, Mr Sheffer has been notably successful in exciting interest among those students with aptitude for this study.
Now it is clear that the philosophy department supported Sheffer while the university administration was hostile for his promotion to assistant lecturer in 1927 and to associate professor two years later, were both funded by the philosophy department and not from university funds. He was promoted to full professor in 1938 and continued in that role until he retired in 1952.

Felix Frankfurter write in [7]:-
The essays which make up this book have been written in honour of Henry Maurice Sheffer. The colleagues, pupils, and friends who contribute them do so, not in order to signalize any special occasion, such as a birthday but in spontaneous acknowledgment of the comrade's qualities of mind and heart. All his life Professor Sheffer has been a kind, quiet, sensitive man, burdened with responsibilities that only an unusually firm will and courageous spirit could sustain. The conditions under which he has done his work in his chosen fields have been arduous, the handicaps as severe as any philosopher has known. Nevertheless, although he has published little, he has created greatly, and all of his work has been seminal, and may become, like that of Charles Peirce, the guidelines for new ways of thinking among a later generation. Upon the present one, his impact comes, as did that of Socrates, in his face-to-face relations with his pupils. Not a few have built elaborate systems upon aperçus, and by means of techniques, they have drawn from him. A notable philosopher who was a pupil of his describes his teaching as a unique experience. "All the energy that most of us divide between teaching and writing he put into his courses alone. All his research went straight across the seminar table ... to his students. I remember one day when he said to us: 'Today I want to talk without interruption because this is a new theory I am just working out, and if you weren't here I'd be talking to the wall. I'd rather talk to people. I'm tired of the wall. But please be just as quiet as the wall, and if I have to write and erase a few things before I really expound them, just give me time.' We did, and he worked out before our eyes the reduction of a complex relational statement to the "shorthand" form in which it appears as the attribution of a property to a term; leaving us to draw, if we would, the moral for metaphysics."
Other references to Sheffer as a person include the following from Morton White [3]:-
He was an extremely sweet man, and very generous to me when I came there. He would often invite me out to lunch ... and reminisce charmingly about Royce, James, Santayana, and his friend Morris Cohen.
Karl Menger visited him in 1930 and wrote afterwards:-
Of the Harvard philosophers, the one I saw most frequently was Henry Maurice Sheffer, a very personable and likeable man. On hikes in the beautiful surroundings of Cambridge we had long, if inconclusive, talks about philosophy. Does logic describe correct thinking and what is correct thinking anyway? Or is logic simply the grammar of the particles not, and, all, etc? Is it a coincidence that practically all languages agree in the use of the logical particles?
Willard Van Quine writes [16]:-
Scarcely five feet tall, Sheffer was vehement, irritable, witty, unpretentious, and amiable. He kept his classes small and would seldom admit an unenrolled auditor, but if he thought a student was seriously interested in logic, he was generous with his help. ... Many philosophers got their first view of modern logic from Shaffer, and many found it inspiring.
Sheffer died at Beth Israel Hospital in Boston at the age of 80 and was buried at the Jewish Congregation Chai Odom cemetery in West Roxbury, Massachusetts. His wife Adele predeceased him on 13 August 1961.


References (show)

  1. A D Chaplin, The Philosophy of Susanne Langer: Embodied Meaning in Logic, Art and Feeling (Bloomsbury Publishing, 2019).
  2. F Frankfurter, P Henle, H M Kallen and S K Langer (eds.) Structure, Method and Meaning (The Liberal Arts Press, New York, 1951).
  3. M White, A Philosopher's Story (Pennsylvania State University Press, University, 1999).
  4. I H Anellis, Sheffer, Henry Maurice (1882-1964), in John R Shook (ed.), The Bloomsbury Encyclopedia of Philosophers in America: From 1600 to the Present (Bloomsbury Publishing, 2016), 874-876.
  5. A Church, Review: Quantifiers, by Henry M Sheffer, The Journal of Symbolic Logic 13 (1) (1948), 54-55.
  6. L S Feuer, Recollections of Harry Austryn Wolfson, American Jewish Archives (April 1076), 25-50.
  7. F Frankfurter, Foreword, in Felix Frankfurter, Paul Henle, Horace M Kallen and Susanne K Langer (eds.) Structure, Method and Meaning (The Liberal Arts Press, New York, 1951), ix-xi.
  8. I Johnson, Tenacious Ties of the Unhappy College Professor, San Antonio Light (San Antonio Texas) (16 February 1947), 14.
  9. H M Kallen, Preface, in Felix Frankfurter, Paul Henle, Horace M Kallen and Susanne K Langer (eds.) Structure, Method and Meaning (The Liberal Arts Press, New York, 1951), v-vii.
  10. S K Langer, Henry M Sheffer, 1883-1964, Philosophy and Phenomenological Research 25 (2) (1964), 305-307.
  11. O Makridis, The Sheffer Stroke, Internet Encyclopedia of Philosophy.
    https://www.iep.utm.edu/sheffers/
  12. K Menger, Reminiscences of the Vienna Circle and the Mathematical Colloquium (Springer Science & Business Media, 2013), 159-161.
  13. B Meyer, Personal Communication (6 July 2020).
  14. Prof Henry M Sheffer, 80, Long on Harvard's Faculty, New York Times (18 March 1964).
  15. Proved a Bright Pupil, Boston Daily Morning Post (3 June 1901), 2.
  16. W V Quine, Henry Maurice Sheffer, Proceedings and Addresses of the American Philosophical Association, 1964-1965 38 (1964-1965), 103-104.
  17. M Scanlan, The Known and Unknown H M Sheffer, Transactions of the Charles S Peirce Society 36 (2) (2000), 193-224.
  18. M Scanlan, Sheffer's Criticism of Royce's Theory of Order, Transactions of the Charles S Peirce Society 46 (2) (2010), 178-201.
  19. H M Sheffer, Henry M Sheffer: a bibliography, in Felix Frankfurter, Paul Henle, Horace M Kallen and Susanne K Langer (eds.) Structure, Method and Meaning (The Liberal Arts Press, New York, 1951), xv-xvi.
  20. H M Sheffer, A Set of Five Independent Postulates for Boolean Algebras, with Application to Logical Constants, Transactions of the American Mathematical Society 14 (4) (1913), 481-488.
  21. Sheffer, Henry Maurice, in John R Shook (ed.), The Dictionary of Modern American Philosophers (Oxford University Press, 2005).
  22. A Urquhart, Henry M Sheffer and Notational Relativity, History and Philosophy of Logic 33 (1) (2012), 33-47.

Additional Resources (show)

Other pages about Henry Sheffer:

  1. Henry Sheffer - Unhappy College Professor

Cross-references (show)