Abstract

The paper sets out a version of a correspondence theory of truth that deals with a number of problems such theories traditionally face, problems associated with the names of Bradley, Meinong, Camap, Russell, Wittgenstein and Moore and that arise in connection with attempts to analyze facts of various logical forms. The line of argument employs a somewhat novel application of Russell's theory of definite descriptions. In developing a form of "logical realism" the paper takes up various ontological issues regarding classes, causal laws, modality, predication, negation and relations. It does so in connection with critical discussions of alternative views recently proposed by Armstrong, Bergmann, Lewis and Putnam.