Simple finite axiomatizations are given for versions of the modal logics K and K4 with non-contingency (or contingency) as the sole modal primitive. This answers two questions of I. L. Humberstone.

We study an extension of first-degree entailment (FDE) by Dunn and Belnap with a non-contingency operator |$\blacktriangle \phi $| which is construed as ‘|$\phi $| has the same value in all accessible states’ or ‘all sources give the same information on the truth value of |$\phi $|’. We equip this logic dubbed |$\textbf {K}^\blacktriangle _{\textbf {FDE}}$| with frame semantics and show how the bi-valued models can be interpreted as interconnected networks of Belnapian databases with the |$\blacktriangle $| operator modelling (...) search for inconsistencies in the provided information. We construct an analytic cut system for the logic and show its soundness and completeness. We prove that |$\blacktriangle $| is not definable via the necessity modality |$\Box $| of |$\textbf {K}_{\textbf{FDE}}$|⁠. Furthermore, we prove that in contrast to the classical non-contingency logic, reflexive, |$\textbf {S4}$| and |$\textbf {S5}$| (among others) frames are definable. (shrink)

This paper combines a non-contingency logic with an epistemic logic by means of fusions and products of modal systems. Some consequences of these interplays are pointed out.

We have a reason to pursue good patterns of reasoning in the determination of the means to the satisfaction of our desires. To deny this, it seems, would be to turn our backs on rationality. Furthermore, we would agree that we all have the same reason to do so. Is this reason internal or external? If external reasons are incoherent, as Bernard Williams claims, what choice do we have but to assume that it is internal? ;If we assume that it (...) is internal, however, we run into difficulties. How does the internalist explain the fact that all individuals have the same reason to pursue good patterns of reasoning? She could argue as Williams does, and claim that every rational deliberator, by virtue of being a rational deliberator, has a desire to be rationally and factually correctly informed. If she is right, all rational deliberators have an internal reason to strive towards soundness and completeness. I show that this argument fails. There are other arguments available to the internalist. I argue, however, that they all result in the necessity of acknowledging a third class of reasons, non-contingent reasons. ;Non-contingent reasons are a bit like external reasons and a bit like internal reasons. On the one hand, they resemble external reasons, for they recommend actions independently of the particular desires that we happen to have. On the other hand, however, non-contingent reasons resemble internal reasons, for neither non-contingent reasons nor internal reasons recommend actions independently of the efficacy of those actions to satisfy our desires. Even so, non-contingent reasons are very different from internal reasons. Internal reason statements ten us what we ought to do in order to satisfy a particular desire; their truth therefore depends upon the content of an individual's desires. Non-contingent reasons ten us what we ought to do in order to be a reliable and efficient desire satisfier; their truth depends upon whether the recommended action is a means to the satisfaction of all of our desires. (shrink)

We consider the modal logic of non-contingency in a general setting, without making special assumptions about the accessibility relation. The basic logic in this setting is axiomatized, and some of its extensions are discussed, with special attention to the expressive weakness of the language whose sole modal primitive is non-contingency , by comparison with the usual language based on necessity.

I present a novel argument against the non-contingency of identity. I first argue that the necessity of distinctness is intimately connected with numerous paradoxes of recombination. In particular, I argue that those who reject the necessity of distinctness have natural solutions to various paradoxes of recombination which have plagued the metaphysics of modality. Moreover, I argue that adding the necessity of distinctness to modest, paradox-free assumptions is sufficient to reinstate the paradoxes. Given that identity is non-contingent only if distinctness (...) is necessary, I suggest this constitutes new evidence against the non-contingency of identity. (shrink)

This paper is a response to Tyler Wunder’s ‘The modality of theism and probabilistic natural theology: a tension in Alvin Plantinga's philosophy’ (this journal). In his article, Wunder argues that if the proponent of the Evolutionary Argument Against Naturalism (EAAN) holds theism to be non-contingent and frames the argument in terms of objective probability, that the EAAN is either unsound or theism is necessarily false. I argue that a modest revision of the EAAN renders Wunder’s objection irrelevant, and that this (...) revision actually widens the scope of the argument. (shrink)

ExcerptPrecisely a definition like Wittgenstein's, “The world is everything that is the case,” …is about the least interesting thing that can be said about the world … Hans Blumenberg1Thinking, for Hans Blumenberg, is everything but normal.As flippant as this may sound, the non-normality of thought is central to Blumenberg's work and in particular to the nexus of the lifeworld and his theory of nonconceptuality. Blumenberg's claim that, in his exact words, “not thinking is thoroughly normal”2 can be found in the (...) posthumously published study given the agonistic title Theory of the Lifeworld (2010, Theorie…. (shrink)

The current study examined whether infants use previous encounters for maintaining expectations for adults’ contingent responding. An unfamiliar adult responded contingently or non-contingently to infant signaling during an initial play situation and 10 min later presented an ambiguous toy while providing positive information (Experiment 1; forty-two 12-month-olds). The infants in the contingent group looked more at the adult during toy presentation and played more with the toy during the concluding free-play situation than the infants in the non-contingent group. When the (...) parent had responded contingently or non-contingently to infant bids (Experiment 2; forty 12-month-olds), the infants in the contingent group tended to look more at the parent and tended to play more with the toy than did the infants in the non-contingent group. The results indicate that from just a brief exposure, infants form expectations about adults’ responsiveness and maintain these expectations of contingent/non-contingent responding from one situation to another. (shrink)

This paper establishes that the occasional identity relation and the contingent identity relation are both non-transitive and as such are not properly classified as identity relations. This is achieved by appealing to cases where multiple fissions and fusions occur simultaneously. These cases show that the contingent and occasional identity relations do not even satisfy the time-indexed and world-indexed versions of the transitivity requirement and hence are non-transitive relations.

Gideon Rosen has recently sketched an argument which aims to establish that the notion of metaphysical modality is systematically ambiguous. His argument contains a crucial sub-argument which has been used to argue for Metaphysical Contingentism, the view that some claims of fundamental metaphysics are metaphysically contingent rather than necessary. In this paper, Rosen’s argument is explicated in detail and it is argued that the most straight-forward reconstruction fails to support its intended conclusion. Two possible ways to save the argument are (...) rebutted and it is furthermore argued that the crucial sub-argument only supports a rather particular variant of Metaphysical Contingentism. (shrink)

It is shown how the temporal-modal system of events TM (axiomatized in Appendix) allows for the avoidance of the logical determinism without the rejection of the principle of bivalence. The point is that the temporal and the modal parts of TM are so inter-related that modalities are in-the-real-world-inherent modalities independently of whether they concern actual or only possible events. Though formulated in a tenseless language, whose interpretation does not require the assumption of tense facts at the basic level of reality, (...) TM implies an objective, observer-independent difference between tenses based only on the way in which modalities are distributed along the time continuum. The conclusion is that the arrow of time is an intra-model characteristic of any model of TM that describes the non-deterministic real world up to a certain point of its history, while the flow of time is an inter-model characteristic of the continuous transition between these models. (shrink)

Two major developments of the last two decades have radically undermined traditional justifications of leftist politics: the failure of 20th-century `socialist' experiments, and what might be termed the deessentializing movement in contemporary philosophy. However, the social injustices that animated revolutionary thinkers in many respects remain, and some have arguably worsened in the era of globalized capitalism. This article investigates whether it is possible to articulate a new theoretical underpinning for progressive politics that nevertheless avoids the essentialist moves of Marxism. Ethico-political (...) readings of Derrida — one of the most influential anti-essentialist thinkers — are compared to Ernesto Laclau's attempts at formulating a post-Marxist progressive politics built around the notions of `hegemony' and `radical democracy'. Laclau's intervention in the Marxist tradition is to deconstruct its traditional categories so as to take account of contingency; his intervention in deconstruction is to introduce what in this article is described as `contestation', so as to provide a more coherent account of the political. The article concludes that neither deconstruction nor radical democracy provides an adequate basis for poltical action, but that the latter's account of the political is a meaningful development of the theoretical schema articulated by the former and does point to the possibility of a non-essentialist progressive politics. Key Words: aporia • contestation • contingency • deconstruction • Jacques Derrida • hegemony • justice • Ernesto Laclau • Emmanuel Levinas • responsibility. (shrink)

G.E. Moore's theory of the nature of the quality referred to by the word good asserts that this quality is non-natural. If it is, further, supposed that this non-natural quality belongs necessarily and exclusively to those events, human acts, entities, etc., which possess certain strictly determined natural qualities, and those qualities only, then it becomes difficult to explain the relation and the supposed interdependence allegedly existing between the two so disparate categories of qualities. This paper purports to show that, in (...) fact, any mutual dependence of natural and non-natural qualities, including the causal one, is unconceivable. To deny this would allow no less but the possibility of deriving an ought from an is. A final consequence of this is that a non-natural quality, denoted by the predicate good, does, in fact, attach to a strictly delineated and limited morally relevant behaviour (and whatever else we may consider morally relevant), and to it only. But it is attached there in randomly; it is contingent, not inherent; it is there without regard to, and not as a consequence of, the natural qualities of what is the subject of moral judgment ... whether we like it or not. (shrink)

It is common to think that state enforcement is a restriction on freedom that is morally permitted or justified because of the unfortunate circumstances in which we find ourselves. Human frailty and material scarcity combine to make the compromise of freedom involved in exclusive state enforcement power necessary for other freedoms or other goods. In the words of James Madison, ‘if men were angels, no government would be necessary’ (1990: 267). But there is an opposing tradition, according to which the (...) very idea of freedom in society entails the necessity of state enforcement. However morally good human beings are, or whatever material conditions they find themselves in, on this view, the ideal of freedom we ought to be concerned to realise is such that it cannot be attained without state enforcement. It follows a priori from an important ideal of freedom that a state with exclusive enforcement power is necessary for individual liberty in society. In this paper, I argue against what I take to be the strongest argument of the a priori kind, which begins from the neo-republican ideal of freedom as non-domination, and thereby in (partial) defence of the alternative, Madisonian, view. Insofar as it is true that some sort of problematic domination will inevitably be present in a stateless society, I argue, the introduction of a state can do nothing to eliminate it. For the state to improve on even an ideal stateless society, it would need to give individuals control over the interference of potential dominators of a sort that could not be achieved in the ideal stateless society. -/- . (shrink)

George McGhee’s book “Convergent Evolution: limited forms most beautiful” provides an extensive survey of biological convergence. This paper has two main aims. First, it examines the theoretical claims McGhee makes about convergent evolution—specifically criticizing his use of a total morphospace to understand contingency and his assumption that functional constraints are non-contingent. Second, it sketches a group of important conceptual challenges facing researchers interested in convergence.

The contingency of biological regularities—and its implications for the existence of biological laws—has long puzzled biologists and philosophers. The best argument for the contingency of biological regularities is John Beatty’s evolutionary contingency thesis, which will be re-analyzed here. First, I argue that in Beatty’s thesis there are two versions of strong contingency used as arguments against biological laws that have gone unnoticed by his commentators. Second, Beatty’s two different versions of strong contingency are analyzed in (...) terms of two different stabilities of regularities. Third, I argue that Beatty and his commentators have focused on the more ineffective trajectory stability version of the argument, whereas the constancy stability version provides a more substantial and applicable argument against the existence of biological laws. Fourth, I develop a counterexample to Beatty’s thesis. Finally, I discuss the possibility of evolution producing repeatable and general non-lawlike regularities and patterns by utilizing the notion of generative entrenchment and by criticizing the thesis of multiple realizability of biological properties. (shrink)

Current orthodoxy in modal logic and metaphysics has it that actuality is non-contingent in the following sense: for all p, if actually, p, then necessarily, actually, p. Call this thesis (Actuality) Necessitism and its negation (Actuality) Contingentism. Thus, according to Contingentism, there is at least one proposition p which is actually true but which could have been actually false. In another paper, one of us (Glazier 2023) has recently defended Contingentism. The present paper explores the logic of actuality under Contingentism. (...) After informally introducing Contingentism and outlining what we take to be the main motivations for accepting it, we consider how contingent actuality should be taken to be. We argue that the nature, or essence, of actuality imposes certain limits on the extent to which actuality could have been different, and these then inform our view of the logic of actuality. Turning to the formal study of the logic of contingent actuality, we specify a formal language and a possible world semantics for that language and distinguish a number of natural notions of validity and consequence to which it gives rise. We present axiomatizations of the different resulting logics and examine the variety of iterated modalities in our systems. We establish soundness and completeness results. (shrink)

In the first part of the paper it is proved that there exists a one–one mapping between a minimal contingential logic extended with a suitable axiom for a propositional constant τ, named KΔτw, and a logic of necessity ${K\square \tau{w}}$ whose language contains ${\square}$ and τ. The form of the proposed translation aims at giving a solution to a problem which was left open in a preceding paper. It is then shown that the presence of τ in the language of (...) KΔτw allows for the definition, in terms of the non-contingency operator Δ, not only of ${\square}$ but of a second necessity operator O. It is observed that this fact opens the road to an investigation of the τ-free multimodal fragments of KΔτw. (shrink)

In this paper we study a new operator of strong modality ⊞, related to the non-contingency operator ∆. We then provide soundness and completeness theorems for the minimal logic of the ⊞-operator.

According to the Principle of Sufficient Reason every event is determined down to the smallest detail. This principle entails a global determinism which is connected with the claim of uniformity: All things are basically one and differ only by degrees. Accordingly, Leibniz tries to explain the traditional distinction of necessity and contingency by the difference between a definite demonstration and an open, never ending analysis, that is a quantitative difference between the finite and infinite. It is controversial whether (...) class='Hi'>contingency can be saved by this conception in the face of the thesis: Every predicate which can be truly attributed to a subject is included in the complete notion of this individual substance. The difficulties of the Lucky Proof can only be avoided by supposing: The infinity of analysis cannot be based on the fact that the complete notion is a simple conjunction of innumerable predicates which are not conceptually connected to each other. Then every predicate could be deduced from it in a finite number of steps; therefore, it would have been demonstrated and would consequently be necessary. The infinity of analysis cannot be either based on the fact that it is infinitely complex to prove that the subject is not contradictory. Conceptions like this or a superessentialism are not adequate, because they fail to distinguish between necessary and contingent statements about an individual within a single possible world. The complete notion and, therefore, the analysis of a contingent truth comprises an infinitely complex content, because the predicates of an individual are connected by infinitely complex relations. This corresponds to the idea that the perceptions of an individual mirror the infinitely complex connections by which the world is determined. (shrink)

The paper considers the question of when the operator L of necessity in modal logic can be expressed in terms of the operator meaning it is non-contingent that.

In this, the first major philosophical study of contingent pacifism, Larry May offers a new account of pacifism from within the Just War tradition. Written in a non-technical style, the book features real-life examples from contemporary wars and applies a variety of approaches ranging from traditional pacifism and human rights to international law and conscientious objection. May considers a variety of thinkers and theories, including Hugo Grotius, Kant, Socrates, Seneca on restraint, Tertullian on moral purity, Erasmus's arguments against just war, (...) and Hobbes's conception of public conscience. The guiding idea is that the possibility of a just war is conceded, but not at the current time or in the foreseeable future due to the nature of contemporary armed conflict and geopolitics - wars in the past are also unlikely to have been just wars. This volume will interest scholars and upper-level students of political philosophy, philosophy of law, and war studies. (shrink)

Where does the line between the possible and the impossible fall? One influential answer to this question is succinctly expressed by the thesis that there are no brute necessities. Typically, that thesis is taken to be non-contingent by its proponents. In this paper, I shall argue that if it is necessary, it is so brutely. From this, it follows that there could be brute necessities. But this has no tendency to show that there are any. On the resulting view, the (...) world is full of contingency—but only contingently so. (shrink)

A debate has recently appeared regarding whether non-naturalism is better than other metaethical views at explaining moral progress. I shall take the occasion of this debate to present a novel debunking dilemma for moral non-naturalists, extending Sharon Street's Darwinian one. I will argue that moral progress indicates that our moral attitudes tend to reflect contingent sociocultural and psychological factors. For non-naturalists, there is then either a relation between these factors and the moral facts, non-naturalistically construed, or there is not. If (...) there is no relation, the contingent factors are unlikely to lead to moral knowledge. If there is a relation, they must be likely to lead to non-naturalist-style moral knowledge, but no theoretically virtuous explanation of moral progress is likely to accommodate non-naturalist commitments. It follows that non-naturalist moral realism cannot explain our moral knowledge. I call this a contingentist challenge to non-naturalism. (shrink)

Abstract:The Analects and the Mencius are among the most influential early Confucian texts. They emphasize the importance of moral self-cultivation. The individual is expected to identify what is good, and freely choose it regardless of their internal predispositions or external conditions. Curiously, in their philosophical frameworks they do not posit anything outside of contingencies. This means there is no non-contingency-based notion of "good" or "agency." This paper contributes to the current discourse by explaining how morality and agency can be (...) possible in a completely contingent system. Instead of positing a pregiven principle, self, will, or even capacity for agency, I will argue that Confucian texts assume that morality and agency emerge out of contingencies. As such, morality and agency are categorically distinct from contingencies, and are thereby able to reflect on them, without being ultimately sourced from any power outside of contingencies. (shrink)

It is widely held that if an object a is identical (or non-identical) to an object b, then it is necessary that a is identical (non-identical) to b. This view is supported an argument from Leibniz's Law and a popular conception of de re modality. On the other hand, there are good reasons to allow for contingent identity. Various alternative accounts of de re modality have been developed to achieve this kind of generality, and to explain what is wrong with (...) the argument from Leibniz's Law. (shrink)

This paper reports a Contingent Valuation application to estimate the non-market costs and benefits of hydro scheme developments in an Icelandic wilderness area. A deliberative group -based approach, called Market Stall, is compared to a control group consisting of conventional in-person interviews, in order to investigate flaws of Contingent Valuation, such as poor validity and protest responses. Perceived property rights suggested the use of willingness-to-accept in compensation for wilderness loss and willingness-to-pay for hydro scheme benefits. The study is novel as (...) it applies participant behaviour observation to gain insights into the shortcomings of conventional data collection modes. Main drawbacks with in-person interviews were found to be low motivation, standardised information and time pressure which hindered individuals from carefully considering their preferences. Market Stall performed better in the study: welfare estimates were more easily explained by socio-economic variables, the non-response rate was lower, and respondents were more engaged. Our research findings also suggest that participant behaviour can be used to supplement conventional validity tests. (shrink)

This paper reports a Contingent Valuation application to estimate the non-market costs and benefits of hydro scheme developments in an Icelandic wilderness area. A deliberative group-based approach, called Market Stall, is compared to a control group consisting of conventional in-person interviews, in order to investigate flaws of Contingent Valuation, such as poor validity and protest responses. Perceived property rights suggested the use of willingness-to-accept in compensation for wilderness loss and willingness-to-pay for hydro scheme benefits. The study is novel as it (...) applies participant behaviour observation to gain insights into the shortcomings of conventional data collection modes. Main drawbacks with in-person interviews were found to be low motivation, standardised information and time pressure which hindered individuals from carefully considering their preferences. Market Stall performed better in the study: welfare estimates were more easily explained by socio-economic variables, the non-response rate was lower, and respondents were more engaged. Our research findings also suggest that participant behaviour can be used to supplement conventional validity tests. (shrink)

It has been argued by Bernard Linsky and Edward Zalta, and independently by Timothy Williamson, that the best quantified modal logic is one that validates both the Barcan Formula and its converse. This requires that domains be fixed across all possible worlds. All objects exist necessarily; some – those we would usually consider contingent – are concrete at some worlds and non-concrete (but still existent) at others. Linsky and Zalta refer to such objects as ‘contingently non-concrete’. I defend the standard (...) usage of the word ‘exists’, and the view that many objects exist only contingently. I argue that the Linsky/Zalta analysis, and to a lesser extent Williamson’s, suffers not only from a peculiar ontology but also from two related formal difficulties. Their analysis gives either counter-intuitive or ad hoc results about essences, and it fails to accommodate contingently existing abstracta. (shrink)

We offer tableaux systems for logics of essence and accident and logics of non-contingency, showing their soundness and completeness for Kripke semantics. We also show an interesting parallel between these logics based on the semantic insensitivity of the two non-normal operators by which these logics are expressed.

Contingency is the presence of non-actualized possibility in the world. Fatalism is a view of reality on which there is no contingency. Since it is contingency that permits agency, there has traditionally been much interest in contingency. This interest has long been embarrassed by the contention that simple and plausible assumptions about the world lead to fatalism. I begin with an Aristotelian argument as presented by Richard Taylor. Appreciation of this argument has been stultified by a (...) question pertaining to the source of necessity and possibility and a closely related one regarding the nature of metaphysics itself. Answering these questions reveals the crucial issue here, to wit, necessity and possibility in a temporal world. This issue is investigated through an important later criticism of Taylor by David Foster Wallace. Wallace’s critique is significant because it brings to the fore the pivotal notion for understanding contingency in a temporal world, that of synchronic possibility, the idea that incompatible states of affairs are possible at a single moment. This notion provides the basis of distinguishing two systematic accounts of truth, modality and time: two metaphysics of contingency. On one account, Taylor’s Aristotelian argument is straightforwardly valid and compelling; on the other, it is fallacious. In closing, I present reasons why the former account, supporting the Aristotelian views of time and truth, is correct and make some comments to ameliorate this conclusion. (shrink)

This paper argues that the principle of necessary identity (f)(g)(f=g then necessarily f=g) cannot be maintained, At least in second order form. A paradox based upon scientific definitional practice is introduced to demonstrate this. A non-Fregean reading of standard contingent identity semantics is provided to explain how such 'definition breaking' works.