Publié à l'origine en 1972 ce livre montre comment la logique formelle peut être utilisée pour clarifier des problèmes philosophiques. Il propose une exposition élémentaire de l'Ontologie de Lesniewski un système important de logique contemporaine et étudie des thèmes philosophiques centraux comme la Négation l'Être l'Essence l'Existence la Signification et la Référence