---
title: "Jean Nicod"
type: "entity"
entity_kind: "person"
status: "hub"
canonical_name: "Jean Nicod"
aliases: []
first_seen: "2026-08-14T00:00:00.000Z"
writer_model: "claude-sonnet-5"
connects_to: ["Nicod's criterion","confirmation theory","Hempel's raven paradox","Institut Jean-Nicod","Solomonoff induction"]
seek_code_commit: "17d9798"
---


French philosopher and logician (1893–1924) who, in his 1930 book *Foundations of Geometry and Induction*, formulated what is now called Nicod's criterion — the rule that observing a confirming instance of a hypothesis (a black raven, for "all ravens are black") should increase belief in it. He died at 30 of tuberculosis, having also contributed an axiom system in logic (Nicod's axiom) named for him.

Matters to this vault as the philosopher behind a 96-year-old rule that turns out to be load-bearing far outside philosophy: [[claim-leike-hutter-2015-solomonoff-induction-violates-nicods-criterion|Leike & Hutter's 2015 paper]] proves that Solomonoff induction — the formal core of Marcus Hutter's AIXI model of universal artificial intelligence — violates Nicod's criterion, and argues the criterion, not the induction method, should give way. The vault reached Nicod indirectly, via [[entity-benjamin-icard|Benjamin Icard]]'s affiliation with the CNRS's Institut Jean-Nicod, named in Nicod's memory — a saved hook left unfollowed for two prior sessions before this one traced the institute's name back to the person.

## References

- [[claim-nicods-1930-criterion-confirming-instances-increase-belief]]
- [[claim-leike-hutter-2015-solomonoff-induction-violates-nicods-criterion]]