Questions about necessity (or what has to be, or what cannot be otherwise) and possibility (or what can be, or what could be otherwise) are questions about modality. Fictionalism is an approach to theoretical matters in a given area which treats the claims in that area as being in some sense analogous to fictional claims: claims we do not literally accept at face value, but which we nevertheless think serve some useful function. However, despite its name, “Modal Fictionalism” in its (...) usual manifestations is not primarily fictionalism about claims of necessity and possibility, but rather a fictionalist approach to claims about possible worlds. (For instance, modal fictionalism is not normally fictionalist about the claim that “it is possible that there be a species of tail-less kangaroo”, but rather about the claim that “there is a possible world in which there is a species of tail-less kangaroo”.) The practice of taking possible worlds to be merely convenient fictions, or of treating talk about possible worlds as being useful without being literally correct, is quite common in philosophical circles. It is only recently, however, that philosophers have seriously examined the implications of taking possible worlds to be merely fictional objects, like Sherlock Holmes or a frictionless surface. (shrink)

This article includes a basic overview of possible world semantics and a relatively comprehensive overview of three central philosophical conceptions of possible worlds: Concretism (represented chiefly by Lewis), Abstractionism (represented chiefly by Plantinga), and Combinatorialism (represented chiefly by Armstrong).

The glass vase on my desk is fragile. It should be handled with care because it it is likely to shatter or crack if it is knocked, dropped, or otherwise treated roughly. The vase has certain dispositions, for example the disposition to shatter when dropped. But what is this disposition? It seems on the one hand to be a perfectly real property, a genuine respect of similarity common to glass vases, china cups, ancient manuscripts, and anything else fragile. Yet on (...) the other hand my vase's disposition seems mysterious, "ethereal" (as Nelson Goodman (1954) put it) in a way that, say, its size and shape properties are not. For my vase's disposition, it seems, has to do only with its possibly shattering in certain conditions, conditions which I hope will never be realized. In general, it seems that nothing about the actual behavior of an object is ever necessary for it to have the dispositions it has. Many objects differ from each other with respect to their dispositions in virtue of their merely possible behavior, and this is a mysterious way for objects to differ. (shrink)

“There are no gaps in logical space,” David Lewis writes, giving voice to sentiment shared by many philosophers. But different natural ways of trying to make this sentiment precise turn out to conflict with one another. One is a *pattern* idea: “Any pattern of instantiation is metaphysically possible.” Another is a *cut and paste* idea: “For any objects in any worlds, there exists a world that contains any number of duplicates of all of those objects.” We use resources from model (...) theory to show the inconsistency of certain packages of combinatorial principles and the consistency of others. (shrink)

In the first part of this paper, I argue against the view that laws of nature are contingent, by attacking a necessary condition for its truth within the framework of a conception of laws as relations between universals. I try to show that there is no independent reason to think that universals have an essence independent of their nomological properties. However, such a non-qualitative essence is required to make sense of the idea that different laws link the same universals in (...) different possible worlds. In the second part, I give a positive argument for the necessity of at least some laws of nature, by showing with the example of a paradigmatic law of association that it consists in an internal relation between two universals which are determinables of the same class of determinates, where this relation is essential to both. Furthermore, I show that the necessity of laws of association could be accommodated within David Lewis' Humean metaphysics, but that it is incompatible with David Armstrong's combinatorialism. (shrink)

The Forrest-Armstrong argument, as reconfigured by David Lewis, is a reductio against an unrestricted principle of recombination. There is a gap in the argument which Lewis thought could be bridged by an appeal to recombination. After presenting the argument, I show that no plausible principle of recombination can bridge the gap. But other plausible principles of plenitude can bridge the gap, both principles of plenitude for world contents and principles of plenitude for world structures. I conclude that the Forrest-Armstrong argument, (...) when fortified in one of these ways, demands that unrestricted recombination be rejected. The appropriate restriction comes from a consideration of what world structures are possible. I argue that, although there are too many worlds to form a set, for any world, the individuals at that world do form a set. To defend it I invoke a principle of Limitation of Size together with an iterative conception of structure. (shrink)

This work presents a causal conception of metaphysical modality in which a state of affairs is metaphysically possible if and only if it can be caused (in the past, the present or the future) by current entities. The conception is contrasted with what is called the “combinatorial” conception of modality, in which everything can co-exist with anything else. This work explains how the notion of ‘causality’ should be construed in the causal theory, what difference exists between modalities thus defined from (...) nomological modality, how accessibility relations between possible worlds should be interpreted, and what is the relation between the causal conception and the necessity of origin. (shrink)

David Lewis proposed to deal with the semantics of sentences that state what is possible for an individual in terms of possible individuals that are in ways the first individual might have been, so called counterparts of the individual. In this book, I defend counterpart semantics as an approach to the semantics of modality and natural language semantics in particular. Counterpart semantics has a rival, the standard Kripkean semantics that deals with the same sentences in terms of an accessibility relation (...) between possible worlds. While counterpart semantics appears to be more flexible and carries less metaphysical presuppositions (it does not presuppose that I myself exist in various possible worlds, e.g.), Kripkean semantics has some advantages of its own. Most importantly, it incorporates the core assumptions of what may be called standard possible-worlds semantics; i.e. the core assumptions of the most successful framework within linguistic semantics. Counterpart semantics, on the other hand, does not conform to these assumptions, or so I will argue. In this book I opt for a synthesis of these two approaches that allows to combine their advantages. In Chap.1 I introduce the basic idea of counterpart semantics. I defend counterparts against the charge, made by Kripke, that counterparts are irrelevant for the analysis of modality. In Chap. 2 I present the classical version of counterpart semantics, i.e. David Lewis's translation of the language of quantified modal logic into counterpart theory. I discuss some well-known problems and opt for a revision of that translation that is able to solve the problems. Lewis's translation indirectly defines semantical values for expressions of quantified modal logic. In Chap.3 I evaluate counterpart semantics with respect to basic features of possible-worlds semantics. I conclude that the semantical values indirectly assigned to sentences by Lewis's translation are not sets of possible worlds, and that they do not meet certain intuitive demands on notions of meaning and content. (The revisions proposed in Chap.2 do not change this.) In Chap.4 I discuss various versions of a combination of counterpart semantics with Kripkean semantics found in the literature. But I conclude that here, the benefits of the latter are achieved by forfeiting the advantages of the former. Chap.5 finally contains my own proposal how to combine the two approaches in a more satisfactory way. The core semantical notion is truth according to a maximal complete representation, where representations now play the role of worlds. It is an important feature of the counterpart relation that it is qualitative, i.e. a relation in which things stand in virtue how they are. In Chap.1 I point out why it is qualitative, and why it ought to be. In Chap.6 I show how to make the notion of a qualitative property or relation precise. Finally, in Chap.7 I show how to extend this and related notions to predicates and propositions. For counterpart semantics to work at all we have to assume that everything that can be said at all can in principle be expressed in a language with qualitative predicates only (and perhaps, additionally, names, treated directly referentially). In Chap.7 I show how this assumption allows to maintain that the representations of our semantics deserve their name. (shrink)

This paper explores early Australasian philosophy in some detail. Two approaches have dominated Western philosophy in Australia: idealism and materialism. Idealism was prevalent between the 1880s and the 1930s, but dissipated thereafter. Idealism in Australia often reflected Kantian themes, but it also reflected the revival of interest in Hegel through the work of ‘absolute idealists’ such as T. H. Green, F. H. Bradley, and Henry Jones. A number of the early New Zealand philosophers were also educated in the idealist tradition (...) and were influential in their communities, but produced relatively little. In Australia, materialism gained prominence through the work of John Anderson, who arrived in Australia in 1927, and continues to be influential. John Anderson had been a student of Henry Jones, who might therefore be said to have influenced both main strands of Australian philosophical thought. (shrink)

Ever since David Lewis argued for the indispensibility of natural properties, they have become a staple of mainstream metaphysics. This dissertation is a critical examination of natural properties. What roles can natural properties play in metaphysics, and what structure do natural properties have? In the first half of the dissertation, I argue that natural properties cannot do all the work they are advertised to do. In the second half of the dissertation, I look at questions relating to the structure of (...) natural properties. I argue that the metric structure of fundamental quantitative properties cannot be reduced to mereological structure, and I argue that the simplistic picture of natural properties as monadic must be abandoned in light of theories of fundamental physics. (shrink)

In this article, I will focus on the notion of supervenience introduced and deployed by Armstrong. The aim is to settle the issue of whether it has any fruitful applications. My conclusions are negative. Armstrong gives to his notion of supervenience a major explanatory role of telling why one need not consider certain beings as a genuine ontic expansion, if one already assumes a certain meagre set of more basic entities. On closer inspection, however, Armstrong’s notion does not clarify such (...) intuitions any further. The legitimate uses of the notion for the above purpose turn out to be redundant: the concepts of identity and partial identity can be employed instead. (shrink)

O discurso a respeito dos Mundos Possíveis pode ser uma ferramenta bastante útil para a filosofia. Pode ser útil, por exemplo, para a compreensão das modalidades, da necessidade e da possibilidade. No entanto, para utilizar o discurso dos Mundos Possíveis devemos ter uma explicação satisfatória do caráter ontológico da Semântica dos Mundos Possíveis. Para isso, precisamos responder a questões do tipo: O que é um Mundo Possível? De que forma eles existem? Em quantos Mundos Possíveis podemos falar? Há diversas formas (...) de responder a estas perguntas. Neste trabalho pretendemos apresentar duas teorias que possuem uma abordagem realista para a noção de Mundo Possível. Cada uma dessas teorias atribuiu um caráter ontológico diferente para a noção de Mundo Possível e, portanto, uma metafísica diferente. A primeira delas é o Realismo Modal Extremo, teoria atribuída a David Lewis que defende a existência genuína de uma pluralidade de Mundos Possíveis. A segunda teoria é a teoria combinatória da possibilidade de David Armstrong. Essa teoria é uma versão das teorias do atualismo modal que também são teorias realista em relação à existência de mundos possíveis, mas que dão prioridade ao mundo atual. Por fim, pretendemos comparar as duas teorias e avaliar qual é mais vantajosa levando em consideração o custo ontológico de cada uma delas, (i.e., em relação ao número de entidades postuladas) para termos uma metafísica mais econômica. (shrink)

Ordinary Language Philosophy has largely fallen out of favour, and with it the belief in the primary importance of analyses of ordinary language for philosophical purposes. Still, in their various endeavours, philosophers not only from analytic but also from other backgrounds refer to the use and meaning of terms of interest in ordinary parlance. In doing so, they most commonly appeal to their own linguistic intuitions. Often, the appeal to individual intuitions is supplemented by reference to dictionaries. In recent times, (...) Internet search engine queries for expressions of interest have become quite popular. Apparently, philosophers attempt to surpass the limits of their own linguistic intuitions by appealing to experts or to factual uses of language. I argue that this attempt is commendable but that its execution is wanting. Instead of appealing to dictionaries or Internet queries, philosophers should employ computer-based linguistic corpora in order to confirm or falsify hypotheses about the factual use of language. This approach also has some advantages over methods employed by experimental philosophers. If the importance of ordinary language is stressed, the use of linguistic corpora is hardly avoidable. (shrink)

Imagination is a source of evidence for objective modality. It is through this epistemic connection that the idea of modality first gains traction in our intellectual life. A proper theory of modality should be able to explain our imagination’s modal epistemic behaviors. This chapter highlights a peculiar asymmetry regarding epistemic defeat for imagination-based modal justification. Whereas imagination-based evidence for possibility cannot be undermined by information about the causal origin of our imaginings, unimaginability-based evidence for impossibility can be undermined by information (...) about the causal origin of the unimaginability. It is argued that an acceptance of S4 over S5 as the true logic for objective modality best explains this epistemic asymmetry. (shrink)

In this talk I present the main results from Anta (2021), namely, that the theoretical division between Boltzmannian and Gibbsian statistical mechanics should be understood as a separation in the epistemic capabilities of this physical discipline. In particular, while from the Boltzmannian framework one can generate powerful explanations of thermal processes by appealing to their microdynamics, from the Gibbsian framework one can predict observable values in a computationally effective way. Finally, I argue that this statistical mechanical schism contradicts the Hempelian (...) (1958) thesis that the predictive power of a scientific theory is directly proportional to its explanatory potential, and vice versa. (shrink)

This thesis investigates the metaphysical nature of necessity. My study focuses primarily on the reduction of metaphysical necessity and the question of whether a necessary truth can be reductively defined. Theodore Sider develops a new reductive account of metaphysical necessity. Unfortunately, the multiple realizability problem posed by Jonathan Schaffer undermines the credibility of Sider’s account. This underlies my motivation to search for a revised Siderian account of necessity. On this basis, I propose a modified version of Sider’s account and argue (...) that analytic, natural-kind and micro-reduction truths are necessary truths if and only if they express the same states of affairs as logical truths. Since logical truths are necessary truths, analytic, natural-kind and micro-reduction truths are necessary truths as well. In this thesis, I will proceed as follows. Chapter 1 introduces Sider’s account of necessity. In particular, I focus on his analysis of the necessity of a micro-reduction truth. His analysis is largely constitutive of the notion of a metaphysical semantics and some associated notions. I reconstruct his analysis and articulate his metaphysical semantics and the associated notions. Chapter 2 presents and clarifies the multiple realizability problem of Schaffer. His critique shows that Sider’s metaphysical semantics cannot handle multiple realizability. Sider refutes this claim by arguing that the multiple realizability problem is a problem for his analysis of the necessity of a micro-reduction truth, not for his metaphysical semantics itself. This is a good starting point to propound a modified account of necessity. Chapter 3 proposes and articulates my modified analysis of the necessity of a micro-reduction, where I show that the necessity of a micro-reduction truth can be reductively defined without appeal to Sider’s metaphysical semantics. I argue that analytic, natural-kind and microreduction truths are necessary truths if and only if they express the same states of affairs as logical truths. Logical truths are necessary and so are they. After that, I consider a potential objection to my modified account and attempt to respond to it. (shrink)

The paper uses the concept of typicality to spell out an argument against Humean supervenience and the best system account of laws. It proves that, in a very general and robust sense, almost all possible Humean worlds have no Humean laws. They are worlds of irreducible complexity that do not allow for any systematization. After explaining typicality reasoning in general, the implications of this result for the metaphysics of laws are discussed in detail.

In this entry I will offer a survey of the contemporary debate on fic- tionalism, which is a distinctive anti-realist view about certain regions of discourse that are valued for their usefulness rather than their truth.

The subject of this paper is the epistemology of identity: a general theory of knowledge, evidence and justification for the claim that one thing is identical to another. Although identity figures significantly in our epistemic lives, this is a topic that, to the best of my knowledge, has gone entirely unexplored. Initial attempts to integrate such an epistemology into existing theories of evidence---many of which are tailor-made for contingent propositions---are confounded by the necessity of identity. I defend a restricted form (...) of skepticism according to which the only knowable identity claims are trivial. (shrink)

This thesis will survey several prominent approaches to analysing causation, discuss their differences and similarities, and look at a number of problems which are common to all of them. I will be arguing for the following claims about how we should approach the process of analysing causation. Firstly, I will be arguing that a reductive analysis is desirable, since if we can reductively analyse causation in terms of something empirically accessible, we can explain how it is possible to know anything (...) about causation. I will argue that to reductively analyse causation is to find out what kind of facts ground causal facts. Secondly, I will argue, following Hall and Strevens, that there are two kinds of causation, causal difference making and causal influence. This two-tiered approach explains the cases where we are tempted to ascribe conflicting characteristics to our concept of causation. Thirdly, I will argue that causal influence grounds causal difference making and that it does so necessarily. That the grounding relation holds necessarily is important for defending the two-tiered approach against the objection that it would yield a disjunctive account. (shrink)

In my thesis, I aim to develop a systematic and philosophically coherent thesis of ultimate reality for Ibn Arabi. In this pursuit, I adopt the style of analytic philosophy, seeking to employ and utilise some of its methods and theories. The philosophical aspects of Ibn Arabi’s doctrine are in dire need of conceptual clarification and systematic analysis with a closer focus on argumentation. The analytic tradition will prove most helpful in this regard. In my thesis, I begin by tracing Ibn (...) Arabi’s related views and concepts as they are dispersed throughout his writings. I then clarify, sharpen and, in many cases, develop these views and concepts into fully constructed forms. Finally, I weave the developed concepts and views into a systematic thesis or set of sub-theses. Where necessary, I provide my own arguments and concepts to help substantiate and strengthen the structure of Ibn Arabi’s thesis. I propose that Ibn Arabi’s various, and sometimes apparently inconsistent, views are best presented in terms of three main concepts: the concept of ultimate reality as existence, which has long been known as Ibn Arabi’s thesis of the oneness of existence ; the concept of ultimate reality as the Divine Self ; and the concept of ultimate reality as God. The three concepts neither represent different ultimate realities nor different perspectives of the same ultimate reality. Instead, they represent the same ultimate reality but each one has its own unique scope and encompassment. The three concepts are aimed at encompassing Ibn Arabi’s various views and concepts of ultimate reality in a consistent and systematic manner. (shrink)

Paper responding to critique of Maurin (2002) presented by Herbert Hochberg in his “Relations, Properties and Particulars” (2004).

Metaphysicians eager to engage with substantive, thoughtful, and provocative issues will be happy with John Heil’s From an Ontological Point of View. The book represents not only a sustained defence of a specific metaphysical theory, but also of a specific way of doing metaphysics. Put ontology first, Heil urges us, in order to remember that the original fascination of metaphysics wasn’t the question ‘what must the world be like in order to correspond neatly to our use of language?’, but rather (...) the altogether more fundamental ‘what must the world be like?’. (shrink)

This paper is a conceptual analysis of the theory debate in psychology, as carried out by cognitivists and radical behaviorists. The debate has focused on the necessity of theories in psychology. However, the logically primary issue is the nature of theories, or what theories are. This claim stems from the fact that cognitivists and radical behaviorists adopt disparate accounts of the nature of theories. The cognitivists' account is closely akin to the received view from logical positivism, where theories are collections (...) of statements and theoretical terms are restricted to designate unobservable entities. Radical behaviorists also conceive theories as collections of statements, but restrict theoretical terms in psychology to designate observable entities. If each side approaches the necessity issue with its preferred account, both agree that theories are necessary in psychology. Hence, there is no disagreement over the necessity of theories in psychology per se, only over the nature of theories. The received view, however, has been shown to suffer from irreparable difficulties that have led to its total rejection in post-positivistic philosophy of science. Alternative accounts, like the structuralist and semantic views, do not raise the issue of whether theories are necessary in psychology. (shrink)

In this thesis, I argue that physicalism should be understood to be the view that mental properties are realized by physical properties. In doing this, I explore what the realization relation might be. Since realization is the relation that should help us formulate physicalism, I suggest that the theoretical role of realization consists in explaining some of the things that physicalists wish to explain. These are: How are mental properties metaphysically necessitated by physical properties? How are mental properties causally efficacious? (...) A theory of realization should provide resources for answering these questions. Having identified the theoretical role of realization, I discuss several theories of realization, but then focus on the subset view of realization. According to the subset view, a property P realizes a property Q if and only if the causal powers of Q are a proper subset of the causal powers of P. I argue that the realization relation as it is formulated by the subset view is a promising candidate to play the theoretical role that I want realization to play. I then investigate how this theoretical role is occupied. In doing so, I provide a general metaphysical framework that the defenders of the subset view can appeal to. This framework specifies in what ways properties are related to their causal powers. Discussing some problems that the subset view faces, I propose my own version of the subset view. I argue that a property P realizes a property Q if and only if the causal powers of Q are a proper subset of the causal powers of P, and P is more fundamental than Q. Thanks to the requirement that a realized property is less fundamental than its realizers, two things that the original version of the subset view cannot explain are guaranteed: first, fundamental properties are not realized; second, arbitrary conjunctions of properties do not realize their conjuncts. By showing how a theory of realization can help us explain some of the things that physicalists typically wish to explain, I also show that a non-reductive variety of physicalism does not face the problems that it is commonly thought to face. (shrink)

The broad aim of this thesis is to explore fruitful connections between ideology theory and the philosophy of possible worlds. Ideologies are full of modal concepts, such as possibility, potential, necessity, essence, contingency and accident. Typically, PWs are articulated for the analysis and illumination of modal concepts. That naturally suggests a method for theorising ideological modality, utilising PW theory. The specific conclusions of the thesis proffer a number of original contributions to knowledge: 1) PWs should only be used for explication (...) and not as evidence or criteria of assessment in ideology theory. The estimation of utopian possibilities, human essences and freedoms must be determined by extrinsic criteria. PWs can serve only as a window or means of expression but not as a set of evaluative premises. 2) For this purpose, a modified version of Lewisian genuine realism, with its device of counterpart theory, is the best approach; the alternative theories risk constricting possibilities or smuggling in assumptions that ought to be objects of analysis in ideology theory. This is instructive, since ideology theorists are prone to pick and choose favoured aspects of modal philosophy without further argument. 3) Conclusions and suggest the adoption of GR or fictionalist GR. Overall, the actualist options are less adequate. Fictionalism, by contrast, is a worthwhile contender, but it too presents comparative weaknesses which reinforce GR’s standing as a potent challenger to the modal metaphysician. Therefore, this thesis presents additional reasons to think GR true. The conclusions are not knockdown, and I draw out incentives and consequences for adopting alternative stances. The various chapters also provide specific details for comprehending and debating ideological modals. (shrink)

About the ontology of the Polish philosopher Roman Ingarden, as presented in his treatise 'The Controversy about the Existence of the World'.

Modal realists face a puzzle. For modal realism to be justified, modal realists need to be able to give a successful reduction of modality. A simple argument, however, appears to show that the reduction they propose fails. In order to defend the claim that modal realism is justified, modal realists therefore need to either show that this argument fails, or show that modal realists can give another reduction of modality that is successful. I argue that modal realists cannot do either (...) of these things and that, as a result, modal realism is unjustified and should be rejected. (shrink)

This article discusses how the words 'necessary' and 'analytic' are suitably used in philosophy. It is argued that analytic statements should not be called 'necessary'.

This article argues that there is a great divide between semantics and metaphysics. Much of what is called metaphysics today is still stuck in the linguistic turn. This is illustrated by showing how Fraser MacBride misunderstands David Armstrong's theory of modality.

Truths require truthmakers, many think. In this paper I will discuss the scope of this requirement. Truthmaker maximalism is the claim that, necessarily, all truths require truthmakers. I shall argue against this claim. I shall argue against it on the basis of its implications. I shall first consider its implications when applied to synthetic, contingent propositions. If the truthmaker requirement applies to these propositions, so I shall argue, it is not possible for there to be nothing, and it is not (...) possible for any (possibly) accompanied entity to exist on its own. I shall then consider its implications when applied to modal propositions, specifically those concerning possible existence. I shall argue that if the truthmaker requirement applies to such propositions, then there can be no relation which is equivalent to metaphysical explanation, which – I shall suggest – amounts to a denial of the existence of grounding. (shrink)

Many metaphysicians posit primitives. These vary with respect to the theoretical work that they perform, but are all undefinable in more basic terms. I argue against the existence of metaphysical primitives on the grounds that, if they existed, they would be essentially primitive. However, if primitives were essentially primitive, then they would have an essence. Because they are primitive, they lack an essence, which undermines the original supposition that they are primitive. I close by mentioning some implications this has both (...) for metaphysicians and for metaphysics more generally. (shrink)