Logic and Ontology

Abstract

In a series of cases the laws of logic can take the form of assertions not about the properties of terms and sentences but about objects to which the terms and sentences relate (i.e., the form of ontological assertions). For example, the assertions “From the sentence ∼ (XY) follows the sentence ∼ Xv ∼ Y” can take the form “If the situation ∼ (XY) happens, then the situation ∼ Xv ∼ Y happens”.