Talks

2020

Belief, Truth, and Disquotation

We discuss and develop a semantics for the truth predicate in belief contexts.

Belief, Truth, and Disquotation

We discuss and develop a semantics for the truth predicate in belief contexts, which is loosely based on some of ideas of Awareness semantics for epistemic logic.

The Modal Logics of Kripkean Truth

We provide Solovay-style results for theories of Kripean truth.

A Russell-Gödel Theory of Propositional Functions

We present a theory of propositional functions based on Russell’s philosophical insights, which lead to the development of the theory of types, and Gödel’s later suggested amendments of those.

Kripke, Tarski and Arithmetical Truth

In this popular science talk we present Tarski’s seminal result on the undefinability of truth and introduce Kripke’s theory of truth.

2019

The Modal Logics of Kripkean Truth

We provide Solovay-style results for theories of Kripean truth.

The Modal Logics of Kripkean Truth

We provide Solovay-style results for theories of Kripean truth.

2018

The Modal Logics of Kripkean Truth

We provide Solovay-style results for theories of Kripean truth.

Truth and Semantics

We explore some possible answers to the question of how the intuitive, natural language notion of truth is connected to the theoretical notion of truth at play in truth-conditional semantics.