A fully developed sophisticated response-dependent account would fill in specifications for B (the beings) and C (the conditions), would probably replace the reference to disapproval with a reference to a more complex response, and might involve a more complex scheme.[ii] For simplicity, however, I shall focus my argument on the above simple scheme of moral wrongness, since added complexities will be irrelevant to my argument.

This is a philosophical paper in favor of the many-worlds interpretation of quantum theory. The necessity of introducing many worlds is explained by analyzing a neutron interference experiment. The concept of the “measure of existence of a world” is introduced and some difficulties with the issue of probability in the framework of the MWI are resolved.

Although it is widely recognized that perceptual experience confers justification on the beliefs it gives rise to, it is unclear how its epistemic value should be properly characterized. Liberals hold, and conservatives deny, that the justification conditions of perceptual beliefs merely involve experiences with the same content. The recent debate on this question has, however, seen further fragmentations of the positions involved with the disputants seeking to identify intermediate positions between liberalism and conservatism. In this paper, I suggest a framework (...) to account for the differences and similarities of the positions within the liberalism/conservatism debate. More importantly, I suggest that, instead of focusing on one particular species of conservatism, we should recognize varieties of conservatism. My conclusion is that no theory of justification need be conservative or liberal tout court. Whether a theory of justification is liberal or conservative depends on which dimension of evaluation is taken to be salient. The implications of this finding for the liberalism/conservatism debate are then investigated. (shrink)

In this paper, I defend modal dimensionalism against the objection that it is ontologically and ideologically heavy. First, I briefly outline the theory and the objection against it. The objection relies on the widely accepted view that ontological and ideological parsimony are operational criteria when comparing metaphysical theories. Second, I outline the conventional distinction between ontology and ideology in the metaphysical tradition. Third, I challenge a particular kind of parsimony: reduction by identification. Fourth, even if reduction by identification is accepted, (...) I show that theories that pursue this often minimize differences, and that such minimization paves the way to epistemic underdetermination. Finally, I demonstrate that some theories in modal metaphysics also suffer from difference minimization and should thus not be measured on the ontology/ideology scale. (shrink)

Modal dimensionalism is realism about spaces, times and worlds—metaphysical indices that make objects spatial, temporal and modal, respectively, and that play the role of alethic relativizers, i.e. items to which matters of truth are relativized. This paper examines several arguments against MD and shows that MD offers a feasible way to understand modal discourse.

I argue that modal realism is unable to account for fictional discourse. My starting point is an overview of modal realism. I then present a dilemma for modal realism regarding fictional characters. Finally, I provide responses to both horns of the dilemma, one motivating modal dimensionalism, the other motivating a disjunctive analysis of modality.

According to the so-called 'proportionality principle', causes should be proportional to their effects: they should be both enough and not too much for the occurrence of their effects. This principle is the subject of an ongoing debate. On the one hand, many maintain that it is required to address the problem of causal exclusion and take it to capture a crucial aspect of causation. On the other hand, many object that it renders accounts of causation implausibly restrictive and often reject (...) the principle wholesale. I argue that there is exaggeration on both sides. While one half of the principle is overly demanding, the other half is unobjectionable. And while the unobjectionable half does not block exclusion arguments on its own, it provides a nuanced picture of higher-level causation, fits with recent developments in philosophy of causation, and motivates adjustments to standard difference-making accounts of causation. I conclude that at least half of the proportionality principle is worth taking seriously. (shrink)

Philosophers often explain what could be the case in terms of what is, in fact, the case at one possible world or another. They may differ in what they take possible worlds to be or in their gloss of what is for something to be the case at a possible world. Still, they stand united by the threat of paradox. A family of paradoxes akin to the set-theoretic antinomies seem to allow one to derive a contradiction from apparently plausible principles. (...) Some of them concern the interaction between propositions and worlds, and they appear to afford the means to map classes of propositions into propositions – or, likewise, classes of worlds into worlds – in a one-to-one fashion that leads to contradiction. Yet another family of paradoxes threaten the view that whatever could exist does, in fact, exist, which is in line with modal realism, for example. This article aims to survey and identify the source of each family of paradoxes as well as to outline some responses to them. (shrink)

Davies argues that the ontology of artworks as performances offers a principled way of explaining work-relativity of modality. Object oriented contextualist ontologies of art (Levinson) cannot adequately address the problem of work-relativity of modal properties because they understand looseness in what counts as the same context as a view that slight differences in the work-constitutive features of provenance are work-relative. I argue that it is more in the spirit of contextualism to understand looseness as context-dependent. This points to the general (...) problem—the context of appreciation is not robust enough to ground modal intuitions about objective entities. In general, when epistemology dictates ontology there is always a threat of anti-realism, scepticism and relativism. Davies also appeals to the modality principle—an entity’s essential properties are all and only its constitutive properties. Davies understands essentiality in a traditional way: a property P is an essential property of an object o iff o could not exist and lack P. Kit Fine has recently made a convincing case for the view that the notion of essence is not to be understood in modal terms. I explore some of the implications of this view for Davies’ modal argument for the performance theory. (shrink)

This paper deals with one of the basic philosophical questions in modern cosmology: can the so-called Anthropic Principle , considered as an alternative to the classical teleology of creation, be an adequate explanation of the evidence that our universe is fine-tuned for the emergence of life and consciousness. The main problem with this principle is not its presumed teleology, as it is sometimes wrongly supposed, but quite the contrary: its intention to avoid teleological explanations by including the existence of many (...) universes ( multiverse ) into extended cosmological models. After having compared logical and cosmological many-worlds concepts, this paper reaches the conclusion that the ontological reality of the multiverse is an even more problematic presupposition than some properly revised version of teleological causality. This in itself does not imply the classical theistic explanation of creation, since it also yields a pantheistic explanation of the emergence of life and consciousness in our universe. (shrink)

The reviewers Rapaport, Stephanou, Angius, Primiero, and Bringsjord of Turner cover a broad range of topics in the philosophy of computer science. They either challenge the positions outlined in Turner or offer a more refined analysis. This article is a response to their challenges.

Nomic realists have traditionally put laws to work within a theory of natural modality, in order to provide a metaphysical source for causal necessitation, counterfactuals, and dispositions. However, laws are well-suited to perform other work as well. Necessitation is a widespread phenomenon and includes cases of categorial, conceptual, grounding, mathematical and normative necessitation. A permissive theory of universals allows us to extend nomic realism into these other domains. With a particular focus on grounding necessitation, it is argued that the sorts (...) of reasons for positing laws in the natural causal domain also apply in other domains. Laws might well be the source of all first-order modality. (shrink)

Discussion of atomistic and monistic theses about abstract reality.

Discussion of reductive and non-reductive physicalism formulated in a priority monist framework.

Amendment of the Witmer, Butchard, and Trogdon (2005) account of intrinsic properties with the aim of neutrality between competing theories of what is fundamental.

What is it to know more? By what metric should the quantity of one's knowledge be measured? I start by examining and arguing against a very natural approach to the measure of knowledge, one on which how much is a matter of how many. I then turn to the quasi-spatial notion of counterfactual distance and show how a model that appeals to distance avoids the problems that plague appeals to cardinality. But such a model faces fatal problems of its own. (...) Reflection on what the distance model gets right and where it goes wrong motivates a third approach, which appeals not to cardinality, nor to counterfactual distance, but to similarity. I close the paper by advocating this model and briefly discussing some of its significance for epistemic normativity. In particular, I argue that the 'trivial truths' objection to the view that truth is the goal of inquiry rests on an unstated, but false, assumption about the measure of knowledge, and suggest that a similarity model preserves truth as the aim of belief in an intuitively satisfying way. (shrink)

In his article “The Megarian and Aristotelian Concept of Possibility”, Nicolai Hartmann attempts to revive an interpretation of the conception of possibility of the Megarians that stood in opposition to the Aristotelian conception of possibility and thus in opposition to the Aristotelian conception of modality in general. In this introduction, I undertake to situate Hartmann’s article in its historical context. Did Hartmann come to adopt this thesis through his study of ancient Greek philosophy? Or did he already have a predilection (...) for the Megarian conception of possibility prior to this? If so, how did this predilection come about? Was there an influence from his friend Vasily Sesemann, who published an article discussing the Megarians the previous year? Or were both Hartmann and Sesemann influenced early on by their mutual Russian teacher Nikolai Lossky, or even by a general tendency pervading Russian thought—itself grounded in the fatalism typical of the Russian collective unconscious—as we find it expressed in the philosophy of Vladimir Solovyov, Lev Tolstoy, and other Russian thinkers? (shrink)

The present paper proposes a route to modal claims that allows us to infer to certain possibilities even if they are sensorily unimaginable and beyond the evidential capacity of stipulative imagining. After a brief introduction, Sect. 2 discusses imaginative resistance to help carve a niche for the kinds of inferences about which this essay is chiefly concerned. Section 3 provides three classic examples, along with a discussion of their similarities and differences. Section 4 recasts the notion of potential explanation in (...) Lipton’s (Inference to the best explanation, Routledge, Abingdon, 2004) in order to accommodate inferences to possibility claims; Sect. 5 then attempts to characterise a principle underlying such inferences. Section 6 concludes by discussing how the proposal relates to other modal epistemologies, with emphasis on the potential of such inferences to produce genuinely new ideas. (shrink)

Sider (2001) and Hawley (2001) argue that, in order to account for the mere possibility of change, temporal parts must be as fine-grained as possible change, and hence as fine-grained as time. However, when dealing with metaphysical possibility, the fine-grainedness of actual time and the fine-grainedness of possible change can come apart. Once this is taken into account, we see that, on certain assumptions about the actual microstructure of time, the modal arguments of Sider and Hawley lead to the problematic (...) claim that temporal parts are more fine-grained than time. The utility of a temporal parts theory thus seems to be sensitive to metaphysically contingent facts concerning the microstructure of time. (shrink)

The view that chances are relative frequencies of occurrence within actual, finite reference classes has long been written off. I argue that it ought to be reconsidered. Focusing on non-deterministic chance, I defend a version of finite frequentism in which reference classmates are required to have qualitatively identical pasts. While my analysis can evade or resist several standard objections, it has a counterintuitive consequence: non-trivial chances entail the existence of past light cones that are perfect intrinsic duplicates. In mitigation, I (...) argue that our scientific knowledge is consistent with the hypothesis that there are many such duplicates in the actual world. Moreover, my analysis has some striking advantages: it is simple, it is metaphysically undemanding, and it makes possible a satisfying explanation of the chance–credence connection. 1 Introduction2 Target3 Sketch and Skirmish4 Articulation5 Standard Worries5.1 Frequency tolerance5.2 Leibniz’s dictum5.3 Single case chance5.4 Missing values5.5 Explanation5.6 Counterfactual chances6 Chance and Credence6.1 An indefeasible indifference intuition6.2 Articulating the credence principle6.3 Appraising the credence principle7 Confirmation8 Laws9 Summing Up. (shrink)

In this paper I consider two strategies for providing tenseless truth-conditions for tensed sentences: the token-reflexive theory and the date theory. Both theories have faced a number of objections by prominent A-theorists such as Quentin Smith and William Lane Craig. Traditionally, these two theories have been viewed as rival methods for providing truth-conditions for tensed sentences. I argue that the debate over whether the token-reflexive theory or the date theory is true has arisen from a failure to distinguish between conditions (...) for the truth of tensed tokens and conditions for the truth of propositions expressed by tensed tokens. I demonstrate that there is a true formulation of the token-reflexive theory that provides necessary and sufficient conditions for the truth of tensed tokens, and there is a true formulation of the date theory that provides necessary and sufficient conditions for the truth of propositions expressed by tensed tokens. I argue that once the views are properly formulated, the A-theorist’s objections fail to make their mark. However, I conclude by claiming that even though there is a true formulation of the token-reflexive theory and a true formulation of the date theory, the New B-theory nonetheless fails to provide a complete account of the truth and falsity of tensed sentences. (shrink)

An influential theory has it that metaphysical indeterminacy occurs just when reality can be made completely precise in multiple ways. That characterization is formulated by employing the modal apparatus of ersatz possible worlds. As quantum physics taught us, reality cannot be made completely precise. I meet the challenge by providing an alternative theory which preserves the use of ersatz worlds but rejects the precisificational view of metaphysical indeterminacy. The upshot of the proposed theory is that it is metaphysically indeterminate whether (...) p just in case it is neither true nor false that p, and no terms in ‘p’ are semantically defective. In other words, metaphysical indeterminacy arises when the world cannot be adequately described by a complete set of sentences defined in a semantically nondefective language. Moreover, the present theory provides a reductive analysis of metaphysical indeterminacy, unlike its influential predecessor. Finally, I argue that any adequate logic of a language with an indeterminate subject matter is neither compositional nor bivalent. (shrink)

Ostrich presentists maintain that we can use all the expressive resources of the tensed language to provide an explanation of why true claims about the past are true, without thereby paying any price in terms of ontology or basic ideology. I clarify the position by making a distinction between three kinds of explanation, which has general interest and applicability. I then criticize the ostrich position because it requires an unconstrained version of the third form of explanation, which is out of (...) place in metaphysics. (shrink)

Lewis proposed to test the validity of a modal thesis by checking whether its possible-world translation is a theorem of counterpart theory. However, that criterion fails to validate many standard modal laws, thus raising doubts about the logical adequacy of the Lewisian framework. The present paper considers systems of counterpart theory of increasing strength and shows how each can be motivated by exhibiting a suitable intended model. In particular, perfect counterpart theory validates all the desired modal laws and therefore provides (...) a way out of the logical objection. Finally, a weakening of perfect counterpart theory is put forward as a response to some metaphysical objections. (shrink)

I articulate a Global Best-System Account (GBSA) of laws of nature along broadly Mill–Ramsey–Lewis lines. The guiding idea is that the job of laws is to capture real patterns across time—where a pattern is real if it allows to compress information about matters of particular fact. The GBSA’s key ingredient is a definition of ‘best system’ in terms of a ranking method that meets a number of desiderata: it is rigorously defined; it outputs the ranking based on the candidate systems’ (...) epistemic virtues; it is objective, in that the output does not depend on one’s choice of basic concepts; it avoids two trivialization results (by Lewis, and Arrow-Okasha); and it does not appeal to naturalness, or other metaphysical notions in that vicinity. Although the GBSA is independent of the controversial thesis of Humean Supervenience, it satisfies the weaker thesis that laws of nature supervene on the total physical state of the world. Moreover, the resulting notion of lawhood is hyperintensional, unlike the neighboring notion of nomological necessity. Finally, GBSA-laws do not track naturalness, contra the Lewisian orthodoxy. (shrink)

It has been argued that a combination of game-theoretic semantics and independence-friendly (IF) languages can provide a novel approach to the conceptual foundations of mathematics and the sciences. I introduce and motivate an IF first-order modal language endowed with a game-theoretic semantics of perfect information. The resulting interpretive independence-friendly logic (IIF) allows to formulate some basic model-theoretic notions that are inexpressible in the ordinary quantified modal logic. Moreover, I argue that some key concepts of Kripke’s new theory of reference are (...) adequately modeled within IIF. Finally, I compare the logic IIF to David Lewis' counterpart theory, drawing some morals concerning the interrelation between metaphysical and semantic issues in possible-world semantics. (shrink)

According to the “received view” the disagreement between endurantism and perdurantism is ontological and concerns the existence of temporal parts of continuants. In a recent paper, argues that the ontological conception of these theories does not address the crucial point: explaining the way things persist. According to Wasserman, perdurantism is not just the view that things have temporal parts; it is the view that things persist by having temporal parts. Moreover, in the last decade an alternative understanding of the dispute (...) between endurantism and perdurantism, the so called “locative turn”, has lead to an understanding of these two theories as concerning crucially locational rather than mereological notions. Our main aim in this paper is to bring together those two revisionary approaches to the received view, and show how they can enrich each other and open up further dimension of the debate. Finally in the last section we focus on some of the non-standard accounts of persistence and location that arise from this approach, such as “autonomism of persistence and location” and “reverse locational endurantism/perdurantism”. (shrink)

A Benacerraf–Field challenge is an argument intended to show that common realist theories of a given domain are untenable: such theories make it impossible to explain how we’ve arrived at the truth in that domain, and insofar as a theory makes our reliability in a domain inexplicable, we must either reject that theory or give up the relevant beliefs. But there’s no consensus about what would count here as a satisfactory explanation of our reliability. It’s sometimes suggested that giving such (...) an explanation would involve showing that our beliefs meet some modal condition, but realists have claimed that this sort of modal interpretation of the challenge deprives it of any force: since the facts in question are metaphysically necessary and so obtain in all possible worlds, it’s trivially easy, even given realism, to show that our beliefs have the relevant modal features. Here I show that this claim is mistaken—what motivates a modal interpretation of the challenge in the first place also motivates an understanding of the relevant features in terms of epistemic possibilities rather than metaphysical possibilities, and there are indeed epistemically possible worlds where the facts in question don’t obtain. (shrink)

Sensitivity has sometimes been thought to be a highly epistemologically significant property, serving as a proxy for a kind of responsiveness to the facts that ensure that the truth of our beliefs isn’t just a lucky coincidence. But it's an imperfect proxy: there are various well-known cases in which sensitivity-based anti-luck conditions return the wrong verdicts. And as a result of these failures, contemporary theorists often dismiss such conditions out of hand. I show here, though, that a sensitivity-based understanding of (...) epistemic luck can be developed that respects what was attractive about sensitivity-based approaches in the first place but that's immune to these failures. (shrink)

In this paper, I develop an ontological position according to which substances such as you and I have no substantial parts. The claim is not that we are immaterial souls. Nor is the claim that we are “human atoms” co-located with human organisms. It is, rather, that we are macrophysical objects that are, in the relevant sense, simple. I contend that despite initial appearances, this claim is not obviously false, and I defend it by showing how much work it can (...) do. (shrink)

It is fairly common, among those who think propositions exist, to think they exist necessarily. Here, I consider three arguments in support of that conclusion. What I hope to show is not that that claim is false, but, rather, that the arguments used in its defense tend to presuppose a certain kind of approach to modality: a roughly Plantingian view. What the arguments show, then, is that one cannot accept that approach to modality and accept contingently existing propositions. But there (...) are other approaches to modality – I discuss three such approaches – into which contingently existing propositions fit perfectly well. This suggests that disputes over, for example, singular propositions, must be conducted within a broader agreement over modal matters if they are to be at all productive. (shrink)

It can be intuitively understood that sets and their elements in mathematics reflect the atomistic way of thinking in physics: Sets correspond to physical properties, and their elements correspond to particles that have these properties. At the same time, quantum statistics and quantum field theory strongly support the view that quantum particles are not individuals. Some of the problems faced in modern physics may be caused by such discrepancy between set theory and physical theory. The question then arises: Is it (...) possible to reconstruct the concept of set as a collection of objects that model quantum particles rather than as a mere collection of individuals? David Deutsch has argued that identical entities can be diverse in their attributes, and that this nature, what he calls fungibility, must lie at the heart of quantum physics. In line with this idea, a set theory with fungible elements is established, and the collection of such sets is shown to be endowed with an ortholattice structure, which is better known as quantum logic. (shrink)

In this paper I argue that adopting a perdurance view of persistence through time does not lead to skepticism about moral responsibility, despite what many theorists have thought.

Artykuł jest próbą analizy koncepcji minimalistycznej neurofilozofii autorstwa Henrika Waltera w kontekście dyskusji dotyczącej problemu psychofizycznego. Bezpośrednio związana z ową koncepcją teoria o „zróżnicowanej metafizyce” została w tekście powiązana z ideą pluralizmu eksplanacyjnego i ukazana jako metodologiczna alternatywa dla poszukiwania fundamentalnych teorii świadomości. Jednocześnie poza ewentualnymi zaletami metafilozoficznej refleksji podejmowanej w ramach minimalistycznej neurofilozofii zarysowane zostały jej podstawowe ograniczenia i problemy związane m.in. z uznaniem superweniencji za punkt łączący różnorodne stanowiska neurofilozoficzne.

In this paper, we clarify, unpack, and ultimately resist what is perhaps the most prominent argument for the compatibility of free will and determinism: the epistemic argument for compatibilism. We focus on one such argument as articulated by David Lewis: (i) we know we are free, (ii) for all we know everything is predetermined, (iii) if we know we are free but for all we know everything is predetermined, then for all we know we are free but everything is predetermined, (...) (iv) if for all we know we are free but predetermined, then it is really possible that we are, so (v) compatibilism. We uncover how the crucial epistemic modality underlying (iv) must be understood, and contend that, understood this way, the libertarian can resist (iv). Importantly, however, resisting the argument does commit the libertarian to what has been called “flip-flopping”—but we argue that this is perfectly coherent. We conclude by articulating two crucially ways the libertarian can resist the argument, by saying that we can know that determinism is false "from the armchair". (shrink)

Paul Benacerraf’s argument that mathematical realism is apparently incompatible with mathematical knowledge has been widely thought to also show that a priori knowledge in general is problematic. Although many philosophers have rejected Benacerraf’s argument because it assumes a causal theory of knowledge, some maintain that Benacerraf nevertheless put his finger on a genuine problem, even though he didn’t state the problem in its most challenging form. After diagnosing what went wrong with Benacerraf’s argument, I argue that a new, more challenging, (...) version of Benacerraf’s problem can be constructed. The new version—what I call the Defeater Version—of Benacerraf’s problem makes use of a no-defeater condition on knowledge and justification. I conclude by arguing that the best way to avoid the problem is to construct a theory of how a priori judgments reliably track the facts. I also suggest four different kinds of theories worth pursuing. (shrink)

This paper tries to unleash the nature of the paradox of nonexistence or non-being or negative singular existentials by using a General Metalogical Theory. In the first section, this paper explains in detail the paradox of negative singular eixistentials and explains how Alexius Meinong and Bertrand Russell respond to this paradox. Russell resolves the paradox using quantification method which Quine extends to formulate a criterion of ontological commitments. In the second section, a General Metalogical Theory is explained, and it is (...) shown that how the developed General Metalogical Theory is useful in unleashing the paradox of nonexistence. The principles of General Metalogical Theory is developed from Quine’s criterion: to be is to be the value of bound variable. In Quine’s criterion, the notion of the bound variable is significant. The General Metalogical Theory in unleashing the nature of the paradox mainly focuses on the question: from where does the binding of the bound variable come? The paper argues that it is not enough to say that the binding of the bound variable comes from the existentially loaded use of the particular quantifier. General Metalogical Theory attempts to show that the binding of the bound variable comes from somewhere else, so that we attach the particular quantifier to the variable and use the particular quantifier in an existentially loaded sense. Explaining the binding nature of the bound variable in the above-mentioned manner will unleash the nature of the paradox. (shrink)

This paper resolves the problems raised by Israel Scheffler and Noam Chomsky against Quine’s criterion of ontological commitment. I call Scheffler’s and Chomsky’s problems as (1) the problem of inexorable ontological commitments and (2) the problem of false existential inferences. I extend their problems to a third one, which is called as the problem of extended inexorable ontological commitments to rival entities. In order to present the third problem, two ontological disputes are considered: Russell–Meinong dispute from the context of the (...) referential theory of meaning and David Lewis–Meinong dispute from the context of modal metaphysics. In order to work out a resolution to these three problems, I emphasize the distinction between meta-ontology/meta-theory and object theory. Then, it is explained that there is a functional difference between Quine’s criterion of ontological commitments (meta-theory) and the object theories to which this criterion is applied. Here, considering the functional difference, I introduce different kinds of commitments: direct commitments and indirect commitments. Using Strawson’s views on the notion of presupposition, the distinction between direct commitments and indirect commitments is characterized further. Employing this distinction, I resolve the problem of inexorable ontological commitment to the entities, the problem of false existential inferences and the problems of extended inexorable ontological commitment to the rival entities. (shrink)

Despite the otherwise-dominant trends towards physicalism and naturalism in philosophy, it has become increasingly common for metaphysicians to accept the existence either of modal facts and properties, or of Lewisian possible worlds. This paper raises the historical question: why did these heavyweight realist views come into prominence? The answer is that they have arisen in response to the demand to find truthmakers for our modal statements. But this demand presupposes that modal statements are descriptive claims in need of truthmakers. This (...) presupposition was, however, rejected by many earlier analytic philosophers, including the logical positivists, Wittgenstein, Ryle and Sellars, all of whom denied that modal statement were descriptive at all. Yet the non-descriptivist approach has largely fallen out of discussion and out of philosophical consciousness. In this paper I examine why non-descriptivist views first came into and then fell out of favor, and consider what the prospects are for reviving this more deflationary approach to modality. (shrink)

Call a bit of scientific discourse a description of a missing system when (i) it has the surface appearance of an accurate description of an actual, concrete system (or kind of system) from the domain of inquiry, but (ii) there are no actual, concrete systems in the world around us fitting the description it contains, and (iii) that fact is recognised from the outset by competent practitioners of the scientific discipline in question. Scientific textbooks, classroom lectures, and journal articles abound (...) with such passages; and there is a widespread practice of talking and thinking as though there are systems which fit the descriptions they contain perfectly, despite the recognition that no actual, concrete systems do so—call this the face value practice. There are, furthermore, many instances in which philosophers engage in the face value practice whilst offering answers to epistemological and methodological questions about the sciences. Three questions, then: (1) How should we interpret descriptions of missing systems? (2) How should we make sense of the face value practice? (3) Is there a set of plausible answers to (1) and (2) which legitimates reliance on the face value practice in our philosophical work, and can support the weight of the accounts which are entangled with that practice? In this paper I address these questions by considering three answers to the first: that descriptions of missing systems are straightforward descriptions of abstract objects, that they are indirect descriptions of “property-containing” abstracta, and that they are (in a different way) indirect descriptions of mathematical structures. All three proposals are present in the literature, but I find them wanting. The result is to highlight the importance of developing a satisfactory understanding of descriptions of missing systems and the face value practice, to put pressure on philosophical accounts which rely on the practice, and to help us assess the viability of certain approaches to thinking about models, theory structure, and scientific representation. (shrink)

Those who aim to give an account of modal knowledge face two challenges: the integration challenge of reconciling an account of what is involved in knowing modal truths with a plausible story about how we can come to know them, and the reliability challenge of giving a plausible account of how we could have evolved a reliable capacity to acquire modal knowledge. I argue that recent counterfactual and dispositional accounts of modal knowledge cannot solve these problems regarding specifically metaphysical modal (...) truths—leaving us with the threat of skepticism about large portions of metaphysics, and certain other areas of philosophy. I argue, however, that both of these problems look insuperable only if we assume that metaphysical modal discourse serves a describing or tracking function. If we adopt instead a normativist approach to metaphysical modal discourse, which sees the basic function of modal discourse as giving us perspicuous ways of conveying, reasoning with, and renegotiating semantic rules, the problems show up very differently. The modal normativist can give a plausible response to both of the classic problems of how we can come to know metaphysical modal truths. (shrink)

Kriegel described the problem of intentional inexistence as one of the ‘perennial problems of philosophy’, 307–340, 2007: 307). In the same paper, Kriegel alluded to a modal realist solution to the problem of intentional inexistence. However, Kriegel does not state by name who defends the kind of modal realist solution he has in mind. Kriegel also points out that even what he believes to be the strongest version of modal realism does not pass the ‘principle of representation’ and thus modal (...) realism is not an adequate solution to the problem of intentional inexistence. In this paper, I respond to Kriegel by defending a modal realist solution that he did not consider in 2007, called ‘extended modal realism’. EMR is a version of modal realism where possible worlds are not completely isolated as they are under the Lewisian model. Rather, under EMR worlds are, in a way, spatiotemporally related. The fact EMR worlds are related allows EMR to sufficiently pass the principle of representation and thus can be deemed a legitimate solution to the problem of intentional inexistence. I conclude that either EMR can pass the principle of representation in some cases or, and I think the more sensible option, we give up on the principle of representation altogether. (shrink)

A general meta-logical theory is developed by considering ontological disputes in the systems of metaphysics. The usefulness of this general meta-logical theory is demonstrated by considering the case of the ontological dispute between the metaphysical systems of Lewis’ Modal Realism and Terence Parsons’ Meinongianism. Using Quine’s criterion of ontological commitments and his views on ontological disagreement, three principles of metalogic is formulated. Based on the three principles of metalogic, the notions of independent variable and dependent variable are introduced. Then, the (...) ontological dispute between Lewis’ Modal Realism and Terence Parsons’ Meinongianism are restated in the light of the principles of metalogic. After the restatement, Independent variable and dependent variables are fixed in both Lewis’ Modal Realism and Terence Parsons’ Meinongianism to resolve the dispute. Subsequently, a new variety of quantifiers are introduced which is known as functionally isomorphic quantifiers to provide a formal representation of the resolution of the dispute. The specific functionally isomorphic quantifier which is developed in this work is known as st-quantifier. It is indicated that how st-quantifier which is one of the functionally isomorphic quantifiers can function like existential quantifier. It is also shown that there is some kind of inconsistency which is unavoidable in stating the ontological disagreement and therefore, paraconsistent logic is a requirement in stating the ontological disputes. (shrink)