Henry M. Sheffer

Henry Maurice Sheffer [1]​ [2]​ (1 de septiembre de 1882 (Odessa, Rusia (ahora Ucrania))-17 de marzo de 1964 (Boston, Massachusetts, EE. UU.)) fue un lógico estadounidense.

Vida y carrera

Henry Maurice Sheffer fue un judío polaco nacido en el oeste de Ucrania, que emigró a Estados Unidos en 1892 con sus padres y seis hermanos. Estudió en la Boston Latin School antes de ingresar a la Universidad de Harvard, aprendió lógica de Josiah Royce y completó su licenciatura en 1905, su maestría en 1907 y su doctorado en filosofía en 1908.

Sheffer fue becario postdoctoral en Harvard y luego enseñó en la Universidad de Washington, Cornell, la Universidad de Minnesota, la Universidad de Missouri y el City College de Nueva York durante un año en cada una. En 1916, fue contratado por Harvard como profesor de filosofía, donde permaneció hasta su jubilación en 1952. Scanlan (2000) es un estudio de la vida y obra de Sheffer.

Sheffer demostró en 1913 que el álgebra booleana podía definirse utilizando una única operación binaria primitiva, "no ambos... y...", ahora abreviada NAND, o su dual NOR, (en el sentido de "ni... ni" ). Asimismo, el cálculo proposicional podría formularse utilizando un único conectivo, teniendo la tabla de verdad ya sea de la lógica NAND, generalmente simbolizada con una línea vertical llamada trazo de Sheffer [3]​, o de su doble lógica NOR (generalmente simbolizada con una flecha vertical o con una daga). símbolo). Charles Peirce también había descubierto estos hechos en 1880, pero el artículo relevante no se publicó hasta 1933. Sheffer también propuso axiomas formulados únicamente en términos de su trazo.

Sheffer introdujo lo que ahora se conoce como el derrame cerebral de Sheffer en 1913; se hizo muy conocido sólo después de su uso en la edición de 1925 de los Principia Mathematica de Whitehead y Russell. El descubrimiento de Sheffer obtuvo grandes elogios de Bertrand Russell, quien lo utilizó ampliamente para simplificar su propia lógica, en la segunda edición de sus Principia Mathematica. Debido a este comentario, Sheffer era una especie de hombre misterioso para los lógicos, especialmente porque Sheffer, que publicó poco en su carrera, nunca publicó los detalles de este método, solo lo describió en notas mimeografiadas y en un breve resumen publicado. La Lógica Matemática de W. V. Quine también dio mucha importancia al trazo de Sheffer.

Un conectivo de Sheffer, posteriormente, es cualquier conectivo en un sistema lógico que funciona de manera análoga: uno en términos del cual se pueden expresar todos los demás conectivos posibles en el lenguaje. Por ejemplo, también se han desarrollado para lógicas modales y cuantificacionales.

Véase también

Enlaces externos

Bibliografía

  1. Henry Maurice Sheffer (1891). Henry Maurice Sheffer Personal Archive [accessions] (en inglés). 
  2. Henry Maurice Sheffer (1908). A Programme of Philosophy, Based on Modern Logic (en inglés). Harvard University. 
  3. Henry Maurice Sheffer (1913). A Set of Five Independent Postulates for Boolean Algebras, with Application to Logical Constants (en inglés). Press of the New Era Printing Company. 
  4. Henry Maurice Sheffer (1921). The General Theory of Notational Relativity (en inglés). Harvard University. 
  5. Henry Maurice Sheffer (1923). Supplementary Logic Cases for Philosophy 1, 1923-24, Harvard University (en inglés). 
  6. Henry Maurice Sheffer (1924). Logic Cases, Logic Sources, Logic Outline for Philosophy 1, Harvard University (en inglés). p. 206. 
  7. Henry Maurice Sheffer (1925). Logic Cases and Logic Sources for Philosophy 1, Harvard University, 1925-26 (en inglés). p. 208. 
  8. Henry Maurice Sheffer (1925). Whitehead, Alfred North, and Russell, Bertrand.-Principia Mathematica (en inglés). Volume I. Cambridge University Press. 
  9. Henry Maurice Sheffer (1926). Notational Relativity (en inglés). p. 4. 
  10. Henry Maurice Sheffer (1926). Principia mathematica (en latín). 
  11. Henry Maurice Sheffer (1947). Quantifiers (en inglés). 
  12. Henry Maurice Sheffer; Paul Henle; Horace Meyer Kallen; Susanne Katherina Knauth Langer (1951). Structure, Method, and Meaning. Essays in Honor of Henry M. Sheffer ... Edited by Paul Henle, Horace M. Kallen, Susanne K. Langer. [With a Portrait.]. (en inglés). New York. 

Referencias

  1. ↑ Adrienne Dengerink Chaplin (2020). «4». The Philosophy of Susanne Langer (en inglés). Bloomsbury Publishing. p. 61. ISBN 9781350030589. 
  2. ↑ Kenneth Rosen (2012). «1.3». Discrete Maths and Its Applications Global (en inglés) (7e edición). McGraw-Hill Education. p. 32. ISBN 9780077151515. 
  3. ↑ Luis Angel Camacho Naranjo (2003). «11.4.6». Lògica Simbòlica Bàsica (2 edición). Editorial niversidad de Costa Rica. p. 63. ISBN 9789977677873.