Contemporary analytic philosophy can generally be characterized by the following tendencies: commitment to first-order predicate logic as the only viable formal logic; rejection of correspondence theories of truth; and a metaphysics that doesn't give the world as a whole its due. This book seeks to offer an alternative analytic theory.