Hempel's dilemma¶

Hempel's dilemma is a question first asked (at least on record) by the philosopher Carl Hempel in 1969.

Version: v1 · 2026-09-28 · History
Domain-specific #: 9836
Domain group: Humanities
Origin domain: Philosophy
Subdomains: Philosophy of Mind, Physicalism → Philosophy

Core Idea¶

Hempel's dilemma is treated here as the recurring social_sciences_humanities_arts identity summarized by this source-grounded definition: Hempel's dilemma is a question first asked (at least on record) by the philosopher Carl Hempel in 1969.

Hempel's dilemma is a question first asked (at least on record) by the philosopher Carl Hempel in 1969. It has relevance to naturalism and physicalism in philosophy, and to philosophy of mind. The dilemma questions how the language of physics can be used to accurately describe existence, given that it relies on imperfect human linguistics, or as Hempel stated: "The thesis of physicalism would seem to require a language in which a true theory of all physical phenomena can be formulated.

But it is quite unclear what is to be understood here by a physical phenomenon, especially in the context of a doctrine that has taken a determinedly linguistic turn.". Physicalism, in at least one rough sense, is the claim that the entire world may be described and explained using the laws of nature, in other words, that all phenomena are natural phenomena. In effect, physicalism by this second account becomes the circular claim that all phenomena are explicable in terms of physics because physics properly defined is whatever explains all phenomena.

For Hempel's dilemma, the abstraction is narrower than the article's general subject matter: a positive case must preserve Hempel's dilemma is a question first asked (at least on record) by the philosopher Carl Hempel in 1969. Retaining only the name, a familiar example, or a downstream effect is insufficient. The specialist roles and tests remain anchored in social_sciences_humanities_arts, which is why this identity is domain-specific rather than prime.

Structural Signature¶

Sig role-phrases:

Defining carrier — On the one hand, we may define the physical as whatever is currently explained by our best physical theories, e.g., quantum mechanics, general relativity.
Constitutive relation — In effect, physicalism by this second account becomes the circular claim that all phenomena are explicable in terms of physics because physics properly defined is whatever explains all phenomena.
Operating condition — Beenakker has proposed to resolve Hempel's dilemma with the definition: "The boundary between physics and metaphysics is the boundary between what can and what cannot be computed in the age of the universe".
Recognition evidence — This leaves open the question of what is 'natural' (in physicalism 'natural' means procedural, causally coherent or all effects have particular causes regardless of human knowledge [like physics] and interpretation and it also means 'ontological reality' and not just a hypothesis or a calculational technique), but one common understanding of the claim is that everything in the world is ultimately explicable in the terms of physics.
Admissible variation — Hempel's dilemma is relevant to philosophy of mind because explanations of issues such as consciousness, representation, and intentionality are very hard to come by using current physics, although many people in philosophy (and other fields such as cognitive science, psychology, and neuroscience) hold to physicalism.
Characteristic consequence — Hempel's dilemma is a question first asked (at least on record) by the philosopher Carl Hempel in 1969.
Failure boundary — But it is quite unclear what is to be understood here by a physical phenomenon, especially in the context of a doctrine that has taken a determinedly linguistic turn.".

What It Is Not¶

Not the whole field of social_sciences_humanities_arts. The node requires the specific identity stated by Hempel's dilemma is a question first asked (at least on record) by the philosopher Carl Hempel in 1969.
Not an over-broad reading. However, this type of physicalism in its turn leaves open the question of what we are to consider as the proper terms of physics.
Not an over-broad reading. This leaves open the question of what is 'natural' (in physicalism 'natural' means procedural, causally coherent or all effects have particular causes regardless of human knowledge [like physics] and interpretation and it also means 'ontological reality' and not just a hypothesis or a calculational technique), but one common understanding of the claim is that everything in the world is ultimately explicable in the terms of physics.
Not an over-broad reading. Physicalism, in at least one rough sense, is the claim that the entire world may be described and explained using the laws of nature, in other words, that all phenomena are natural phenomena.
Not automatically Hempel's Paradox. Retrieval proximity does not establish equivalence; the two identities must be compared by carrier, operation, and failure boundary.

Scope of Application¶

Hempel's dilemma applies literally inside social_sciences_humanities_arts wherever the source-defined carrier and relation can be established. Its documented habitats include:

Documented setting. The dilemma questions how the language of physics can be used to accurately describe existence, given that it relies on imperfect human linguistics, or as Hempel stated: "The thesis of physicalism would seem to require a language in which a true theory of all physical phenomena can be formulated.
Overview. Physicalism, in at least one rough sense, is the claim that the entire world may be described and explained using the laws of nature, in other words, that all phenomena are natural phenomena.
Overview. However, this type of physicalism in its turn leaves open the question of what we are to consider as the proper terms of physics.
Overview. There seem to be two options here, and these options form the horns of Hempel's dilemma, because neither seems satisfactory.
Overview. On the one hand, we may define the physical as whatever is currently explained by our best physical theories, e.g., quantum mechanics, general relativity.
Overview. Though many would find this definition unsatisfactory, some would accept that we have at least a general understanding of the physical based on these theories, and can use them to assess what is physical and what is not.

Outside social_sciences_humanities_arts, the name should be retained only when these same operational conditions survive; otherwise the comparison belongs to the broader parent Pattern or should be marked as analogy.

Clarity¶

A clear use of Hempel's dilemma names the carrier, the operative relation, and the conditions under which the source treats the identity as present. The minimal definition is Hempel's dilemma is a question first asked (at least on record) by the philosopher Carl Hempel in 1969. The strongest recognition evidence in the frozen account is: This leaves open the question of what is 'natural' (in physicalism 'natural' means procedural, causally coherent or all effects have particular causes regardless of human knowledge [like physics] and interpretation and it also means 'ontological reality' and not just a hypothesis or a calculational technique), but one common understanding of the claim is that everything in the world is ultimately explicable in the terms of physics. A report should distinguish that evidence from a proxy, consequence, or common implementation. It should also state the qualification However, this type of physicalism in its turn leaves open the question of what we are to consider as the proper terms of physics. so that a reader can reproduce the classification rather than infer it from topical resemblance.

Manages Complexity¶

Hempel's dilemma compresses multiple social_sciences_humanities_arts details into a stable diagnostic relation. The source shows both the central mechanism—in effect, physicalism by this second account becomes the circular claim that all phenomena are explicable in terms of physics because physics properly defined is whatever explains all phenomena.—and the practical consequence—hempel's dilemma is a question first asked (at least on record) by the philosopher Carl Hempel in 1969. This compression makes cases comparable while leaving parameters, conventions, exceptions, and evidential quality explicit. It is lossy by design: local history and implementation details may be omitted only when they do not alter the defining relation.

Abstract Reasoning¶

Type the carrier. Identify the social_sciences_humanities_arts entities to which the claim applies.
State the relation. Use the source-grounded identity: Hempel's dilemma is a question first asked (at least on record) by the philosopher Carl Hempel in 1969.
Check operation and conditions. Beenakker has proposed to resolve Hempel's dilemma with the definition: "The boundary between physics and metaphysics is the boundary between what can and what cannot be computed in the age of the universe".
Demand recognition evidence. This leaves open the question of what is 'natural' (in physicalism 'natural' means procedural, causally coherent or all effects have particular causes regardless of human knowledge [like physics] and interpretation and it also means 'ontological reality' and not just a hypothesis or a calculational technique), but one common understanding of the claim is that everything in the world is ultimately explicable in the terms of physics.
Test variation. Change an implementation or setting while preserving hempel's dilemma is relevant to philosophy of mind because explanations of issues such as consciousness, representation, and intentionality are very hard to come by using current physics, although many people in philosophy (and other fields such as cognitive science, psychology, and neuroscience) hold to physicalism.
Run the collapse test. Remove the defining operation; if the label still seems equally apt, only a topic or correlate was retained.
Reduce cautiously. When the specialist conditions cannot be carried, route the residual comparison to Pattern.

Knowledge Transfer¶

Within the home domain. Knowledge about Hempel's dilemma transfers literally when a new case preserves the same carrier type, relation, and recognition test. The dilemma questions how the language of physics can be used to accurately describe existence, given that it relies on imperfect human linguistics, or as Hempel stated: "The thesis of physicalism would seem to require a language in which a true theory of all physical phenomena can be formulated. Physicalism, in at least one rough sense, is the claim that the entire world may be described and explained using the laws of nature, in other words, that all phenomena are natural phenomena.

Beyond the home domain. No canonical parent is asserted for Hempel's dilemma. An outside case receives the specialist name only when the same typed roles and rejection conditions can be filled literally; otherwise the comparison remains an analogy pending later graph densification.

Examples¶

Canonical¶

On the one hand, we may define the physical as whatever is currently explained by our best physical theories, e.g., quantum mechanics, general relativity. This case is canonical because it supplies a concrete carrier and lets the defining relation be checked rather than merely named.

Mapped back: carrier → the entities in the documented case; operation → Hempel's dilemma is a question first asked (at least on record) by the philosopher Carl Hempel in 1969; recognition evidence → This leaves open the question of what is 'natural' (in physicalism 'natural' means procedural, causally coherent or all effects have particular causes regardless of human knowledge [like physics] and interpretation and it also means 'ontological reality' and not just a hypothesis or a calculational technique), but one common understanding of the claim is that everything in the world is ultimately explicable in the terms of physics

Applied / In Practice¶

Hempel's dilemma is relevant to philosophy of mind because explanations of issues such as consciousness, representation, and intentionality are very hard to come by using current physics, although many people in philosophy (and other fields such as cognitive science, psychology, and neuroscience) hold to physicalism. The applied case shows how the identity is used under a second setting or qualification while keeping the same operative relation.

Mapped back: changed setting → Overview; invariant → Hempel's dilemma is a question first asked (at least on record) by the philosopher Carl Hempel in 1969; boundary → the case exits the class when however, this type of physicalism in its turn leaves open the question of what we are to consider as the proper terms of physics

Structural Tensions¶

T1 — Stable identity versus admissible variation. However, this type of physicalism in its turn leaves open the question of what we are to consider as the proper terms of physics. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Which changes preserve the defining relation, and which replace it?

T2 — Recognition versus proxy. This leaves open the question of what is 'natural' (in physicalism 'natural' means procedural, causally coherent or all effects have particular causes regardless of human knowledge [like physics] and interpretation and it also means 'ontological reality' and not just a hypothesis or a calculational technique), but one common understanding of the claim is that everything in the world is ultimately explicable in the terms of physics. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Does the cited evidence establish the identity or only a correlated sign?

T3 — Definition versus implementation. Physicalism, in at least one rough sense, is the claim that the entire world may be described and explained using the laws of nature, in other words, that all phenomena are natural phenomena. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Is the observed implementation constitutive, optional, or merely common?

T4 — Scope versus overextension. There seem to be two options here, and these options form the horns of Hempel's dilemma, because neither seems satisfactory. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Can every claimed application fill the same typed roles without metaphor?

T5 — Transfer versus domain accent. On the one hand, we may define the physical as whatever is currently explained by our best physical theories, e.g., quantum mechanics, general relativity. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Does the receiving case instantiate Hempel's dilemma literally, co-instantiate Pattern, or only resemble it?

T6 — Autonomy versus reduction. In effect, physicalism by this second account becomes the circular claim that all phenomena are explicable in terms of physics because physics properly defined is whatever explains all phenomena. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: What does Hempel's dilemma distinguish that the broader parent Pattern leaves together?

Structural–Framed Character¶

Hempel's dilemma is mixed or framed-leaning. Its structural side is the repeatable organization summarized by Hempel's dilemma is a question first asked (at least on record) by the philosopher Carl Hempel in 1969. Its framed side is the social_sciences_humanities_arts vocabulary that fixes the carrier, evidence, exceptions, and admissible transformations.

Evaluative weight: the identity can be stated descriptively even when applications carry practical stakes. Human-practice dependence: the source-grounded carrier determines whether the relation exists independently or is constituted by a practice. Institutional origin: disciplinary conventions stabilize the name and test. Vocabulary portability: Beenakker has proposed to resolve Hempel's dilemma with the definition: "The boundary between physics and metaphysics is the boundary between what can and what cannot be computed in the age of the universe". Import versus recognition: literal transfer requires the same mechanism; shape alone is analogy.

Its portable skeleton is Pattern. Its character: a recurring specialist identity whose thin organization can be abstracted, while its operational meaning remains domain-bound.

Structural Core vs. Domain Accent¶

What is skeletal. Hempel's dilemma is a question first asked (at least on record) by the philosopher Carl Hempel in 1969. The stable skeleton is the typed relation expressed in that definition and the entry's recognition and collapse tests. The source identifies these operative conditions: On the one hand, we may define the physical as whatever is currently explained by our best physical theories, e.g., quantum mechanics, general relativity. In effect, physicalism by this second account becomes the circular claim that all phenomena are explicable in terms of physics because physics properly defined is whatever explains all phenomena. It further constrains recognition and variation through: Beenakker has proposed to resolve Hempel's dilemma with the definition: "The boundary between physics and metaphysics is the boundary between what can and what cannot be computed in the age of the universe". This leaves open the question of what is 'natural' (in physicalism 'natural' means procedural, causally coherent or all effects have particular causes regardless of human knowledge [like physics] and interpretation and it also means 'ontological reality' and not just a hypothesis or a calculational technique), but one common understanding of the claim is that everything in the world is ultimately explicable in the terms of physics.

What is domain-bound. social sciences humanities arts supplies the operative entities, technical vocabulary, warrants, and exceptions that make Hempel's dilemma literal. Its documented scope includes the condition that The dilemma questions how the language of physics can be used to accurately describe existence, given that it relies on imperfect human linguistics, or as Hempel stated: "The thesis of physicalism would seem to require a language in which a true theory of all physical phenomena can be formulated. Another bounded application condition is that Physicalism, in at least one rough sense, is the claim that the entire world may be described and explained using the laws of nature, in other words, that all phenomena are natural phenomena. These are not decorative examples; they determine which carrier and evidence can fill the abstraction's roles.

Why no parent is asserted. Removing those specialist details does not currently yield one live catalog node that is a necessary genus for every instance. The entry is therefore approved as unparented rather than attached by topical resemblance. Its collapse evidence remains specific—Hempel's dilemma is relevant to philosophy of mind because explanations of issues such as consciousness, representation, and intentionality are very hard to come by using current physics, although many people in philosophy (and other fields such as cognitive science, psychology, and neuroscience) hold to physicalism.—and future graph densification may discover a defensible relation only if it preserves that boundary.

Approved unparented node. No current live node supplies a defensible necessary genus or structural prerequisite for Hempel's dilemma. The reviewed identity is: Hempel's dilemma is a question first asked (at least on record) by the philosopher Carl Hempel in 1969. The accelerated suggestion was declined because topical or lexical similarity does not establish hierarchy; the node is admitted without a parent pending later graph densification.
Related reasoning operations. Evidence, representation, comparison, classification, transformation, or evaluation may participate in particular cases, but participation does not make any one of them a necessary parent of every instance.

Neighborhood in Abstraction Space¶

Hempel's dilemma sits in a sparse region of the domain-specific corpus (64^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Philosophical Concepts & Thought Experiments (27 abstractions)

Nearest neighbors

Representationalism (Indirect Realism) — 0.85
Energeia — 0.85
Unmoved mover — 0.84
Galileo's ship — 0.84
Steady-state model — 0.84

Computed from structural-signature embeddings · 2026-10-08

Not to Be Confused With¶

Pattern. The parent omits the specialist differentia. Tell: Can the case establish Hempel's dilemma is a question first asked (at least on record) by the philosopher Carl Hempel in 1969?
Hempel's Paradox. Expose that treating confirmation as yes/no forces the absurd conclusion that a white shoe confirms 'all ravens are black' via the contrapositive — dissolved by grading confirmation, so a non-black non-raven confirms only by a vanishing likelihood ratio. Tell: Which entry's carrier, operation, and failure condition are satisfied?
Dialectics. Contradictions drive change. Tell: Which entry's carrier, operation, and failure condition are satisfied?
Tychism. Charles S. Peirce’s metaphysical doctrine that objective chance is irreducible and active in the evolution of laws and the universe. Tell: Which entry's carrier, operation, and failure condition are satisfied?
A measurement, proxy, or consequence. Those may provide evidence without being the identity. Tell: Would Hempel's dilemma remain present if the detector or downstream effect changed?
A metaphorical analogue. A similar shape outside social_sciences_humanities_arts lacks the specialist mechanism. Tell: Do the native roles transfer literally, or only the parent Pattern?

References¶

Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Hempel%27s_dilemma (revision 1352008557).
Preserved source candidate: https://archive.org/details/philosophyscienc0000unse_c1j2

The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.