Here is a puzzling phenomenon. Moral theories are typically thought to be necessary. If act utilitarianism is true, for example, then it is necessarily true. However, scientific theories are typically thought to be contingent. If quantum field theory is true, it’s not necessarily true — the world could have been Newtonian. My aim is to explore this discrepancy between domains. -/- In particular, I explore the role of what I call `internality’ intuitions in motivating necessitism about both moral and scientific (...) domains. In effect, these internality intuitions tell against the explanatory role of certain `external’ entities – like moral or scientific principles. I’ll suggest that perhaps these internality intuitions are more compelling in the moral case than the scientific case. If so, this would rationalize the combination of moral necessitism and scientific contingentism. (shrink)

A central tenet of truthmaker theory is that necessitation is necessary for truthmaking (NEC). This paper defends NEC in a novel, piecemeal way, namely by responding to a potential counterexample involving a changing past. If Carter won a race at t1 but is later disqualified at t2, then Carter no longer won at t1. A wholly past event seems to have changed in the future. The event makes ‘Carter won the race at t1’ (RACE) true between t1‐2 but fails (...) to make it true at t2. So, we have a potential counterexample to necessitation: a truthmaker of RACE fails in another context to make the same truthbearer RACE true. I argue that the best solution to this challenge is not that there are different truthbearers at t1‐2 and t2 (the semantic response), or that RACE was never true because of the future disqualification or will always be true despite the future disqualification. The best solution is to accept that the past can change: past events can change based on what happens in the future (e.g., via their effects). This paper's novel defence of necessitation will illustrate the importance of utilising explicitly ontological and commonsensical tools in accounting for truth. (shrink)

As Williamson puts it, ‘necessitism’ is the metaphysical view that claims that “necessarily everything is necessarily something”. As that claim involves modal unrestricted quantification, the necessitist must accept it as a part of an intelligible discourse. Here, I present one of the main objections that have been presented against the intelligibility of unrestricted quantification: the objection based on the so-called All-in-One Principle. I then propose possible strategies that the necessitist could adopt to shield themselves from the objection.

Our aim in this paper is to present the distinct ways in which Wolff, Baumgarten, and Kant understand the relationship between necessitation, constraint, and reluctant action in an effort to illustrate the subtle ways in which their conceptions of obligation differ from each another. Whereas Wolff conceives of natural or moral obligation as incompatible with constraint, Baumgarten holds that constraint and reluctant action are, in some instances, compatible with natural obligation. Kant departs from Baumgarten by conceiving of obligation as (...) necessarily involving constraint: as Kant’s reply to Schiller’s famous objection reveals, obligation must take on the character of constraint to reluctant action on account of the fact that human beings possess inclinations that always threaten to impel them in directions that oppose morality. (shrink)

This paper aims to provide two abductive considerations adducing in favor of the thesis of Necessitism in modal ontology. I demonstrate how instances of the Barcan formula can be witnessed, when the modal operators are interpreted 'naturally' -- i.e., as including geometric possibilities -- and the quantifiers in the formula range over a domain of natural, or concrete, entities and their contingently non-concrete analogues. I argue that, because there are considerations within physics and metaphysical inquiry which corroborate modal relationalist claims (...) concerning the possible geometric structures of spacetime, and dispositional properties are actual possible entities, the condition of being grounded in the concrete is consistent with the Barcan formula; and thus -- in the geometric setting -- merits adoption by the Necessitist. (shrink)

Necessitism is the controversial thesis that necessarily everything is necessarily something, namely that everything, everywhere, necessarily exists. What is controversial about necessitism is that, at its core, it claims that things could not have failed to exist, while we have a pre-theoretical intuition that not everything necessarily exists. Contingentism, in accordance with common sense, denies necessitism: it claims that some things could have failed to exist. Timothy Williamson is a necessitist and claims that David Lewis is a necessitist too. The (...) paper argues that, granted the assumptions that lead to interpret the Lewisian as a necessitist, she can preserve contingentist intuitions, by genuinely agreeing with the folk that existence is contingent. This is not just the uncontroversial claim that the Lewisian, as a result of the prevalence of restricted quantification in counterpart theoretic regimentations of natural language, can agree with the folk while disagreeing with them in the metaphysical room. Rather, this is the claim that it is in the metaphysical room that the Lewisian can endorse the intuitions lying behind contingentism. (shrink)

Let NNG be the claim that necessitation is necessary for grounding, and let NSG be the claim that necessitation is sufficient for grounding. The consensus view is that grounding cannot be reduced to necessitation, and this is due to the (approximately) universally-accepted claim that NSG is false. Among deniers of NSG: grounding contingentists think NNG is also false, but they are in the minority compared to grounding necessitarians who uphold NNG. For one who would defend the claim (...) that grounding is reducible to necessitation, the task is formidable: she must defend NSG and NNG. I consider two prominent objections against NSG, and two more against NNG before developing a reductive account of grounding as minimal necessitation that avoids not only all four of the previously mentioned objections, but also an additional objection that targets minimal necessitation accounts in particular. If my arguments are compelling, then, insofar as we thereby have a strong prima facie case for thinking that grounding can be reduced to (minimal) necessitation, we have a strong prima facie case for thinking the consensus view is mistaken. (shrink)

This article introduces the notion of the directedness of a process, which underlies event causation as well as the persistence of things. Using this notion it investigates what happens in typical cases of active event causation. Causes never necessitate their effects because even non- probabilistic causes can be counteracted.

I elaborate and defend a "necessitarian" interpretation of Kant's account of laws.

According to Leininger, presentists and growing blockers cannot explain why past and present regularities persist in the future. In order to do so, they would have to appeal to enforcers, such as causation, laws or dispositions. But in a world with no future, these enforcers are powerless and cannot guarantee future regularity. I disagree and argue that Leininger’s coordination problem can be met by distinguishing type- from token-level necessitation. Whereas token-level necessitation is cross-temporal and subject to Leininger’s coordination (...) problem, type-level necessitation is atemporal and immune to the coordination problem. For this solution to work, though, type-level necessitation must be ontologically prior to token-level necessitation. This forces us to adopt a Platonist position according to which universals are transcendent, and not immanent. (shrink)

I offer a close reading of the first part of Sartre's The Transcendence of the Ego, arguing that contrary to widely held interpretation, one of Sartre's main goals in that text is to defend the view that consciousness does not necessitate self-awareness, that not all conscious states need be, ipso facto, states of self-awareness. In addition, I explain that this view about the conceptual relationship between consciousness and self-awareness has important methodological implications. One of the standard strategies for accounting for (...) the possibility of the type of capacity to have I* thoughts and attitudes is based on the assumption that being conscious necessarily entails being self-aware in at least a minimal sense, and then proceeds to explain how it I*-thoughts and attitudes are possible on the basis of those minimal states of self-awareness. Yet if Sartre's account of self-awareness is so much as plausible, this kind of strategy is bound to be incomplete. By helping itself to a notion of minimal self-awareness that is purportedly constitutive of consciousness, it fails to account for what is, by its own lights, the most fundamental form of self-awareness. (shrink)

Pace Necessitism – roughly, the view that existence is not contingent – essential properties provide necessary conditions for the existence of objects. Sufficiency properties, by contrast, provide sufficient conditions, and individual essences provide necessary and sufficient conditions. This paper explains how these kinds of properties can be used to illuminate the ontological status of merely possible objects and to construct a respectable possibilist ontology. The paper also reviews two points of interaction between essentialism and modal logic. First, we will briefly (...) see the challenge that arises against S4 from flexible essential properties; as well as the moves available to block it. After this, the emphasis is put on the Barcan Formula (BF), and on why it is problematic for essentialists. As we will see, Necessitism can accommodate both (BF) and essential properties. What necessitists cannot do at the same time is to continue to understanding essential properties as providing necessary conditions for the existence of individuals; against what might be for some a truism. (shrink)

In his book Modal Logic as Metaphysics, Timothy Williamson defends first-order necessitism using simplicity as a powerful argument. However, simplicity is decomposed into two different, even antagonistic, sides: elegance and parsimony. On the one hand, elegance is the property of theories possessing few and simple principles that allow them to deploy all their theoretical power; on the other hand, parsimony is the property of theories having the fair and necessary number of ontological entities that allow such theories give an account (...) of themselves. Since necessitism endorses Barcan Formulae for the sake of elegance, it is committed to a vast number of contingently non-concrete objects, so one may think that it is not qualitatively parsimonious. I argue that necessitism could be viewed as an additive case in the sense that Alan Baker characterizes the adjective so quantitative parsimony should be considered when it comes to necessitism instead of qualitative parsimony. (shrink)

Bien sûr, «la philosophie des sciences sans l’histoire des scien­ces est vide et l’histoire des sciences sans la philosophie des sciences est aveugle» (Lakatos), mais cette formule célèbre ne méconnaît-elle pas l’importance dissymétrique de cette relation de dépendance réci­proque ? En effet, ne pourrait-on pas soute­nir que les philoso­phes des sciences désireux d’arriver à une juste et saine philosophie des sciences ont besoin, pour ce faire, des travaux des historiens des sciences, bien plus que ces der­­niers n’ont besoin, pour leurs (...) recons­tructions historiques, des écrits des philosophes des sciences ? Telle est la thèse, quelque peu provocatrice, que l’auteur tente de défendre : un séminaire ne doit-il pas être un lieu de débat ? ––– Of course, «the philosophy of science is empty without the history of science and the history of science is blind without the philosophy of science» (Lakatos). But does not this famous formula fail to recognize the importance of the dyssymetry of this relationship of mutual dependence ? Could it not be main­tained that the philos­ophers of science, in their search for a correct and healthy philos­ophy of science, need the works of the historians of science far more than the latter need the works of the philosophers of science for their historical work ? This is the somewhat provocative thesis we shall attempt to defend : should not a seminar be a forum for debate ? (shrink)

I argue for a novel interpretation of Leibniz’s conception of the kind of contingency that matters for freedom, which I label ‘agential contingency.’ In brief, an agent is free to the extent that she determines herself to do what she judges to be the best of several considered options that she could have brought about had she concluded that these options were best. I use this novel interpretation to make sense of Leibniz’s doctrine that the reasons that explain free actions (...) are merely inclining and not necessitating. (shrink)

‘Frankfurt-style cases’ (FSCs) are widely considered as having refuted the Principle of Alternate Possibilities (PAP) by presenting cases in which an agent is morally responsible even if he could not have done otherwise. However, Neil Levy (J Philos 105:223–239, 2008) has recently argued that FSCs fail because we are not entitled to suppose that the agent is morally responsible, given that the mere presence of a counterfactual intervener is enough to make an agent lose responsibility-grounding abilities. Here, I distinguish two (...) kinds of Frankfurt counter-arguments against the PAP: the direct and the indirect counter-arguments. I then argue that Levy’s argument, if valid, can shed doubt on the indirect argument but leaves the direct argument untouched. I conclude that FSCs can still do their job, even if we grant that the mere presence of a counterfactual intervener can modify an agent’s abilities. (shrink)

This article presents the results of research conducted with secondary school teachers in Quebec, specifically in the Mauricie region. The authors propose a reflection on the construction of professional identity in a context of institutional crisis. They argue that in this context, the teacher can not rely on stable and social frameworks to build up a strong professional identity and that work experience that becomes the primordial material from which that identity is developed. Therefore, the teacher has to build its (...) identity from a set of rational narrative experience of professional practice.contrastée des attentes et des représentations d'étudiants en formation initiale à l'enseignement secondaire en fonction de leur engagement ou non dans un établissement scolaire Cet article présente les résultats d’une recherche menée auprès d’enseignants du niveau secondaire au Québec, plus spécifiquement dans la région de la Mauricie. Les auteurs proposent une réflexion sur la construction de l’identité professionnelle dans un contexte de crise des institutions. Ils soutiennent que dans ce contexte l’enseignant ne peut compter sur des cadres sociaux stables et solides pour se constituer une identité professionnelle et que c’est l’expérience au travail qui devient le matériau primordial à partir duquel s’élabore cette identité. Par conséquent, l’enseignant a à construire son identité à partir d’une mise en récit rationnelle de son expérience de la pratique professionnelle. (shrink)

This paper aims to show the necessity of development ethics. For this purpose, I discuss two of many moral issues of development policy – poverty and corruption. I argue that reducing poverty and curbing corruption are the two moral issues that should be considered seriously, because poverty and corruption prevent people from getting any access to development. But in order to reduce poverty and to curb corruption value-neutral measures of economics are not enough. They are also involved with ethical assumptions. (...) I show that if any development policy maker wants to reduce poverty and corruption to some extent, he has to resort not only to value-neutral strategies of development, but also to the ethics of development. And this opens the door for development ethics that can contribute to the creation of a sane and judicious development policy. (shrink)

Hybrid contingentism combines first-order contingentism, the view that it is contingent what individuals there are, with higher-order necessitism, the view that it is non-contingent what properties and propositions there are (where these are conceived as entities in the range of appropriate higher-order quantifiers). This combination of views avoids the most delicate problems afflicting alternative contingentist positions while preserving the central contingentist claim that ordinary, concrete entities exist contingently. Despite these attractive features, hybrid contingentism is usually faced with rejection. The main (...) reason for this is an objection that crucially involves haecceitistic properties, properties such as being identical to Plato or being identical to Aristotle. The objection alleges that by accepting the necessary existence of such haecceities, hybrid contingentists incur an explanatory commitment that they are unable to discharge, namely that of explaining how it is that certain haecceities ‘lock onto’ their target individuals even when those individuals are absent. To defend hybrid contingentism against this charge, I first clarify the haecceities objection in several respects and consider, in particular, what notion of explanation the objection is operating with. After arguing that it can be fruitfully understood as a challenge to provide metaphysical grounds for certain haecceity facts, I develop a contingentist response to the objection that draws on recent work on the connection between ground and essence. (shrink)

Timothy Williamson has argued that in the debate on modal ontology, the familiar distinction between actualism and possibilism should be replaced by a distinction between positions he calls contingentism and necessitism. He has also argued in favor of necessitism, using results on quantified modal logic with plurally interpreted second-order quantifiers showing that necessitists can draw distinctions contingentists cannot draw. Some of these results are similar to well-known results on the relative expressivity of quantified modal logics with so-called inner and outer (...) quantifiers. The present paper deals with these issues in the context of quantified modal logics with generalized quantifiers. Its main aim is to establish two results for such a logic: Firstly, contingentists can draw the distinctions necessitists can draw if and only if the logic with inner quantifiers is at least as expressive as the logic with outer quantifiers, and necessitists can draw the distinctions contingentists can draw if and only if the logic with outer quantifiers is at least as expressive as the logic with inner quantifiers. Secondly, the former two items are the case if and only if all of the generalized quantifiers are first-order definable, and the latter two items are the case if and only if first-order logic with these generalized quantifiers relativizes. (shrink)

Three popular views regarding the modal status of the laws of nature are discussed: Humean Supervenience, nomic necessitation, and scientific/dispositional essentialism. These views are examined especially with regard to their take on the apparent modal force of laws and their ability to explain that modal force. It will be suggested that none of the three views, at least in their strongest form, can be maintained if some laws are metaphysically necessary, but others are metaphysically contingent. Some reasons for thinking (...) that such variation in the modal status of laws exists will be presented with reference to physics. This drives us towards a fourth, hybrid view, according to which there are both necessary and contingent laws. The prospects for such a view are studied. (shrink)

In Modal Logic as Metaphysics, Timothy Williamson claims that the possibilism-actualism (P-A) distinction is badly muddled. In its place, he introduces a necessitism-contingentism (N-C) distinction that he claims is free of the confusions that purportedly plague the P-A distinction. In this paper I argue first that the P-A distinction, properly understood, is historically well-grounded and entirely coherent. I then look at the two arguments Williamson levels at the P-A distinction and find them wanting and show, moreover, that, when the N-C (...) distinction is broadened (as per Williamson himself) so as to enable necessitists to fend off contingentist objections, the P-A distinction can be faithfully reconstructed in terms of the N-C distinction. However, Williamson’s critique does point to a genuine shortcoming in the common formulation of the P-A distinction. I propose a new definition of the distinction in terms of essential properties that avoids this shortcoming. (shrink)

One important challenge for contingentists is that they seem to be unable to account for the meaning of some apparently meaningful modal discourse that is perfectly intelligible for necessitists. This worry is particularly pressing for higher-order contingentists, contingentists who hold that it is not only contingent which objects there are, but also contingent which semantic values there are for higher-order variables to quantify over. Objections against higher-order contingentism along these lines have been presented in Williamson (Mind 119(475):657–748, 2010; Modal logic (...) as metaphysics, Oxford University Press, 2013, ch. 7), and Fritz and Goodman (Mind 126(504):1063–1108, 2017). This paper presents a way for contingentists to respond to these challenges. The upshot is that the contingentist can account for the meaningfulness of the problematic modal claims by pretending necessitism to be true, but in some cases it turns out to be indeterminate whether they are true. I defend this strategy against the objections against pretence-strategies presented in Fritz and Goodman (Mind 126(504):1063–1108, 2017, §4). Furthermore, I defend the plausibility of the resulting indeterminacy from the contingentist’s perspective. (shrink)

Ce texte présente une partie de la pensée trouvée au sein de l’oeuvre de jeunesse du philosophe japonais Ōmori Shōzō qui appartient à l’école de Tokyo. L’objet de l’analyse proposée est celui de la logique. Le défi est de décrire que la nécessité des énoncés logiques exacts repose sur l’expérience. Ainsi cet examen découvre et expose le logicisme hyper empirique auquel Ōmori nous invite. Nous parlerons du sens possible de la logique « non scientifique » pour insister ensuite sur le (...) sens scientifique de cette dernière. Finalement, nous discuterons de la provenance de la nécessité que comportent en elles les phrases logiques. Nous présenterons ainsi deux origines distinctes de la nécessité. (shrink)

I proffer a success argument for classical logical consequence. I articulate in what sense that notion of consequence should be regarded as the privileged notion for metaphysical inquiry aimed at uncovering the fundamental nature of the world. Classical logic breeds necessitism. I use necessitism to produce problems for both ontological naturalism and atheism.

There are roughly two main understanding in philosophy of science: Epistemology of Science and Metaphysics of Science. It is examined that some concept such as Laws of Nature, Causation, Time and Space into the metaphysics of Science. In this paper, it has been studied laws of nature which is one the most important subjects in metaphysics of science. Let’s think outside the box, there are three significant views about laws of nature; Regularity Theory, Necessitation Theory and Dispositional Essential views. (...) It has been worked the views of David Lewis in regularity theory. In the section of nomic necessitation we have been scrutinised the arguments put forward by David Armstrong and finally the last section; it has been discussed Alexander Bird’s views of dispositional essentialism comparing with the other two aspects. (shrink)

In `Essence and Modality', Kit Fine proposes that for a proposition to be metaphysically necessary is for it to be true in virtue of the nature of all objects whatsoever. Call this view Fine's Thesis. This paper is a study of Fine's Thesis in the context of Fine's logic of essence (LE). Fine himself has offered his most elaborate defense of the thesis in the context of LE. His defense rests on the widely shared assumption that metaphysical necessity obeys the (...) laws of the modal logic S5. In order to get S5 for metaphysical necessity, he assumes a controversial principle about the nature of all objects. I will show that the addition of this principle to his original system E5 leads to inconsistency with an independently plausible principle about essence. In response, I develop a theory that avoids this inconsistency while allowing us to maintain S5 for meta- physical necessity. However, I conclude that our investigation of Fine's Thesis in the context of LE motivates the revisionary conclusion that metaphysical necessity obeys the principles of the modal logic S4, but not those of S5. I argue that this constitutes a distinctively essentialist challenge to the received view that the logic of metaphysical necessity is S5. (shrink)

Truthmaker necessitarianism is the view that an object is a truthmaker for a truth-bearer only if it is impossible for the object to exist and the truth-bearer be false. While this thesis is widely regarded as truthmaking "orthodoxy", it is rarely explicitly defended. In this paper I offer an argument in favor of necessitarianism that raises the question of what the truthmakers are for the truths about truthmaking. The supposed advantages of non-necessitarianism dissolve once we take these truths into account.

Can there be grounding without necessitation? Can a fact obtain wholly in virtue of metaphysically more fundamental facts, even though there are possible worlds at which the latter facts obtain but not the former? It is an orthodoxy in recent literature about the nature of grounding, and in first-order philosophical disputes about what grounds what, that the answer is no. I will argue that the correct answer is yes. I present two novel arguments against grounding necessitarianism, and show that (...) grounding contingentism is fully compatible with the various explanatory roles that grounding is widely thought to play. (shrink)

This paper argues that the new metaphysics of powers, also known as dispositional essentialism or causal structuralism, is an illusory metaphysics. I argue for this in the following way. I begin by distinguishing three fundamental ways of seeing how facts of physical modality — facts about physical necessitation and possibility, causation, disposition, and chance — are grounded in the world. The first way, call it the first degree, is that the actual world or all worlds, in their entirety, are (...) the source of physical modality. Humeanism is the best known such approach, but there are other less well-known approaches. The second way, the second degree, is that the source of physical modality lies in certain second-order facts, involving a relation between universals. Armstrong’s necessitarianism and other views are second-degree views. The third way, the third degree, holds that properties themselves are the source of physical modality. This is the powers view. I examine four ways of developing the third degree: relational constitution, graph-theoretic structuralism, dispositional roles, and powerful qualities. All these ways are either incoherent, or just disguised versions of the first-degree. The new metaphysics of powers is illusory. With the collapse of the third degree, the second degree, the necessitarian view of law, collapses as well. I end the paper with some reflections on the first degree, on the problem of explaining necessary connections between distinct existences, and on the dim prospects of holist ontology. (shrink)

Je défends ici la nécessité, et ébauche une première version, d’une théorie iconique des propositions. Selon celle-ci, les propositions sont comme les objets de représentation, ou similaires à eux. Les propositions, suivant cette approche, sont des propriétés que l’esprit instancie lorsqu’il modélise le monde. Je connecte cette théorie aux récents développements de la littérature académique sur les propositions, ainsi qu’à une branche de recherches en sciences cognitives, qui explique certains types de représentations mentales en termes d’iconicité. I motivate the need (...) for, and then sketch, an iconic theory of propositions according to which propositions are like or similar to their objects of representation. Propositions on this theory are properties that the mind instantiates when it models the world. I connect the theory to recent developments in the propositions literature as well as to a strain of cognitive science that explains some kinds of mental representation in terms of iconicity. (shrink)

Bird argues that Armstrong’s necessitarian conception of physical modality and laws of nature generates a vicious regress with respect to necessitation. We show that precisely the same regress afflicts Bird’s dispositional-monist theory, and indeed, related views, such as that of Mumford & Anjum. We argue that dispositional monism is basically Armstrongian necessitarianism modified to allow for a thesis about property identity.

The present article is a primary introduction to the semi-structured interviewing method SMILE_PH, an acronym for Sense-Making Interviews Looking at Elements of Philosophical Health. Beyond grounding this new methodology theoretically (a work that is started here but will in the future necessitate several developments), the main motivation here is pragmatic: to provide the recent philosophical health movement with a testable method and show that philosophically-oriented interviews are possible in a manner that can be reproduced, compared, tested and used systematically with (...) a population that has received no training in philosophy. The SMILE_PH approach was conceived by the author during an ethically approved pilot study focused on the philosophy of life of persons living with spinal cord injury (SCI), with the intention of rectifying the epistemic obstacles generated by rationalist, Socratic or unstructured ways of in-depth interviewing. The six-step structure of the method is also inspired by hundreds of individual dialogue sessions with philosophical counselees, led by the author between 2018 and 2022: the SMILE_PH method progressively gathers phenomenological data about 1 – our bodily sense, 2 – our sense of self, 3 – our sense of belonging, 4 – our sense of the possible, 5 – our sense of purpose and 6 – our philosophical sense. (shrink)

The result of combining classical quantificational logic with modal logic proves necessitism – the claim that necessarily everything is necessarily identical to something. This problem is reflected in the purely quantificational theory by theorems such as ∃x t=x; it is a theorem, for example, that something is identical to Timothy Williamson. The standard way to avoid these consequences is to weaken the theory of quantification to a certain kind of free logic. However, it has often been noted that in order (...) to specify the truth conditions of certain sentences involving constants or variables that don’t denote, one has to apparently quantify over things that are not identical to anything. In this paper I defend a contingentist, non-Meinongian metaphysics within a positive free logic. I argue that although certain names and free variables do not actually refer to anything, in each case there might have been something they actually refer to, allowing one to interpret the contingentist claims without quantifying over mere possibilia. (shrink)

A central area of current philosophical debate in the foundations of mathematics concerns whether or not there is a single, maximal, universe of set theory. Universists maintain that there is such a universe, while Multiversists argue that there are many universes, no one of which is ontologically privileged. Often model-theoretic constructions that add sets to models are cited as evidence in favour of the latter. This paper informs this debate by developing a way for a Universist to interpret talk that (...) seems to necessitate the addition of sets to V. We argue that, despite the prima facie incoherence of such talk for the Universist, she nonetheless has reason to try and provide interpretation of this discourse. We present a method of interpreting extension-talk (V-logic), and show how it captures satisfaction in `ideal' outer models and relates to impredicative class theories. We provide some reasons to regard the technique as philosophically virtuous, and argue that it opens new doors to philosophical and mathematical discussions for the Universist. (shrink)

The principle of universal instantiation plays a pivotal role both in the derivation of intensional paradoxes such as Prior’s paradox and Kaplan’s paradox and the debate between necessitism and contingentism. We outline a distinctively free logical approach to the intensional paradoxes and note how the free logical outlook allows one to distinguish two different, though allied themes in higher-order necessitism. We examine the costs of this solution and compare it with the more familiar ramificationist approaches to higher-order logic. Our assessment (...) of both approaches is largely pessimistic, and we remain reluctantly inclined to take Prior’s and Kaplan’s derivations at face value. (shrink)

The deaths of those on whom our practical identities rely generate a sense of disorientation or alienation from the world seemingly at odds with life being meaningful. In the terms put forth in Cheshire Calhoun’s recent account of meaningfulness in life, because their existence serves as a metaphysical presupposition of our practical identities, their deaths threaten to upend a background frame of agency against which much of our choice and deliberation takes place. Here I argue for a dual role for (...) grief in addressing this threat to life’s meaningfulness. Inasmuch as grief’s object is the loss of our relationship with the deceased as it was prior to their death, grief serves to alert us to the threat to our practical identities that their deaths pose to us and motivates us to defuse this threat by revising our practical identities to reflect the modification in our relationship necessitated by their deaths. Simultaneously, the emotional complexity and richness of grief episodes provides an abundance of normative evidence regarding our relationship with the deceased and our practical identities, evidence that can enable us to re-establish our practical identities and thereby recover a sense of our lives as meaningful. (shrink)

Some people oppose abortion on the grounds that fetuses have full moral status and thus a right to not be killed. We argue that special obligations that hold between mother and fetus also hold between parents and their children. We argue that if these special obligations necessitate the sacrifice of bodily autonomy in the case of abortion, then they also necessitate the sacrifice of bodily autonomy in the case of organ donation. If we accept the argument that it is obligatory (...) to override a woman’s bodily autonomy for the sake of an unborn child’s survival, we must continue to override the bodily autonomy of parents to ensure the survival of their living children, until the parent no longer has a special obligation to their child to the same degree as their special obligation to the fetus. And if the life of a child is truly more important than the bodily autonomy of its parents, as must be the case to force women to carry unwanted pregnancies to term, this should remain true until such a time that their children are no longer considered their responsibility. Thus, parity of reasoning suggests that policies compelling the gestation of a fetus should be accompanied by policies compelling organ donation. (shrink)

In this paper we provide a psychological explanation for ‘grounding observations’—observations that are thought to provide evidence that there exists a relation of ground. Our explanation does not appeal to the presence of any such relation. Instead, it appeals to certain evolved cognitive mechanisms, along with the traditional modal relations of supervenience, necessitation and entailment. We then consider what, if any, metaphysical conclusions we can draw from the obtaining of such an explanation, and, in particular, if it tells us (...) anything about whether we ought to posit a relation of ground. (shrink)

What is the correct procedure for determining the contents of perception? Philosophers tackling this question increasingly rely on empirically-oriented procedures in order to reach an answer. I argue that this constitutes an improvement over the armchair methodology constitutive of phenomenal contrast cases, but that there is a crucial respect in which current empirical procedures remain limited: they are unimodal in nature, wrongly treating the senses as isolatable faculties. I thus have two aims: first, to motivate a reorientation of the admissible (...) contents debate into a multimodal framework, charting its various significances. The second is to explore whether any experimental studies of multimodal perception support a so-called Liberal (or ‘high-level’ or ‘rich’) account of perception’s admissible contents. I conclude that the McGurk effect and the ventriloquist effect are both explicable without the postulation of high-level content, but that at least one multimodal experimental paradigm may necessitate such content: the rubber hand illusion. One upshot of this argument is that Conservatives who claim that the Liberal view intolerably broadens the scope of perceptual illusions, particularly from the perspective of perceptual psychology, should pursue other arguments against that view. (shrink)

Abstract: The COVID-19 pandemic has posed unprecedented challenges to global healthcare systems, necessitating accurate and timely forecasting of cases for effective mitigation strategies. In this research paper, we present a novel approach to predict COVID-19 cases using Artificial Neural Networks (ANNs), harnessing the power of machine learning for epidemiological forecasting. Our ANNs-based forecasting model has demonstrated remarkable efficacy, achieving an impressive accuracy rate of 97.87%. This achievement underscores the potential of ANNs in providing precise and data-driven insights into the dynamics (...) of the pandemic. However, this paper underscores the critical importance of a comprehensive evaluation beyond accuracy, including metrics such as sensitivity, specificity, and the area under the ROC curve (AUC-ROC), to assess the model's performance robustness. The research paper offers detailed insights into the architecture of the ANN model, encompassing critical hyperparameters, data preprocessing techniques, and regularization strategies employed to optimize model accuracy. Ethical considerations surrounding data privacy and potential biases within the COVID-19 dataset are also addressed. While the achieved accuracy is a significant milestone, this study underscores the dynamic and evolving nature of the pandemic, necessitating continuous model refinement and validation. Furthermore, it emphasizes the importance of considering false positives and false negatives in the context of public health decision-making. In conclusion, this research contributes to the arsenal of tools available for pandemic management by showcasing the potential of ANNs in COVID-19 case forecasting. It encourages ongoing exploration and adaptation of predictive models to enhance their applicability in real-world public health scenarios, ultimately contributing to more effective pandemic control and response efforts. (shrink)

2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logic—as well as other non-classical logics—is of no avail. Indeed, originally motivated by philosophical concerns, these logics soon proved relevant for a plethora of applications ranging from switching theory to cognitive modeling, and (...) they are today in more demand than ever, due to the realization that inconsistency and vagueness in knowledge bases and information processes are not only inevitable and acceptable, but also perhaps welcome. The main modern applications of (any) logic are to be found in the digital computer, and we thus require the practical knowledge how to computerize—which also means automate—decisions (i.e. reasoning) in many-valued logics. This, in turn, necessitates a mathematical foundation for these logics. This book provides both these mathematical foundation and practical knowledge in a rigorous, yet accessible, text, while at the same time situating these logics in the context of the satisfiability problem (SAT) and automated deduction. The main text is complemented with a large selection of exercises, a plus for the reader wishing to not only learn about, but also do something with, many-valued logics. (shrink)

According to the Principle of Sufficient Reason (‘PSR’), every fact has an explanation for why it obtains. If the PSR is true, there must be a sufficient reason for why God chose to create our world. But a sufficient reason for God’s choice plausibly necessitates that choice. It thus seems that God could not have done otherwise, and that our world exists necessarily. We therefore appear forced to pick between the PSR, and the contingency of creation and divine choice. I (...) show that a third option remains open, and thus that it is possible to preserve the contingency of creation and divine choice even while endorsing the PSR. My solution depends on the coherence of a restricted modal realism. On this modal realism, there is more than one possible morally optimal created world, and for each such world there is an existing possibility in which God creates that world. (shrink)

Epiphenomenalism is the view that phenomenal properties – which characterize what it is like, or how it feels, for a subject to be in conscious states – have no physical effects. One of the earliest arguments against epiphenomenalism is the evolutionary argument (James 1890/1981; Eccles and Popper 1977; Popper 1978), which starts from the following problem: why is pain correlated with stimuli detrimental to survival and reproduction – such as suffocation, hunger and burning? And why is pleasure correlated with stimuli (...) beneficial to survival and reproduction – such as eating and breathing? According to the argument, the fact that we have these particular correlations and not other ones must have an evolutionary explanation. But given epiphenomenalism, differences in phenomenal properties could not cause differences in fitness, so natural selection would not be expected to favor these correlations over any other ones. Epiphenomenalism thus renders these correlations an inexplicable coincidence, and should therefore be rejected. The evolutionary argument has been widely criticized and few have deemed it cogent (Broad 1925; Jackson 1982; Robinson 2007; Corabi 2014). In this paper, I will consider previous and potential criticisms and conclude some of them are indeed fatal to the argument if it is understood, as it traditionally has been, as an argument for any standard version of non-epiphenomenalism such as physicalism and interactionism. I will then offer a new and improved version of the argument, as an argument for a particular non-epiphenomenalist view, which I will call the phenomenal powers view. This is the view that phenomenal properties produce and thereby (metaphysically) necessitate their effects in virtue of how they feel, or in virtue of their intrinsic, phenomenal character alone – along the lines of C. B. Martin and John Heil’s powerful qualities view (Martin and Heil 1999; Heil 2003). I will argue that the phenomenal powers view explains the correlations given natural selection far better than any other view. It follows that if (and only if) understood as an argument for the phenomenal powers view, the evolutionary argument is far stronger than it is usually thought to be. (shrink)

In recent years, some have claimed that a Darwinian perspective will revolutionize the study of human society and culture. This project is viewed with disdain and suspicion, on the other hand, by many practicing social scientists. This article seeks to clear the air in this heated debate by dissociating two claims that are too often assumed to be inseparable. The first is the ‘ontological’ claim that Darwinian principles apply, at some level of abstraction, to human society and culture. The second (...) is the more ‘pragmatic’ claim that this observation necessitates substantial changes in the practices of social scientists. Even if some version of the first claim is true, I argue – which I believe is quite likely – the second does not follow. This observation ought to chasten the most overzealous advocates of Darwinian social science, as well as softening the instinctive resistance of many social scientists and historians to the genuine insights enabled by a Darwinian approach. The conclusion discusses these insights, the most important of which is a methodological prescription for normative theory. (shrink)

In “The Open Future” (2021) Patrick Todd argues that the future is open, and that as a consequence all future contingents are false (as opposed to the more common view that they are neither true nor false). Very roughly, this latter claim is motivated by the idea that (a) presentism is true, and so future (and indeed past) things do not exist and (b) if future things do not exist, then the only thing that could ground there being future tensed (...) facts, and hence make those future tensed claims true, is the present and the laws of nature. But (c) the present and the laws of nature cannot ground there being future tensed facts because they do not necessitate there being any such fact. Hence future tensed claims are all false. Todd then goes on to present a semantics for his version of the open future on which all future contingents are false. In what follows we take up two strands of Todd’s view. First, we begin, in Section 2, by outlining Todd’s argument that future contingents are all false. We suggest that the considerations that Todd adduces for this conclusion do not support this being so. Then in Section 3 we consider the semantics that Todd offers, and argue that it yields implausible consequences. (shrink)

On the received view, counterfactuals are analysed using the concept of closeness between possible worlds: the counterfactual 'If it had been the case that p, then it would have been the case that q' is true at a world w just in case q is true at all the possible p-worlds closest to w. The degree of closeness between two worlds is usually thought to be determined by weighting different respects of similarity between them. The question I consider in the (...) paper is which weights attach to different respects of similarity. I start by considering Lewis's answer to the question and argue against it by presenting several counterexamples. I use the same examples to motivate a general principle about closeness: if a fact obtains in both of two worlds, then this similarity is relevant to the closeness between them if and only if the fact has the same explanation in the two worlds. I use this principle and some ideas of Lewis's to formulate a general account of counterfactuals, and I argue that this account can explain the asymmetry of counterfactual dependence. The paper concludes with a discussion of some examples that cannot be accommodated by the present version of the account and therefore necessitate further work on the details. (shrink)

In this paper, I explore Bach’s idea (Bach, 2000) that null appositives, intended as expanded qua-clauses, can resolve the puzzles of belief reports. These puzzles are crucial in understanding the semantics and pragmatics of belief reports and are presented in a section. I propose that Bach’s strategy is not only a way of dealing with puzzles, but also an ideal way of dealing with belief reports. I argue that even simple unproblematic cases of belief reports are cases of pragmatic intrusion, (...) involving null appositives, or to use the words of Bach, ‘qua-clauses’. The main difference between my pragmatic approach and the one by Salmon (1986) is that this author uses the notion of conversational implicature, whereas I use the notion of pragmatic intrusion and explicature. From my point of view, statements such as ‘‘John believes that Cicero is clever’’ and ‘‘John believes that Tully is clever’’ have got distinct truth-values. In other words, I claim that belief reports in the default case illuminate the hearer on the mental life of the believer, that includes specific modes of presentation of the referents talked about. Furthermore, while in the other pragmatic approaches, it is mysterious how a mode of presentation is assumed to be the main filter of the believer’s mental life, here I provide an explanatory account in terms of relevance, cognitive effects, and processing efforts. The most important part of the paper is devoted to showing that null appositives are required, in the case of belief reports, to explain certain anaphoric effects, which would otherwise be mysterious. My examples show that null appositives are not necessitated at logical form, but only at the level of the explicature, in line with the standard assumptions by Carston and Recanati on pragmatic intrusion. I develop a potentially useful analysis of belief reports by exploiting syntactic and semantic considerations on presuppositional clitics in Romance. (shrink)