Jean Nicod

from Wikipedia, the free encyclopedia

Jean George Pierre Nicod (* 1893 ; † February 16, 1924 ) was a French philosopher and logician.

He could show that the connectives of classical logic could be reduced solely to the connective of exclusion (Negatadjunktion) or rejection (Negatkonjunktion) as basic functions to assemble all truth functions.

Nicod introduced in 1917 following a work published by Henry Maurice Sheffer in 1913, the junction of exclusion as Sheffer's stroke "|". However, Charles Sanders Peirce was already known in 1880 for rejection and since 1902 for exclusion that linking two statements with just one connective is sufficient to define all the connective in the sense of classical logic . The dual form of the Sheffer's line is therefore also called the Nicodian function or Peircean junction , often also referred to as "|".

He also developed the Nicodian criterion .

Nicod died of tuberculosis at the age of 31 .

souvenir

The Jean Nicod Institute in Paris, which belongs to the Center national de la recherche scientifique (CNRS), is named after him.

In addition, his name is also associated with the Jean Nicod Prize , which is awarded annually in Paris to a philosopher in the field of philosophy of mind or to a philosophically oriented cognitive scientist.

Major works

  • 1917, A Reduction in the Number of Primitive Propositions of Logic. In: Proc. Cambridge Philos. Soc. 19 (1916-1919), pp. 32-41.
  • 1921, La géométrie des sensations de mouvement. In: Revue de métaphysique et de morale 28, pp. 537-543.
  • 1922, Les tendances philosophiques de M. Bertrand Russell. In: Revue de métaphysique et de morale 29, pp. 77–84.
  • 1922, Mathematical Logic and the Foundations of Mathematics. In: The Encyclopedia Britannica, Vol. 3, 12th Ed., Pp. 874-876.
  • 1923. The géométrie dans le monde sensible . Thèse, Univ. de Paris.
  • 1923. The problem of logic de induction . Thèse complémentaire, Univ. de Paris.
  • 1924. Les relations des valeurs et les relations de sens en logique formelle. In: Revue de métaphysique et de morale 31, pp. 467-480.
  • 1924, Freedom of Association and Trade Unionism. An Introductory Survey. In: International Labor Review 9, pp. 467-80.
  • 1930. Foundations of Geometry & Induction, Containing Geometry in a Sensible World and the Logical Problem of Induction . With prefaces by Bertrand Russell and André Lalande . London: Kegan Paul, Trench, Trubner & Co. New York: Harcourt, Brace & Co. Reprinted London: Routledge, 2000.

Web links