An exploration of why logic works and how to create new approaches to logical semantics. It explains Tarski's model-theoretic semantics which were created to model the meaning of sentences. It further defines and describes new approaches to logical semantics which have certain advantages for the modeling the meaning of object-oriented data.