Informally speaking, a truthmaker is something in the world in virtue of which the sentences of a language can be made true. This fundamental philosophical notion plays a central role in applied ontology. In particular, a recent nonorthodox formulation of this notion proposed by the philosopher Josh Parsons, which we labelled weak truthamking, has been shown to be extremely useful in addressing a number of classical problems in the area of Conceptual Modeling. In this paper, after revisiting the classical notion (...) of truthmaking, we conduct an in depth analysis of Parsons’ account of weak truthmaking. By doing that, we expose some difficulties in his original formulation. As the main contribution of this paper, we propose solutions to address these issues which are then integrated in a new precise interpretation of truthmaking that is harmonizable with. (shrink)

We present in this paper a novel ontological theory of events whose central tenet is the Aristotelian distinction between the object that changes and the actual subject of change, which is what we call an individual quality. While in the Kimian tradition events are individuated by a triple ⟨ o, P, t ⟩, where o is an object, P a property, and t an interval of time, for us the simplest events are qualitative changes, individuated by a triple ⟨ o, (...) q, t ⟩, where q is an individual quality inhering in o or in one of its parts. Detaching the individuation of events from the property they exemplify results in a fine-grained theory that keeps metaphysics and semantics clearly separate, and lies between the multiplicative and the unitarian approaches. We discuss then the way language refers to events, observing that, in most cases, event descriptions refer to complex, cognitively relevant clusters of co-occurring qualitative changes, which exhibit a synchronic structure depending on the way they are described. Contra Bennett, who famously argued that the semantics of event names ultimately depends on “local context and unprincipled intuitions”, we show how the lexicon provides systematic principles for individuating such clusters and classifying them into kinds. Finally, we address some open challenges in the semantics of locative and manner modifiers. (shrink)

In a number of papers, Kit Fine introduced a theory of embodiment which distinguishes between rigid and variable embodiments, and has been successfully applied to clarify the ontological nature of entities whose parts may or may not vary in time. In particular, he has applied this theory to describe a process such as the erosion of a cliff, which would be a variable embodiment whose manifestations are the different states of erosion of the cliff. We find this theory very powerful, (...) and especially appropriate to capture the intuition that the same process may go on at different times. However, its formal principles have been subject to some criticisms, mainly concerning the mereological structure of a variable embodiment. Moreover, since the notion of variable embodiment is very general, simply saying that processes are variable embodiments is not enough to understand their ontological nature. To address these concerns, in this paper we proceed in two phases: first, we propose a revised version of Fine’s original theory adapted to the case of processes, which adopts a classical mereology instead of Fine’s hylomorphic mereology, and a temporalized constitution relation in place of Fine’s function of variable embodiment; second, we go deeper into the ontological nature of processes by revisiting the notions of homogeneity, intentionality, and telicity discussed in the literature, and propose an account based on ontological principles and not on semantic properties of predicates. This allows us to organize processes into a novel taxonomy based exclusively on their unity and individuation principles. (shrink)

A survey of the similarities and differences between BFO and DOLCE, and of the mutual interactions between Nicola Guarino and Barry Smith.

We propose a novel ontological analysis of relations and relationships based on a re-visitation of a classic problem in the practice of knowledge repre- sentation and conceptual modeling, namely relationship reification. Our idea is that a relation holds in virtue of a relationship's existence. Relationships are therefore truthmakers of relations. In this paper we present a general theory or reification and truthmaking, and discuss the interplay between events and rela- tionships, suggesting that relationships are the focus of events, which emerge (...) from the context (the scene) they occur in. (shrink)

In 2005, IOS Press published the first issue of applied Ontology. At the time, we argued that, at the core of the journal, there was “a desire to understand the nature of reality and how people construe their world”. We declared that ontology was both “fundamental to human thought” and “to translating our thoughts into computational artifacts” (Guarino & Musen,2005). With an editorial board of distinguished scholars representing the fields of computer science, informatics, information science, philosophy, linguistics, psychology, and (...) social science, we had the firm belief that applied Ontologywould fulfill an important academic niche, becoming an essential forum for discussion on topics such as ontological analysis, conceptual modeling, and the role of domain models in building and managing information systems. The facts now show that we were correct. (shrink)

In a world that is overflowing with journals and other outlets for scientific publication, the appearance of any new periodical requires some justification. There are already more journals than we can read and more conferences than we can attend. In the case of applied Ontology, we believe that the creation of anew journal not only is completely justifiable, it is downright exciting. For too long, workers in computer science have assumed that content comes for free. “Theory” in computer science has (...) always meant the theory of processes and of computation. We measure the complexity of computer programs in terms of how long it takes machines to execute them, not in terms of how long it takes people to understand and to represent the data on which those programs might operate. We typically describe computer code in terms of algorithms that operate on formal parameters, often without pausing to discuss where the data that might satisfy those parameters come from. This journal was founded on the premise that workers in computer science, informatics, and information science are overdue in paying as much attention to contents as they do to algorithms. (shrink)

Evaluative contexts can be stressful, but relatively little is known about how different individuals who vary in responses to self-evaluation make emotion regulatory choices to cope in these situations. To address this gap, participants who vary in self-esteem gave an impromptu speech, rated how they perceived they had performed on multiple evaluative dimensions, and subsequently chose between disengaging attention from emotional processing and engaging with emotional processing via changing its meaning, while waiting to receive feedback regarding these evaluative dimensions. According (...) to our framework, distraction can offer stronger short-term relief than reappraisal, but, distraction is costly in the long run relative to reappraisal because it does not allow learning from evaluative feedback. We predicted and found that participants with lower self-esteem react defensively to threat of failure by seeking short-term relief via distraction over the long-term benefit of reappraisal, as perceived failure increases. Implications for the understanding of emotion regulation and self-esteem are discussed. (shrink)

One of the main challenges for computational legal research is drawing up innovative heuristics to derive actionable knowledge from legal documents. While a large part of the research has been so far devoted to the extraction of purely legal information, less attention has been paid to seeking out in the texts the clues of more complex entities: legally relevant facts whose detection requires to link and interpret, as a unified whole, legal information and results of empirical analyses. This paper presents (...) an ongoing research that points in this direction, trying to devise new ways to support public prosecutors in assessing the dangerousness of individuals and groups under investigation, an activity that precisely relies on the cross-sectional evaluation of legal and empirical data. A knowledge mining strategy will be outlined that lines up, into a single metaheuristic model, information extraction, network-based inference, machine learning and visual analytics. We will focus, in particular, on the integration of graph-based inference and machine learning methods used both to support classification tasks and to explore new forms of man-machine cooperation. Experiments made involving public prosecutors from the Italian Anti-Mafia Investigation Directorate and using data from real investigations have not only shown the potentialities of our approach but also offered an opportunity to reflect on the role we could assign to AI when thinking about the future of legal science and practice. (shrink)

In general, we know that gesture accompanying spoken instruction can help children learn. The present study was conducted to better understand how gesture can support children’s comprehension of spoken instruction and whether the benefit of teaching though speech and gesture over spoken instruction alone depends on differences in cognitive profile – prior knowledge children have that is related to a to-be-learned concept. To answer this question, we explored the impact of gesture instruction on children’s analogical reasoning ability. Children between the (...) ages of 4 and 11 years solved scene analogy problems before or after speech alone or speech and gesture instruction while their visual attention was monitored. Our behavioral results suggest a marginal benefit of gesture instruction over speech alone, but only 5-year-old children showed a distinct advantage from speech+gesture instruction when solving the post-instruction trial, suggesting that at this age, children have the cognitive profile in place to utilize the added support of gesture. Furthermore, while speech+gesture instruction facilitated effective visual attention during instruction, directing attention away from featural matches, and towards relational information, was pivotal for younger children’s success post instruction. We consider how these results contribute to the gesture-for-learning literature and consider how the nuanced impact of gesture is informative for educators teaching tasks of analogy in the classroom. (shrink)

Ontology as a branch of philosophy is the science of what is, of the kinds and structures of objects, properties, events, processes and relations in every area of reality. ‘Ontology’ is often used by philosophers as a synonym for ‘metaphysics’ (literally: ‘what comes after the Physics’), a term which was used by early students of Aristotle to refer to what Aristotle himself called ‘first philosophy’. The term ‘ontology’ (or ontologia) was itself coined in 1613, independently, by two philosophers, Rudolf Göckel (...) (Goclenius), in his Lexicon philosophicum and Jacob Lorhard (Lorhardus), in his Theatrum philosophicum. The first occurrence in English recorded by the OED appears in Bailey’s dictionary of 1721, which defines ontology as ‘an Account of being in the Abstract’. (shrink)

El problema de la relación causal entre el cuerpo y la mente parece merecer, por su importancia y el tiempo a él dedicado, un capítulo aparte en la teoría del conocimiento, en la filosofía de la mente y en las ciencias cognitivas. El dualismo cuerpo-mente dificulta enormemente la explicación teórica de un nexo causal entre uno y otro, problema central en la filosofía de Descartes, más fácilmente rastreable en autores anteriores como san Agustín o Platón. En el presente trabajo analizaremos (...) el desarrollo efectuado por John Searle con el fin de superar este problema mediante una reformulación teórica de los conceptos involucrados en su descripción y conceptuación. Su tratamiento se basa en el reemplazo del concepto tradicional de causalidad por uno más complejo, mediante la introducción teórica de diferentes niveles de observación y del concepto de realización, integrante de este nuevo concepto de causalidad. (shrink)

Reification is a standard technique in conceptual modeling, which consists of including in the domain of discourse entities that may otherwise be hidden or implicit. However, deciding what should be rei- fied is not always easy. Recent work on formal ontology offers us a simple answer: put in the domain of discourse those entities that are responsible for the (alleged) truth of our propositions. These are called truthmakers. Re-visiting previous work, we propose in this paper a systematic analysis of truthmaking (...) patterns for properties and relations based on the ontolog- ical nature of their truthmakers. Truthmaking patterns will be presented as generalization of reification patterns, accounting for the fact that, in some cases, we do not reify a property or a relationship directly, but we rather reify its truthmakers. (shrink)

This is a short editorial to introduce the double issue of Applied Ontology that celebrates the journal's tenth anniversary. At a time when information technology of all kinds depends on the use of explicit ontologies, our journal addresses the modeling issues that underlie the next generation of computational systems. As the editors of Applied Ontology, we are excited by how far we have come in the past decade and by the opportunities that await our research community.

The article discusses current philosophical issues in foundationalism and anti-foundationalism as well as their ramifications for theological epistemology. Thestrengths and weaknesses of the anti-foundationalist theological current are also assessed.

My paper proceeds in three stages: 1) the traditional relationship between philosophy and theology; 2) how the “foundationalist” issue affects this debate; 3) some final reflections. This essay, along with the previous one by Jack Bonsor, was originally presented to the “Theology in the Seminary Context” seminar at the Catholic Theological Society of America convention in June, 1995.

The article discusses some parallels between Weltanschauung analysis in contemporary philosophy of science and Rahner’s criticism of the context/content approach to theological pluralism.

L'article analyse le principe herméneutique de Vincent de Lerins selon lequel tout développement doit avoir lieu dans le même sens et dans la même phrase. Le Commonitorium de Vincent occupe une place importante en théologie catholique. Son œuvre offre une base solide pour comprendre le développement de la doctrine et la possibilité d'un pluralisme légitime. Une redécouverte de ses principes est importante pour l'épistémologie théologique contemporaine, en vue des défis posés à la théorie théologique par des penseurs tels que Heidegger (...) et Gadamer. (shrink)

Dado que este artículo está pensado para una audiencia predominantemente científica, comenzaré explicando algunas de las similitudes y diferencias entre la ciencia y la filosofía. No hay una división precisa entre una y otra. Ambas son, en principio, universales en lo referente a tu temática y buscan la verdad. Aunque no haya una clara línea divisoria hay importantes diferencias de método, estilo y presuposiciones. Los problemas filosóficos suelen poseer tres características relacionadas que los problemas científicos no poseen. En primer lugar, (...) la filosofía se ocupa en gran parte de cuestiones para las que aún no se ha encontrado una forma satisfactoria y sistemática de resolverlas. En segundo lugar, las cuestiones filosóficas suelen componerse de lo que llamaré preguntas referidas a «marcos conceptuales»; es decir, se ocupan de grandes marcos de fenómenos en vez de preguntas específicas e individuales. Y en tercer lugar, las cuestiones filosóficas se refieren típicamente a problemas conceptuales; habitualmente son cuestiones acerca de nuestros conceptos y la relación entre nuestros conceptos y el mundo que representan. (shrink)

Nonostante la pervasività della nozione di servizio e le recenti proposte per una Scienza dei Servizi unificata, esistono ancora parecchie inconsistenze tra le varie definizioni di servizio in uso nelle diverse discipline (e spesso anche all'interno della stessa disciplina). In particolare, a dispetto del fatto che l'obiettivo generale di questa scienza dovrebbe essere di permettere a persone e calcolatori di interagire agevolmente con i servizi nella vita di tutti i giorni, molti approcci alla modellazione dei servizi in informatica (specialmente quelli (...) centrati sui servizi web) sembrano focalizzarsi principalmente sugli aspetti connessi al flusso dati, per cui i servizi sono considerati come scatole nere che trasformano un ingresso in un’uscita, e che interoperano tra loro secondo modalità predefinite. Questo modello a scatola nera ha sicuramente i suoi vantaggi ma, stando a quanto dicono Petrie e Bussler, sembra funzionare bene sono all'interno di contesti omogenei, i cosiddetti parchi di servizi, dove l'interoperabilità è tecnicamente possibile solo perché i contenuti e le modalità di erogazione di ogni servizio sono predefiniti e condivisi da tutti i soggetti coinvolti. (shrink)

Nonostante la pervasività della nozione di servizio e le recenti proposte per una Scienza dei Servizi unificata, esistono ancora parecchie inconsistenze tra le varie definizioni di servizio in uso nelle diverse discipline (e spesso anche all'interno della stessa disciplina). In particolare, a dispetto del fatto che l'obiettivo generale di questa scienza dovrebbe essere di permettere a persone e calcolatori di interagire agevolmente con i servizi nella vita di tutti i giorni, molti approcci alla modellazione dei servizi in informatica (specialmente quelli (...) centrati sui servizi web) sembrano focalizzarsi principalmente sugli aspetti connessi al flusso dati, per cui i servizi sono considerati come scatole nere che trasformano un ingresso in un’uscita, e che interoperano tra loro secondo modalità predefinite. Questo modello a scatola nera ha sicuramente i suoi vantaggi ma, stando a quanto dicono Petrie e Bussler, sembra funzionare bene sono all'interno di contesti omogenei, i cosiddetti parchi di servizi, dove l'interoperabilità è tecnicamente possibile solo perché i contenuti e le modalità di erogazione di ogni servizio sono predefiniti e condivisi da tutti i soggetti coinvolti. (shrink)

dolce, the first top-level ontology to be axiomatized, has remained stable for twenty years and today is broadly used in a variety of domains. dolce is inspired by cognitive and linguistic considerations and aims to model a commonsense view of reality, like the one human beings exploit in everyday life in areas as diverse as socio-technical systems, manufacturing, financial transactions and cultural heritage. dolce clearly lists the ontological choices it is based upon, relies on philosophical principles, is richly formalized, and (...) is built according to well-established ontological methodologies, e.g. OntoClean. Because of these features, it has inspired most of the existing top-level ontologies and has been used to develop or improve standards and public domain resources. Being a foundational ontology, dolce is not directly concerned with domain knowledge. Its purpose is to provide the general categories and relations needed to give a coherent view of reality, to integrate domain knowledge, and to mediate across domains. In these 20 years dolce has shown that applied ontologies can be stable and that interoperability across reference and domain ontologies is a reality. This paper briefly introduces the ontology and shows how to use it on a few modeling cases. (shrink)

Исследование посвящено философскому осознанию природы духовности человека. Автор рассматривает духовность внутреннего мира человека как единство высших чувств души и нравственного сознания. Для специалистов в области философии, методологии науки.

The goal of the 2010 Ontology Summit was to address the current shortage of persons with ontology expertise by developing a strategy for the education of ontologists. To achieve this goal we studied how ontologists are currently trained, the requirements identified by organizations that hire ontologists, and developments that might impact the training of ontologists in the future. We developed recommendations for the body of knowledge that should be taught and the skills that should be developed by future ontologists; these (...) recommendations are intended as guidelines for institutions and organizations that may consider establishing a program for training ontologists. Further, we recommend a number of specific actions for the community to pursue. (shrink)