Atlas of Thinkers
ThinkersAtlasTimelineWorksBlog

Explore

Compare

Two thinkers, side by side

Life

Portrait of Saul Kripke
Saul Kripke

1940 CE – 2022 CE

LogicianAnalyticAmerican

Born Omaha

A teenager in Omaha who had already mastered set theory and Wittgenstein, he grew up to argue that names don't describe things, they just point at them — in this world and in every possible world besides.

Portrait of Gottlob Frege
Gottlob Frege

1848 CE – 1925 CE

AnalyticLogicianModernGerman

Born Wismar

He invented modern logic and analytic philosophy in a small German university town, and almost no one noticed for twenty years.

Connection

Gottlob Frege descriptivism directly challenged Saul Kripke — Kripke's Naming and Necessity mounted a sustained direct challenge to Frege's theory that a proper name is shorthand for a cluster of descriptions, proposing rigid designation as an alternative that reshaped the philosophy of language.

Ideas

The Problem of UniversalsBeing
ReasonLogos

Words

“A rigid designator designates the same object in every possible world in which that object exists.”

— Saul Kripke

“Identity statements between names, when true, are necessarily true, even though one might not know it a priori.”

— Saul Kripke

“Never let us take a description of the origin of an idea for a definition, or an account of the mental conditions on which we become conscious of a proposition for a proof of it.”

— Gottlob Frege

Key Moments

1959

Publishes a landmark logic paper as a teenager

1970

Delivers the Naming and Necessity lectures

1874

Forty years at Jena

June 1902

Russell's paradox destroys the Basic Laws

Works

Naming and Necessity

The Foundations of Arithmetic

Atlas of Thinkers

A story-first philosophy atlas. Explore history's greatest thinkers through place, time, movement, and ideas.

Explore

  • Thinkers
  • Atlas
  • Works

Browse

  • Concepts
  • Volumes

About

  • About the Atlas
  • Image Credits

Volume I · Ancient Greece · 624-262 BCE