Barry Smith, “An Essay in Formal Ontology”, Grazer Philosophische Studien, 6 (1978), 39–62.
Barry Smith, “Logic, Form and Matter”, Proceedings of the Aristotelian Society, Supplementary Volume 55 (1981), 47–63.
It is argued, on the basis of ideas derived from Wittgenstein’s Tractatus and Husserl’s Logical Investigations, that the formal comprehends more than the logical. More specifically: that there exist certain formal-ontological constants (part, whole, overlapping, etc.) which do not fall within the province of logic. A two-dimensional directly depicting language is developed for the representation of the constants of formal ontology, and means are provided for the extension of this language to enable the representation of certain materially necessary relations. The paper concludes with a discussion of the relationship between formal logic, formal ontology, and mathematics.
Barry Smith and Kevin Mulligan, “Framework for Formal Ontology”, Topoi, 3 (1983), 73–85.
Barry Smith, “On Substances, Accidents and Universals: In Defence of a Constituent Ontology”, Philosophical Papers, 26 (1997), 105–127.
The essay constructs an ontological theory designed to capture the categories instantiated in those portions or levels of reality which are captured in our common sense conceptual scheme. It takes as its starting point an Aristotelian ontology of “substances” and “accidents”, which are treated via the instruments of mereology and topology. The theory recognizes not only individual parts of substances and accidents, including the internal and external boundaries of these, but also universal parts, such as the “humanity” which is an essential part of both Tom and Dick, and also “individual relations”, such as Tom’s promise to Dick, or their current handshake.
Barry Smith, “Characteristic”, in K. Mulligan, ed., Language, Truth and Ontology (Philosophical Studies Series), Dordrecht/Boston/London: Kluwer, 1992, 48–77.