Ontological pluralism is the doctrine that there are different ways or modes of being. In contemporary guise, it is the doctrine that a logically perspicuous description of reality will use multiple quantifiers which cannot be thought of as ranging over a single domain. Although thought defeated for some time, recent defenses have shown a number of arguments against the view unsound. However, another worry looms: that despite looking like an attractive alternative, ontological pluralism is really no different than its counterpart, (...) ontological monism. In this paper, after explaining the worry in detail, I argue that considerations dealing with the nature of the logic ontological pluralists ought to endorse, coupled with an attractive philosophical thesis about the relationship between logic and metaphysics, show this worry to be unfounded. (shrink)

Actualism is the doctrine that the only things there are, that have being in any sense, are the things that actually exist. In particular, actualism eschews possibilism, the doctrine that there are merely possible objects. It is widely held that one cannot both be an actualist and at the same time take possible world semantics seriously — that is, take it as the basis for a genuine theory of truth for modal languages, or look to it for insight into the (...) modal structure of reality. For possible world semantics, it is supposed, commits one to possibilism. In this paper I take issue with this view. To the contrary, I argue that one can take possible world semantics seriously without any commitment to possible worlds or possibilism and hence remain in full compliance with actualist scruples. Moreover, one can do so without without invoking either "ersatz" worlds or haecceities. (shrink)

Quineans have taken the basic expression of ontological commitment to be an assertion of the form '' x '', assimilated to theEnglish ''there is something that is a ''. Here I take the existential quantifier to be introduced, not as an abbreviation for an expression of English, but via Tarskian semantics. I argue, contrary to the standard view, that Tarskian semantics in fact suggests a quite different picture: one in which quantification is of a substitutional type apparently first proposed by (...) Geach. The ontological burden is borne by constant symbols, and truth is defined separately from reference. (shrink)

Ontological Pluralism is the view that there are different modes, ways, or kinds of being. In this paper, I characterize the view more fully (drawing on some recent work by Kris McDaniel) and then defend the view against a number of arguments. (All of the arguments I can think of against it, anyway.).

In a first part, I defend that formal semantics can be used as a guide to ontological commitment. Thus, if one endorses an ontological view \(O\) and wants to interpret a formal language \(L\) , a thorough understanding of the relation between semantics and ontology will help us to construct a semantics for \(L\) in such a way that its ontological commitment will be in perfect accordance with \(O\) . Basically, that is what I call constructing formal semantics from an (...) ontological perspective. In the rest of the paper, I develop rigorously and put into practice such a method, especially concerning the interpretation of second-order quantification. I will define the notion of ontological framework: it is a set-theoretical structure from which one can construct semantics whose ontological commitments correspond exactly to a given ontological view. I will define five ontological frameworks corresponding respectively to: (i) predicate nominalism, (ii) resemblance nominalism, (iii) armstrongian realism, (iv) platonic realism, and (v) tropism. From those different frameworks, I will construct different semantics for first-order and second-order languages. Notably I will present different kinds of nominalist semantics for second-order languages, showing thus that we can perfectly quantify over properties and relations while being ontologically committed only to individuals. I will show in what extent those semantics differ from each other; it will make clear how the disagreements between the ontological views extend from ontology to logic, and thus why endorsing an ontological view should have an impact on the kind of logic one should use. (shrink)

Suppose now that two philosophers, McX and I, differ over ontology. Suppose McX maintains there is something which I maintain there is not. McX can, quite consistently with his own point of view, describe our difference of opinion by saying that I refuse to recognize certain entities. I should protest of course that he is wrong in his formulation of our disagreement, for I maintain that there are no entities, of the kind which he alleges, for me to recognize; but (...) my finding him wrong in his formulation of our disagreement is unimportant, for I am committed to considering him wrong in his ontology anyway. When I try to formulate our difference of opinion, on the other hand, I seem to be in a predicament. I cannot admit that there are some things which McX countenances and I do not, for in admitting that there are such things I should be contradicting my own rejection of them. (shrink)

There are different ways to be. This paper explicates and defends this controversial thesis. Special attention is given to the meta-ontology of Martin Heidegger. -/- .

Within the context of the debate between ontological monists and pluralists the paper discusses a number of argumentative strategies that the latter can apply to answer the “there can be only one” argument. I show here that the reply to this argument suggested by J. Turner has its disadvantages and suggest a number of adjustments thereof. In particular, I develop a concept of domain-specific quantifiers that allow the pluralist to elaborate his or her ontological position.

We give an almost explicit presentation of exotic functions corresponding to some exotic smooth structure on topologically trivial R4. The construction relies on the model-theoretic tools from the previous paper. We can formulate unexpected, yet direct connection between ‘‘localized’’ exotic small R4’s and some noncommutative spaces. The formalism of QM can be interpreted in terms of exotic smooth R4’s localized in spacetime. A new way of looking at the problem of decoherence is suggested. The 4-dimensional spacetime itself has built-in means (...) which may enforce a kind of decoherence. (shrink)

Kris McDaniel has recently defended a criterion for being an ontological pluralist that classifies the quantifier variantist as one. In this paper, I argue that this is a mistake. There is an important difference between the two views, which is sometimes obscured by a common view in the metaphysics of fundamentality. According to the simple analysis, a language is ideal—it allows for a maximally metaphysically perspicuous description of reality—just in case all its primitives are perfectly natural. I argue that this (...) analysis struggles to distinguish quantifier variance from ontological pluralism, and then I discuss various accounts that can do better. I then propose a criterion for being an ontological pluralist that does not misclassify the quantifier variantist. Finally, I discuss some additional advantages of my proposal. (shrink)

The structuralist conception of metaphysics holds that it aims to uncover the ultimate structure of reality and explain how the world's richness and variety are accounted for by that ultimate structure. On this conception, metaphysicians produce fundamental theories, the primitive, undefined expressions of which are supposed to 'carve reality at its joints', as it were. On this conception, ontological questions are understood as questions about what there is, where the existential quantifier 'there is' has a fundamental, joint-carving interpretation. Structuralist orthodoxy (...) holds that there is exactly one fundamental, joint-carving interpretation that an existential quantifier could have. This orthodox assumption could go wrong--either by there being too few fundamental-quantifier interpretations, or by there being too many. In this dissertation I examine the implications of these non-orthodox options. Someone who thinks there are too many fundamental-quantifier interpretations might think this means standard ontological debates are in some sense defective of 'merely verbal', or she might think instead that the different quantifiers show that there are different 'ways' or 'modes' of being. I argue that the first option runs into problems with a certain sort of realism about logic, but that there is no general problem with the second option, despite its longstanding bad philosophical reputation. I also argue that realism about logic gives us reason to think the dispute between someone who thinks there are many 'modes of being' in this sense and someone who thinks there is just one is not itself verbal. Finally, I turn to the case in which there are no fundamental quantifiers, arguing that it brings with it a host of theoretical problems we could avoid with quantifiers. (shrink)

We show that in 4-spacetime modified at very short distances due to the weakening of classical logic, the higher dimensions emerge. We analyse the case of some smooth topoi, and the case of some class of pointless topoi. The pointless topoi raise the dimensionality due to the forcing adding “string” objects and thus replacing classical points in spacetime. Turning to strings would be something fundamental and connected with set theoretical forcing. The field theory/strings dualities originate at the set theoretical level (...) of the theories. It is argued that this fundamental level can help solving some difficulties of the physical dualities. (shrink)

This paper reexamines an early article by Noam Chomsky and Israel Scheffler concerning the proper formulation and status of Quine's criterion for ontological commitment. ( What is Said to Be,' "Proceedings of the Aristotelian Society", 69, 1958-59; reprinted in Scheffler, "Inquiries".) Somewhat different formulations of the criterion are proposed and their implications explored. It is also argued that Chomsky and Scheffler's views may be seen to foreshadow and lead to some of Quine's later more radical doctrines regarding ontological commitment.