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’ in this sense is often used by philosophers as a synonym of ‘metaphysics’ (a label meaning literally: ‘what comes after the Physics’), a term used by early students of Aristotle to refer to what Aristotle himself called ‘first philosophy’. But in recent years, in a development hardly noticed by philosophers, the (...) term ‘ontology’ has gained currency in the field of computer and information science, and in information-driven research in bioinformatics and related areas. We examine these new developments in applied ontology, and show what lessons they might have for both philosophers and information scientists. (shrink)

There are three different degrees to which we may allow a systematic theory of the world to embrace the idea of relatedness—supposing realism about non-symmetric relations as a background requirement. (First Degree) There are multiple ways in which a non-symmetric relation may apply to the things it relates—for the binary case, aRb ≠ bRa. (Second Degree) Every such relation has a distinct converse—for every R such that aRb there is another relation R* such that bR*a. (Third Degree) Each one of (...) them applies in an order to the things it relates—with regard to the state that results from R's applying to a and b, either R applies to a first and b second, or it applies to b first and a second. Whereas the first degree is near-indubitable, embracing the second or third generates unwholesome consequences. The second degree embodies a commitment to the existence of a superfluity of distinct converses and states to which such relations give rise. The third degree embodies commitment to recherché facts of the matter about how the states that arise from the application of one non-symmetric relation compare to any other. It is argued that accounts that purport to offer an analysis of the first degree generate unwelcome second or third degree consequences. This speaks in favour of our adopting an account of the application of relations that's not an analysis at all, an account that takes the first degree as primitive. (shrink)

In this paper, I argue that there are universals. I begin (Sect. 1) by proposing a sufficient condition for a thing’s being a universal. I then argue (Sect. 2) that some truths exist necessarily. Finally, I argue (Sects. 3 and 4) that these truths are structured entities having constituents that meet the proposed sufficient condition for being universals.

A system of categories is a complete list of highest kinds or genera. Traditionally, following Aristotle, these have been thought of as highest genera of entities (in the widest sense of the term), so that a system of categories undertaken in this realist spirit would ideally provide an inventory of everything there is, thus answering the most basic of metaphysical questions: “What is there?”. Skepticism about the possibilities for discerning the different categories of ‘reality itself’ has led others to approach (...) category systems not with the aim of cataloging the highest kinds in the world itself, but rather with the aim of elucidating the categories of our conceptual system. Thus Kant makes the shift to a conceptualist approach by drawing out the categories that are.. (shrink)

I argue that relations between non-collocated spatial entities, between non-identical topological spaces, and between non-identical basic building blocks of space, do not exist. If any spatially located entities are not at the same spatial location, or if any topological spaces or basic building blocks of space are non-identical, I will argue that there are no relations between or among them. The arguments I present are arguments that I have not seen in the literature.

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’ in this sense is often used by philosophers as a synonym of ‘metaphysics’ (a label meaning literally: ‘what comes after the Physics’), a term used by early students of Aristotle to refer to what Aristotle himself called ‘first philosophy’. But in recent years, in a development hardly noticed by philosophers, the (...) term ‘ontology’ has gained currency in the field of computer and information science, and in information-driven research in bioinformatics and related areas. We examine these new developments in applied ontology, and show what lessons they might have for both philosophers and information scientists. (shrink)

We propose a way to explain the diversification of branches of mathematics, distinguishing the different approaches by which mathematical objects can be studied. In our philosophy of mathematics, there is a base object, which is the abstract multiplicity that comes from our empirical experience. However, due to our human condition, the analysis of such multiplicity is covered by other empirical cognitive attitudes (approaches), diversifying the ways in which it can be conceived, and consequently giving rise to different mathematical disciplines. This (...) diversity of approaches is founded on the manifold categories that we find in physical reality. We also propose, grounded on this idea, the use of Aristotelian categories as a first model for this division, generating from it a classification of mathematical branches. Finally we make a history review to show that there is consistency between our classification, and the historical appearance of the different branches of mathematics. (shrink)

In this article, I clarify some of the key concepts and commitments of realist social ontology in economics. To do so, I make use of a recent critique of Lawson’s Reorienting Economics by Mohun and Veneziani. Their article provides a useful foil because responding to their critique allows us to emphasize that realism’s claims are more conditional and less controversial than one might otherwise anticipate. The basic claim is that ontology matters and that explicit recognition and consideration of ontological issues (...) can be beneficial. However, developing a focus on ontology can create problems of interpretation among economists regarding what is being claimed and offered. I discuss some of these with reference to an adaption of Maki’s concept of economics imperialism and also with reference to Mary Morgan’s recent typology of experiments. (shrink)

In the first part ("Determination"), I consider different notions of determination, contrast and compare modal with non-modal accounts and then defend two a-modality theses concerning essence and supervenience. I argue, first, that essence is a a-modal notion, i.e. not usefully analysed in terms of metaphysical modality, and then, contra Kit Fine, that essential properties can be exemplified contingently. I argue, second, that supervenience is also an a-modal notion, and that it should be analysed in terms of constitution relations between properties. (...) In the second part ("A Theory of Truthmaking"), I first review the literature on ontological commitment, and argue that the notion of truthmaking is better suited to play its explanatory rôle. I then argue that we should take truthmaker theory seriously, and that we should provide actual truthmakers for all truths there are. In the last chapter of this part, I review Armstrong's truthmaker theories and argue that they are unsatisfactory. I generalise my criticism to an argument against truthmaker necessitarianism, the view that truthmakers necessarily make true the truths they are truthmakers of. In the third part ("Properties and their Kind(s)"), I discuss qualitative determination. I present and endorse the truthmaker argument for universals, and defend universalism against friends of tropes, states of affairs and facts. I then give a novel characterisation of the important class of intrinsic properties, building on Lewis' work. With a workable notion of intrinsicness at hand, I argue that relations are ontologically – but not "ideologically" – dispensable: qualitative determination in general is a matter of intrinsic structure. In the future, I plan to add two parts and to publish my thesis as a book: In the fourth part ("Exemplification"), I argue for the existence of an exemplification relation tying universals and particulars together. I derive theoretical benefits from this relation by providing adverbialist theories of modality and tense and identify exemplification with a type of parthood. In the fifth part ("Qua qua qua"), I investigate the curious and interesting ontological category of so-called "qua-objects" (Picasso-as-a-painter, for example) and argue that they exist, are not identical with transworld indidivuals or modal parts and that they provide (contingent) truthmakers for all true predications. (shrink)

Nexuses such as exemplification are the fundamental ties that structure reality as a whole. They are “formal” in the sense of constituting the form, not the matter of reality and they are “transcendental” inasmuch as they transcend the categorial distinctions between the denizens of reality, including that between existents and non-existents. I shall advocate a moderately particularist view about (external) nexuses and argue that it provides not only the best solution to Bradley’s regress, but also an elegant account of symmetrical (...) relations (both formal and material), as well as of temporal and modal change. These advantages are illustrated by the reconstruction of an Aristotelian ontology of exemplification involving substances, kinds and material attributes. (shrink)

In an attempt to improve upon Alexander Pruss’s work (The principle of sufficient reason: A reassessment, pp. 240–248, 2006), I (Weaver, Synthese 184(3):299–317, 2012) have argued that if all purely contingent events could be caused and something like a Lewisian analysis of causation is true (per, Lewis’s, Causation as influence, reprinted in: Collins, Hall and paul. Causation and counterfactuals, 2004), then all purely contingent events have causes. I dubbed the derivation of the universality of causation the “Lewisian argument”. The Lewisian (...) argument assumed not a few controversial metaphysical theses, particularly essentialism, an incommunicable-property view of essences (per Plantinga’s, Actualism and possible worlds, reprinted in: Davidson (ed.) Essays in the metaphysics of modality, 2003), and the idea that counterfactual dependence is necessary for causation. There are, of course, substantial objections to such theses. While I think a fight against objections to the Lewisian argument can be won, I develop, in what follows, a much more intuitive argument for the universality of causation which takes as its inspiration a result from Frederic B. Fitch’s work (J Symb Logic 28(2):135–142, 1963) [with credit to who we now know was Alonzo church’s, Referee Reports on Fitch’s Definition of value, in: (Salerno (ed.), New essays on the knowability paradox, 2009)] that if all truths are such that they are knowable, then (counter-intuitively) all truths are known. The resulting Church–Fitch proof for the universality of causation is preferable to the Lewisian argument since it rests upon far weaker formal and metaphysical assumptions than those of the Lewisian argument. (shrink)

Experiences are interpreted as conscious mental occurrences that are of phenomenal character. There is already a kind of (weak) intentionality involved with this phenomenal interpretation. A stricter conception of experiences distinguishes between purely phenomenal experiences and intentional experiences in a narrow sense. Wittgenstein’s account of psychological (experiential) verbs is taken over: Usually, expressing mental states verbally is not describing them. According to this, I believe can be seen as an expression of one’s own belief, but not as an expression of (...) a belief about one’s belief. Hence, the utterance I believe it is raining shows that I believe that it is raining, although it is not said by these words that I believe that it is raining. Thinking thoughts such as I believe it is raining, but it is not raining (a variant of Moore’s paradox) is an absurdity between what is already said by silently uttering It is not raining and what is shown by silently uttering I believe it is raining. The paper agrees with a main result of Wittgenstein’s considerations of Moore’s paradox, namely the view that logical structure, deducibility, and consistency cannot be reduced solely to propositions—besides a logic of propositions, there is, for example, a logic of assertions and of imperatives, respectively. (shrink)

We think of a boundary whenever we think of an entity demarcated from its surroundings. There is a boundary (a line) separating Maryland and Pennsylvania. There is a boundary (a circle) isolating the interior of a disc from its exterior. There is a boundary (a surface) enclosing the bulk of this apple. Sometimes the exact location of a boundary is unclear or otherwise controversial (as when you try to trace out the margins of Mount Everest, or even the boundary of (...) your own body). Sometimes the boundary lies skew to any physical discontinuity or qualitative differentiation (as with the border of Wyoming, or the boundary between the upper and lower halves of a homogeneous sphere). But whether sharp or blurry, natural or artificial, for every object there appears to be a boundary that marks it off from the rest of the world. Events, too, have boundaries — at least temporal boundaries. Our lives are bounded by our births and by our deaths; the soccer game began at 3pm sharp and ended with the referee's final whistle at 4:45pm. It is sometimes suggested that even abstract entities, such as concepts or sets, have boundaries of their own, and Wittgenstein could emphatically proclaim that the boundaries of our language are the boundaries of our world. Whether all this boundary talk is coherent, however, and whether it reflects the structure of the world or simply the organizing activity of our mind, are matters of deep philosophical controversy. (shrink)

This essay takes a critical look at Jonathan Berg’s theory of direct belief. Berg’s analysis of the concept of direct belief is considered insightful, but doubts are raised concerning his generalization of the purely extensional truth conditional semantics of direct belief ascription sentences to the truth conditional semantics of all belief ascription sentences. Difficulties are posed that Berg does not discuss, but that are implied by the proposal that the truth conditional semantics of belief ascription sentences generally are those of (...) direct belief ascription sentences, and that once mentioned must enter into an evaluation of the proposition that by implication all beliefs are direct. Another line of objection concerns Berg’s second main thesis that the pragmatics as distinct from the semantics of belief ascription sentences can explain away apparent substitution failure validity breakdowns in belief ascription sentences as inappropriate utterances according to rules of roughly Gricean conversational implicature, rather than correspondence or non-correspondence with the facts about such things as what it is that people actually believe. These two parts of Berg’s argument, that the truth conditional semantics of all belief ascription sentences are those exclusively of direct belief ascription sentences, and that apparent substitution failure is effectively salva propria rather than salva veritate, are explored within the general framework of Berg’s thought experiment, eventually arriving at diametrically opposed conclusions, reflecting on what we believe comic book character Lois Lane believes and does not believe about Superman, and what she believes and does not believe about Clark Kent. (shrink)

Both through his own work and that of his students, Franz Clemens Brentano had an often underappreciated influence on the course of 20 th - and 21 st -century philosophy. _The Routledge Handbook of Franz Brentano and the Brentano School_ offers full coverage of Brentano’s philosophy and his influence. It contains 38 brand-new essays from an international team of experts that offer a comprehensive view of Brentano’s central research areas—philosophy of mind, metaphysics, and value theory—as well as of the principal (...) figures shaped by Brentano’s school of thought. A General Introduction serves as an overview of Brentano and the contents of the volume and three separate bibliographies point students and researchers on to further avenues of inquiry. Systematic and detailed, _The Routledge Handbook of Franz Brentano and the Brentano School_ provides readers with a valuable reference to Brentano’s work, and to his lasting importance in the history of philosophy and in contemporary debates. (shrink)

In recent years, secondary literature about 19th Century philosophy has shown a reassessment of both its problems and movements, as well as the role of some philosophers within that scenario. In order to make explicit the contribution undertaken by the Danish philosopher Søren Kierkegaard (1813-1855) to the general context of the anti-Hegelian turn in the middle of that century, this article analyzes the problems concerning categories as the loci of idealistic thesis of unity between logic and ontology as from Kierkegaard’s (...) critique and approach to such problems. (shrink)

AtCategories7, 6a36-7 Aristotle defines relatives, but at 8a13-28 worries that the definition may include some substances. Aristotle introduces a second account of relatives to solve the problem. Recent commentators have held that Aristotle intends to solve the extensional adequacy worry by restricting the extension of relatives. That is, R2 counts fewer items as relative than R1. However, this cannot explain Aristotle’s attitude to relatives, since he immediately returns to using R1. I propose a non-extensional reading. R1 and R2 do not (...) specify different sets of relatives, but rather different ways to understand each relative. (shrink)

In this paper I provide a state of the art survey and assessment of the contemporary debate about relations. After (1) distinguishing different varieties of relations, symmetric from non-symmetric, internal from external relations etc. and relations from their set-theoretic models or sequences, I proceed (2) to consider Bradley’s regress and whether relations can be eliminated altogether. Next I turn (3) to the question whether relations can be reduced, bringing to bear considerations from the philosophy of physics as well as metaphysics. (...) Finally, (3) I consider in what sense relations have order, and whether to make sense of this we are required to conceive of relations as having direction or argument positions. (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’ in this sense is often used by philosophers as a synonym of ‘metaphysics’ (a label meaning literally: ‘what comes after the Physics’), a term used by early students of Aristotle to refer to what Aristotle himself called ‘first philosophy’. But in recent years, in a development hardly noticed by philosophers, the (...) term ‘ontology’ has gained currency in the field of computer and information science, and in information-driven research in bioinformatics and related areas. We examine these new developments in applied ontology, and show what lessons they might have for both philosophers and information scientists. (shrink)

One of the innovative approaches in contemporary philosophical ontology consists in the assumption of a plurality of ontologies based on different metaphysical presuppositions. Such presuppositions involve, among others, the identification of relevant properties for the objects of our domain as a guiding principle in uncovering what it is to be considered intrinsic and what could be the mere effect of selection preferences based on objective or subjective criteria. A remarkable example of the application of a background metaphysical theory in astrophysics (...) is the problem of selection biases in detecting cosmological objects, such as supernovae, galaxies and gamma-ray bursts. We will show that it is valuable to be aware of the importance of uncovering this type of background theory to better understand selection effects and to promote a novel approach in scientific research. (shrink)

Alexius Meinong's specific use of the term "self-presentation" had a significant influence on modern epistemology and philosophical psychology. To show that there are remarkable parallels between Meinong's account of the self-presentation of experiences and Lehrer's account of the exemplarization of experiences is one of this paper's main objectives. Another objective is to put forward some comments and critical remarks to Lehrer's approach. One of the main problems can be expressed by the following: The process of using a particular experience as (...) a sample, that is, an exemplar that we use to stand for and refer to a plurality of experiences, Lehrer calls "exemplarization". As concrete experiences are multifarious (red and round, for example), how can we single out a specific sort of experiences (the red ones) by the process of exemplarization when we use such a multifarious experience as a sample? (shrink)

In his (2001a) and in some related papers, Tim Crane has maintained that intentional objects are schematic entities, in the sense that, insofar as being an intentional object is not a genuine metaphysical category, qua objects of thought intentional objects have no particular nature. This approach to intentionalia is the metaphysical counterpart of the later Husserl's ontological approach to the same entities, according to which qua objects of thought intentionalia are indifferent to existence. But to buy a metaphysically deflationary approach (...) does not mean to buy an ontologically deflationary approach, according to which we have to accept all the intentional objects there apparently are. Being metaphysically deflationary on intentionalia rather means that from the ontological point of view one must really allow only for those intentionalia for which one is entitled to say that there are such things; typically, for which an ontological proof is available. From metaphysical schematism plus conditional, or partial, ontological committment to intentionalia, further interesting consequences follow. First, this theoretical combination allows one to deal with the ‘too-many entities’ problem (may one fail to accept an ontological proof for an entity of a given kind if she thinks that the entity we would have to be committed to is an entity of another kind?). Second, it allows one to deal with the ‘genuinely true report’ problem (how is it that if we exercise mindreading with respect to a somehow deluded person, we want our reports to come out as really, not merely fictionally, true?). (shrink)