Events

The workshop brings together researchers on formal theories of truth and aims to display recent cutting edge research in this area.

This conference centers around two themes: truth and indeterminacy/vagueness (broadly construed). We investigate paradoxes related to these notions, non-classical logics or semantic frameworks that have been proposed for handling them, as well as the interconnections between theories of truth and theories of indeterminacy.

The aim of the conference is to explore the semantics and pragmatics of the word ‘true’ in natural language. Central topics of discussion will include whether or not ‘true’ is ambiguous, context sensitive, vague, gradable, presuppositional, or lacking content altogether. Other relevant topics will include what sort of property or concept ‘true’ expresses, connections between natural language ‘true’ and the semantic paradoxes, and syntactic properties of ‘true’.

The conference has two principal aims: The first aim is to investigate the role various forms of truthmaking semantics and semantical grounding can play in diagnosing the problematic nature of paradoxes (including, but not limited to, the semantic paradoxes and the paradoxes of vagueness), and the solutions to these paradoxes truthmaking semantics and semantical grounding ogive rise to. The second aim is to study the paradoxes of truthmaking and semantic grounding.

A one-day workshop focusing on the applications of formal theories of truth to expressively rich languages, e.g., languages with generalized quantifiers, conditionals, modalities etc.

A two-day workshop providing a platform for recent work in logic and philosophy of mathematics in the UK.