Jean Nicod
Jean George Pierre Nicod (* 1893, † February 16, 1924 ) was a French philosopher and logician.
He was able to show that the connectives of classical logic alone to the exclusion of the connective ( Negatadjunktion ) or rejection ( Negatkonjunktion ) could be reduced as the basic functions to reassemble all truth functions.
Nicod introduced in 1917 following a 1913 by Henry Maurice Sheffer published work the connective of exclusion as Shefferschen line "| " a. That the linking of two statements with only one connective sufficient to define all logical connectives in the sense of classical logic, however, was Charles Sanders Peirce known for the rejection in 1880, for the exclusion since 1902. The dual form of the Shefferschen stroke is therefore also called Nicodsche function or Piercescher connective, often also with | called " ".
He also developed the Nicodsche criterion.
Nicod died at the age of 31 from tuberculosis.
Memory
The Institute Jean Nicod in Paris, part of the Centre national de la recherche scientifique (CNRS ), is named after him.
In addition, his name is also connected to 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.