Call for papers

The workshop will include a session of contributed talks. Authors of contributed papers are requested to submit abstracts in pdf format of around 1000-1500 words by May 15th 2017, to the email address formaltruththeories@gmail.com. The abstracts should be prepared for blind-review; in particular, the author’s name, institutional affiliation and contact details should be specified separately in the email (not in the abstract). Authors of the accepted papers will have 30 minutes to present their work, including discussion.

The scope of the workshop topics includes, but is not limited to:

  • Model-theoretic versus axiomatic approaches to truth,
  • Syntactic and model-theoretic (non)conservativity of axiomatic truth theories,
  • The strength of reflection principles in axiomatic theories of truth,
  • Properties of satisfaction classes (in particular, weakly inductive satisfaction classes) in models of arithmetic,
  • Semantic paradoxes and their solutions,
  • Classical and non-classical logic in truth and satisfaction theories,
  • The relation between formal truth theories and the philosophical standpoints on truth (such as deflationism, correspondence theory, epistemic conceptions),
  • The role of the notion of truth – what philosophical and practical purposes it serves and how these purposes are achieved in various formal truth theories.

Important Dates:
Submission deadline: May 15, 2017
Notification of acceptance: June 15, 2017
Workshop: September 28-30, 2017