The possibility of Junk is the possibility that something exists and everything is a proper part. Just as we might imagine that there are no simples—that everything has a proper part, all the way down—we might imagine that there are no caps—that everything is a proper part, all the way up. It is not obvious that this apparent possibility can be accommodated within a Lewisian modal framework. For Lewis, every possibility involves the existence of a possible world, and a possible (...) world is just is a maximal sum, and so a cap. But the Lewisian can accommodate Junk, if she wishes, by allowing parts of possible worlds to represent complete possibilities. (shrink)

Semantic externalism is the view that meaning is at least partly determined by reference. This suggests that the classic philosophical distinction between truth in virtue of meaning alone and truth in virtue of the world may need reconsideration. If all sentences are true in virtue of reference it is difficult to see how we can distinguish some sentences from others as true in virtue of the world-independent, purely semantic entities that their truth-conditions involve. I argue, to the contrary, that semantic (...) externalism instead exposes significant problems with the orthodox view about meaning that underlies the orthodox view about analytic truth, and I offer an account of analyticity from the perspective of semantic externalism. On this view, the truth-value of analytic sentences will not be distinguished from those of synthetic sentences. The truth-conditions of an analytic sentence are, however, to be distinguished from what makes it "analytic". This account is one that revokes the customary world-independence of analytic sentences, but does not sacrifice their unique modal and epistemic features. (shrink)

This essay is a reflection on the idea of truth-making and its applications. I respond to a critique of my 1986 paper on truth-making and discuss some key principles at play in the Truth-maker Program as it has emerged over the past 25 years, paying special attention to negative and general truths. I maintain my opposition to negative and general facts, but give an improved account of how to do without them. In the end, I accept Truth-maker Maximalism and a (...) weakened form of Truth-maker Necessitarianism, reject the assumption that truth-makers must be entities, and urge that the idea of a truth-maker be broadened and loosened so that it applies to anti-realistic as well as realistic truths. (shrink)

A pigeon has been conditioned to peck at red objects and has also been conditioned to peck at triangular objects. The pigeon is now presented with a red triangle and pecks. In virtue of which of the object's properties did the pigeon peck? I argue that the disjunctive property "red or triangular" best answers this question and that this in turn gives us reason to admit such disjunctive properties to our ontology. I also show how the criterion for causal efficacy (...) that I employ, expressed in terms of counterfactual conditionals, works to preclude spurious disjunctive properties from counting as efficacious. (shrink)

Nonreductive materialism is the dominant position in the philosophy of mind. The global supervenience of the mental on the physical has been thought by some to capture the central idea of nonreductive materialism: that mental properties are ultimately dependent on, but irreducible to, physical properties. But Jaegwon Kim has argued that global psychophysical supervenience does not provide the materialist with the desired dependence of the mental on the physical, and in general that global supervenience is too weak to be an (...) interesting dependence relation. We argue that these arguments are unsound. Along the way, we clarify the relationship between global and strong supervenience, and show clearly what sort of dependence global supervenience provides. (shrink)

The subtraction argument aims to show that there is an empty world, in the sense of a possible world with no concrete objects. The argument has been endorsed by several philosophers. I show that there are currently two versions of the argument around, and that only one of them is valid. I then sketch the main problem for the valid version of the argument.

The paper raises some difficulties for the typical motivations behind set reductionism, the view that sets are reducible to entities identified independently of set theory.

This paper focuses on the possibility of conceiving a form of ontological nihilism, starting from D. M. Armstrong’s combinatorialism. This possibility has been suggested by Efird and Stoneham, by means of proposing an alternative strategy to the ‘subtraction argument’. They claim that it is possible to sustain such nihilism trough the concepts of construction and totality state of affairs. However, this hypothesis will require the acceptance of non-instanciated universals, that is, platonic universals. Yet this is opposite to requirements that are (...) basic for a combinatorial theory, which should uphold that universals exist only in their instantiations. Then, the assumption of platonic universals results in high costs for a combinatorial naturalism, according to which only exists what is located in space and time. (shrink)

Externalism holds that the content of our utterances and thoughts are determined partly by the environment. Here, I offer an argument which suggests that externalism is incompatible with a natural view about ontological commitment--namely, the Quinean view that such commitments are fixed by the range of the variables in your theory. The idea in brief is that if Oscar mistakenly believes that water = XYZ, the externalist ontologically commits Oscar to two waterish kinds, whereas the Quinean commits him to one (...) such kind (albeit a metaphysically impossible kind). The penultimate section addresses a variety of objections to the argument. (shrink)

Modal Fictionalism, the theory that possible worlds do not literally exist but that our talk about them should be understood in the same way that we understand talk about fictional entities, is an increasingly popular approach to possible worlds. This paper will distinguish three versions of Modal Fictionalism, and will show that the third, a version endorsed by some of the most prominent Modal Fictionalists, faces at least three serious objections: that it makes modality too artificial, the modal fiction does (...) not have the representative resources it needs, and the approach has trouble accounting for propositions. (shrink)

The question of what truths are necessary in the broadest possible sense is a difficult one to answer, as is the question of what the limits are to what is possible. (Most people would see these two questions as different sides of the same coin, of course, since many think the question of what is possible is just the question of what is not necessarily ruled out). We have three general sorts of strategies for determining whether something is necessary (or (...) possible). We can identify it in a class that we were previously sure was a class of things that are necessary – we might show it is a theorem of a logical system that we have confidence in, or that the sentence appears to be true simply in virtue of the meanings of the words, or that it is a true statement involving names or about natural kinds of the “necessary a posteriori” sort discussed by Kripke and Putnam, and there are perhaps other classes of claims which we are prepared to accept are necessary if true.1 Likewise, we might establish the possibility of something occurring by reference to a class of well-established or uncontroversial possibilities: e.g. we are inclined to think that it is possible (in the broadest sense) for an event to occur in the future if one of the same kind has occurred in the past. (shrink)

In this paper I argue that if the Identity of Indiscernibles is not necessarily true, then Haecceitism ensues—where Haecceitism is the view that there are maximal possibilities that include all the same qualitative possibilities, and yet differ with respect to the non-qualitative possibilities they include. This goes against the common intuition that Anti-Haecceitism is compatible with the Identity of Indiscernibles being only contingently true. My argument is interesting in many respects. First, it shows that in any modal framework there is (...) a connection between the number of worldbound ordinary spatio-temporal objects, and the number of overall possibilities. Second, it has repercussions for the tenability of some philosophical positions, like Generalism, which is usually interpreted as entailing Anti-Haecceitism while at the same time being compatible with the claim that the Identity of Indiscernibles is not necessarily true. If I am correct, Generalism and similar philosophical accounts turn out to be inconsistent. Finally, it provides a strong argument for Haecceitism, given that the majority of authors today find counterexamples to the Identity of Indiscernibles extremely convincing, and many philosophical positions have been and continue being criticised on the basis of their commitment to the Identity of Indiscernibles. The paper is structured as follows: I introduce Haecceitism and the Identity of Indiscernibles in Sects. 1 and 2 respectively. Drawing on a result from the Philosophy of Quantum Mechanics, which I survey in Sect. 3, I give my main argument in Sect. 4. Finally, I discuss some implications in Sect. 5. (shrink)

Beall and Restall 2000; 2001; 2006 advocate a comprehensive pluralist approach to logic, which they call Logical Pluralism, according to which there is not one true logic but many equally acceptable logical systems. They maintain that Logical Pluralism is compatible with monism about metaphysical modality, according to which there is just one correct logic of metaphysical modality. Wyatt 2004 contends that Logical Pluralism is incompatible with monism about metaphysical modality. We first suggest that if Wyatt were right, Logical Pluralism would (...) be strongly implausible because it would get upside down a dependence relation that holds between metaphysics and logic of modality. We then argue that Logical Pluralism is prima facie compatible with monism about metaphysical modality. (shrink)

Leibniz’s views on modality are among the most discussed by his interpreters. Although most of the discussion has focused on Leibniz’s analyses of modality, this essay explores Leibniz’s grounding of modality. Leibniz holds that possibilities and possibilia are grounded in the intellect of God. Although other early moderns agreed that modal truths are in some way dependent on God, there were sharp disagreements surrounding two distinct questions: (1) On what in God do modal truths and modal truth-makers depend? (2) What (...) is the manner(s) of dependence by which modal truths and modal truth-makers depend on God? Very roughly, Leibniz’s own answers are: (1) God’s intellect and (2) a form of ontological dependence. The essay first distinguishes Leibniz’s account from two nearby (and often misunderstood) alternatives found in Descartes and Spinoza. It then examines Leibniz’s theory in detail, showing how, on his account, God’s ideas provide both truth-makers for possibilities and necessities and an ontological foothold for those truth-makers, thereby explaining modal truths. Along the way, it suggests several refinements and possible amendments to Leibniz’s grounding thesis. It then defends Leibniz against a pair of recent objections by Robert Merrihew Adams and Andrew Chignell that invoke the early work of Kant. I conclude that whereas Leibniz’s alternative avoids collapsing into yet another form of Spinozism, the alternatives proposed by Adams, Chignell, and the early Kant do not. (shrink)

Kim argues that weak and global supervenience are too weak to guarantee any sort of dependency. Of the three original forms of supervenience, strong, weak, and global, each commonly wielded across all branches of philosophy, two are thus cast aside as uninteresting or useless. His arguments, however, fail to appreciate the strength of weak and global supervenience. I investigate what weak and global supervenience relations are functionally and how they relate to strong supervenience. For a large class of properties, weak (...) and global supervenience are equivalent to strong supervenience. I then offer a series of arguments showing that it is precisely because of their strength, not their weakness, that both weak and global supervenience are useless in characterizing any dependencies of interest to philosophers. (shrink)

Puzzles about persistence and change through time, i.e., about identity across time, have foundered on confusion about what it is for ‘two things’ to be have ‘the same thing’ at a time. This is most directly seen in the dispute over whether material objects can occupy exactly the same place at the same time. This paper defends the possibility of such coincidence against several arguments to the contrary. Distinguishing a temporally relative from an absolute sense of ‘the same’, we see (...) that the intuition, ‘this is only one thing’, and the dictum, ‘two things cannot occupy the same place at the same time’, are individuating things at a time rather than absolutely and are therefore compatible with coincidence. Several other objections philosophers have raised ride on this same ambiguity. Burke, originating what has become the most popular objection to coincidence, argues that if coincidence is possible there would be no explanation of how objects that are qualitatively the same at a time could belong to different sorts. But we can explain an object’s sort by appealing to its properties at other times. Burke’s argument to the contrary equivocates on different notions of ‘cross-time identity’ and ‘the statue’. From a largely negative series of arguments emerges a positive picture of what it means to say multiple things coincide and of why an object’s historical properties explain its sort rather than vice versa – in short, of how coincidence is possible. (shrink)

The expression conditional fallacy identifies a family of arguments deemed to entail odd and false consequences for notions defined in terms of counterfactuals. The antirealist notion of truth is typically defined in terms of what a rational enquirer or a community of rational enquirers would believe if they were suitably informed. This notion is deemed to entail, via the conditional fallacy, odd and false propositions, for example that there necessarily exists a rational enquirer. If these consequences do indeed follow from (...) the antirealist notion of truth, alethic antirealism should probably be rejected. In this paper we analyse the conditional fallacy from a semantic (i.e. model-theoretic) point of view. This allows us to identify with precision the philosophical commitments that ground the validity of this type of argument. We show that the conditional fallacy arguments against alethic antirealism are valid only if controversial metaphysical assumptions are accepted. We suggest that the antirealist is not committed to the conditional fallacy because she is not committed to some of these assumptions. (shrink)

Brogaard and Salerno (2005, Nous, 39, 123–139) have argued that antirealism resting on a counterfactual analysis of truth is flawed because it commits a conditional fallacy by entailing the absurdity that there is necessarily an epistemic agent. Brogaard and Salerno's argument relies on a formal proof built upon the criticism of two parallel proofs given by Plantinga (1982, "Proceedings and Addresses of the American Philosophical Association", 56, 47–70) and Rea (2000, "Nous," 34, 291–301). If this argument were conclusive, antirealism resting (...) on a counterfactual analysis of truth should probably be abandoned. I argue however that the antirealist is not committed to a controversial reading of counterfactuals presupposed in Brogaard and Salerno's proof, and that the antirealist can in principle adopt an alternative reading that makes this proof invalid. My conclusion is that no reductio of antirealism resting on a counterfactual analysis of truth has yet been provided. (shrink)

Among fundamental metaphysical quests, one might wonder: Why is there anything at all rather than just nothing? Many reject that question because they think it is meaningless, trivial, or necessarily unanswerable. But I provide reasons for thinking that the Why question could make sense and one might even expect an answer to it. I begin by asking why the world is not empty of all concrete things. One might regard this question as important if one accepts that it is, in (...) some sense, possible for all concrete things to vanish, one-by-one. I argue finally that possible replies to the Why question concerning concrete things might point to realities that are abstract instead of concrete. Abstract realities might be explanatorily powerful without their power being guaranteed by Logic. (shrink)

Many believe that the world exists without a cause or reason. Most of them reject an explanation for the whole concrete world because they accept the traditional idea that concrete existence comes only from things that concretely exist. But I provide reasons for thinking that the world might be actual as a result of a feature that is not concrete but abstract. I begin by outlining ideas that some followers of the Platonic Theory of Forms have developed about whether actuality (...) of something can be explained by its possibility. Next, I show that many who think they reject all paths for explaining actuality by abstract facts about possibilities in fact follow such paths. The question of why there exists anything concrete might be answered not by saying that the world exists reasonlessly, but by following some such paths: Having a certain nature for something concrete can turn its possibility into its actuality. Still, we might in the end be forced to accept that the world exists without any reason. (shrink)

Primitives are both important and unavoidable, and which set of primitives we endorse will greatly shape our theories and how those theories provide solutions to the problems that we take to be important. After introducing the notion of a primitive posit, I discuss the different kinds of primitives that we might posit. Following Cowling (2013), I distinguish between ontological and ideological primitives, and, following Benovsky (2013) between functional and content views of primitives. I then propose that these two distinctions cut (...) across each other leading to four types of primitive posits. I then argue that theoretical virtues should be taken to be meta-theoretical ideological primitives. I close with some reflections on the global nature of comparing sets of primitives. (shrink)

The thesis that numbers are ratios of quantities has recently been advanced by a number of philosophers. While adequate as a definition of the natural numbers, it is not clear that this view suffices for our understanding of the reals. These require continuous quantity and relative to any such quantity an infinite number of additive relations exist. Hence, for any two magnitudes of a continuous quantity there exists no unique ratio. This problem is overcome by defining ratios, and hence real (...) numbers, as binary relations between infinite standard sequences. This definition leads smoothly into a new definition of measurement consonant with the traditional view of measurement as the discovery or estimation of numerical relations. The traditional view is further strengthened by allowing that the additive relations internal to a quantity are distinct from relations observed in the behaviour of objects manifesting quantities. In this way the traditional theory can accommodate the theory of conjoint measurement. This is worth doing because the traditional theory has one great strength lacked by its rivals: measurement statements and quantitative laws are able to be understood literally. 1 This paper was completed in 1990-1. while the author was a visiting scholar at the Irvine Research Unit in Mathematical Behavioral Sciences. University of California. Irvine. The author wishes to thank the Director. Professor R. D. Luce, for the generous provision of space and facilities within the Unit and for his critical comments upon some of the ideas expressed herein: Professor L. Narens. for his trenchant criticisms: and the University of Sydney, for granting Special Study Leave and financial assistance to make the visit possible. (shrink)

In earlier work we proposed an account of information grounded in counterfactual conditionals rather than probabilities, and argued that it might serve philosophical needs that more familiar probabilistic alternatives do not. Demir [2008] and Scarantino [2008] criticize the counterfactual approach by contending that its alleged advantages are illusory and that it fails to secure attractive desiderata. In this paper we defend the counterfactual account from these criticisms, and suggest that it remains a useful account of information.

The paper looks at the semantics and ontology of dispositions in the light of recent work on the subject. Objections to the simple conditionals apparently entailed by disposition statements are met by replacing them with so-called 'reduction sentences' and some implications of this are explored. The usual distinction between categorical and dispositional properties is criticised and the relation between dispositions and their bases examined. Applying this discussion to two typical cases leads to the conclusion that fragility is not a real (...) property and that, while both temperature and its bases are, this does not generate any problem of overdetermination. (shrink)

Chakravartty and others have pressed that the defender of scientific realism needs to supply a metaphysical story, most saliently a modal story, of how knowledge of the unobservable can be possible. Here I consider the challenge the problem of theory change poses to theories of modal metaphysics.

Given Lewis’s views about recombination and spatial relations, there are possible worlds in which space is discrete and yet the Pythagorean theorem is true – contrary to the so-called Weyl-Tile argument that concluded that the Pythagorean theorem must fail if space is discrete.

The goal of this article is to address the problem of inconsistent models and the challenge it poses for perspectivism. I analyze the argument, draw attention to some hidden premises behind it, and deflate them. Then I introduce the notion of perspectival models as a distinctive class of modeling practices whose primary function is exploratory. I illustrate perspectival modeling with two examples taken from contemporary high-energy physics at the Large Hadron Collider at the European Organization for Nuclear Research, which are (...) designed to show how a plurality of seemingly incompatible models is methodologically crucial to advance the realist quest in cutting-edge areas of scientific inquiry. (shrink)

This paper sets out a philosophical interpretation of the model theory of Mares and Goldblatt (The Journal of Symbolic Logic 71, 2006). This interpretation distinguishes between truth conditions and information conditions. Whereas the usual Tarskian truth condition holds for universally quantified statements, their information condition is quite different. The information condition utilizes general propositions . The present paper gives a philosophical explanation of general propositions and argues that these are needed to give an adequate theory of general information.

David Lewis argues for Ramseyan humility, the thesis that we can’t identify the fundamental properties that occupy the nomological roles at our world. Lewis, however, remarks that there is a potential exception to this, which involves assuming two views concerning qualia panphenomenalism : all instantiated fundamental properties are qualia and the identification thesis : we can know the identities of our qualia simply by being acquainted with them. This paper aims to provide an exposition, as well as an assessment, of (...) this response to the humility thesis. (shrink)

David Lewis claims that his theory of modality successfully reduces modal items to nonmodal items. This essay will clarify this claim and argue that it is true. This is largely an exercise within ‘Ludovician Polycosmology’: I hope to show that a certain intuitive resistance to the reduction and a set of related objections misunderstand the nature of the Ludovician project. But these results are of broad interest since they show that would-be reductionists have more formidable argumentative resources than is often (...) thought. Lewis’s reduction depends on a set of methodological commitments each of which is fairly plausible or at least currently popular, and none of which is particular to modality. The choice of which of these commitments to reject I leave to the discerning antireductionist. The essay proceeds as follows: §1 discusses reduction generally and one or two relevant puzzles; §2 discusses Lewis’s reduction in particular; the longest section, §3 replies to four objections. (shrink)

This paper addresses D. C. Williams’s question, “How can Leibniz know that he is a member of the actual world and not merely a possible monad on the shelf of essence?” A variety of answers are considered. Ultimately, it is argued that no particular perception of a state of affairs in the world can warrant knowledge of one’s actuality, nor can the awareness of any property within oneself; rather, it is the nature of experience itself, with the flow of perceptions, (...) that guarantees our actuality. A consequence of this view is that no non-actual individuals can truly be said to experience their worlds, nor can they ask the question if they are actual or not. (shrink)

Dualism about possible worlds says that merely possible worlds aren’t concrete objects, but the actual world is concrete. This view seems to be the natural one for ersatzers about merely possible worlds to take; yet one is hard-pressed to find any defenders of it in contemporary modal metaphysics. The main reason is that Dualism struggles with the issue of how merely possible worlds could have been actual. I explain that there are two different Dualist strategies that can be taken to (...) address the problem. Furthermore, one or other of these strategies should be plausible to anyone who accepts both Existentialism—which tells us that the existence of singular propositions depends on what they directly refer to—and Serious Actualism—which tells us that things must exist in order to instantiate properties. Though it has long been ignored, Dualism is a live option. (shrink)

Structuralism and quidditism are competing views of the metaphysics of property individuation: structuralists claim that properties are individuated by their nomological roles; quidditists claim that they are individuated by something else. This paper (1) refutes what many see as the best reason to accept structuralism over quidditism and (2) offers a methodological argument in favor of a quidditism. The standard charge against quidditism is that it commits us to something ontologically otiose: intrinsic aspects of properties, so-called ‘quiddities’. Here I grant (...) that quiddities are ontologically otiose, but deny that quidditism requires them. According to a view I call ‘austere quidditism’, properties are individuated by bare numerical identity. I argue that, as far as ontological parsimony is concerned, austere quidditism and structuralism are on a par. But is austere quidditism a coherent alternative to structuralism? To see that it is, we must get clear on what exactly we mean by ‘property individuation’. What we discover is that structuralism is a counterpart theory for properties, and that austere quidditism is simply the rejection of counterpart theory. I conclude with a methodological argument to the effect that counterpart theory for properties ought to be rejected. This paper begins by situating the debate between structuralists and quidditists within the context of a debate over the epistemic limits of fundamental science. At the center of this debate is David Lewis’s posthumously published ‘Ramseyan Humility’ (2008). In the appendix I explain the precise role of austere quidditism in Lewis’s argument. (shrink)

The Identity Theory of properties (IDT) is an increasingly popular metaphysical view that aims to be a middle way between pure powerism and pure categoricalism. This paper’s goal is to highlight three major difficulties that IDT should address in order to be a plausible account of the nature of properties. First, although IDT needs a clear definition of the notion of qualitativity which is both adequate and compatible with the tenets of the theory, all the extant proposals fail to provide (...) such a definition. Second, the suggested definitions of qualitativity are characterised by a metaphysical ‘neutrality’ that threatens to trivialise the important metaphysical debate regarding the question whether properties confer by themselves dispositions on their bearers (and so they are inherently modal and active) or need the ‘assistance’ of laws of nature to do that. Finally, none of the extant alternative understandings of the core identity-claim of IDT can adequately meet the objection that the claim in question is unintelligible. (shrink)

The Identity Theory of properties is an increasingly popular metaphysical view that aims to be a middle way between pure powerism and pure categoricalism. This paper’s goal is to highlight three major difficulties that IDT should address in order to be a plausible account of the nature of properties. First, although IDT needs a clear definition of the notion of qualitativity which is both adequate and compatible with the tenets of the theory, all the extant proposals fail to provide such (...) a definition. Second, the suggested definitions of qualitativity are characterised by a metaphysical ‘neutrality’ that threatens to trivialise the important metaphysical debate regarding the question whether properties confer by themselves dispositions on their bearers or need the ‘assistance’ of laws of nature to do that. Finally, none of the extant alternative understandings of the core identity-claim of IDT can adequately meet the objection that the claim in question is unintelligible. (shrink)

In "Ramseyan Humility," David Lewis argues that we cannot know what the fundamental properties in our world are. His arguments invoke the possibility of permutations and replacements of fundamental properties. Most responses focus on Lewis’s view on the relationship between properties and roles, and on the assumptions about knowledge that he makes. I argue that no matter how the debates about knowledge and about the metaphysics of properties turn out, Lewis’s arguments are unconvincing since they rely on a highly implausible (...) assumption about the expressive power of our language. (shrink)

In this paper, I discuss a connection between quidditism and the Lewisian principle of recombination. I begin by reconstructing a typical characterisation of a Lewisian principle of recombination, followed by an explanation of quidditism. In the remainder, I argue that a proponent of a Lewisian principle of recombination cannot endorse quidditism without some important modifications of her view.

In many diagrams one seems to perceive necessity – one sees not only that something is so, but that it must be so. That conflicts with a certain empiricism largely taken for granted in contemporary philosophy, which believes perception is not capable of such feats. The reason for this belief is often thought well-summarized in Hume's maxim: ‘there are no necessary connections between distinct existences’. It is also thought that even if there were such necessities, perception is too passive or (...) localized a faculty to register them. We defend the perception of necessity against such Humeanism, drawing on examples from mathematics. (shrink)

In this paper, I make a contribution to a naturalistically-minded theory of truthmakers by proposing a solution to the nasty problem of truthmakers for negative truths. After formulating the difficulty, I consider and reject a number of solutions to the problem, including Armstrong's states of affairs of totality, incompatibility accounts, and JC Beall 's polarity view. I then defend the position that absences of truthmakers are real and are responsible for making negative truths true. According to the positive account of (...) absences I offer, absences of contingent states of affairs are causally relevant mind-independent features of the physical world, located within space and time, and capable of being discovered by scientific inquiry. Recognition of the reality of absences strengthens truthmaker theory as a naturalistic metaphysics, as truth and falsity of each and every contingent proposition finds an ontological grounding in some region of the physical universe. (shrink)

ABOUT WEAK AND STRONG EMPIRICAL NECCESSITY. CATEGORICAL, DISPOSITIONAL PROPERTIES AND LAWS OF NATURE Pohľady na empirickú nevyhnutnosť možno rozdeliť do dvoch skupín: teórie slabej nevyhnutnosti a teórie silnej nevyhnutnosti. Do prvej teórie patria koncepcie, ktoré uvažujú svet zložený z pasívnych vlastností, akými sú kategorické vlastnosti. Za zmeny vo svete sú zodpovedné zákony prírody, ktoré sa od možného sveta k svetu líšia, a preto aj prejavy týchto vlastností sú odlišné. Druhú teóriu, teóriu silnej nevyhnutnosti, zastávajú filozofi, ktorí predpokladajú existenciu silovo aktívnych (...) vlastností, dispozícií. Práve tieto sú zodpovedné za zmeny vo svete, a vo všetkých možných svetoch sa prejavujú nevyhnutne rovnako. Autor argumentuje v prospech existencie dispozičných vlastností a tvrdí, že dispozičný výklad sveta netrpí modálnymi absurdnosťami, ktorými trpia teórie slabej nevyhnutnosti. Hoci aj dispozičné teórie majú svoje problémy a hlavne mysterióznosti, ktoré môžu viesť až do metafyziky dispozičných monád. Kľúčové slová: dispozičné vlastnosti, kategorické vlastnosti, modality, nevyhnutnosť, zákony prírody. (shrink)

This is a survey of contemporary work on ‘fictionalism in metaphysics’, a term that is taken to signify both the place of fictionalism as a distinctive anti‐realist metaphysics in which usefulness rather than truth is the norm of acceptance, and the fact that philosophers have given fictionalist treatments of a range of specifically metaphysical notions.

Modal realism is an ontological position made familiar by David Lewis, according to which there exist possible worlds other than the actual world that we inhabit. It is hard to uphold modal realism, and indeed modal realism has only a few advocates. However, as most contemporary metaphysicians agree, this does not mean that it is easy to refute modal realism. In this paper, I argue against modal realism from a metaontological point of view. First, I provide a precise formulation of (...) modal realism based on Lewis’ discussion of modal realism. Second, I argue that modal realism is undermined unless it incorporates a view of metaontology known as ontological realism. Third, I point out that if modal realism incorporates ontological realism, it comes into conflict with its own formulation. (shrink)

Synthetic biology has a strong modal dimension that is part and parcel of its engineering agenda. In turning hypothetical biological designs into actual synthetic constructs, synthetic biologists reach towards potential biology instead of concentrating on naturally evolved organisms. We analyze synthetic biology’s goal of making biology easier to engineer through the combinatorial theory of possibility, which reduces possibility to combinations of individuals and their attributes in the actual world. While the last decades of synthetic biology explorations have shown biology to (...) be much more difficult to engineer than originally conceived, synthetic biology has not given up its combinatorial approach. (shrink)