Talks

We raise a problem for Hofweber’s nominalist theory of properties. In its stead, we formulate a theory of properties in analogy to Horwich’s minimalist theory of truth. Although this theory relies on the existence of abstract objects, we argue that it nevertheless appropriate to call the theory deflationary.

I consider whether there are degrees of truth.

I consider whether there are degrees of truth.

We investigate conditionals in Kripke-style theories of truth and propose attractive truth-conditions for a variably-strict conditional that lead to a monotone evaluation scheme. As a consequence, the Kripke jump associated with the evaluation scheme will have fixed points.

We discuss whether metamathematical results such as The Incompleteness Theorems can fruitfully contribute to discussions about the human mind and Artificial Intelligence more generally.

We investigate the application of Kripke’s theory of truth to the non-monotone semantics for safe belief.

We raise a problem for Hofweber’s nominalist theory of properties. In its stead, we formulate a theory of properties in analogy to Horwich’s minimalist theory of truth. Although this theory relies on the existence of abstract objects, we argue that it nevertheless appropriate to call the theory deflationary.

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

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

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.

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

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.

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

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

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

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

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.