Lably
Skip to content

Jean Nicod

  • 2 min read
  • 3 chapters

Related on Lably

Through Philosophy, Logic and Propositional logic

Biography

Nicod's main contribution to formal logic was to show that classical propositional calculus could be axiomatized with only one axiom - which is now known as Nicod's axiom - and one rule of inference, both formulated using the Sheffer stroke as only connective. In inductive logic and confirmation theory, he famously proposed Nicod's criterion, according to which a conditional hypothesis is confirmed by all and only its positive instances. This principle plays a central role in the derivation of Carl Hempel's raven paradox.

Nicod died at the age of 30 from tuberculosis.

Sign in to keep reading

2 more chapters are free with a Lably account.

More in Neuroscience