s4h-epistemology-limits

Epistemology: Limits

Some questions resist investigation not because we haven't tried hard enough but because there is a structural limit on what can be established. Confusing "unknown yet" with "unknowable in principle" wastes resources and produces false hope. Confusing "unknowable in principle" with "unknowable at all" is equally wrong — it forecloses what can be established within the limit.

This skill classifies the type of limit, identifies what can still be established within it, and reframes the question into the answerable part. The goal is not to conclude "we can't know" — it's to be precise about what kind of knowing is and isn't available here.

---

Your Process

Step 1: State What You're Trying to Know Write the question as precisely as possible. Then check: has investigation been thorough, or has the question just not been pursued rigorously? If it's the latter, this skill isn't the right one — use investigation tools first.

This skill applies when investigation has been done and the question remains open, or when you can see in advance that investigation won't settle it.

Framing check: Confirm the specific question and its epistemic status before continuing. State what you've identified — the actual question being examined and whether investigation has already been attempted — in one sentence, then use AskUserQuestion:

• Question: "I'm reading this as: [your one-sentence framing of the specific question and its investigation status]. Is that right?"
• Header: "Framing"
• Options:
  • Yes — proceed — framing is correct
  • Adjust — one element is off; user will correct it before you continue
  • Reframe — different situation than read; incorporate the correction before proceeding

Step 2: Classify the Type of Limit

Fundamental Limits

Structural features of the universe or cognition that make certain knowledge impossible regardless of effort or technology:

• Gödelian limits: in any sufficiently complex formal system, there are true statements that cannot be proved within the system. Applies to formal domains; often misapplied metaphorically — be careful.
• Underdetermination: multiple theories are equally consistent with all available evidence. No amount of additional evidence of the same type can distinguish between them. Example: "which of these two models explains our data?" when both are observationally equivalent.
• Observer effects: the act of measurement changes the thing being measured. Strongest in quantum mechanics; appears in social science (observer effect on behavior), markets (prices change when observed), and management (metrics change what they measure).
• Counterfactual unavailability: we can't know what would have happened in the counterfactual world — what would have happened if we hadn't acquired that company, if we had launched six months earlier. The counterfactual world didn't occur.