Abstract

In this paper I present a formal language in which complex predicates stand for properties and relations, and assignments of denotations to complex predicates and assignments of extensions to the properties and relations they denote are both homomorphisms. This system affords a fresh perspective on several important philosophical topics, highlighting the algebraic features of properties and clarifying the sense in which properties can be represented by their extensions. It also suggests a natural modification of current logics of properties, one in which some complex predicates stand for properties while others do not