Topological Epistemology

Origin. McKinsey, Tarski (1940s), recent: Baltag, Bezhanishvili. Topology for knowledge. Open sets as evidence. Interior as knowable. Spatial epistemology.

Models. Knowledge via topological interior. Evidence as open sets. Knowability = being in interior. Connects topology and epistemology. Geometric intuition for knowledge.

Formalism.

Topological space: (X, τ) where X = states, τ = topology. Open sets: observable evidence. Interior int(A) = largest open subset. Closure cl(A) = smallest closed superset.

Knowledge as interior: [[Kφ]] = int([[φ]]). Know φ: have evidence for φ. Evidence = open neighborhood. Inside = supported by evidence.

Properties: K distributes: K(φ ∧ ψ) ↔ Kφ ∧ Kψ. Kφ → φ (factivity, for dense topologies). Kφ → KKφ (positive introspection). S4 corresponds to topology.

Evidence semantics: E(φ) = open neighborhoods supporting φ. Combined evidence: intersection. Weaker evidence: superset. Evidence ordering.

Belief via closure: [[Bφ]] = int(cl([[φ]])). Believe φ: evidence consistent with φ. Weaker than knowledge. co-dense-in-itself condition.

Knowability: ◊Kφ: φ could be known. Not all truths knowable. Fitch's paradox addressed. Topological constraints.

Learning: Evidence shrinks neighborhoods. More evidence: smaller opens. Limit: singleton (complete knowledge). Dynamic topology.

Symbols.

Symbol	Unicode	Meaning
int	—	interior operator
cl	—	closure operator
τ	U+03C4	topology
Kφ	—	knows φ

Metatheory. Interior as knowledge. Evidence as opens. Spatial epistemology. S4 correspondence.

Applies to. Epistemology. Modal logic. Learning theory. Formal verification.

Limitations. Abstract. Topology choice. Evidence interpretation. Technical sophistication.