Prompt 1: Consider the following types of impossibility. Do they fall into a nested order? Are there other significant types of impossibility that should be considered in metaphysics?
Types of Impossibility: practical stakes and consequences.
The section turns on Types of Impossibility, Logical Impossibility, and Metaphysical Impossibility. Each piece is doing different work, and the page becomes thinner if the reader cannot say what is being identified, what is being tested, and what would change if one piece were removed.
The central claim is this: In metaphysics, the following types of impossibility are often discussed.
The important discipline is to keep Types of Impossibility distinct from Logical Impossibility. They are not interchangeable bits of vocabulary; they direct the reader toward different judgments, objections, or next steps.
This first move lays down the vocabulary and stakes for A Taxonomy of Impossibilities. It gives the reader something firm enough to carry into the later prompts, so the page can deepen rather than circle.
At this stage, the gain is not memorizing the conclusion but learning to think with Types of Impossibility, Nested Order, and Other Significant Types of Impossibility. The question should remain open enough for revision but structured enough that disagreement is not mere drift. The metaphysical pressure is to distinguish what must be true, what may be true, and what language merely makes easy to imagine.
One honest test after reading is whether the reader can use Types of Impossibility to sort a live borderline case or answer a serious objection about A Taxonomy of Impossibilities. The answer should leave the reader with a concrete test, contrast, or objection to carry into the next case. That keeps the page tied to what the topic clarifies and what it asks the reader to hold apart rather than leaving it as a detached summary.
This sits at the foundation. It refers to things that violate the basic laws of logic. Statements like “A square circle exists” or “It’s raining and not raining at the same time” are logically impossible because they contradict themselves.
Building on logic, this deals with things that are impossible based on the fundamental nature of reality. If, for example, our reality is based on the laws of physics as we understand them, then things like perpetual motion machines or traveling faster than light might be considered metaphysically impossible.
This is the most specific category. It refers to things that are impossible given the current state of the physical world and our understanding of its laws. Cloning humans might be physically impossible today, but not necessarily metaphysically impossible. With advancements in science, it could become physically possible in the future.
This refers to things that we cannot know for certain, even if they might be logically or metaphysically possible. For instance, the existence of life on other planets might be epistemically impossible with our current technology.
This deals with actions that are considered fundamentally wrong, even if physically possible. Torture or genocide might be considered morally impossible.
This refers to statements or propositions that are self-contradictory or violate the fundamental laws of logic. For example, the statement “A is both B and not B at the same time and in the same respect” is logically impossible, as it violates the law of non-contradiction. Logical impossibilities are considered the most fundamental and encompassing form of impossibility, as they contradict the very foundations of rational thought and discourse.
This category includes statements or propositions that are not self-contradictory in a purely logical sense but are still considered impossible based on our understanding of the fundamental nature of reality or existence. For example, the claim “A thing can exist and not exist at the same time and in the same respect” might be considered metaphysically impossible, even though it is not strictly logically impossible. Metaphysical impossibilities are typically seen as a subset of logical impossibilities, as they still violate certain metaphysical principles or laws that are considered necessary truths about reality.
This refers to events, processes, or states of affairs that are impossible according to the known laws of physics or the observable regularities of the natural world. For example, the claim “An object can travel faster than the speed of light” is considered physically impossible based on our current understanding of physics. Physical impossibilities are generally considered a subset of metaphysical impossibilities, as they are ruled out by the broader metaphysical framework within which the laws of physics operate.
This refers to propositions or ideas that are impossible because they involve incoherent or contradictory concepts, even if they are not strictly logically impossible. For example, the idea of a “married bachelor” might be considered conceptually impossible, as it involves a contradiction in the definitions of the concepts involved.
This category refers to events or states of affairs that are impossible given the actual laws of nature that govern our universe, even if they are not logically or metaphysically impossible in an absolute sense. This category is sometimes distinguished from physical impossibility, which is based on our current understanding of physics, while nomological impossibility is based on the actual (and potentially unknown) laws of nature.
This category encompasses propositions or statements that are impossible to know or verify given our cognitive limitations or the available evidence, even if they are not necessarily impossible in an absolute sense.
- Types of Impossibility: In metaphysics, the following types of impossibility are often discussed.
- Logical Impossibility: Logical Impossibility refers to something that is contradictory or violates the laws of logic, such as the law of non-contradiction.
- Metaphysical Impossibility: Metaphysical Impossibility encompasses scenarios that are logically consistent but cannot exist in any possible world due to the nature of reality itself.
- Physical Impossibility: Physical Impossibility pertains to phenomena that violate the laws of physics in the actual world.
- Nested Order: Logical Impossibility is the broadest category because anything logically impossible is also metaphysically and physically impossible.
- Other Significant Types of Impossibility: There are other types of impossibility considered in metaphysics and related fields.
Prompt 2: Create a table that coherently organizes these types of impossibility and specifies their relationship to the other types.
Relationships of Impossibility Types: practical stakes and consequences.
The section turns on Relationships of Impossibility Types and Types of Impossibility. Each piece is doing different work, and the page becomes thinner if the reader cannot say what is being identified, what is being tested, and what would change if one piece were removed.
The central claim is this: This table highlights the nested nature of logical, metaphysical, and physical impossibility while acknowledging the contextual nuances of epistemic, nomological, and practical impossibility.
The important discipline is to keep Relationships of Impossibility Types distinct from Types of Impossibility. They are not interchangeable bits of vocabulary; they direct the reader toward different judgments, objections, or next steps.
This middle step prepares trivial facts about these types of impossibility. It keeps the earlier pressure alive while turning the reader toward the next issue that has to be faced.
At this stage, the gain is not memorizing the conclusion but learning to think with Types of Impossibility, Nested Order, and Other Significant Types of Impossibility. The question should remain open enough for revision but structured enough that disagreement is not mere drift. The metaphysical pressure is to distinguish what must be true, what may be true, and what language merely makes easy to imagine.
One honest test after reading is whether the reader can use Types of Impossibility to sort a live borderline case or answer a serious objection about A Taxonomy of Impossibilities. The answer should leave the reader with a concrete test, contrast, or objection to carry into the next case. That keeps the page tied to what the topic clarifies and what it asks the reader to hold apart rather than leaving it as a detached summary.
| Type of Impossibility | Description | Relationship to Other Types |
|---|---|---|
| Logical Impossibility | Violates the laws of logic, such as contradictions. | Broadest category. Anything logically impossible is also metaphysically and physically impossible. |
| Metaphysical Impossibility | Consistent with logic but cannot exist in any possible world. | Nested within logical impossibility. Anything metaphysically impossible is also physically impossible. |
| Physical Impossibility | Violates the laws of physics in the actual world. | Nested within metaphysical impossibility. It does not include phenomena that are logically and metaphysically possible but are prohibited by actual physics. |
| Epistemic Impossibility | Cannot be known given the current state of knowledge. | Independent of logical, metaphysical, and physical impossibility but can overlap. |
| Nomological Impossibility | Impossible according to the laws of nature as understood. | Related to physical impossibility, focusing on natural laws rather than specific physical scenarios. |
| Practical Impossibility | Infeasible given current technology, resources, or capabilities. | Context-dependent and can overlap with physical and nomological impossibility. |
| Type of Impossibility | Description | Relationship |
|---|---|---|
| Logical Impossibility | Violates the basic laws of logic (e.g., “A square circle exists”). | Foundation for all other impossibilities. Cannot exist in any reality. |
| Metaphysical Impossibility | Impossible based on the fundamental nature of reality (e.g., perpetual motion machines, given our understanding of physics). | Depends on logical laws. Informs physical and potentially epistemic impossibility. |
| Physical Impossibility | Impossible given current knowledge and physical laws (e.g., cloning humans today). | Most constrained by current knowledge within the metaphysical framework. May become possible with advancements. |
| Epistemic Impossibility | We cannot know for certain, even if logically or metaphysically possible (e.g., the existence of life on other planets with our current technology). | Limited by our current knowledge and capabilities. May become knowable with advancements. |
| Moral Impossibility | Actions considered fundamentally wrong, even if physically possible (e.g., torture, genocide). | Not directly related to logic or metaphysics, but may be influenced by them. |
| Type of Impossibility | Description | Relationship to Other Types |
|---|---|---|
| Logical Impossibility | Statements or propositions that are self-contradictory or violate the fundamental laws of logic. | Encompasses all other types of impossibility. |
| Metaphysical Impossibility | Statements or propositions that violate the fundamental nature or necessary truths about reality or existence, even if not strictly self-contradictory. | A subset of logical impossibility, but broader than physical impossibility. |
| Nomological Impossibility | Events or states of affairs that are impossible given the actual laws of nature that govern our universe. | A subset of metaphysical impossibility, but potentially broader than physical impossibility based on our current scientific understanding. |
| Physical Impossibility | Events, processes, or states of affairs that are impossible according to the known laws of physics or observable regularities of the natural world. | A subset of both metaphysical impossibility and nomological impossibility. |
| Conceptual Impossibility | Propositions or ideas that involve incoherent or contradictory concepts, even if not strictly logically impossible. | Potentially overlaps with logical impossibility, but may be considered a distinct category. |
| Epistemic Impossibility | Propositions or statements that are impossible to know or verify given our cognitive limitations or available evidence. | Not necessarily related to other types of impossibility, as it concerns epistemic limitations rather than impossibility in an absolute sense. |
- Relationships of Impossibility Types: This table highlights the nested nature of logical, metaphysical, and physical impossibility while acknowledging the contextual nuances of epistemic, nomological, and practical impossibility.
- Types of Impossibility: Here is a table that organizes the different types of impossibility and specifies their relationships.
- Central distinction: A Taxonomy of Impossibilities helps separate what otherwise becomes compressed inside A Taxonomy of Impossibilities.
- Best charitable version: The idea has to be made strong enough that criticism reaches the real view rather than a caricature.
- Pressure point: The vulnerability lies where the idea becomes ambiguous, overextended, or dependent on background assumptions.
Prompt 3: Create a list of non-trivial facts about these types of impossibility.
Practical Impossibility is best read as a map of alignments, tensions, and priority.
The section turns on Practical Impossibility and Non-Trivial Facts about Types of Impossibility. Each piece is doing different work, and the page becomes thinner if the reader cannot say what is being identified, what is being tested, and what would change if one piece were removed.
The central claim is this: These facts illustrate the nuanced and context-dependent nature of different types of impossibility, emphasizing their relevance in various philosophical and scientific discussions.
The important discipline is to keep Practical Impossibility distinct from Non-Trivial Facts about Types of Impossibility. They are not interchangeable bits of vocabulary; they direct the reader toward different judgments, objections, or next steps.
This middle step keeps the sequence honest. It takes the pressure already on the table and turns it toward the next distinction rather than letting the page break into separate mini-essays.
At this stage, the gain is not memorizing the conclusion but learning to think with Trivial facts about these types, Types of Impossibility, and Nested Order. A map is successful only when it shows dependence, priority, and tension rather than a decorative list of parts. The metaphysical pressure is to distinguish what must be true, what may be true, and what language merely makes easy to imagine.
The added editorial insight is that a map is an argument about importance. What it puts at the center, what it treats as derivative, and what it leaves unstable all shape how A Taxonomy of Impossibilities will be understood.
The exceptional version of this answer should leave the reader with a sharper question than the one they brought in. If trivial facts about these types of impossibility cannot guide the next inquiry, the section has not yet earned its place.
In some non-classical logical systems, such as paraconsistent logics, contradictions can be true without leading to a collapse of the entire logical system.
Logical impossibility is crucial in modal logic, which studies necessity and possibility. A proposition that is logically impossible is necessarily false in all possible worlds.
Metaphysical impossibility often relates to the essential properties of objects. For example, it is metaphysically impossible for a triangle to have four sides because having three sides is an essential property of triangles.
In the framework of possible worlds, something metaphysically impossible does not exist in any possible world. This contrasts with physical impossibility, which is restricted to the actual world.
Physical impossibility is contingent upon the current understanding of the laws of physics, which can evolve over time. For instance, what was once thought physically impossible, such as heavier-than-air flight, became possible with advancements in technology.
Some scenarios deemed physically impossible in our universe could be physically possible in a hypothetical universe with different physical laws, highlighting the context-dependent nature of physical impossibility.
Gödel’s incompleteness theorems show that in any sufficiently powerful logical system, there are true statements that cannot be proven within the system, illustrating a form of epistemic impossibility.
The Heisenberg Uncertainty Principle in quantum mechanics implies that certain pairs of physical properties, like position and momentum, cannot be simultaneously known to arbitrary precision, presenting a fundamental epistemic limit.
Nomological statements often include “ceteris paribus” (all else being equal) clauses. Something nomologically impossible under such conditions might become possible if other factors change.
What is considered nomologically impossible can shift with changes in scientific paradigms. For instance, Newtonian physics considered certain phenomena impossible that quantum mechanics or relativity theory do not.
Practical impossibility is often tied to technological limits. What is practically impossible today, such as human colonization of distant planets, may become feasible with future technological advancements.
Practical impossibility can result from resource constraints, such as the economic or material resources required for a large-scale project, regardless of its physical or logical possibility.
These theorems prove that any sufficiently powerful formal system will always have true statements that cannot be proven within that system. This highlights that even within logic, limitations might exist on what we can definitively prove or disprove.
If the multiverse theory holds true, what’s metaphysically impossible in our universe might be possible in another. This challenges the idea of a single, absolute definition of metaphysical impossibility.
The second law of thermodynamics suggests perpetual motion machines (violating the law) might be physically impossible. Yet, on a quantum level, time reversibility is observed. This raises questions about the limits of our understanding of physical impossibility.
Epistemic impossibility can become epistemic possibility with advancements. For example, the existence of bacteria was once epistemically impossible due to a lack of microscopes.
What’s considered morally impossible can evolve over time. Human slavery was once widely accepted, but now it’s seen as morally impossible. This reflects the interplay between morals and changing social norms.
Sometimes, different types of impossibility can interact. For example, something might be physically impossible today (cloning humans) but not logically or metaphysically impossible. Advancements in science could turn the physical impossibility into a possibility.
- Practical Impossibility: These facts illustrate the nuanced and context-dependent nature of different types of impossibility, emphasizing their relevance in various philosophical and scientific discussions.
- Non-Trivial Facts about Types of Impossibility: Logical impossibilities are considered the most fundamental and encompassing form of impossibility, as they violate the foundational principles of rational thought and discourse.
- Central distinction: Trivial facts about these types of impossibility helps separate what otherwise becomes compressed inside A Taxonomy of Impossibilities.
- Best charitable version: The idea has to be made strong enough that criticism reaches the real view rather than a caricature.
- Pressure point: The vulnerability lies where the idea becomes ambiguous, overextended, or dependent on background assumptions.
Prompt 4: Comment on and give examples of the confusion that an entanglement of different notions of impossibility can create.
Confusion from Entanglement of Different Notions of Impossibility makes the argument visible in practice.
The section turns on Confusion from Entanglement of Different Notions of Impossibility and Logical vs. Practical Impossibility. Each piece is doing different work, and the page becomes thinner if the reader cannot say what is being identified, what is being tested, and what would change if one piece were removed.
The central claim is this: The entanglement of different notions of impossibility can lead to significant confusion in philosophical, scientific, and everyday discussions.
The important discipline is to keep Confusion from Entanglement of Different Notions of Impossibility distinct from Logical vs. Practical Impossibility. They are not interchangeable bits of vocabulary; they direct the reader toward different judgments, objections, or next steps.
By this point in the page, the earlier responses have already put trivial facts about these types of impossibility in motion. This final prompt gathers that pressure into a closing judgment rather than a disconnected last answer.
At this stage, the gain is not memorizing the conclusion but learning to think with Types of Impossibility, Nested Order, and Other Significant Types of Impossibility. Examples should be read as stress tests: they show whether a distinction keeps working when it leaves the abstract setting. The metaphysical pressure is to distinguish what must be true, what may be true, and what language merely makes easy to imagine.
One honest test after reading is whether the reader can use Types of Impossibility to sort a live borderline case or answer a serious objection about A Taxonomy of Impossibilities. A good example should do more than decorate the point; it should reveal what would otherwise remain abstract. That keeps the page tied to what the topic clarifies and what it asks the reader to hold apart rather than leaving it as a detached summary.
A debate about the nature of God often involves confusing logical and metaphysical impossibility. Some argue that a being omnipotent, omniscient, and benevolent cannot exist due to the problem of evil. This can lead to conflated arguments:
Arguing that the existence of such a being is logically contradictory.
Arguing that, while not logically contradictory, such a being is metaphysically impossible due to the nature of the world and the existence of evil.
Clarifying whether the impossibility is due to logical contradictions or metaphysical constraints can lead to more precise and fruitful discussions.
Discussions about faster-than-light travel can entangle metaphysical and physical impossibility. Some might argue it’s absolutely impossible, confusing:
Faster-than-light travel is impossible in any possible world.
Faster-than-light travel is impossible according to the current laws of physics in our universe.
Recognizing that faster-than-light travel is physically impossible in our universe but not necessarily metaphysically impossible helps delineate scientific constraints from broader metaphysical considerations.
Consider discussions about predicting future events, such as the exact state of the weather in a month. This can mix up:
Predicting future weather with absolute certainty is epistemically impossible due to the complexity and chaotic nature of weather systems.
Some might mistakenly argue that it is physically impossible to predict weather, whereas it’s more accurately epistemically limited by current knowledge and computational power.
Distinguishing between what we cannot know (epistemic limits) and what cannot happen (physical limits) provides clarity in scientific discussions and expectations about predictability.
The feasibility of space colonization often conflates nomological and practical impossibility:
Space colonization is impossible due to fundamental laws of nature.
Space colonization is infeasible given current technology, resources, and logistics.
Understanding that space colonization is practically impossible with today’s technology but not necessarily nomologically impossible opens up avenues for future exploration and innovation without dismissing the concept outright.
Discussing the implementation of a perfect justice system often mixes logical and practical impossibility:
Creating a perfect justice system might be seen as logically impossible if it involves inherent contradictions.
- Confusion from Entanglement of Different Notions of Impossibility: The entanglement of different notions of impossibility can lead to significant confusion in philosophical, scientific, and everyday discussions.
- Logical vs. Practical Impossibility: The entanglement of different notions of impossibility can create misunderstandings and hinder productive discussions.
- Central distinction: A Taxonomy of Impossibilities helps separate what otherwise becomes compressed inside A Taxonomy of Impossibilities.
- Best charitable version: The idea has to be made strong enough that criticism reaches the real view rather than a caricature.
- Pressure point: The vulnerability lies where the idea becomes ambiguous, overextended, or dependent on background assumptions.
The through-line is Types of Impossibility, Nested Order, Other Significant Types of Impossibility, and Table of Types of Impossibility.
A good route is to identify the strongest version of the idea, then test where it needs qualification, evidence, or a neighboring concept.
The main pressure comes from treating a useful distinction as final, or treating a local insight as if it solved more than it actually solves.
The anchors here are Types of Impossibility, Nested Order, and Other Significant Types of Impossibility. Together they tell the reader what is being claimed, where it is tested, and what would change if the distinction holds.
Read this page as part of the wider Metaphysics branch: the prompts point inward to the topic, but they also point outward to neighboring questions that keep the topic honest.
- How does physical impossibility differ from logical impossibility?
- Why is faster-than-light travel considered physically impossible?
- What confusion might arise from entangling logical and metaphysical impossibility in a debate about the nature of God?
- Which distinction inside A Taxonomy of Impossibilities is easiest to miss when the topic is explained too quickly?
- What is the strongest charitable reading of this topic, and what is the strongest criticism?
Deep Understanding Quiz Check your understanding of A Taxonomy of Impossibilities
This quiz checks whether the main distinctions and cautions on the page are clear. Choose an answer, read the feedback, and click the question text if you want to reset that item.
Future Branches
Where this page naturally expands
Nearby pages in the same branch include Metaphysics – Core Concepts, What is Metaphysics?, Ontological Domains, and Dualism vs Materialism; those links are not decorative, but suggested continuations where the pressure of this page becomes sharper, stranger, or more usefully contested.