The paper begins with a more carefully stated version of ontologically neutral (ON) logic, originally introduced in (Hailperin, 1997). A non-infinitistic semantics which includes a definition of potential infinite validity follows. It is shown, without appeal to the actual infinite, that this notion provides a necessary and sufficient condition for provability in ON logic.

The phenomenon of rigid designation - in particular, de jure rigidity - is typically treated metaphysically. The picture is: reference is gained in a way that puts no constraints on what an object in other worlds, or counterfactual situations must be like, in order to be the referent of that term, other than 'being this thing'. This allows 'pure metaphysical' investigation into, and discovery of 'the nature' of the referent. It is argued that this presupposes a 'privileged' ontology, of (...) a sort that is far from obvious. An alternative picture of rigidity is sketched, terms have associated criteria of identity and criteria of application for counterfactual situations. A term is rigid when these coincide. Aside from being a better account of rigidity, it also undermines the picture of rigid terms allowing us to 'metaphysically' investigate the nature of the referent: matters of identity and essence for the referent are settled by these semantic constraints (though it can be done in a way that allows are a posteriori necessities). (shrink)

Pour la plupart des systèmes de représentation de la connaissance orientés concept, l’un des problèmes principaux relève de la commodité technique. A savoir, la représentation de connaissance en termes prototypiques, tout comme la possibilité d’exploiter des formes de raisonnement conceptuel basées sur la typicalité, ne sont pas autorisées. Au contraire, dans les sciences cognitives, il existe des données en faveur de concepts prototypiques, et des formes non-monotoniques de raisonnement conceptuel ont été largement étudiées. Ce fossé cognitif concernant la représentation et (...) le raisonnement constitue un problème pour les systèmes computationnels, puisque l’information prototypique joue un rôle crucial dans plusieurs tâches importantes. Dans la lignée des théories du raisonnement et de la rationalité dites du double processus, nous soutenons que la représentation conceptuelle dans les systèmes computationnels devrait dépendre de (au moins) deux composantes représentationnelles, chacune spécialisée dans le traitement de différents genres de processus de raisonnement. Dans cet article, nous présentons les avantages computationnels de cette approche en termes de double processus, et les comparons brièvement avec d’autres solutions d’orientation logique, adoptées pour traiter du même problème. (shrink)

Pour la plupart des systèmes de représentation de la connaissance orientés concept, l’un des problèmes principaux relève de la commodité technique. A savoir, la représentation de connaissance en termes prototypiques, tout comme la possibilité d’exploiter des formes de raisonnement conceptuel basées sur la typicalité, ne sont pas autorisées. Au contraire, dans les sciences cognitives, il existe des données en faveur de concepts prototypiques, et des formes non-monotoniques de raisonnement conceptuel ont été largement étudiées. Ce fossé cognitif concernant la représentation et (...) le raisonnement constitue un problème pour les systèmes computationnels, puisque l’information prototypique joue un rôle crucial dans plusieurs tâches importantes. Dans la lignée des théories du raisonnement et de la rationalité dites du double processus, nous soutenons que la représentation conceptuelle dans les systèmes computationnels devrait dépendre de deux composantes représentationnelles, chacune spécialisée dans le traitement de différents genres de processus de raisonnement. Dans cet article, nous présentons les avantages computationnels de cette approche en termes de double processus, et les comparons brièvement avec d’autres solutions d’orientation logique, adoptées pour traiter du même problème. (shrink)

In one of his key texts, the Mūlamadhyamakakārikā, Nāgārjuna famously sets out to refute the ontology of essence.1 He presents numerous arguments to show that things don’t exist essentially—that is, that things are empty of essence or inherent existence. The doctrine of emptiness has been variously understood by traditional and contemporary commentators. Most radical is the recent interpretation presented by Garfield and Priest. They have rationally reconstructed Nāgārjuna’s doctrine of emptiness as an endorsement of the contradictory nature of reality. (...) According to them, Nāgārjuna can be seen to be arguing that the way in which things exist in reality and what we can truly say about them must be... (shrink)

The German Johannes Sharpe is the most important and original author of the so called "Oxford Realists": his semantic and metaphysical theories are the end product of the two main medieval philosophical traditions, realism and nominalism, for he contributed to the new form of realism inaugurated by Wyclif, but was receptive to many nominalist criticisms. Starting from the main thesis of Wyclif's metaphysics, that the universal and individual are really identical but formally distinct, Oxford Realists introduced a new type of (...) predication, based on a partial identity between the entities for which the subject and predicate stood, called predication by essence, and then redefined the traditional post-Aristotelian categories of essential and accidental predication in terms of this partial identity. Sharpe substantially shares the metaphysical view and principles of the other Oxford Realists, but he elaborates a completely different semantics, since he accepts the nominalist principle of the autonomy of thought in relation to the world, and Ockham's explanation for the universality of concepts. Unfortunately, this semantic approach partially undermines his defence of realism, since it deprives Sharpe of any compelling semantic and epistemological reasons to posit universalia in re. Therefore, Sharpe's main ontological theses certainly are sensible and reasonable, but, paradoxically, within his philosophical system they cannot in any way be considered as absolutely consistent. (shrink)

The purpose of this paper is to propose a framework of lexical meaning, broadly along the lines of Cognitive Semantics (Langacker 1987a). Within the proposed model, all aspects of meaning are to be explained in terms of properties of ontologies in conceptual space, i.e. properties of content ontologies and schematic ontologies and construals which are imposed on the conceptual structures on the occasion of use. It is through the operations of construals on ontological structures that different readings of lexical (...) expressions arise. Lexical meanings are dynamic and sensitive to contextual demands, rather than fixed and stable. In a dynamic, usage-based model like this, polysemy and multiple readings emerge as a natural consequence of the human ability to think flexibly. Another more specific purpose of this paper is to draw attention to the usefulness of ontologies in linguistic research in general and semantic modelling in particular. (shrink)

Sortally incorrect sentences have traditionally been referred to as "category mistakes" (Ryle ()) or "type crossings" (Drange ()). Sortal incorrectness is a ...

Information is the fuel of cognition. At its most basic level, information is a matter of structures interacting under laws. The notion of information thus reflects the (relational) fact that a structure is created by the impact of another structure. The impacted structure is an encoding, in some concrete form, of the interaction with the impacting structure. Information is, essentially, the structural trace in some system of an interaction with another system; it is also, as a consequence, the structural fuel (...) which drives the impacted system's subsequent processes and behavior. Information takes various forms because the world has many levels of compositional and functional complexity, under different constraints. The key constraints that matter in the understanding of information are natural patterns of organization, or types, and systematic correlations among types, or laws. These level- sensitive constraints, in the form of types and laws, shape the very form in which information is tokened in some structure, that is, the very form in which it is encoded. As a result, the information-producing interactions bring about different sorts of structures, with various sorts of causal effects and functions, whence so many ways in which information is coded and utilized. (shrink)

This paper argues for the philosophical and semantic importance of attitudinal objects, entities such as judgments, claims, beliefs, demands, and desires, as an ontological category distinct from that of events and states and from that of propositions. The paper presents significant revisions and refinements of the notion of an attitudinal object as it was developed in my previous work.

A picture of the world as chiefly one of discrete objects, distributed in space and time, has sometimes seemed compelling. It is however one of the main targets of Henry Laycock's book; for it is seriously incomplete. The picture, he argues, leaves no space for "stuff" like air and water. With discrete objects, we may always ask "how many?," but with stuff the question has to be "how much?" Laycock's fascinating exploration also addresses key logical and linguistic questions about the (...) way we categorize the many and the much. (shrink)

The study of biodiversity spans many disciplines and includes data pertaining to species distributions and abundances, genetic sequences, trait measurements, and ecological niches, complemented by information on collection and measurement protocols. A review of the current landscape of metadata standards and ontologies in biodiversity science suggests that existing standards such as the Darwin Core terminology are inadequate for describing biodiversity data in a semantically meaningful and computationally useful way. Existing ontologies, such as the Gene Ontology and others in the (...) Open Biological and Biomedical Ontologies (OBO) Foundry library, provide a semantic structure but lack many of the necessary terms to describe biodiversity data in all its dimensions. In this paper, we describe the motivation for and ongoing development of a new Biological Collections Ontology, the Environment Ontology, and the Population and Community Ontology. These ontologies share the aim of improving data aggregation and integration across the biodiversity domain and can be used to describe physical samples and sampling processes (for example, collection, extraction, and preservation techniques), as well as biodiversity observations that involve no physical sampling. Together they encompass studies of: 1) individual organisms, including voucher specimens from ecological studies and museum specimens, 2) bulk or environmental samples (e.g., gut contents, soil, water) that include DNA, other molecules, and potentially many organisms, especially microbes, and 3) survey-based ecological observations. We discuss how these ontologies can be applied to biodiversity use cases that span genetic, organismal, and ecosystem levels of organization. We argue that if adopted as a standard and rigorously applied and enriched by the biodiversity community, these ontologies would significantly reduce barriers to data discovery, integration, and exchange among biodiversity resources and researchers. (shrink)

"With Abelard, the term 'copula' enters into western thought. In fact, although widely attested, the use of the term 'copula' in reference to Aristotle's work is totally anachronistic. (1) What led to this term? In his Dialectica, Abelard was mainly concerned with the way syllogisms can be construed. The interest of the copula was in fact derivative from this main concern. As Kneale and Kneale (The development of logic, 1962: 206) put it, 'it is clear that for his [Aristotle's] theory (...) of syllogism he assumes in every general proposition two terms of the same kind, that is to say, each capable of being a subject and each capable of being a predicate'. Thus, since the only linguistic entities that can play these two roles are nouns (in modern terms, noun phrases), it is easy to understand why the copula became central. Abelard pursued the Aristotelian theory by emphasizing the role of be as the element that can turn a noun into a predicate in a syllogism rather than as the element that provides the sentence with a time specification (see Dialectica: 161). It is this conceptual shift that underlies the invention of the term 'copula', which is cast on the Latin copulare meaning 'to link'. For example, in sentences like a man is a mammal and Socrates is a man the copula allows the noun phrase a man to play the role of the subject, in the first, and that of the predicate, in the second. Clearly, in such a framework the assumption that the copula can be interpreted as a predicate meaning 'existence'. (shrink)

The author's semantic theory is applied to the problem whether logic and semantics presuppose any ontological theory. it is concluded that, whereas formal logic has no ontological commitments at all, the applications of any theory of reference do presuppose some assumption concerning the furniture of the world, and the very notion of factual truth (as opposed to that of formal truth) presupposes the hypothesis that there exists something external to the factual propositions.

The article analyzes ontological possibilities of the meaning of information setting. For this, a modern approach of information technologies is considered in relation to setting the meaning of textual information. At the same time, the problem of setting the meaning of number and the meaning of word is formulated, which is discussed from the perspective of an ontological approach based on the solution of the problem of being, where the ontology of semantics is the result of such a (...) solution. As the ontology itself, a relational ontology is chosen, the initial position of which is the thesis: “to be” means “to be distinctive”. Based on this, information is defined as the result of ontological distinction, which allows mathematical formalization through the operation of subtraction, which expresses the essence of ontological distinction. This in turn allows to build constantly a numerical order of the meanings of any information, including textual, while the meaning of the information is its place in such a numerical range. Such a method, called Relational method, leads to an exact numerical specification of the meaning of any information, and by dignity of this numerical form, the meanings of any information can be easily input into a computer with subsequent processing and operation of these senses. (shrink)

HENRY LAYCOCK, Words Without Objects: Semantics, Ontology, and Logic for Non-Singularity. Oxford: Clarendon Press, 2006. xvi + 202pp. £35.00. ISBN 0‐19‐928171‐8. Gregory Landini, Department of Phil...

As introduction to the special issue on the semantics of cardinals, we offer some background on the relevant literature, and an overview of the contributions to this volume. Most of these papers were presented in earlier form at an interdisciplinary workshop on the topic at The Ohio State University, and the contributions to this issue reflect that interdisciplinary character: the authors represent both fields in the title of this journal.

The distinct function of ātmanepada in Sanskrit language remains a sort of linguist mystery in Sanskrit studies. In this article, I analyze the larger implications and subliminal meaning of ātmanepada by moving beyond the realm of linguistics, which has been the dominant approach, and entering the territory of philosophy and, more specifically, the purportful approach of traditional Indian philosophy of language represented by Bhartṛhari’s Vākyapadīya. Bhartṛhari’s analytical procedure seeks to unveil the ontological interdependence that binds together the constituent elements of (...) linguistic sentences, understood as modal appearances of the ever present foundational ground of the world/word—Brahman as Vāc. This is our referential guide to the semantic reconstruction of ātmanepada’s teleology. (shrink)

In his late philosophy, Quine generalized the structuralist view in the philosophy of mathematics that mathematical theories are indifferent to the ontology we choose for them. According to his ‘global structuralism’, the choice of objects does not matter to any scientific theory. In the literature, this doctrine is mainly understood as an epistemological thesis claiming that the empirical evidence for a theory does not depend on the choice of its objects. The present paper proposes a new interpretation suggested by (...) Quine’s recently published Kant Lectures from 1980 according to which his global structuralism is a semantic thesis that belongs to his theory of ontological reduction. It claims that a theory can always be reformulated in such a way that its truth does not presuppose the existence of the original objects, but only of some objects that can be considered as their proxies. Quine derives this claim from the principle of the semantic primacy of sentences, which is supposed to license the ontological reductions he uses to establish his global structuralism. It is argued that these reductions do not actually work because they do not account for some hidden ontological commitments that are not detected by his criterion of ontological commitment. (shrink)

The Interplay of Logic, Set Theory and Semantics in Quine's Philosophy L. Decock. In philosophy of science Quine's name is linked to the so-called Quine- Duhem thesis. The discussion of this thesis still continues even after several decades.9 ...

ABSTRACT: Rudolf Carnap’s “Empiricism, Semantics and Ontology” (ESO) has received a good deal of sympathetic interest over the years from philosophers who are not particularly sympathetic to verificationism, or suspicious of metaphysics in general. Recent work has favorably cited ESO in connection with doubts about the genuine content of debates in the metaphysics of material objects. But, when we look at how Carnap introduces his central notion of a ‘framework’, and the questions he wants to use it to (...) deflate, there seem to be significant differences in his approach and aim from that of contemporary deflationists about the metaphysics of material objects. This paper first looks at some of these differences, and suggests a way of seeing them as arising more from differences in focus and interest than fundamental approach. However, a further question is whether philosophers who may entirely disagree with Carnap about abstract entities, or the substantiveness of the debate between Realists and Idealists – possibly all of his negative conclusions in ESO - can really be seen as heirs to his approach and argument therein. We look first at his discussion of the Realism/Idealism debate, to sort out different aspects of his analysis, and determine to what extent one can disagree with it while not thinking this undermines other analyses using the same general strategy. In the course of this, we are able to distinguish the basic Carnapian analysis of metaphysical disputes, from the question of whether, if the analysis is correct, this actually subverts the disputes. I suggest that, if we put verificationism aside, ESO really provides us with an approach and a type of skeptical challenge more than an argument, and it is open to contemporary philosophers to think that this skeptical challenge can (or can’t) be met, or can be supplemented by further argument, on a case by case basis. (shrink)

The author investigates greek ontologies that apparently rely on a conflation of "binary" (x is f) and "monadic" (x is) uses of 'is'. He uses Aristotelian and other texts to support his proposal that these ontologies are explained by the Greeks using two alternative semantic analyses for 'x is F'. The first views it as asserting a relation between x and F, the second as asserting that a "predicative complex" exists, where a predicative complex is a complex consisting of x (...) and F. The article concludes by indicating some uses for the novel concept of predicative complex in aristotelian interpretation. (shrink)

Gödel claimed that Zermelo-Fraenkel set theory is 'what becomes of the theory of types if certain superfluous restrictions are removed'. The aim of this paper is to develop a clearer understanding of Gödel's remark, and of the surrounding philosophical terrain. In connection with this, we discuss some technical issues concerning infinitary type theories and the programme of developing the semantics for higher-order languages in other higher-order languages.