Jean Nicod

Jean George Pierre Nicod (1 June 1893 – 16 February 1924) was a French philosopher and logician. He is primarily recognized for his significant contributions to formal logic, particularly in the area of propositional logic and induction. Nicod's main contribution to formal logic was demonstrating that the classical propositional calculus could be axiomatized using just one axiom, now known as Nicod's axiom, and a single rule of inference. Both of these were formulated using the Sheffer stroke as the sole logical connective. In the fields of inductive logic and confirmation theory, Nicod proposed what is known as Nicod's criterion. This principle states that a conditional hypothesis is confirmed by all and only its positive instances. This principle has played a crucial role in discussions surrounding Carl Hempel's raven paradox. Nicod's work laid important groundwork for later developments in logic and philosophy of science. He passed away at the young age of 30 due to tuberculosis.