Natural modalities are often analysed from an abstract point of view where they are associated with putative laws of nature. However, the way possibilities are represented in physics is more complex. Lagrangian mechanics, for instance, involves two different layers of modalities: kinematical and dynamical possibilities. This paper examines the status of these two layers, both in the classical and quantum case. The quantum case is particularly problematic: we identify four possible interpretive options. The upshot is that a close inspection of (...) the way possibilities are represented in physics could lead to new ways of thinking about natural modalities. (shrink)

Realists about possible worlds typically identify possible worlds with abstract objects, such as propositions or properties. However, they face a significant objection due to Lewis (1986), to the effect that there is no way to explain how possible worlds-as-abstract objects represent possibilities. In this paper, I describe a response to this objection on behalf of realists. The response is to identify possible worlds with propositions, but to deny that propositions are abstract objects, or indeed objects at all. Instead, I argue (...) that realists should follow Prior (1971) and others in treating higher-order quantification (e.g. quantification into predicate or sentence position) as a genuine form of quantification in its own right, and so in particular, not to be analysed in terms of first-order quantification over abstract objects. I argue that from this ‘higher-orderist’ perspective, there is a relatively straightforward answer to the question of how possible worlds-as-propositions succeed in representing possibilities. (shrink)

Realists about possible worlds typically identify possible worlds with abstract objects, such as propositions or properties. However, they face a significant objection due to Lewis (1986), to the effect that there is no way to explain how possible worlds-as-abstract objects represent possibilities. In this paper, I describe a response to this objection on behalf of realists. The response is to identify possible worlds with propositions, but to deny that propositions are abstract objects, or indeed objects at all. Instead, I argue (...) that realists should follow Prior (1971) and others in treating higher-order quantification (e.g. quantification into predicate or sentence position) as a genuine form of quantification in its own right, and so in particular, not to be analysed in terms of first-order quantification over abstract objects. I argue that from this ‘higher-orderist’ perspective, there is a relatively straightforward answer to the question of how possible worlds-as-propositions succeed in representing possibilities. (shrink)

Possibility semantics offers an elegant framework for a semantic analysis of modal logic that does not recruit fully determinate entities such as possible worlds. The present papers considers the application of possibility semantics to the modeling of the indeterminacy of the future. Interesting theoretical problems arise in connection to the addition of object-language determinacy operator. We argue that adding a two-dimensional layer to possibility semantics can help solve these problems. The resulting system assigns to the two-dimensional determinacy (...) operator a well-known logic (coinciding with the logic of universal modalities under global consequence). The paper concludes with some preliminary inroads into the question of how to distinguish two-dimensional possibility semantics from the more established branching framework. (shrink)

In this chapter, I survey what I call Lewisian approaches to modality: approaches that analyze modality in terms of concrete possible worlds and their parts. I take the following four theses to be characteristic of Lewisian approaches to modality. (1) There is no primitive modality. (2) There exists a plurality of concrete possible worlds. (3) Actuality is an indexical concept. (4) Modality de re is to be analyzed in terms of counterparts, not transworld identity. After an introductory section in which (...) I motivate analyzing modality in terms of possible worlds, I devote one section to each of these four theses. For each thesis, I take Lewis’s interpretation and defense as my starting point. I then consider and endorse alternative ways of accepting the thesis, some of which disagree substantially with Lewis’s interpretation or defense. There is more than one way to be a Lewisian about modality. (shrink)

The possibility of empirical test is discussed with respect to three issues: (1) What is the ontological relationship between consciousness and the brain/physical world? (2) What physical characteristics are associated with the mind/brain interface? (3) Can consciousness act on the brain independently of any brain process?

The past few years have seen a resurgence of interest in the scientific study of magic. Despite being only a few years old, this “new wave” has already resulted in a host of interesting studies, often using methods that are both powerful and original. These developments have largely borne out our earlier hopes (Kuhn et al., 2008) that new opportunities were available for scientific studies based on the use of magic. And it would seem that much more can still be (...) done along these lines. -/- But in addition to this, we also suggested that it might be time to consider developing an outright science of magic—a distinct area of study concerned with the experience of wonder that results from encountering an apparently impossible event1. To this end, we proposed a framework as to how this might be achieved (Rensink and Kuhn, 2015). A science can be viewed as a systematic method of investigation involving three sets of issues: (i) the entities considered relevant, (ii) the kinds of questions that can be asked about them, and (iii) the kinds of answers that are legitimate (Kuhn, 1970). In the case of magic, we suggested that this could be done at three different levels, each focusing on a distinct set of issues concerned with the nature of magic itself: (i) the nature of magical experience, (ii) how individual magic tricks create this experience, and (iii) organizing knowledge of the set of known tricks in a more comprehensive way (Rensink and Kuhn, 2015). Our framework also included a base level focused on how the methods of magic could be used as tools to investigate issues in existing fields of study. -/- Lamont (2010) and Lamont et al. (2010) raised a number of concerns about the possibility of such a science, which we have addressed (Rensink and Kuhn, 2015). More recently, Lamont (2015) raised a new objection, arguing that although base-level work (i.e., applications of magic methods) might be useful, there is too little structure in magic tricks for them to be studied in a systematic way at the other levels, ruling out a science of magic. We argue here, however, that although this concern raises some interesting challenges for this science, it does not negate the possibility that it could exist, and could contribute to the study of the mind. (shrink)

This paper was chosen by The Philosopher’s Annual as one of the ten best articles appearing in print in 2000. Reprinted in Volume XXIII of The Philosopher’s Annual. In his very influential book David Chalmers argues that if physicalism is true then every positive truth is a priori entailed by the full physical description – this is called “the a priori entailment thesis – but ascriptions of phenomenal consciousness are not so entailed and he concludes that Physicalism is false. As (...) he puts it, “zombies” are metaphysically possible. I attempt to show that this argument is refuted by considering an analogous argument in the mouth of a zombie. The conclusion of this argument is false so one of the premises is false. I argue at length that this shows that the original conceivability argument also has a false premise and so is invalid. (shrink)

The puzzle of petitionary prayer: if we ask for the best thing, God was already going to do it, and if we ask for something that's not the best, God's not going to grant our request. In this paper, we give a new solution to the puzzle.

Typically, nudging is a technique for steering the choices of people without giving reasons or using enforcement. In benevolent cases, it is used when people are insufficiently responsive to reason. The nudger triggers automatic cognitive mechanisms – sometimes even biases – in smart ways in order to push irrational people in the right direction. Interestingly, this technique can also be applied to doxastic attitudes. Someone who is doxastically unresponsive to evidence can be nudged into forming true beliefs or doxastic attitudes (...) that are propositionally justified. When doxastic nudging uses non-rational mechanisms, the worry is that nudging cannot result in justified beliefs or knowledge, as the resulting doxastic attitudes lack the right kind of basis. In this paper, I will argue that given the right background views about knowledge, justified beliefs and the relevant processes, epistemic nudging is possible even in these cases. That is, all kinds of nudging can – in appropriate circumstances – produce justified beliefs or knowledge in the nudgee. (shrink)

This essay challenges the widely accepted principle that a person is morally responsible for what he has done only if he could have done otherwise. The author considers situations in which there are sufficient conditions for a certain choice or action to be performed by someone, So that it is impossible for the person to choose or to do otherwise, But in which these conditions do not in any way bring it about that the person chooses or acts as he (...) does. In such situations the person may well be morally responsible for what he chooses or does despite his inability to choose or to do otherwise. Finally the author considers certain suggestions for revising the principle he rejects or for replacing it with a principle of an altogether different kind. (shrink)

It's currently fashionable to take Putnamian model theoretic worries seriously for mathematics, but not for discussions of ordinary physical objects and the sciences. But I will argue that (under certain mild assumptions) merely securing determinate reference to physical possibility suffices to rule out nonstandard models of our talk of numbers. So anyone who accepts realist reference to physical possibility should not reject reference to the standard model of the natural numbers on Putnamian model theoretic grounds.

This paper is inspired by and develops on E. J. Lowe’s work, who writes in his book The Possibility of Metaphysics that ‘metaphysical possibility is an inescapable determinant of actuality’ (1998: 9). Metaphysics deals with possibilities – metaphysical possibilities – but is not able to determine what is actual without the help of empirical research. Accordingly, a delimitation of the space of possibilities is required. The resulting – controversial – picture is that we generally need to know whether (...) something is possible before we can know whether it is actual. In order to appreciate this picture, we need to understand Lowe’s slogan: ‘essence precedes existence’ (Lowe 2008: 40). This slogan has both an ontological and an epistemic reading. The ontological reading is related to the now familiar idea that essence grounds modality, as popularised by Kit Fine. The epistemic reading suggests that we can know the essence of some entity before we know whether or not that entity exists. However, this idea is often met with puzzlement and Lowe himself sadly passed away before he had a chance to clarify this framework. I will present the framework as I understand it, develop it on my own terms, and put forward a qualified defence of it. I will also illustrate how the framework can be put to use with a case study concerning the discovery of transuranic elements. (shrink)

It is natural to assume that every value bearer must be good, bad, or neutral. This paper argues that this assumption is false if value incomparability is possible. More precisely, if value incommensurability is possible, then there is a fourth category of absolute value, in addition to the good, the bad, and the neutral.

Among the most remarkable developments in metaphysics since the 1950’s is the explosion of philosophical interest in possible worlds. This paper proposes an explanation of what possible worlds are, and argues that this proposal, the interpreted models conception, should be attractive to anyone who thinks that modal facts are primitive, and so not to be explained in terms of some non-modal notion of “possible world.” I articulate three constraints on any acceptable primitivist explanation of the nature of possible worlds, and (...) show that the interpreted models conception meets the three constraints. (shrink)

David Lewis holds that a single possible world can provide more than one way things could be. But what are possible worlds good for if they come apart from ways things could be? We can make sense of this if we go in for a metaphysical understanding of what the world is. The world does not include everything that is the case—only the genuine facts. Understood this way, Lewis's “cheap haecceitism” amounts to a kind of metaphysical anti-haecceitism: it says there (...) aren't any genuine facts about individuals over and above their qualitative roles. (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)

It is known that most existing cosmology models do not include rotation, with few exceptions such as rotating Bianchi and rotating Godel metrics. Therefore in this paper we aim to discuss four possible ways to model rotating universe, including Nurgaliev’s Ermakov-type equation. It is our hope that the new proposed method can be verified with observations, in order to open new possibilities of more realistic nonlinear cosmology models.

At the heart of the Stoic theory of modality is a strict commitment to bivalence, even for future contingents. A commitment to both future truth and contingency has often been thought paradoxical. This paper argues that the Stoic retreat from necessity is successful. it maintains that the Stoics recognized three distinct senses of necessity and possibility: logical, metaphysical and providential. Logical necessity consists of truths that are knowable a priori. Metaphysical necessity consists of truths that are knowable a posteriori, (...) a world order according to certain metaphysical principles and natures that god crafts within the constraints of matter. Finally, what is providentially necessary is what occurs according to the chain of fate, but only once it is in process or past. -/- The method of the paper is a close reading of Diogenes Laertius 7.75, adducing broad textual evidence along the way, to show that the Stoic theory of modality embraces Philonian possibility, both that which is capable of being true as a matter of logical consistency, and that which is possible according to the bare fitness of the entity. What differentiates the Stoics from Philo is their additional commitment to possibility as opportunity, resisting the collapse of determinism into necessity. (shrink)

The new …eld of judgment aggregation aims to …nd collective judgments on logically interconnected propositions. Recent impossibility results establish limitations on the possibility to vote independently on the propositions. I show that, fortunately, the impossibility results do not apply to a wide class of realistic agendas once propositions like “if a then b” are adequately modelled, namely as subjunctive implications rather than material implications. For these agendas, consistent and complete collective judgments can be reached through appropriate quota rules (which (...) decide propositions using acceptance thresholds). I characterise the class of these quota rules. I also prove an abstract result that characterises consistent aggregation for arbitrary agendas in a general logic. (shrink)

The Humean view that conceivability entails possibility can be criticized via input from cognitive psychology. A mainstream view here has it that there are two candidate codings for mental representations (one of them being, according to some, reducible to the other): the linguistic and the pictorial, the difference between the two consisting in the degree of arbitrariness of the representation relation. If the conceivability of P at issue for Humeans involves the having of a linguistic mental representation, then it (...) is easy to show that we can conceive the impossible, for impossibilities can be represented by meaningful bits of language. If the conceivability of P amounts to the pictorial imaginability of a situation verifying P, then the question is whether the imagination at issue works purely qualitatively, that is, only by phenomenological resemblance with the imagined scenario. If so, the range of situations imaginable in this way is too limited to have a significant role in modal epistemology. If not, imagination will involve some arbitrary labeling component, which turns out to be sufficient for imagining the impossible. And if the relevant imagination is neither linguistic nor pictorial, Humeans will appear to resort to some representational magic, until they come up with a theory of a ‘third code’ for mental representations. (shrink)

In the history of modern philosophy systematic connections were assumed to hold between the modal concepts of logical possibility and necessity and the concept of conceivability. However, in the eyes of many contemporary philosophers, insuperable objections face any attempt to analyze the modal concepts in terms of conceivability. It is important to keep in mind that a philosophical explanation of modality does not have to take the form of a reductive analysis. In this paper I attempt to provide a (...) response-dependent account of the modal concepts in terms of conceivability along the lines of a nonreductive model of explanation. (shrink)

Introduction: -/- Walking, illegally, down main Montreal thoroughfares with students in nightly demonstrations, with neighbors whom I barely knew before, banging pots and pans, and with tens, if not hundreds, of thousands of people on every 22nd of the month since March—this was unimaginable a year ago.1 Unimaginable that the collective and heterogeneous body, which is the “manif [demonstration]”, could feel so much like home, despite its internal differences. Unimaginable that this mutual dependence on one another could enable not only (...) collective protection from traffic and police but the affective strength and audacity to take back the street—a mutual dependence that includes the masked demonstrators ready to help when gassed by police. Unimaginable too that we would be breaking the law daily,2 that blocking traffic and seeing the city from the center of the street would become habit, and that as the “printemps érable” becomes summer, we would be investing our time in neighborhood assemblies, in weaving social bonds, and in sustaining and deepening the mobilization. -/- I say these actions were unimaginable not merely because the context that motivated the enlargement of the student movement into a popular struggle combines a number of unique features. Nor were they simply unimaginable because the Quebec I previously knew was marred by the Islamophobia and cultural racism made visible during the reasonable accommodation debates, a society whose mapping excluded me and for whose sake it would have been difficult to protest.3 Rather, I say these actions were unimaginable because the possibility of this popular and inclusive mobilization had not yet been created. It is this possibility that the Quebec student movement has created, I argue, not only in quantitative terms by engaging so many, but at the level of lived subjectivities and intercorporeal solidarity. The evolution of the movement should be understood, then, both as a swelling of its popular base and as an intensification and qualitative transformation of ways of life. (shrink)

We provide a new perspective on the relation between the space of description of an object and the appearance of novelties. One of the aims of this perspective is to facilitate the interaction between mathematics and historical sciences. The definition of novelties is paradoxical: if one can define in advance the possibles, then they are not genuinely new. By analyzing the situation in set theory, we show that defining generic (i.e., shared) and specific (i.e., individual) properties of elements of a (...) set are radically different notions. As a result, generic and specific definitions of possibilities cannot be conflated. We argue that genuinely stating possibilities requires that their meaning has to be made explicit. For example, in physics, properties playing theoretical roles are generic; then, generic reasoning is sufficient to define possibilities. By contrast, in music, we argue that specific properties matter, and generic definitions become insufficient. Then, the notion of new possibilities becomes relevant and irreducible. In biology, among other examples, the generic definition of the space of DNA sequences is insufficient to state phenotypic possibilities even if we assume complete genetic determinism. The generic properties of this space are relevant for sequencing or DNA duplication, but they are inadequate to understand phenotypes. We develop a strong concept of biological novelties which justifies the notion of new possibilities and is more robust than the notion of changing description spaces. These biological novelties are not generic outcomes from an initial situation. They are specific and this specificity is associated with biological functions, that is to say, with a specific causal structure. Thus, we think that in contrast with physics, the concept of new possibilities is necessary for biology. (shrink)

Many epistemologists call themselves ‘fallibilists’. But many philosophers of language hold that the meaning of epistemic usages of ‘possible’ ensures a close knowledge- possibility link : a subject’s utterance of ‘it’s possible that not-p’ is true only if the subject does not know that p. This seems to suggest that whatever the core insight behind fallibilism is, it can’t be that a subject could have knowledge which is, for them, possibly false. I argue that, on the contrary, subjects can (...) have such possibly false knowledge. My ultimate aim, then, is to vindicate a very robust form of fallibilism. Uniquely, however, the account I offer does this while also allowing that concessive knowledge attributions – sentences of the form “I know that p, but it’s possible that not-p” – are not only infelicitous but actually false whenever uttered. The account predicts this result without conceding KPL. I argue that my account has the resources to explain some related cases for which the KPL account yields the wrong predictions. Taken as a whole, the linguistic data not only do not support the proposal that subjects cannot have possibly false knowledge, but indeed positively favor the proposal that they can. (shrink)

This chapter discusses the nature of objective news and the debate regarding its possibility. It then assesses the main arguments for the unattainability of objective news. A close examination of these arguments shows that, contrary to widespread belief, journalists who try to provide objective news are not striving in vain. The chapter discusses the effect of competing journalistic aims and other limitations on our efforts to generate objective news. It suggests that the unwarranted skepticism regarding the possibility of (...) objective news is an artifact of the changing priorities of journalists and inadequate journalistic methods, and that the only real issue is how we can better train those journalists who want to generate objective news. (shrink)

This chapter examines the modifications William James made to his account of the ethics of belief from his early ‘subjective method’ to his later heightened concerns with personal doxastic responsibility and with an empirically-driven comparative research program he termed a ‘science of religions’. There are clearly tensions in James’ writings on the ethics of belief both across his career and even within Varieties itself, tensions which some critics think spoil his defense of what he calls religious ‘faith ventures’ or ‘overbeliefs’. (...) But our study of James in the first half of the chapter reveals a significant degree of unnoticed unity: The two distinct defenses of faith ventures he develops post-1900 are actually both versions of the Dialogue Model of the relationship between individual religiosity and scientific reasoning. One shared theme in the diverging approaches to doxastic responsibility suggested by the two versions is what some interpreters have called ‘the character issue’ in James’ writings. The second half of the chapter develops these connections and argues that a neo-Jamesian approach tying the ethics of belief with Rawlsian reasonable pluralism and with contemporary character epistemology results in a stronger yet more clearly delimited defense of responsible faith ventures. (shrink)

This paper examines the possibility of parenting as a queer practice. Examining definitions of “queer” as resistant to presumptions and practices of reprosexuality and repro-narrativity (Michael Warner), bourgeouis norms of domestic space and family time (Judith Halberstam), and policies of reproductive futurism (Lee Edelman), I argue that queer parenting is possible. Indeed, parenting that resists practices of normalization are, in part, realized by certain types of postmodern families. However, fully actualizing the possibility of parenting queerly—and thus teaching our (...) children the values of non-normativity--requires engaging political struggles for distributive justice. These are, thus, the struggles that should be at the center of queer politics, rather than the current struggles for gay marriage and homoparental rights. (shrink)

What makes democracy valuable? One traditional answer holds that participating in democratic self-government amounts to a kind of autonomy: it enables citizens to be the authors of their political affairs. Many contemporary philosophers, however, are skeptical. We are autonomous, they argue, when important features of our lives are up to us, but in a democracy we merely have a say in a process of collective choice. In this paper, we defend the possibility of democratic autonomy, by advancing a conception (...) of it which is impervious to this objection. At the core of our account is the idea of joint authorship. You are a joint author of something when that thing expresses your joint intentions. Democracy may not make any one of us sole author of our political affairs, but it can make us their joint authors. It is in such joint authorship, we claim, that the intrinsic value of democratic self-government consists. (shrink)

This paper explores the possibility of a standard legal language (e.g. English) for a principled evolution of law in line with technological development. In doing so, reference is made to blockchain networks and smart contracts to emphasise the discontinuity with the liberal legal tradition when it comes to decentralisation and binary code language. Methodologically, the argument is built on the underlying relation between law, semiotics and new forms of media adding to natural language; namely: code and symbols. In what (...) follows, I will concentrate on the study of factors that explain why such approach can be fruitful for the future of law and innovation. I have three reasons for selecting this topic. The first is a more pragmatic reason, based on my current research of law as a linguistic phenomenon. Secondly, the topic does also touch the matter on binary code language, rivalrous to legal alphabetic language. Lastly, the study aims at emphasizing the pivotal role of the jurist as an interpreter in a changing society accommodating diverging realms of reality. The study is structured as follows. Firstly, a quick exam of the traits of blockchain networks would provide the contextual link to establish the arguments in support of the need of a standard legal language. Secondly, a comparison between liberal legal institutions and theory of semiotics is set to perceive their functioning and ascertain their limits in the light of todays unprecedented changes. Thirdly, a summary on blockchain networks’ legal features would constitute the thrust behind the idea of a uniform legal language. Methodologically, the argument does also establish some relations with classical laws of physics and philosophy of media. Its aim is to demonstrate how the suggested legal interpretation and semiotic-based approach can contribute to overcome existing stumbling blocks including, but not limited to, the lack of cooperation at the international level as well as the gap in State norms when it comes to innovation. In this sense, the proposed strategies do not intend to replace current advances in the legal thought. In contrast, it seeks to harmonise their results providing a methodical approach that can concur to inform a new technique to address new controversial issues. In practice, the proposed method regarding the adoption of a uniform legal language would lower transactive costs in terms of normative coordination in the matter of international cooperation and in the definition of applicable law among different legal systems. Alternatively, it might contribute to the convergence of legal systems and/or their underlying concepts. Differently put, article’s contribution can be envisaged in fostering juridical consistency with regards to different forms of languages’ coexistence. (shrink)

Several authors have used the notion of causal specificity in order to defend non-parity about genetic causes (Waters 2007, Woodward 2010, Weber 2017, forthcoming). Non-parity in this context is the idea that DNA and some other biomolecules that are often described as information-bearers by biologists play a unique role in life processes, an idea that has been challenged by Developmental Systems Theory (e.g., Oyama 2000). Indeed, it has proven to be quite difficult to state clearly what the alleged special role (...) of genetic causes consists in. In this paper, I show that the set of biomolecules that are normally considered to be information-bearers (DNA, mRNA) can be shown to be the most specific causes of protein primary structure, provided that causal specificity is measured over a relevant space of biological possibilities, disregarding physical as well as logically possible states of the causal variables. (shrink)

The moral error theory, it seems, could be true. The mere possibility of its truth might also seem inconsequential. But it is not. For, I argue, there is a sense in which the moral error theory is possible that generates an argument against both non‐cognitivism and moral naturalism. I argue that it is an epistemic possibility that morality is subject to some form of wholesale error of the kind that would make the moral error theory true. Denying this (...) possibility has three unwelcome consequences such that allowing for and explaining it is an adequacy condition on meta‐ethical theories. Non‐cognitivism and moral naturalism, I argue, cannot capture the epistemic possibility of wholesale moral error and so are false. My argument additionally provides independent reason to accept Derek Parfit's claim that if moral non‐naturalism is false then nothing matters. I conclude that whether wholesale moral error is epistemically possible may be, in Richard Rorty's words, ‘one of those issues which puts everything up for grabs at once’ and that even if so, and even if non‐cognitivists and moral naturalists remain unmoved by an argument based upon it, this only helps to highlight the significance of my argument. (shrink)

Despite much discussion over the existence of moral facts, metaethicists have largely ignored the related question of their possibility. This paper addresses the issue from the moral error theorist’s perspective, and shows how the arguments that error theorists have produced against the existence of moral facts at this world, if sound, also show that moral facts are impossible, at least at worlds non-morally identical to our own and, on some versions of the error theory, at any world. So error (...) theorists’ arguments warrant a stronger conclusion than has previously been noticed. This may appear to make them vulnerable to counterarguments that take the possibility of moral facts as a premise. However, I show that any such arguments would be question-begging. (shrink)

This paper argues for the existence of a fourth positive generic value relation that can hold between two items beyond ‘better than’, ‘worse than’, and ‘equally good’: namely ‘on a par’.

In response to suspicions concerning the use of possible worlds in philosophy, this brief paper proposes an analysis of possibility that requires only a single world, using a combination of temporal logic and a potentiality operator.

A common view of how-possibly explanations in biology treats them as explanatorily incomplete. In addition to this interpretation of how-possibly explanation, I argue that there is another interpretation, one which features what I term “explanatory strategies.” This strategy-centered interpretation of how-possibly explanation centers on there being a different explanatory context within which how-possibly explanations are offered. I contend that, in conditions where this strategy context is recognized, how-possibly explanations can be understood as complete explanations. I defend this alternative interpretation by (...) analyzing the explanatory value of simple physical models the nineteenth century developmental biologist Wilhelm His constructed for animal development. (shrink)

This chapter provides an introduction to possible worlds semantics in both logic and the philosophy of language, including a discussion of some of the advantages and challenges for possible worlds semantics.

We often ascribe possibility to the scenes that are displayed by mental or nonmental sensory images. The paper presents a novel argument for thinking that we are prima facie justified in ascribing metaphysical possibility to what is displayed by suitable visual images, and it argues that many of our imagery‐based ascriptions of metaphysical possibility are therefore prima facie justified. Some potential objections to the arguments are discussed, and some potential extensions of them, to cover nonvisual forms of (...) imagery and nonmetaphysical forms of possibility, are endorsed. (shrink)

In this paper I begin by extending two results of Solovay; the first characterizes the possible Turing degrees of models of True Arithmetic (TA), the complete first-order theory of the standard model of PA, while the second characterizes the possible Turing degrees of arbitrary completions of P. I extend these two results to characterize the possible Turing degrees of m-diagrams of models of TA and of arbitrary complete extensions of PA. I next give a construction showing that the conditions Solovay (...) identified for his characterization of degrees of models of arbitrary completions of PA cannot be dropped (I showed that these conditions cannot be simplified in the paper. (shrink)

Possible worlds are commonly seen as an interpretation of modal operators such as "possible" and "necessary". Here, we develop possible world semantics (PWS) which can be expressed in basic set theory and first-order logic, thus offering a reductionist account of modality. Specifically, worlds are understood as complete sets of statements and possible worlds are sets whose statements are consistent with a set of conceptual laws. We introduce the construction calculus (CC), a set of axioms and rules for truth, possibility, (...) worldness and consistency. We show that CC allows to prove fundamental theorems about necessity, possibility, impossibility and contigency, thus demonstrating prima-facie plausibility of PWS. Finally, we discuss the explanatory power of our approach and draw connections between our account and established philosophical conceptions of possible worlds. (shrink)

This article gives two arguments for believing that our society is unknowingly guilty of serious, large-scale wrongdoing. First is an inductive argument: most other societies, in history and in the world today, have been unknowingly guilty of serious wrongdoing, so ours probably is too. Second is a disjunctive argument: there are a large number of distinct ways in which our practices could turn out to be horribly wrong, so even if no particular hypothesized moral mistake strikes us as very likely, (...) the disjunction of all such mistakes should receive significant credence. The article then discusses what our society should do in light of the likelihood that we are doing something seriously wrong: we should regard intellectual progress, of the sort that will allow us to find and correct our moral mistakes as soon as possible, as an urgent moral priority rather than as a mere luxury; and we should also consider it important to save resources and cultivate flexibility, so that when the time comes to change our policies we will be able to do so quickly and smoothly. (shrink)

While we completely understood that a binary dwarf companion of the Sun has not been accepted by majority of astronomers, allow us to present some new arguments, along with our own serendipitous encounter with such a binary companion of the Sun. We hope that the present note will be found useful for further investigations, in relation to Planet Nine and such a dwarf star companion of the Sun (sometimes dubbed as Nemesis). Nonetheless, this article is not an exhaustive review of (...) such dwarf companion star theories. (shrink)

We ordinarily think that we human beings have agency: we have control over our choices and make a difference to our environments. Yet it is not obvious how agency can fit into a physical world that is governed by exceptionless laws of nature. In particular, it is unclear how agency is possible if those laws are deterministic and the universe functions like a mechanical clockwork. In this short paper, I first explain the apparent conflict between agency and physical determinism (referring (...) to recent work by Helen Steward on "agency incompatibilism"), then review some salient responses one might give to this conflict, and finally sketch a response that rests on a distinction between “physical” and “agential possibilities.” Agency, I suggest, is a higher-level phenomenon, which comes with its own level-specific notion of possibility, and it cannot be adequately analyzed in physical terms alone or just through the lens of physical possibility. (The paper was written as an informal position paper for a symposium on "Possibilities".). (shrink)

Some defenders of the principle of alternative possibilities (PAP) have responded to the challenge of Frankfurt-style counterexamples (FSCs) to PAP by arguing that there remains a “flicker of freedom” -- that is, an alternative possibility for action -- left to the agent in FSCs. I argue that the flicker of freedom strategy is unsuccessful. The strategy requires the supposition that doing an act-on-one's-own is itself an action of sorts. I argue that either this supposition is confused and leads to (...) counter-intuitive results; or, if the supposition is acceptable, then it is possible to use it to construct a FSC in which there is no flicker of freedom at all. Either way, the flicker of freedom strategy is ineffective against FSCs. Since the flicker of freedom strategy is arguably the best defense of PAP, I conclude that FSCs are successful in showing that PAP is false. An agent can act with moral responsibility without having alternative possibilities available to her. (shrink)

The standard semantics for counterfactuals ensures that any counterfactual with a true antecedent and true consequent is itself true. There have been many recent attempts to amend the standard semantics to avoid this result. I show that these proposals invalidate a number of further principles of the standard logic of counterfactuals. The case against the automatic truth of counterfactuals with true components does not extend to these further principles, however, so it is not clear that rejecting the latter should be (...) a consequence of rejecting the former. Instead I consider how one might defuse putative counterexamples to the truth of true-true counterfactuals. (shrink)