The relationship between formal logic and general philosophy is discussed under headings such as A Re-examination of Our Tense-Logical Postulates, Modal Logic in the Style of Frege, and Intentional Logic and Indeterminism.

Sufficient texts show that for aristotle the universal notion expresses the same real thing as the particular, Though in a different way. His grounds for a universal so conceived are twofold. First, In every sensible thing there is a basic formal principle that, Though individual, Brings each instance into formal identity with all the other instances. Secondly, In human intellectual cognition there is an active principle that raises knowledge above the status of photographing or registering or cataloguing, And actualizes what (...) was only potential in the real thing. In knowing sensible things universally, The human intellect is able to grasp the concrete thing as characterized by a formal nature, Thereby knowing it in a way that holds equally for all other instances. Though patently incomplete, This conception of the universal is free from internal contradictions. It provides a framework for fruitful discussion, And remains a challenge. (shrink)