
62Edward N. Zalta. Intensional logic and the metaphysics of intentionality. Bradford books. The MIT Press, Cambridge, Mass., and London, 1988, xiii + 256 pp (review)Journal of Symbolic Logic 57 (3): 11461150. 1992.

58Logic and Reality: Essays on the Legacy of Arthur PriorPhilosophical Review 109 (2): 281. 2000.Arthur Prior was a truly philosophical logician. Though he believed formal logic to be worthy of study in its own right, of course, the source of Prior’s great passion for logic was his faith in its capacity for clarifying philosophical issues, untangling philosophical puzzles, and solving philosophical problems. Despite the fact that he has received far less attention than he deserves, Prior has had a profound influence on the development of philosophical and formal logic over the past forty ye…Read more

57Reference ontologies — application ontologies: Either/or or both/and?In Pierre M. Pierre, Christopher Menzel & Barry Smith (eds.), CEUR Workshop Proceedings, Vol. 94, . 2004.The distinction between reference ontologies and application ontologies crept rather unobtrusively into the recent literature on knowledge engineering. A lot of the discourse surrounding this distinction – notably, the one framing the workshop generating this collection of papers – suggests the two types of ontologies are in some sort of opposition to one another. Thus, Borge et al. [3] characterize reference ontologies (more recently, foundational ontologies) as rich, axiomatic theories whose f…Read more

57Frege Numbers and the Relativity ArgumentCanadian Journal of Philosophy 18 (1): 8798. 1988.Textual and historical subtleties aside, let's call the idea that numbers are properties of equinumerous sets ‘the Fregean thesis.’ In a recent paper, Palle Yourgrau claims to have found a decisive refutation of this thesis. More surprising still, he claims in addition that the essence of this refutation is found in the Grundlagen itself – the very masterpiece in which Frege first proffered his thesis. My intention in this note is to evaluate these claims, and along the way to shed some light on…Read more

51Ontology theoryIn Jerome Euzenat, Asuncion GomezPerez, Nicola Guarino & Heiner Stuckenschmidt (eds.), CEUR Workshop Proceedings, Vol. 64, . 2002.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 to the level of a genuine scientific discipline. This paper attempts to make some first steps toward the development of such foundations. Specifically, starting with some basic intuitions about ontologies and their content, I develop an expressively rich framework capable of treating ontologies as th…Read more

46A Formal Foundation for Process ModelingIn C. Welty B. Smith (ed.), Formal Ontology in Information Systems (FOIS), Acm Press. 2001.Process modeling is ubiquitous in business and industry. While a great deal of effort has been devoted to the formal and philosophical investigation of processes, surprisingly little research connects this work to real world process modeling. The purpose of this paper is to begin making such a connection. To do so, we ﬁrst develop a simple mathematical model of activities and their instances based upon the model theory for the NIST Process Speciﬁcation Language (PSL), a simple language for descr…Read more

45A Complete, TypeFree "SecondOrder" Logic and its Philosophical FoundationsCSLI Publications. 1986.In this report I motivate and develop a typefree logic with predicate quantifiers within the general ontological framework of properties, relations, and propositions. In Part I, I present the major ideas of the system informally and discuss its philosophical significance, especially with regard to Russell's paradox. In Part II, I prove the soundness, consistency, and completeness of the logic

42SCL: A Logic Standard for Semantic IntegrationSemantic Integration, CEUR Workshop Proceedings, Vol. 82 (2003). 2003.The Knowledge Interchange Format (KIF) [2] is an ASCII based framework for use in exchanging of declarative knowledge among disparate computer systems. KIF has been widely used in the ﬁelds of knowledge engineering and artiﬁcial intelligence. Due to its growing importance, there arose a renewed push to make KIF an ofﬁ cial international standard. A central motivation behind KIF standardization is the wide variation in quality, style, and content — of logicbased frameworks being used for knowl…Read more

20Structuralism and Conceptual Change in MathematicsPSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1990. 1990.I address Grosholz's critique of Resnik's mathematical structuralism and suggest that although Resnik's structuralism is not without its difficulties it survives Grosholz's attacks.

17The Fundamental Theorem of World TheoryJournal of Philosophical Logic 43 (23): 333363. 2014.The fundamental principle of the theory of possible worlds is that a proposition p is possible if and only if there is a possible world at which p is true. In this paper we present a valid derivation of this principle from a more general theory in which possible worlds are defined rather than taken as primitive. The general theory uses a primitive modality and axiomatizes abstract objects, properties, and propositions. We then show that this general theory has very small models and hence that it…Read more

6Worlds and Propositions Set FreeErkenntnis 79 (4): 797820. 2014.The authors provide an objecttheoretic analysis of two paradoxes in the theory of possible worlds and propositions stemming from Russell and Kaplan. After laying out the paradoxes, the authors provide a brief overview of object theory and point out how syntactic restrictions that prevent objecttheoretic versions of the classical paradoxes are justified philosophically. The authors then trace the origins of the Russell paradox to a problematic application of set theory in the definition of worl…Read more

4Providing a means of translating RDF, RDFS, and DAML+OIL descriptions into a firstorder predicate calculus logical theory not only specifies the intended meaning of the descriptions, but also produces a representation of the descriptions from which inferences can automatically be made using traditional automatic theorem provers and problem solvers. For example, the DAML+OIL axioms enable a reasoner to infer from the two statements “Class Male and class Female are disjointWith.” and “John is ty…Read more

2Proceedings of the KI 2003 Workshop on Reference Ontologies and Application Ontologies (edited book)CEUR Workshop Proceedings, Vol. 94. 2004.Contains the following contributions: Ingvar Johansson: Ontologies and Concepts. Two Proposals Christopher Menzel: Reference Ontologies  Application Ontologies: Either/Or or Both/And? Luc Schneider: Foundational Ontologies and the Realist Bias Guenther Goerz, Kerstin Buecher, Bernd Ludwig, FrankPeter Schweinberger, and Iman Thabet: Combining a Lexical Taxonomy with Domain Ontology in the Erlangen Dialogue System Vim Vandenberghe, Burkhard Schafer, John Kingston: Ontology Modelling in the Lega…Read more

Mathematical Realism and the Theory of SetsDissertation, University of Notre Dame. 1984.Set theoretic platonism is the view that there exist objective, mindindependent abstract sets, and that set theory is the science of these entities. For the realist, this view offers the most natural semantical account of set theoretic discourse. Nonetheless, set theoretic platonism is beset by a number of serious difficulties. Chief among these, it turns out, is that it must deny the fundamental set theoretic intuition that any available objects can be collected into a further object. After a …Read more

(Pretty much complete)
College Station, Texas, United States of America
Areas of Interest
19th Century Logic 
20th Century Logic 
Philosophy of Religion 
PhilPapers Editorships
Actualism and Possibilism 