Ontology is the philosophical discipline which aims to understand how things in the world are divided into categories and how these categories are related together. This is exactly what information scientists aim for in creating structured, automated representations, called 'ontologies,' for managing information in fields such as science, government, industry, and healthcare. Currently, these systems are designed in a variety of different ways, so they cannot share data with one another. They are often idiosyncratically structured, accessible only to those who (...) created them, and unable to serve as inputs for automated reasoning. This volume shows, in a nontechnical way and using examples from medicine and biology, how the rigorous application of theories and insights from philosophical ontology can improve the ontologies upon which information management depends. (shrink)

After a short sketch of Lowe’s account of his four basic categories, I discuss his theory of formal ontological relations and how Lowe wants to account for dispositional predications. I argue that on the ontic level Lowe is a pan-categoricalist, while he is a language dualist and an exemplification dualist with regard to the dispositional/categorical distinction. I argue that Lowe does not present an adequate account of disposition. From an Aristotelian point of view, Lowe conflates dispositional predication with hôs epi (...) to poly statements about what is normally or mostly the case. (shrink)

Are Fregean thoughts compositionally complex and composed of senses? We argue that, in Begriffsschrift, Frege took 'conceptual contents' to be unstructured, but that he quickly moved away from this position, holding just two years later that conceptual contents divide of themselves into 'function' and 'argument'. This second position is shown to be unstable, however, by Frege's famous substitution puzzle. For Frege, the crucial question the puzzle raises is why "The Morning Star is a planet" and "The Evening Star is a (...) planet" have different contents, but his second position predicts that they should have the same content. Frege's response to this antinomy is of course to distinguish sense from reference, but what has not previously been noticed is that this response also requires thoughts to be compositionally complex, composed of senses. That, however, raises the question just how thoughts are composed from senses. We reconstruct a Fregean answer, one that turns on an insistence that this question must be understood as semantic rather than metaphysical. It is not a question about the intrinsic nature of residents of the third realm but a question about how thoughts are expressed by sentences. (shrink)

Being an "untimely review", this paper reviews Aristotle's 'Categories' as if they were published today, in the era of computerised information, where categorisation becomes more and more essential for information retrieval. I suggest a systematic ordering of Aristotle's list of categories and argue that Aristotle's discussion of ontological dependency and his focus on concrete entities are still a source of new insight and can indeed be read as a contribution to the emerging field of applied ontology and ontological engineering.

_ Source: _Volume 95, Issue 3, pp 368 - 413 Frege famously maintained that concepts are not objects. A key argument of Frege’s for this view is, in outline, as follows: if we are to account for the unity of thought, concepts must be deemed _unsaturated_; since objects are, by contrast, saturated entities, concepts cannot be objects. The author investigates what can be made of this argument and, in particular, of the unsaturated/saturated distinction it invokes. Systematically exploring a range of (...) reconstructions suggested by Frege’s writings, and drawing on contemporary work, the author illustrates that no plausible reconstruction is forthcoming. In essence, it is altogether unclear how to simultaneously substantiate, on the one hand, the claim that unsaturated entities must be recognized in order to account for unity and, on the other, the claim that unsaturatedness is incompatible with objecthood. (shrink)

The Ontological Square is a categorial scheme that combines two metaphysical distinctions: that between types (or universals ) and tokens (or particulars ) on the one hand, and that between characters (or features ) and their substrates (or bearers ) on the other hand. The resulting four-fold classification of things comprises particular substrates, called substances , universal substrates, called kinds , particular characters, called modes or moments , and universal characters, called attributes . Things are joined together in facts by (...) primitive ontological ties or nexus . This article describes a logic that is meant to capture the basic intuitions behind the Ontological Square. Given a minimal correspondence between atomic logical form and ontological structure, the commitment to nexus as a distinct ontological category entails a rehabilitation of copulae as ties of predication. Thus, the Logic of the Ontological Square is a copula calculus rather than a predicate calculus; its soundness and completeness can be established with respect to a model akin to a so-called first-order semantics for standard second-order logic. (shrink)

En su obra de 1884, Die Grundlagen der Arithmetik [Gl.], Frege establece el principio del contexto como uno de sus principios fundamentales y propone valerse de él para dar con el concepto adecuado de número. Así, ofrece una definición de tipo contextual de número cardinal, pero ante una objeción que le resulta insalvable se decide por una definición explicita. La cuestión acerca de cuál ha sido entonces el sentido de establecer con tanto énfasis el principio del contexto admite más de (...) una respuesta. Mi texto polemiza con la interpretación canónica que se ha dado al papel de este principio en Gl., acusándola de permanecer encandilada por lo que se lee de manera inmediata en desmedro de una evaluación más integral y crítica. En particular, defenderé que: i) a diferencia de lo afirmado en Dummett 1991, la definición contextual de número cardinal no es abandonada por Frege al dar su definición explícita de número, ii) el principio del contexto tiene en Gl. un papel erístico fundamental de eliminar posiciones rivales acerca de la naturaleza de los números, iii) dicha definición contextual de número tiene un papel heurístico en el contexto de descubrimiento, en el sentido de que ofrece una intuición clave que permite llegar a la formulación final, iv) a su vez, la definición contextual es una condición necesaria de la definición explícita en el contexto de justificación, siendo que esta última se ha construido a partir de la primera. Por todo ello, sostengo que la función del principio del contexto no es la que prioriza Dummett, i. e., la fallida función de resolver el problema ontológico de la naturaleza de los números, sino que es fundamentalmente metodológica. En efecto, es en su función erística y heurística en donde debe ubicarse su relevancia para la investigación llevada a cabo en Gl. In his masterpiece of 1884, Die Grundlagen der Arithmetik [Gl.] Frege presents the context principle as a fundamental one in his investigation à propos an accurate concept of number. Thus, resting on it he offers a contextual definition of cardinal number; but after analyzing some objections he realizes that this definition does not work and decides himself for an explicit one. The question about what is the purport of the context principle when something that appeared to be the consequence is put aside admits more than a single answer. In this paper I argue against the canonic interpretation for, even while keeping next to the Fregean text, it fails to offer an integral explanation of how the context principle works all along Gl. In particular, I will defend that: i) contrary with Dummett 1991, the contextual definition of cardinal number is not abandoned by Frege when giving his explicit definition of number, ii) the context principle has in Gl. a fundamental eristic role of crossing out rival positions about the nature of numbers, iii) such contextual definition of number has an heuristic role in the discovery context, in the sense it offers a key intuition towards the final formulation, iv) furthermore, the contextual definition is a necessary condition in the justification context for the latest has been built up through the first one. For all this, I maintain that the function of the context principle is not the one Dummett prioritizes, i. e., the failed function of solving the ontological problem of the nature of numbers; the function of the context principle is rather and fundamentally methodological. It is on its eristic and heuristic function that its relevance to the Gl. investigation must be looked for. (shrink)

Hans Herzberger as a philosopher and logician has shown deep interest both in the philosophy of Gottlob Frege, and in the topic of the inexpressible and the ineffable. In the fall of 1982, he taught at the University of Toronto, together with André Gombay, a course on Frege's metaphysics, philosophy of language, and foundations of arithmetic. Again, in the fall of 1986, he taught a seminar on the philosophy of language that dealt with 'the limits of discursive symbolism in several (...) domains of human experience.' The course description continues by saying: 'Special attention will be given to the paradoxes underlying various doctrines of the inexpressible and the tensions inherent in those paradoxes. Some doctrines of .. (shrink)