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)

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)

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)

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.

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)

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)

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)

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.

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)

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)

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)

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)

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)

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)

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)

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)

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.

It is widely held that, in his pre-Critical works, Kant endorsed a necessitation account of laws of nature, where laws are grounded in essences or causal powers. Against this, I argue that the early Kant endorsed the priority of laws in explaining and unifying the natural world, as well as their irreducible role in in grounding natural necessity. Laws are a key constituent of Kant’s explanatory naturalism, rather than undermining it. By laying out neglected distinctions Kant draws among types of (...) natural law, grounding relations, and ontological levels, I show that his early works present a coherent and sophisticated laws-first account of the natural order. (shrink)

Nothing seems as certain as death. However, what if life continues digitally after death? Companies and initiatives such as Amazon, Storyfile, Here After AI, Forever Identity and LifeNaut are dedicated to precisely this objective: using avatars, records, and other digital content of the deceased, they strive to enable a digital continuation of life. The deceased live on digitally, and at times, these can even appear very much alive-perhaps too alive? This article explores the ethical implications of these technologies, commonly known (...) as Death Tech. With the advancement of artificial intelligence, Death Tech will inevitably transform mourning practices, our perception of death, and how we cope with its reality in the coming years. In this article, it is demonstrated that Death Tech can contribute to individual grief support, education, and a vibrant culture of remembrance. However, it is crucial to recognise that the Digital Afterlife is not a paradise but necessitates active designing and ethical deliberation. DOI 10.5771/0010-3497-2023-3-427. (shrink)

The question of Spinozist determinism and necessitarianism have been extensively studied by commentators, while the relationship between the notions of divine will and free will still requires elaborate studies. Our article seeks to contribute to such research, by clarifying the analyses of these questions by authors that Spinoza has confronted: Maimonides, as well as other Jewish philosophers, and Leibniz who criticized Spinozist determinism. We will study the consequences of these analyses on two examples that Spinoza gave to refute free will, (...) namely the dream and the situation of Buridan's ass. -/- Résumé: La question du déterminisme spinoziste et du nécessitarisme a été largement étu-diée par les commentateurs, tandis que la relation entre les notions de volonté divine et de libre arbitre nécessite encore des études plus élaborées. Notre article cherche à contribuer à ces recherches, en clarifiant les analyses de ces questions par des auteurs auxquels Spinoza s’est confronté : Maïmonide, ainsi que d’autres philosophes juifs, et Leibniz qui a lui-même critiqué le déterminisme spinoziste. Nous étudierons les conséquences de ces analyses sur deux exemples que Spinoza a donnés pour réfuter le libre arbitre, à savoir le rêve et la situa-tion de l’âne de Buridan. (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)

This paper aims to provide hyperintensional foundations for mathematical platonism. I examine Hale and Wright's (2009) objections to the merits and need, in the defense of mathematical platonism and its epistemology, of the thesis of Necessitism. In response to Hale and Wright's objections to the role of epistemic and metaphysical modalities in providing justification for both the truth of abstraction principles and the success of mathematical predicate reference, I examine the Necessitist commitments of the abundant conception of properties endorsed by (...) Hale and Wright and examined in Hale (2013), and demonstrate how a two-dimensional approach to the epistemology of mathematics is consistent with Hale and Wright's notion of there being non-evidential epistemic entitlement rationally to trust that abstraction principles are true. A choice point that I flag is that between availing of intensional or hyperintensional semantics. The hyperintensional semantic approach that I advance is a topic-sensitive epistemic two-dimensional truthmaker semantics. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest that observational type theory can be applied to first-order abstraction principles in order to make abstraction principles recursively enumerable. Epistemic and metaphysical states and possibilities may thus be shown to play a constitutive role in vindicating the reality of mathematical objects and truth, and in providing a conceivability-based route to the truth of abstraction principles as well as other axioms and propositions in mathematics. (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)

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 book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. Chapters 8-12 provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (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)

Hume thought that if you believed in powers, you believed in necessary connections in nature. He was then able to argue that there were none such because anything could follow anything else. But Hume wrong-footed his opponents. A power does not necessitate its manifestations: rather, it disposes towards them in a way that is less than necessary but more than purely contingent. -/- In this paper a dispositional theory of causation is offered. Causes dispose towards their effects and often produce (...) them. But a set of causes, even though they may succeed in producing an effect, cannot necessitate it since the effect could have been counteracted by some additional power. This would require a separation of our concepts of causal production and causal necessitation. The most conspicuous cases of causation are those where powers accumulate and pass a requisite threshold for an effect to occur. -/- We develop a model for representing powers as constituent vectors within an n-dimensional quality space, where composition of causes appears as vector addition. Even our resultant vector, however, has to be understood as having dispositional force only. This model throws new light on causal modality and cases of prevention, causation by absence and probabilistic causation. (shrink)

Phenomenal concepts are the concepts that we deploy when – but arguably not only when – we introspectively examine, focus on, or take notice of the phenomenal character of our experiences. They refer to phenomenal properties (or qualities) and they do so in a subjective (first-personal) and direct (non-relational) manner. It is through the use of such concepts that the phenomenal character of our experiences is made salient to us. Discourse about the nature of phenomenal concepts plays an important role (...) in the philosophy of mind. For one, phenomenal concepts have been used to explain the epistemological relation that holds between a subject and her conscious mental states. Most prominently, however, discussions of phenomenal concepts figure in the on-going and multifaceted debate concerning the metaphysical status of consciousness. Even though some theorists have utilized phenomenal concepts in arguments purporting to show that consciousness is ontologically distinct from physical entities and processes, most accounts of phenomenal concepts are advanced having the opposite objective in mind: a proper articulation of the nature of phenomenal concepts, it is held, can defend the view that consciousness is physical against epistemic arguments to the contrary. The present entry focuses on the nature of phenomenal concepts as this is articulated and developed in attempts to defend the contention that conscious states are identical to (realized by, metaphysically necessitated by, or supervenient upon) physical states. (shrink)

The phenomenal powers view claims that phenomenal properties metaphysically necessitate their effects in virtue of how they feel, and thereby constitute non-Humean causal powers. For example, pain necessitates that subjects who experience it try to avoid it in virtue of feeling bad. I argue for this view based on the inconceivability of certain phenomenal properties necessitating different effects than their actual ones, their ability to predict their effects without induction, and their ability to explain their effects without appeal to laws (...) or regularities. I also offer a harmony argument according to which the view offers the best explanation for otherwise seemingly fortunate psychophysical regularities. I then outline the view’s main implications for the metaphysics of causation and philosophy of mind. (shrink)

There has been much discussion of powers or real dispositions in the past decade, but there remains an issue that has been inadequately treated. This concerns the precise modal value that comes with dispositionality. We contend in this paper that dispositionality involves a non-alethic, sui generis, irreducible modality. Dispositions only tend towards their manifestations; they do not necessitate them. Tendency is, of course, a dispositional term itself, so this last statement offers little by way of illumination. But given our thesis (...) on the irreducible nature of dispositionality, we maintain that it cannot be explicated correctly in non-dispositional terms. Nevertheless, we all have experience of dispositionality at work, through the exercise or our own powers and the action of other powers upon us. The notion of dispositionality that we acquire is one that involves a modality stronger than pure contingency but weaker than necessity. The recognition of this distinct modal value for dispositionality is one of the biggest oversights in the growing literature in the area. Yet it is there for all to see in even the most mundane example. (shrink)

The widely accepted “continuing bonds” model of grief tells us that rather than bereavement necessitating the cessation of one’s relationship with the deceased, very often the relationship continues instead in an adapted form. However, this framework appears to conflict with philosophical approaches that treat reciprocity or mutuality of some form as central to loving relationships. Seemingly the dead cannot be active participants, rendering it puzzling how we should understand claims about continued relationships with them. In this article, we resolve this (...) tension by highlighting two fundamental aspects of paradigmatic loving relationships that can, and often do, continue in an adapted form following bereavement: love and mutual shaping of interests, choices, and self-concepts. Attention to these continuing features of relationships helps to capture and clarify the phenomenological and behavioral features of continuing bonds. However, love and mutual shaping must also change in important ways following bereavement. Love becomes unreciprocated, and although the dead continue to shape our interests, choices, and self-concepts, we predominantly shape their legacies and memories in return. These changes place important constraints upon the nature of our interpersonal connections with the dead. (shrink)

We take as our starting point a thesis to the effect that, at least for true judgments of many varieties, there are parts of reality which make such judgments are true. We argue that two distinct components are involved in this truthmaker relation. On the one hand is the relation of necessitation, which holds between an object x and a judgment p when the existence of x entails the truth of p. On the other hand is the dual notion of (...) projection, which holds between a judgment p and an object x when the truth of p entails the existence of x. A truthmaker for a judgment p is then a necessitator for p which satisfies the further constraint that it is part of p’s projection. We offer a formal theory of the truthmaker relation thus defined, exploiting ontological tools of basic mereology and the theory of dependence. We then apply the theory to a range of problems connected with generic expressions, ellipsis, vagueness, and indexical and perceptual judgments. (shrink)

Grounding contingentism is the doctrine according to which grounds are not guaranteed to necessitate what they ground. In this paper I will argue that the most plausible version of contingentism is incompatible with the idea that the grounding relation is transitive, unless either ‘priority monism’ or ‘contrastivism’ are assumed.

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.

A central question in the philosophy of science is: What is a law of nature? Different answers to this question define an important schism: Humeans, in the wake of David Hume, hold that the laws of nature are nothing over and above what actually happens and reject irreducible facts about natural modality (Lewis, 1983, 1994; cf. Miller, 2015). According to Non-Humeans, by contrast, the laws are metaphysically fundamental (Maudlin, 2007) or grounded in primitive modal structures, such as dispositional essences of (...) powerful properties (Bird, 2007), necessitation relations (Armstrong, 1983), or primitive subjunctive facts (Lange, 2009). This volume focuses on recent developments in the discussion of Humeanism, specifically on pragmatic versions of the view that put the needs of limited agents like us front and center. (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)

This paper is concerned with counterfactual logic and its implications for the modal status of mathematical claims. It is most directly a response to an ambitious program by Yli-Vakkuri and Hawthorne (2018), who seek to establish that mathematics is committed to its own necessity. I claim that their argument fails to establish this result for two reasons. First, their assumptions force our hand on a controversial debate within counterfactual logic. In particular, they license counterfactual strengthening— the inference from ‘If A (...) were true then C would be true’ to ‘If A and B were true then C would be true’—which many reject. Second, the system they develop is provably equivalent to appending Deduction Theorem to a T modal logic. It is unsurprising that the combination of Deduction Theorem with T results in necessitation; indeed, it is precisely for this reason that many logicians reject Deduction Theorem in modal contexts. If Deduction Theorem is unacceptable for modal logic, it cannot be assumed to derive the necessity of mathematics. (shrink)

De la nécessité et de l'utilité de développer une philosophie spécifique pour la technologie de la blockchain, mettant l'accent sur les aspects ontologiques. Après une Introduction qui met en évidence les principales orientations philosophiques de cette technologie émergente, dans La technologie blockchain j’explique le fonctionnement de la blockchain, en analysant les directions de développement ontologique de cette technologie dans Conception et modélisation. La section suivante est consacrée à la principale application de la technologie de la blockchain, Bitcoin, avec les (...) implications sociales de cette crypto-monnaie. Il suit une section de Philosophie dans laquelle j'identifie la technologie de la blockchain au concept d'hétérotopie développé par Michel Foucault et je l'interprète à la lumière de la technologie de notation développée par Nelson Goodman en tant que système de notation. Dans la section Ontologie, je présente deux voies de développement que j'estime importantes: une Ontologie narrative, basée sur l'idée d'ordre et de structure de l'histoire transmise à travers l'histoire narrative de Paul Ricoeur, et le système de l'Ontologie d'entreprise basé sur des concepts et des modèles d'entreprise, spécifiques au Web sémantique, que je considère comme le plus développé et qui deviendra probablement le système ontologique formel, du moins en ce qui concerne les aspects économiques et juridiques de la technologie de la blockchain. Dans Conclusions, je parle des orientations futures du développement de la philosophie de la technologie blockchain en général en tant que théorie explicative et robuste d’un point de vue phénoménologique cohérent, qui permet la testabilité et les ontologies en particulier, en plaidant pour la nécessité de l’adoption globale d’un système ontologique afin de développer des solutions transversales et de rentabiliser cette technologie. -/- SOMMAIRE: -/- Abstract Introduction La technologie blockchain - Conception - Modèles Bitcoin Philosophie Ontologies - Ontologies narratives - Ontologies d'entreprise Conclusions Bibliographie Notes -/- DOI: 10.13140/RG.2.2.22996.14724 . (shrink)

La gravité quantique a nécessité la prise en compte des questions épistémologiques fondamentales, qui peuvent être identifiées en philosophie avec le problème corps-esprit et le problème du libre arbitre . Ces questions ont influencé l'épistémologie de la mécanique quantique sous la forme du « parallélisme psycho-physique » de von Neumann et l'analyse ultérieure de la thèse de Wigner selon laquelle « l'effondrement du paquet d'ondes » se produit dans l'esprit de « l'observateur ». La gravité quantique en cosmologie pose (...) le problème de la liberté de l'expérimentateur de changer les conditions physiques locales, un « observateur » passif. Dans toute théorie qui décrit un seul univers, des questions se posent sur la nature de la causalité au sens philosophique traditionnel. DOI: 10.13140/RG.2.2.15932.87687. (shrink)