Recent developments in formal theories of truth and type-free theories - PhilEvents
philevents.org
Philosophy's most dangerous puzzle — "this statement is false" — is getting a formal overhaul, and Oxford logicians are pushing the boundaries of what truth can even mean.
Formal Truth TheoryType-Free LogicLiar ParadoxTarski's Hierarchy
Theory Briefing
- Researchers at Balliol College, Oxford are presenting cutting-edge work on formal theories of truth, funded by the European Research Council.
- Type-free theories challenge the classical restriction that sentences cannot refer to their own truth value — the root of paradoxes like the Liar.
- These developments push against Tarski's hierarchy of language, asking whether a single coherent system can handle truth without collapsing into contradiction.