3

Introduction to edited volume.

We develop a semantics for truth and belief that combines ideas from contextualist theories of attitude reports and Awareness semantics for non-idealized belief.

This book chapter provides an introduction to, and an overview of, epistemic logic (in German).

In this paper we take a closer look at Penrose’s New Argument for the claim that the human mind cannot be mechanized and investigate whether the argument can be formalized in a sound and coherent way using a theory of truth and absolute provability.

Taking Kevin Mulligan’s ‘The Truth Predicate vs. the Truth Connective. On taking connectives seriously.’ We discuss the distinction between sentential operators and sentential predicates.