Learn More
Ontology today is in many ways in a state similar to that of analysis in the late 18th century prior to arithmetization: it lacks the sort rigorous theoretical foundations needed to elevate ontology(More)
The use of highly abstract mathematical frameworks is essential for building the sort of theoretical foundation for semantic integration needed to bring it to the level of a genuine engineering(More)
For Arthur Prior, the construction of a logic was a supremely philosophical task. As a logician, he could of course appreciate a finely crafted formal system for its own sake, independent of its "(More)