ABSTRACT
In this introduction the main themes of what we call the Unified Approach to Truth, Modality, and Paradox are surveyed. The chapter starts by motivating the idea of treating the objects of truth, modality, and attitudes as first-order objects. The chapter then analyses the theoretical role that the truth predicate plays in the Unified Approach, comparing its traditional semantic role and its logico-linguistic purposes investigated by disquotationalism. Next, the interaction of modal and doxastic notions with truth is considered: the basic strategies to generalize possible world semantics to modal and doxastic notions formalized as predicates is introduced, and possible extensions and applications of the semantics are discussed. Finally, we compare the first-order approach to other ways of realizing a unified approach, in particular by means of higher-order quantification.
