The Universal Core (UCore) is a central element of the National Information Sharing Strategy that is supported by multiple U.S. Federal Government Departments, by the intelligence community, and by a number of other national and international institutions. The goal of the UCore initiative is to foster information sharing by means of an XML schema providing consensus representations for four groups of universally understood terms under the headings who, what, when, and where. We here describe a project to create an ontology-based (...) supporting layer for UCore, entitled ‘Universal Core Semantic Layer’ (UCore SL), and describe how UCore SL can be applied to further UCore’s information sharing goals. (shrink)

Narrowly speaking, the correspondence theory of truth is the view that truth is correspondence to a fact -- a view that was advocated by Russell and Moore early in the 20 th century. But the label is usually applied much more broadly to any view explicitly embracing the idea that truth consists in a relation to reality, i.e., that truth is a relational property involving a characteristic relation (to be specified) to some portion of reality (to be specified). During the (...) last 2300 years this basic idea has been expressed in many ways, resulting in a rather extended family of views, theories, and theory sketches. The members of the family employ various concepts for the relevant relation (correspondence, conformity, congruence, agreement, accordance, copying, picturing, signification, representation, reference, satisfaction) and/or various concepts for the relevant portion of reality (facts, states of affairs, situations, events, objects, sequences of objects, sets, properties, tropes). The resulting multiplicity of versions and reformulations of the theory is due to a blend of substantive and terminological differences. (shrink)

We take as our starting point a thesis to the effect that, at least for true judgments of many varieties, there are parts of reality which make such judgments are true. We argue that two distinct components are involved in this truthmaker relation. On the one hand is the relation of necessitation, which holds between an object x and a judgment p when the existence of x entails the truth of p. On the other hand is the dual notion of (...) projection, which holds between a judgment p and an object x when the truth of p entails the existence of x. A truthmaker for a judgment p is then a necessitator for p which satisfies the further constraint that it is part of p’s projection. We offer a formal theory of the truthmaker relation thus defined, exploiting ontological tools of basic mereology and the theory of dependence. We then apply the theory to a range of problems connected with generic expressions, ellipsis, vagueness, and indexical and perceptual judgments. (shrink)

We take as our starting point a thesis to the effect that, at least for true judgments of many varieties, there are parts of reality which make such judgments are true. We argue that two distinct components are involved in this truthmaker relation. On the one hand is the relation of necessitation, which holds between an object x and a judgment p when the existence of x entails the truth of p. On the other hand is the dual notion of (...) projection, which holds between a judgment p and an object x when the truth of p entails the existence of x. A truthmaker for a judgment p is then a necessitator for p which satisfies the further constraint that it is part of p’s projection. We offer a formal theory of the truthmaker relation thus defined, exploiting ontological tools of basic mereology and the theory of dependence. We then apply the theory to a range of problems connected with generic expressions, ellipsis, vagueness, and indexical and perceptual judgments. (shrink)

The article is primarily concerned with the notion of a truth-maker. An explication for this notion is offered, which relates it to other notions of making something such-and-such. In particular, it is shown that the notion of a truth-maker is a close relative of a concept employed by van Inwagen in the formulation of his Consequence Argument. This circumstance helps understanding the general mechanisms of the concepts involved. Thus, a schematic explication of a whole battery of related notions is offered. (...) It is based on an explanatory notion, introduced by the sentential connector “because”, whose function is examined in some detail. Finally, on the basis of the explication proposed, an argument is developed to the effect that the objects usually regarded as truth-makers are not apt to play this role. (shrink)

The paper proposes to grasp handwritten signature as a metaphysical invention of the so-called “Western” civilization, where the signature is supposed to make possible juridical identification of the person who wrote it. However, despite this expectation of reliability, the Western handwritten signature is an aporetic sign, which is considered to be authentic (unrepeatable) and conventional (repeatable) at the same time. Because the signature is a sign of juridical identification and its authenticity can always be forged, Jacques Derrida tries to deconstruct (...) the contradictory functioning of Western metaphysics, which leads to confusion in our expectations of authenticity and identity in our uses of signatures. By proposing a new reading of Derridean texts concerning writing, the paper focuses on the pragmatical paradox that grounds our contradictory legal politics of signing: because the exact manual reproduction of a line is impossible, no one can satisfy the legislative obligation to sign conformably to the model signature. That’s the aporia of trace’s recognition, which establishes the signature as a sign: on the one hand, the signature is supposed to represent the juridical identity of the person who traced it; on the other hand, the signature, which constantly changes its graphical form, makes every certain identification impossible. In order to question the juridical identity traditionally guaranteed by the signature, this paper invites to grasp the legal practice of signing as a subversive performativity, which is produced during the passage between recognition of juridical identity requested by the law and its simultaneous and inevitable transgression. Finally, the paper proposes a new approach to the signature as a visual performance of the self, based on a reevaluation of the altercation between Jacques Derrida and John Searle concerning the iterative character of traces and performatives. (shrink)

Dans l'activité de renseignement, le problème ontologique est lié à la nature et aux caractéristiques des entités qui menacent et sont menacées. La menace est un objet ontologique très complexe et, par conséquent, une ontologie appropriée doit être construite conformément aux principes métaphysiques formels qui peuvent prendre en compte la complexité des objets, des attributs, des processus, des événements et des relations qui composent ces états de choses. DOI: 10.13140/RG.2.2.22693.73446.

This essay expands on Barry Smith’s paper “Against Fantology” of 2005, which defends the view that analytic philosophy has throughout its history been marked by a tendency to conceive the syntax of first-order predicate logic as a key to ontology. I present fantology (or "F(a)ntology") in the light of a more general and in itself ontologically neutral operation that I call a default ontologization of a language. I then discuss Quine’s views, since he is the most outspoken fantologist in the (...) second half of the twentieth century. As Smith points out, “fantology sometimes takes the form of a thesis according to which the language of standard predicate logic can serve the formulation of the truths of natural science in a uniquely illuminating way”. Hence Quine’s doctrine according to which the ontological commitments of a theory become evident only when the theory has been regimented in fantological clothing. (shrink)

Husserl’s theory of manifolds was developed for the first time in a very short form in the Prolegomena to his Logical Investigations, §§ 69–70 (pp. 248–53), then repeatedly discussed in Ideas I, §§ 71–2 (pp. 148–53), in Formal and Transcendental Logic, §§ 51–4 (pp. 142–54), and finally in the Crisis, § 9 (pp. 20–60). Husserl never lost sight of it: it was his idée fixe. He discussed this theme over forty years, expressing the same, in principle, ideas on it in (...) different terms and versions. His discussions of it, however, were always cut short and inconclusive, so that he never developed his theory of manifolds in detail. Main claim in this essay is that Husserl’s theory of manifolds is twofold. It is (1) a theory of theories, advanced in the good German tradition of Wissenschaftslehre, launched first by Bernard Bolzano. The latter, in turn, is an offspring of the ancient tradition of mathesis universalis, explored in the modernity by Descartes and Leibniz. Further, (2) the theory of manifolds is also a formal theory of everything. Its objective is to provide a systematic account of how the things in the world (its parts) hang together in wholes of quite different kind. It is to be noted that Husserl explicitly speaks about (1) and only implicitly about (2). In this paper we shall also show that the theory of everything is intrinsically connected with the theory of theories. (shrink)

This paper explores the prospects of combining two views. The first view is metaphysical rationalism : all things have an explanation. The second view is metaphysical essentialism: there are real essences. The exploration is motivated by a conflict between the views. Metaphysical essentialism posits facts about essences. Metaphysical rationalism demands explanations for all facts. But facts about essences appear to resist explanation. I consider two solutions to the conflict. Exemption solutions attempt to exempt facts about essences from the demand for (...) explanation. Explanation solutions attempt to explain facts about essences. I argue that exemption solutions are less promising than explanation solutions. I then consider how explanation solutions might be developed. I suggest that a “generative” approach is most promising. I tentatively conclude that the prospects for combining metaphysical rationalism and metaphysical essentialism turn on the viability of a generative approach. This sets the agenda for defending the combination as well as the more general project of explaining essences. (shrink)

I argue that experiences can have microphenomenal structures, where the macrophenomenal properties we introspect are realized by non-introspectible microphenomenal properties. After explaining what it means to ascribe a microstructure to experience, I defend the thesis against its principal philosophical challenge, discuss how the thesis interacts with other philosophical issues about experience, and consider our prospects for investigating the microphenomenal realm.

Most philosophers assume (often without argument) that belief is a mental state. Call their view the orthodoxy. In a pair of recent papers, Matthew Boyle has argued that the orthodoxy is mistaken: belief is not a state but (as I like to put it) an act of reason. I argue here that at least part of his disagreement with the orthodoxy rests on an equivocation. For to say that belief is an act of reason might mean either (i) that it’s (...) an actualization of its subject’s rational capacities or (ii) that it’s a rational activity (hence, a certain kind of event). And, though belief is not an act of reason in the second sense, it may nonetheless be one in the first: it may be a static actualization of its subject’s rational capacities. (shrink)

As with most other areas of reproduction, surrogacy is highly regulated. But the legislation and policies on surrogacy are written in such ways that make large (and possibly mistaken) assumptions about the metaphysical relationship between the mother and the fetus – whether the fetus is a part of, or contained by, the mother. It is the purpose of this chapter to highlight these assumptions, and to demonstrate the impact that alternative metaphysical views can have on our conceptualization of surrogacy. With (...) that in mind, I recommend that our public policies on surrogacy be at least neutral or otherwise responsive to metaphysics rather than presupposing it, such that the regulation and legislation of surrogacy will be metaphysically informed. (shrink)

Ernest Lepore; III*—Conditions on Understanding Language1, Proceedings of the Aristotelian Society, Volume 97, Issue 1, 1 June 1997, Pages 41–60, https://doi.or.

In this thesis, I propose and defend a theory according to which committing oneself to knowing the proposition expressed counts as an assertion of that proposition. A consequence of this view is the knowledge account of assertion, according to which one asserts that p correctly only if one knows that p. In support of this approach, I offer a strategy of identifying an assertion’s “normative consequences”, types of act that normally take place as a result of one’s making an assertion (...) incorrectly. I outline two such phenomena: retraction and disavowal of knowledge. In continuation, I put the theory to test and critically examine four sets of objections against it, arguing that it can convincingly defuse them. Finally, I discuss two related issues: I maintain that by performing “aesthetic assertions” one also normally performs a non-assertoric speech act of recommendation, and argue for the possibility of “non-linguistic assertions”, whose content is expressed by gestures in appropriate contexts. (shrink)

A recent evolution of computer simulations has led to the emergence of complex computer simulations. In particular, the need to formalize composite objects (those objects that are composed of other objects) has led to what the author suggests calling pluriformalizations, i.e. formalizations that are based on distinct sub-models which are expressed in a variety of heterogeneous symbolic languages. With the help of four case-studies, he shows that such pluriformalizations enable to formalize distinctly but simultaneously either different aspects or different parts (...) or different scales of the same object or system. From an epistemological standpoint, he suggests that this kind of computer-aided complex formalization of composite objects renew the traditional relations between computer simulations, theoretical models and operational models. (shrink)

Le présent article est une tentative nouvelle d’articuler le rôle d’une théorie des vérifacteurs. Nous soutenons que la théorie de la vérifaction constitue une pierre angulaire dans une bonne méthodologie en métaphysique, mais que l’amalgame entre la théorie de la vérifaction et la théorie de la vérité a été responsable de certains excès associés aux approches vérifactionnistes dans la littérature récente. Nous montrons que la théorie de la vérifaction conserve son attrait comme instrument d’investigation métaphysique, et ce, malgré notre accord (...) avec les doctrines déflationnistes telles que celles défendues par Ayer, Quine, Field et Horwich (ou, du moins, malgré notre neutralité à leur égard). Nous soutenons en outre que les intuitions sous-jacentes à la théorie de la vérifaction s’éclairent quand nous les dissocions d’une théorie de la vérité et, par-dessus tout, de la tentative de fournir une définition de la vérité. (shrink)

Die bahnbrechenden wissenschaftlichen Ergebnisse der letzten Jahre erzwingen eine neue philosophische Auseinandersetzung mit den Grundkategorien der Biologie und der benachbarten Disziplinen. Insbesondere die Anwendung neuer informationstechnischer Mittel in der biomedizinischen Forschung und die damit verbundene, kontinuierlich zunehmende Datenflut sowie die Notwendigkeit, ihrer Herr zu werden, erfordern ein konsequentes Nachdenken darüber, wie biologische Daten systematisiert und klassifiziert werden können. Dafür wiederum bedarf es robuster Theorien von Grundbegriffen wie Art, Spezies, Teil, Ganzes, Funktion, Prozess, Fragment, Sequenz, Expression, Grenze, Locus, Umwelt, System usw. (...) Solche Begriffe gehören zum impliziten Wissen jedes Biologen. Sie spiegeln einerseits eine Dimension der biologischen Wirklichkeit wider, die auch vor dem Hintergrund der biologischen Evolution unverändert bleibt. Andererseits verlangt deren theoretische Behandlung nach zeitgemäßen Analoga der in der traditionellen aristotelischen Metaphysik entwickelten Methoden. Zugleich können so die explizit formulierten Theorien und Definitionen bereitgestellt werden, die für computergestützte Informationssysteme unabdingbar sind. Das Entwickeln derartiger Theorien und Definitionen ist eine Aufgabe der Philosophie, die in diesem Sinne herausgefordert ist, zwischen Biologie und Informatik zu vermitteln. (shrink)

Otto Weininger’s Sex and Character interprets Kant’s categorical imperative in a way which takes it to imply that all human relations, including human sexual relations, are immoral; it is thus in a certain sense impossible to lead a moral life on this earth. We discuss Weininger’s ideas on man, woman, value and intellect, and describe their influence among the Central European intellectuals of his day, including Wittgenstein, and also including Karl Kraus.

One reason for the renewed interest in Austrian philosophy, and especially in the work of Brentano and his followers, turns on the fact that analytic philosophers have become once again interested in the traditional problems of metaphysics. It was Brentano, Husserl, and the philosophers and psychologists whom they influenced, who drew attention to the thorny problem of intentionality, the problem of giving an account of the relation between acts and objects or, more generally, between the psychological environments of cognitive subjects (...) and the different sorts of external (physical, geographical, social) environments which they inhabit. The present essay addresses this environmental version of the problem of intentionality. It draws not only on the work of Husserl and Scheler but also on the Gestalt psychological writings of Kurt Koffka and Kurt Lewin. It considers the influential subjective idealist theory of animal environments put forward by J. von Uexküll and contrasts this with a realist theory of organism-environment interaction based on the work of the ecological psychologists J. J. Gibson and Roger Barker. This realist theory is then exploited as a basis for an ontology of social objects of a range of different sorts. (shrink)

One of the tasks of ontology in information science is to support the classification of entities according to their kinds and qualities. We hold that to realize this task as far as entities such as material objects are concerned we need to distinguish four kinds of entities: substance particulars, quality particulars, substance universals, and quality universals. These form, so to speak, an ontological square. We present a formal theory of classification based on this idea, including both a semantics for the (...) theory and a provably sound axiomatization. (shrink)

Prince of Networks is the first treatment of Bruno Latour specifically as a philosopher. It has been eagerly awaited by readers of both Latour and Harman since their public discussion at the London School of Economics in February 2008. Part One covers four key works that display Latour’s underrated contributions to metaphysics: Irreductions, Science in Action, We Have Never Been Modern, and Pandora’s Hope. Harman contends that Latour is one of the central figures of contemporary philosophy, with a highly original (...) ontology centered in four key concepts: actants, irreduction, translation, and alliance. In Part Two, Harman summarizes Latour’s most important philosophical insights, including his status as the first ‘secular occasionalist.’ The problem of translation between entities is no longer solved by the fiat of God (Malebranche) or habit (Hume), but by local mediators. Working from his own ‘object-oriented’ perspective, Harman also criticizes the Latourian focus on the relational character of actors at the expense of their cryptic autonomous reality. This book forms a remarkable interface between Latour’s Actor-Network Theory and the Speculative Realism of Harman and his confederates. It will be of interest to anyone concerned with the emergence of new trends in the humanities following the long postmodernist interval. (shrink)

Kotarbiński is one of the leading figures in the Lvov-Warsaw school of Polish philosophy. We summarize the development of Kotarbiński’s thought from his early nominalism and ‘pansomatistic reism’ to the later doctrine of ‘temporal phases’. We show that the surface clarity and simplicity of Kotarbiński’s writings mask a number of profound philosophical difficulties, connected above all with the problem of giving an adequate account of the truth of contingent (tensed) predications. The paper will examine in particular the attempts to resolve (...) these difficulties on the part of Leśniewski. It will continue with an account of the relations of Kotarbińskian reism to the ontology of things or entia realia defended by the later Brentano. Kotarbiński’s identification of Brentano as a precursor of reism is, it will be suggested, at least questionable, and the paper will conclude with a more careful attempt to situate the Brentanian and Kotarbińskian ontologies within the spectrum of competing ontological views. (shrink)

Ce numéro thématique de la revue Philosophiques est consacré aux Conférences Hugues Leblanc qui ont eu lieu du 1er au 3 avril 2010 au Département de philosophie de l'Université du Québec à Montréal. À cette occasion, le conférencier invité était Kevin Mulligan, titulaire de la chaire de philosophie analytique au Département de philosophie de l'Université de Genève, qui a prononcé trois conférences sous le titre " Wittgenstein vs ses prédécesseurs austro-allemands ", publiées dans ce numéro. Mulligan y développe un de (...) ses thèmes historiques de prédilection, à savoir la dette de Wittgenstein, dans ses travaux sur l'esprit et le langage, à l'endroit de ses prédécesseurs austro-allemands. Comme le veut la formule des conférences Hugues Leblanc, nous avons réuni quelques collègues afin de discuter de quelques-uns des aspects des travaux du conférencier invité et nous avons ajouté, pour compléter ce numéro de Philosophiques, quelques articles originaux portant également sur d'autres aspects des travaux de Mulligan. On peut regrouper l'ensemble de ces contributions sous quatre des grands thèmes exploités par Mulligan en philosophie : le domaine de l'ontologie (incluant les relations, les tropes, les états de choses et les vérifacteurs), le domaine de la philosophie de l'esprit, celui des émotions et des valeurs, et enfin le thème historique de la philosophie austro-allemande, de Bolzano à Wittgenstein en passant par M. Scheler et la phénoménologie de Munich. Faute de pouvoir rendre compte dans cette préface de l'ensemble de ces riches contributions à ce numéro de Philosophiques, je me contenterai de renvoyer le lecteur aux résumés, préparés par les auteurs de ces contributions, qui précèdent chacun des articles. (shrink)