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)

I argue that some utterances of sentences containing occurrences of indexical expressions should not be evaluated with respect to the context of utterance. I suggest that we distinguish between context of utterance and context of interpret‐ation, and I employ this distinction in the analysis of recorded messages and other interesting linguistic phenomena. I then discuss the implications of my views on contexts with respect to the logic of indexicals. Against the traditional view, I argue that sentences such as ‘I am (...) here now’ or ‘something exists’ should not be treated as logical truths. (shrink)

This essay aims at neutralizing the contextualist challenge against traditional semantics. According to contextualism, utterances of non-elliptical, non-ambiguous, and non-indexical sentences may be associated with contrasting truth-conditions. In this essay, I grant the contextualist analysis of the sentences in question, and the contextualist assessment of the truth-conditions for the corresponding utterances. I then argue that the resulting situation is by no means incompatible with the traditional approach to semantics, and that the evidence put forth by the contextualists may easily be (...) taken into account by the customary treatment of natural languages. (shrink)

I present a novel explanation of the apparent truth of certain remarks about fiction, such as an utterance of ''Salieri commissioned the Requiem'' during a discussion of the movie Amadeus. I criticize the traditional view, which alleges that the uttered sentence abbreviates the longer sentence ''it is true in the movie Amadeus that Salieri commissioned the Requiem''. I propose a solution which appeals to some independently motivated results concerning the contexts relevant for the semantic evaluation of indexical expressions.

This paper argues in favor of a treatment of discourse about fiction in terms of operators on character, that is, Kaplanesque ‘monsters’. The first three sections criticize the traditional analysis of ‘according to the fiction’ as an intensional operator, and the approach to fictional discourse grounded on the notion of contextual shifts. The final sections explain how an analysis in terms of monsters yields the correct readings for a variety of examples involving modal and temporal indexicals.

In this paper, I defend a view of names from fiction compatible with the Millian theory of proper names. Unlike other attempts at providing a Millian analysis of names from fiction, my approach gives semantic recognition to our pre‐theoretic intuitions without postulating metaphysically dubious entities. The intuitively correct treatment of typical examples, including true negative existential statements, is obtained by appealing only to independently motivated results in the semantics for natural languages.

Humans are always interested in distinguishing natural and artificial entities although there is no sharp demarcation between the two categories. Surprisingly, things do not improve when the second type of entities is restricted to the arguably more constrained realm of physical technical artifacts. This paper helps to clarify the relationship between natural entities and technical artifacts by developing a conceptual landscape within which to analyze these notions. The framework is developed by studying three definitions of technical artifact which arise from (...) different perspectives. All these perspectives share two intuitions: that technical artifacts are physical objects that exist by human intervention; and that technical artifacts are entities to be contrasted to natural entities. Yet the perspectives are different in the way they spell out these intuitions: the relevant human intervention may range from intentional selection to intentional production; and the contrast between technical artifacts and natural entities may be introduced by a constitution relation or by defining properties that set technical artifacts apart. The three perspectives are compared and their similarities and dissimilarities are explored with the help of ontological analysis. (shrink)

This essay proposes a novel semantic account of demonstratives, aimed at clarifying the sense in which demonstratives are semantically dependent on demonstrations. Its first two sections summarize the main views currently on the market. Section 3 argues that they are all vitiated by the same shortcomings, and yield incorrect results of ‘truth in virtue of character’ and entailment. Section 4 proposes a different account of the relationships between demonstratives and demonstrations, grounded on the idea of truth-conditionally irrelevant aspects of the (...) meaning of certain expressions. The resulting view of demonstratives is consonant with the so-called ‘bare boned’ account of their truth-conditional role, but is also in the position to recognize that the dependence of a demonstrative on a demonstration is, in some sense of the term, meaning-governed. The final section of this essay discusses the distinction between ‘vacuous’ and ‘incomplete’ uses of demonstratives, and cases involving multiple occurrences of these expressions. (shrink)

Feminist scholars have been remaking the landscape in political theory, and in this important book some of the most important feminist political theorists provide reconstructions of those concepts most central to the tradition of political philosophy. The goal is nothing less than the construction of a blueprint for a positive feminist theory.Many of these papers are completely new; others are extensions of important earlier work; two are reprints of classic papers. The result is a progress report on the continuing feminist (...) project to re-envision traditional political theory. As such, it constitutes essential reading not only for feminist thinkers but also for traditional philosophers and political theorists, who will need to come to terms with these contemporary critiques and re-readings. (shrink)

This essay argues that relativist semantics provide fruitful frameworks for the study of the relationships between meaning and truth-conditions, and consequently for the analysis of the logical properties of expressions. After a discussion of the role of intensionality and indexicality within classic double-indexed semantics, I explain that the non-relativistic identification of the parameters needed for the definition of truth and for the interpretation of indexicals is grounded on considerations that are irrelevant for the assessment of the relationships between meaning and (...) truth. (shrink)

This special issue of Applied Ontology is devoted to the foundation, the comparison and the application of functional theories in all areas, with particular attention to the biological and engineering domains. It includes theoretical and technical contributions related to the description, characterization, and application of functions.

This essay proposes a semantic analysis of biscuit-conditionals, such as Austin's classic example "there are biscuits in the cupboard if you want some". The analysis is grounded on the ideas of contextual restrictions, and of non-character encoded aspects of meaning, and provides a rigorous framework for the widespread intuitions that the if-clause in a biscuit-conditional is truth-conditionally idle, but it 'qualifies' the speech-act in question. In the concluding section of this essay, the analysis is also applied to the importantly similar (...) phenomenon of speech-act adverbs. (shrink)

We show that logic has more to offer to ontologists than standard first order and modal operators. We first describe some operators of linear logic which we believe are particularly suitable for ontological modeling, and suggest how to interpret them within an ontological framework. After showing how they can coexist with those of classical logic, we analyze three notions of artifact from the literature to conclude that these linear operators allow for reducing the ontological commitment needed for their formalization, and (...) even simplify their logical formulation. (shrink)

I present a Russellian analysis of Donnellan’s classic examples involving empty definite descriptions, such as a use of ‘the man with the Martini’ in a scenario in which the intended target is a teetotaler with water in his glass. Unlike the traditional Kripke‐style responses to Donnellan, my analysis grants semantic significance to the intuition that, in appropriate circumstances, such a use picks out the teetotaler. I then argue that the apparatus developed in my discussion of Donnellan’s examples may be successfully (...) applied to the semantic treatment of improper definite descriptions, such as ‘the table’ in Strawson’s ‘the table is covered with books.’. (shrink)

We analyze and compare geometrical theories based on mereology (mereogeometries). Most theories in this area lack in formalization, and this prevents any systematic logical analysis. To overcome this problem, we concentrate on specific interpretations for the primitives and use them to isolate comparable models for each theory. Relying on the chosen interpretations, we introduce the notion of environment structure, that is, a minimal structure that contains a (sub)structure for each theory. In particular, in the case of mereogeometries, the domain of (...) an environment structure is composed of particular subsets of Rn. The comparison of mereogeometrical theories within these environment structures shows dependencies among primitives and provides (relative) definitional equivalences. With one exception, we show that all the theories considered are equivalent in these environment structures. (shrink)

William Kneale famously noted that "it is obviously trifling to tell [a man] that Socrates was called Socrates" . Leaving aside some debatable details in Kneale's example, it would indeed seem trivial to tell someone that, say, Socrates bears "Socrates."The reason why this sort of communication strikes us as eminently uninformative has occasionally been treated as the symptom of a semantic phenomenon—more precisely, as evidence in favor of nominal descriptive approaches to the semantic behavior of proper names such as "Socrates." (...) According to these approaches, it is obviously trifling to tell someone that Socrates bears "Socrates" because the descriptive condition of bearing "Socrates" is part of the meaning of "Socrates" in some semantically significant sense of "meaning." The aim of this essay is to present a novel counter-argument against nominal descriptivism, and to defend a nondescriptivist explanation of cases such as . In particular, it is argued that nominal descriptivism is independently untenable, since it yields incorrect logical verdicts, and even disregarding its independent inadequacy, nominal descriptivism does not provide an analysis of the peculiar status of preferable to the treatment proposed in what follows. (shrink)

We aim to show that far-related primates like humans and the capuchin monkeys show interesting correspondences in terms of artifact characterization and categorization. We investigate this issue by using a philosophically-inspired definition of physical artifact which, developed for human artifacts, turns out to be applicable for cross-species comparison. In this approach an artifact is created when an entity is intentionally selected and some capacities attributed to it (often characterizing a purpose). Behavioral studies suggest that this notion of artifact is not (...) specific to the human kind. On the basis of the results of a series of field observations and experiments on wild capuchin monkeys that routinely use stone hammers and anvils, we show that the notions of intentional selection and attributed capacity appear to be at play in capuchins as well. The study also suggests that functional criteria and contextualization play a fundamental role in terms of artifact recognition and categorization in nonhuman primates. (shrink)

When discussing the distinction between referential and attributive uses of definite descriptions, Keith Donnellan also mentions cases such as ‘Smith’s murderer is insane’, uttered in a scenario in which Smith committed suicide. In this essay, I defend a two-fold thesis: (i) the alleged intuition that utterances of ‘Smith’s murderer is insane’ are true in the scenario in question is independent from the phenomenon of referential uses of definite description, and, most importantly, (ii) even if such intuition is granted semantic relevance, (...) the evidence it presents is compatible with a Russellian treatment of definite descriptions. I thus present a Russellian analysis of ‘Smith’s murderer is insane’ which, when coupled with certain independently plausible hypotheses, explains the presumed intuition that certain utterances of this sentence are indeed true, at least as long as the intended individual is insane. (shrink)

Name der Zeitschrift: Logic and Logical Philosophy Jahrgang: 22 Heft: 3 Seiten: 255-293.

In this article we want to rethink the educational significance of the novel from the perspective of a ‘metanovelistic’ reading of Don Quixote, often acclaimed as the ‘first modern novel’. Our point of departure is two-fold: on the one hand, there is the controversial contemporary phenomenon of de-reading, and all the educational discussions it entails; on the other hand, there is the existing tradition of literary education, which has already extensively reflected upon the (moral, epistemological, ontological) relations between novel reading, (...) education, and subjectification, but which perhaps also has exhausted its means for doing so. To problematize this double starting point in a new way, we propose to revisit the ‘origins’ of the (Western) novel and novel reading, at the dawn of modernity. Exploring the differences between the narratives of subjectification represented by the Cartesian cogito and Cervantes’ Don Quixote—which were near-contemporaries—we strongly argue for an educational–philosophical rehabilitation of the latter. In a first movement, and in dialogue with novelists Milan Kundera and Carlos Fuentes, we do so by focusing on the novel as a particular form or configuration of knowledge—one that is by nature experimental and pluralist. In a second movement, we link this to Jean Baudrillard’s famous distinction between ‘simulation’ and ‘illusion’, claiming that novel reading qua educational subjectification always involves a quixotic practice of adventurous, ‘playful’, and public negotiation between reality and its more or less illusory alternatives. (shrink)

The arising of smart cities has shown the limitations of the traditional attempts to understand and characterize cities. The smart city marks a relevant step in the evolution of urban systems which is expected to have disruptive impacts in the near future. Indeed, the ‘smartness’ qualification of cities points to relevant changes in the possibilities these complex systems offer mainly due to changes in the information which is made available. This chapter studies the notion of city from an ontological viewpoint, (...) and provides the first elements of a general framework aimed to characterize and unify how to understand the city and its evolution. It starts from historical considerations to isolate the factors that drove the changes from ancient to modern cities, and the complexity that characterizes the nature of cities. Our analysis departs from the traditional views and leads to distinguish three ontological components in the city: the modified physical place, the distributed agentivity, and the knowledge present in the system. The analysis of these components and their interactions, we argue, provides a coherent reading of the city across its evolution steps, and may be used to establish the maturity of today’s smart cities. (shrink)

This book is written in homage to Nicola Guarino. It is a tribute to his many scientific contributions to the new discipline, applied ontology, he struggled to establish. Nicola Guarino is widely recognized as one of the pioneers in formal and applied ontology. Renow – and sometimes even criticized – for his deep interest for the subtlest details of theoretical analysis, all throughout his career he has held the conviction that all science has to be for the benefit of society (...) at large, hence his motto that ontologies are not just for making information systems interoperable, but also – and more importantly – for making people (users of the systems) understand each other. He was among the first to realize that, to capture the intended meaning of the terms used by an information system, applied ontology has necessarily to be an interdisciplinary enterprise. Nicola’s early career developed in the areas of data systems and expert systems in physics and biomedical engineering. The lack of methodologies in expert systems led him to turn to philosophical logic as a source of inspiration, prompting him to attend the meetings of the analytic philosophy group at the University of Padua, and to discover a whole new world. It was the end of the 1980s and in that period the term ‘ontology’ started to be used to indicate a shared vocabulary across a community. Recognizing the potentials of this idea, Nicola began studying philosophical work. Knowing that language remains one of the pivotal elements in knowledge acquisition and representation, he paired it with the study of linguistic analysis. The combination of the two fields proved to be fundamental to shape his research vision, which could be summarized as: ontological analysis is hard, yet unavoidable to address the pervasive need for explicit, meaningful and transparent information systems. In other words, ontology makes sense. (shrink)

We introduce quantificational modal operators as dynamic modalities with (extensions of) Henkin quantifiers as indices. The adoption of matrices of indices (with action identifiers, variables and/or quantified variables as entries) gives an expressive formalism which is here motivated with examples from the area of multi-agent systems. We study the formal properties of the resulting logic which, formally speaking, does not satisfy the normality condition. However, the logic admits a semantics in terms of (an extension of) Kripke structures. As a consequence, (...) standard techniques for normal modal logic become available. We apply these to prove completeness and decidability, and to extend some standard frame results to this logic. (shrink)

In 1929 Tarski showed how to construct points in a region-based first-order logic for space representation. The resulting system, called the geometry of solids, is a cornerstone for region-based geometry and for the comparison of point-based and region-based geometries. We expand this study of the construction of points in region-based systems using different primitives, namely hyper-cubes and regular simplexes, and show that these primitives lead to equivalent systems in dimension n ≥ 2. The result is achieved by adopting a single (...) set of definitions that works for both these classes of figures. The analysis of our logics shows that Tarski’s choice to take sphere as the geometrical primitive might be intuitively justified but is not optimal from a technical viewpoint. (shrink)

In this paper, I discuss the general features of what I call ‘the semantics of message and attachment’. According to this theory, utterances of declarative sentences may be semantically associated with a plurality of information contents. I explain how this suggestion may provide a promising tool for the analysis of a variety of phenomena in the semantics for natural languages, such as complex demonstratives, dangling adverbs, or appositive clauses. I then focus on certain structural aspects of the theory, in particular (...) pertaining to the demands it imposes on the lexicon, and on the role it plays with respect to the truth-conditions for an utterance. In this last respect, I also discuss the logical outcomes of the theory, and I compare what I call a ‘content-containment’ approach to validity with a more traditional, truth-conditional understanding. (shrink)

This essay responds to an influential contextualist challenge against the traditional view of the relationships between meaning and truth. According to that challenge, meaning fails to determine truth conditions for reasons unrelated to the customary forms of contextual influence, having to do with so-called ‘pre-semantic’ issues and with indexicality. As a response to the contextualist, I argue that the examples they present are naturally analyzable from the traditional viewpoint, and that the forms of contextual dependence they highlight are by no (...) means novel or problematic.Este artigo responde a um influente desafio por parte do contextualismo à visão tradicional da relação entre significado e verdade. De acordo com este desafio, significados falham em determinar as condições de verdade por razões diferentes das formas usuais de influência contextual, que têm a ver com questões assim chamadas ‘pré-semânticas’ e com indexicalidade. Como resposta aos contextualistas, eu argumento que os exemplos apresentados pelos mesmos são naturalmente analisáveis do ponto de vista tradicional, e que as formas de dependência contextual que eles enfatizam não são, de forma alguma, novas ou problemáticas. (shrink)