In this paper I discuss, on behalf of the materialist, a consideration against the modal or conceivability argument against materialism which was first voiced in the third lecture of Naming and Necessity. This consideration is based on intertheoretic identities, statements in which both terms flanking the identity sign are theoretical. I argue that the defender of the conceivability argument has trouble to account for the appearance of contingency in those types of necessary identities. In fact, intertheoretic identities pose a formidable (...) dilemma for the defender of the modal argument and actually force the antimaterialist to say more about the semantics of theoretical terms than is implicit in standard discussions of the argument. I myself consider several options in this regard, the upshot being, however, that none of the alternative semantics for theoretical terms available to the antimaterialist is good enough to achieve the twofold aim which her modal argument requires, namely, to account for the a posteriori necessity of identities of this sort and, at the same time, to preserve her antimaterialist argument. Finally, in the last part of the paper, I argue that my defense of materialism can withstand some worries coming from David Chalmers’ recent views on a priori scrutability. (shrink)

In the presented article, I have analyzed the famous Saul Kripke statement that some a priori truths are contingent. I show, that despite Kripke’s thesis, in the historical understanding of contingency, the notions of contingency and apriority are in deep conflict with each other. In this understanding of contingency, the past, which can be known a priori, is not contingent, and the future, which is contingent, has difficulty acquiring a priori knowledge. Having stated Kripke’s thesis more precisely, I propose three (...) means in order to defend it in the historical understanding of possibility: by introducing the notion of “factual” future, by replacing the notion of apriority with the notion of apriority-in-the-future; by replacing the notion of apriority with the notion of historical apriority, and the notion of contingency with the notion of once-apriority. In the annex of the article, I present the formal analysis of the problem that I have introduced and three solutions which I have proposed in the language of temporal-modal logic of predicates for models of indeterministic time. (shrink)

The present work explores various ways in which contingent evidence can impact metaphysics, while advocating that, just as a scientific realist allows for ampliative inferences to the unobservable, ampliative inferences from possible evidence can warrant possibility claims that lie beyond the reach of sensorial imagination. In slogan form: possible evidence is a guide to possibility. Drawing on Shoemaker’s (1969) argument for the possibility of time without change, I advocate the following principle: If there is a possible world at which (...) the observable facts make it objectively reasonable to conclude that p, then we should conclude that p is possibly true. This provides a route to contingentism in metaphysics, for, if one considers that there are worlds in which the observable facts make it objectively reasonable to conclude that p, and worlds in which the observable facts make it objectively reasonable to conclude that not-p, then my principle tells us that we should conclude that possibly-p and possibly not-p, i.e. that p is contingent. This contingency in what is reasonable to conclude, I suggest, occurs most saliently in debates where evidence of phenomenal experience and empirical science are marshalled to support one theory over another. I also explore some consequences of taking possible evidence to be a guide to possibility in this way, among them being an interesting modal analogue of the lottery paradox. (shrink)

Leibnizian senses of temporality are analized, in order to assess that Leibniz’s formal and a priori notion of time is based on his own modal metaphysics. In this way, we can say that time constitutes the notion that allows the modalities articulation (Possibility-Necessity-Contingency) as well as the role of modal concepts allows to control the time.

Description: The book points to a new logic of singular designators based upon a close analysis of work in the area by contemporary philosophers of language. The philosophers range from Frege, Russell, Quine, Strawson and Dummett to Kripke, Hintikka, Plantinga, Kaplan, Donnellan, Searle and Burge. It is generally taken for granted that proper names are rigid designators, having no meaning content, which explains their intranslatability into other languages. However, they do have their modes of presentation that must constitute their sense. (...) There is little room for contradiction here in admitting that proper names have a sense, which does not amount to meaning. One of the advantages of this position is that it blocks the emergence of the Kripkean puzzle about belief by accepting different belief contents corresponding to a variation in the senses of the names involved. Is Kripke's distinction between rigid and non-rigid designators finally valid' the author asks, questioning the corollaries that are supposed to follow from the distinction, viz., that proper names do not have descriptive backing, and that there are contingent a priori truths. He draws our attention to predicative occurrences of proper names, in the modal context, matching corresponding occurrences of definite descriptions. His explanation of contingency, where proper names or definite descriptions are involved, is innovatively straight, simple and broad-based, at par with situations having ordinary predicates. Parts of the book have taken a final shape in response to comments by Strawson, Dummett and Burge. (shrink)

This dissertation studies Grosseteste's attempt in his De libero arbitrio to develop a theory of non-temporal modality which severs possibility and changeability. It consists in close philosophical analysis of Grosseteste's views, based on new editions and translations of De libero arbitrio, De scientia Dei, and De veritate propositionis contained in the Appendices. ;After studying the theories of modality proposed by Boethius, Abelard, and twelfth century logic texts, together with the logico-linguistic framework thirteenth century writers drew from them, I examine the (...) basic assumptions and motivations of Grosseteste's discussion: the notions of sentences and dicta, time-variable truth-value, the notion of power, the problem of reconciling divine knowledge and human free will. ;I identify two main modal theories in Grosseteste, one linking possibility with changeability of truth-value and bearing similarities with as well as important differences from the theories of the twelfth century logicians; the other presented as a reaction to this theory and, in particular, to its unusual claim that true sentences about future contingents are necessary. I attempt to make sense of this by a reconstruction of the theory, making use of the notion of dense time. ;I then investigate in detail Grosseteste's theory of the eternal truths, with an eye to its relation to his theories of modality. I show that Grosseteste's sophisticated theory is not a theory of modality; the theory is seen, nonetheless, to highlight obscurities in Grosseteste's account of non-temporal modality. ;The account of non-temporal modality rests on the notion of a dictim's eternal power; these powers are reduced to God's eternal powers. I critically examine Grosseteste's defense of the idea of divine power, highlighting the difficulties he viewed the notion of the actualizability of a power and of its priority to act as posing. His views on these matters are compared with those of Scotus. ;I investigate the theory of non-temporal modality erected on this basis and, in particular, its reduction to divine powers, the adequacy of the strategy, and Grosseteste's use of the theory to solve the problem divine knowledge poses for free will. (shrink)

‘A logical theory may be tested by its capacity for dealing with puzzles, and it is a wholesome plan, in thinking about logic, to stock the mind with as many puzzles as possible, since these serve much the same purpose as is served by experiments in physical science.’ This paper is an attempt to follow Russell’s advice by using a puzzle about the contingent a priori to test and explore certain theories of reference and modality. No one could claim that (...) the puzzle is of any great philosophical importance by itself, but to understand it, one has to get clear about certain aspects of the theory of reference; and to solve it, one has to think a little more deeply than one is perhaps accustomed about what it means to say that a statement is contingent or necessary. (shrink)

There is widespread disagreement as to what the facts are concerning just when a collection of objects composes some further object; but there is widespread agreement that, whatever those facts are, they are necessary. I am unhappy to simply assume this, and in this paper I ask whether there is reason to think that the facts concerning composition hold necessarily. I consider various reasons to think so, but find fault with each of them. I examine the theory of composition as (...) identity, but argue that the version of this doctrine that entails universalism is implausible. I consider the claim that the a priority of such facts leads to their necessity, but give a defence of substantial contingent a priori truths. I ask whether the contingency of such facts would lead to unwelcome possibilities, but argue that the worrying looking possibilities can be blocked if it is desired. Next, I argue against the thought that the Lewis-Sider argument against restricted composition might give us reason to accept the necessity of universalism. Lastly, I respond to two objections from the 2006 BSPC. I conclude in favour of the contingency of the facts concerning when some things compose some thing. (shrink)

This paper outlines a formal account of tensed sentences that is consistent with Ockhamism, a view according to which future contingents are either true or false. The account outlined substantively differs from the attempts that have been made so far to provide a formal apparatus for such a view in terms of some expressly modified version of branching time semantics. The system on which it is based is the simplest quantified modal logic.

Having drawn the distinction between logic as a discipline and logic as organon, this short paper focuses on the latter, the purpose of which is twofold. First, it highlights the importance of second-order logic and modal logic in ontology. To this aim, the role of second-order logic is illustrated in formalizing realist ontology committing to the existence of properties. It is also emphasized how quantified modal logic helps clarify de re/de dicto distinction that implicitly takes place in ordinary language. Secondly, (...) the paper concentrates on the significance of modal logic in the philosophy of language. In pursuing this goal, we considered Kripke’s notions of rigid designator, necessary a posteriori and contingent a priori statements. Given the definition of rigid designator, it is possible to prove in quantified modal logic that an identity between proper names, like “Hesperus” and “Phosphorus”, if true, is necessarily true. But the truth of the identity statement “Hesperus = Phosphorus” is known a posteriori. Therefore, there are necessary a posteriori truths. There are also contingent a priori true statements like “The length of stick S at time t 0 = one meter”, as there exists a possible world in which this statement is false. (shrink)

ABSTRACT We critically review two extant paradigms for understanding the systematic interaction between modality and tense, as well as their respective modifications designed to do justice to the contingency of time’s structure and composition. We show that on either type of theory, as well as their respective modifications, some principles prove logically valid whose truth might sensibly be questioned on metaphysical grounds. These considerations lead us to devise a more general logical framework that allows accommodation of those metaphysical views (...) that its predecessors rule out by fiat. (shrink)

What formulas are tense-logically valid depends on the structure of time, for example on whether it has a beginning. Logicians have investigated what formulas correspond to what physical hypotheses about time. Analogously, we can investigate what formulas of modal logic correspond to what metaphysical hypotheses about necessity. It is widely held that physical hypotheses about time may be contingent. If so, tense-logical validity may be contingent. In contrast, validity in modal logic is typically taken to be non-contingent, (...) as reflected by the general acceptance of the so-called “rule of necessitation.” But as has been argued by various authors in recent years, metaphysical hypotheses may likewise be contingent. If, in particular, hypotheses about the extent of possibility are contingent, we should expect modal-logical validity to be contingent too. Let “contingentism” be the view that everything that is not ruled out by logic is possible. I shall investigate what the right system of modal logic is, if contingentism is true. Given plausible assumptions, the system contains the McKinsey principle, and is thus not even contained in S5. It also contains simple and elegant iteration principles for the contingency operator: something is contingent if and only if it is contingently contingent. (shrink)

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)

The Master Argument, recorded by Epictetus, indicates that Diodorus had deduced a contradiction from the conjoint assertion of three propositions. The Argument, which has to do with necessity and contingency and therefore with freedom, has attracted the attention of logicians above all. There have been many attempts at reconstructing it in logical terms, without excessive worry about historical plausibility and with the foregone conclusion that it was sophistic since it directly imperilled our common sense notion of freedom. This text takes (...) exception to recent tradition, translating the propositions into logical terms. The propositions figuring in The Master Argument are interpreted in terms of temporal modal logic where both the modalities and the statements they govern have chronological indices. This means that the force of the argument comes not from purely logical or modal considerations, but from our experience of time. (shrink)

Modal concepts as possibility, necessity, contingency and reality belong to the most important means of reflection. They constitute philosophical systems - but they are not used in a systematic way to characterize technology. The central ontological problem consists in the fact that technology is based on new ideas, which at the beginning are a mere possibility, because the intended artifacts and processes never existed up to that moment. Even the blueprint expresses a possibility. But these possibilities must be realizable, since (...) technological artifacts or processes have to work properly in the world following physical andcausal necessity. Moreover, boundary conditions, sometimes seen as feasibility (a very special kind of conditioned possibility), have to take into account conditions of the real world (as material, energy, local conditions), cognitive conditions (theoretical knowledge, know how – i.e. dispositions, which are possibilities, too), social and cultural conditions (norm, values i.e. deontic possibilities). They all constitute the realm of technological possibility. Within this region the development of technology takes place. But at the same time they have influenced our thinking and our culture from the very beginning. (shrink)

I begin by giving reasons to accept the block-universe view, the strongly supported by physics view that we live in a four-dimensional world. According to it, the past and the future are as real as the present. As a result, it seems that the future is determined in the sense that what will be the case will necessarily be the case. In the dissertation, I examine whether we have to accept this consequence. I show that we do not have to (...) bite the bullet: the future might be both real and contingent. I first start to consider modal realism (possible futures are real) as a possible solution. However, I propose then another account, actualist (positing the reality of only one possible world: the space-time we live in). This solution relies on a conventionalist theory about metaphysical modality (Sidelle, 1989). It states that modal modality is purely conventional. In combination with a realist interpretation of natural modality (causal and/or nomological), this framework allows me to propose that the future is conventionally closed and naturally contingent. In this view, the necessity of the future holds in virtue of linguistic conventions and then is conventionally necessary. But this is a distinct phenomenon from the natural contingency of the future: the future is naturally contingent because there are mind-independent probabilistic relations holding between the present and the future. This solution has strong consequences: most importantly, an anti-realist view about ordinary objects and physical particles. I end up by presenting and arguing in favour of the general image of the world that comes out from these views. (shrink)

I review and reconsider some of the themes of ‘Two notions of necessity’ (Davies and Humberstone, 1980) and attempt to reach a deeper understanding and appreciation of Gareth Evans’s reflections (in ‘Reference and contingency’, 1979) on both modality and reference. My aim is to plot the relationships between the notions of necessity that Humberstone and I characterised in terms of operators in two-dimensional modal logic, the notions of superficial and deep necessity that Evans himself described, and the epistemic notion of (...) a priority. (shrink)

In the paper we introduce a wide range of Anderson-like variants of Gödel's theory and prove for each of them strong completeness theorem wrt. corresponding class of modal structures.These theories — all formulated in the 2nd order modal language with a 2nd order unary predicate of positiveness — differ among themselves with respect of: properties of the necessity operator and of the predicate of positiveness, axioms characterizing identity between 1st sort terms, definitions of identity between 2nd sort terms, the treatment (...) of Godlikeness as a term of the 2nd order, the treatment of necessary existence as a term of the 2nd order if there exists the necessity of its presence, the treatment of Ix (Ix(y) is read: terms x, y are identical), for every 1st sort term x, as a term of the 2nd order if there exists the necessity of its presence.Concerning to semantical commitments, the following are essential: (i) 1st order terms order receive only rigid extensions in the constant objectual 1st order domain; (ii) 2nd order terms receive non-rigid extensions in the constant objectual domain of 2nd order and rigid intensions in the constant conceptual 2nd order domain; (iii) The behavior of the identity between 1st sort terms shifts from possible worlds to possible worlds. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:506 BOOK REVIEWS Contingency and Freedom: Lectura I 39. By JOHN DUNS Scorus. Introduction, translation, and commentary by A. Vos, H. Veldhuis, A.H. Looman-Graaskamp, E. Dekker, and N. W. den Bok. Vol. 42 of The New Synthese Historical Library. Dordrecht: Kluwer, 1994. Pp. viii+ 205. $97.00 (cloth). In this volume, the John Duns Scotus Research Group under the direction of Professor Antonie Vos at Utrecht University has provided scholars (...) of medieval philosophy and theology with an accurate and readable English translation of John Duns Scotus's earliest treatment of divine foreknowledge and future contingents. Interweaving the Latin text of Scotus's Lectura with their translation, the translators provide a very useful commentary on Scotus's text on the facing pages. The Lectura, as the introduction to the volume rightly notes, is the written version of Scotus's first lectures at Oxford on Peter Lombard's Sentences and, despite its early date, it reveals the extent to which the central ideas of Scotus's thought were already in place. Furthermore, although many of the Subtle Doctor's characteristic doctrines are mentioned herein, pride of place is given, both in the introduction and in the commentary accompanying the text, to Scotus's outstanding contribution to the medieval discussion of divine foreknowledge: his substantial revision of the modal notions of necessity, possibility, and contingency. The text translated in this volume is the entirety of Scotus's commentary on distinction thirty-nine ofthe first book of the Lombard's Sentences, the customary place in medieval theological commentaries for raising questions about the reality of future contingents, their knowability, and the compatibility of future contingency with divine foreknowledge. In his commentary, Scotus raises five questions in connection with distinction thirty-nine: 1) whether God has determinate knowledge of things according to every aspect of their existence, including the future; 2) whether God has infallible knowledge of things according to every aspect of their existence; 3) whether God has immutable knowledge; 4) whether God necessarily knows every changeable aspect of things; and 5) whether the contingency of things is compatible with God's knowledge. Prompted by these questions, Scotus reviews traditional explanations of God's infallibility and immutability as well as contemporary accounts of how the future is knowable. Regarding the former, Scotus first introduces an explanation, similar in its outlines to that found in St. Bonaventure's Commentary on the Sentences and St. Thomas's Summa theologiae, of the infallibility of God's knowledge b,ased on the preeminence and lucidity of the Divine Ideas. According to this explanation, the Divine Ideas are so comprehensive and so distinctive that they allow any mind aware of them to perceive the most intimate and subtle connections between things as well as the things themselves; yet the things known through the Ideas need not be necessary since the mode of the cognition does not necessarily reflect the mode of the BOOK REVIEWS 507 things known through it. Scotus's main objection to this explanation is that it does not adequately account for how God could know contingent things since the truth of contingent things is not, by definition, contained in the notions of the simple terms, to which the Divine Ideas are often likened, composing a contingent proposition; indeed, if the truth of contingent things were contained in the notions of the simple terms composing the propositions that express them, the truth of contingent things would not be contingent but necessary. The failure of this explanation is traceable, in Scotus's view, to an insufficient appreciation for the role of the Divine Will in the production of created things. As to the matter of how the future is knowable, the Subtle Doctor reviews Aquinas's theory that God's eternity is present to all times. Scotus rejects this theory on the ground that, among other difficulties, God cannot cause something new in the future since the future, qua present, is already laid out before God as something that is caused. Hence, unless the theory can accommodate the possibility of God causing something twice, God's causal role in the future is nugatory. In other words, the notion of the past and the future being somehow... (shrink)

The present study on al-Dīn Suhrawardī's Ḥikmat al-Ishrāq, develops some preliminary explorations on his logic under the background of his remarkable epistemology of pis some witness of d resence. The paper paves the way for responding to the challenges of Tony Street on the compatibility of Suhrawardī's critique of Ibn Sīnā with the development of a temporal and modal syllogism that at first sight seems quite close to that of Ibn Sīnā. In fact, Suhrawardī's modalities are to be understood as (...) the different ways a predicate relates to its subject rather than as propositional operators. Accordingly, necessarily necessary modality relates actual instances (presences) of the Subject-Term with actual (presences) of the Predicate-Term; in contrast, necessarily contingent modality relates these terms conditionally, notably involving states of the Subject-Term within time intervals. Suhrawardī's main innovation, so we claim, is the explicit dialectical role presences or actual instances have in his modal-temporal logic, and particularly so in shaping his notion of contingency that admits both a generic and an individual or de re form of plenitude. (shrink)

This volume considers contingency as a historical category resulting from the combination of various intellectual elements – epistemological, philosophical, material, as well as theological and, broadly speaking, intellectual. With contributions ranging from fields as diverse as the histories of physics, astronomy, astrology, medicine, mechanics, physiology, and natural philosophy, it explores the transformation of the notion of contingency across the late-medieval, Renaissance, and the early modern period. Underpinned by a necessitated vision of nature, seventeenth century mechanism widely identified apparent natural irregularities (...) with the epistemological limits of a certain explanatory framework. However, this picture was preceded by, and in fact emerged from, a widespread characterization of contingency as an ontological trait of nature, typical of late-Scholastic and Renaissance science. On these bases, this volume shows how epistemological categories, which are preconditions of knowledge as “historically-situated a priori” and, seemingly, self-evident, are ultimately rooted in time. Contingency is intrinsic to scientific practice. Whether observing the behaviour of a photon, diagnosing a patient, or calculating the orbit of a distant planet, scientists face the unavoidable challenge of dealing with data that differ from their models and expectations. However, epistemological categories are not fixed in time. Indeed, there is something fundamentally different in the way an Aristotelian natural philosopher defined a wonder or a “monstrous” birth as “contingent”, a modern scientist defines the unexpected result of an experiment, and a quantum physicist the behavior of a photon. Although to each inquirer these instances appeared self-evidently contingent, each also employs the concept differently. (shrink)

Available from UMI in association with The British Library. Requires signed TDF. ;Two elements in Kripke's notion of "rigid designation" are distinguished: "genuine reference", which has to do with the semantic function of a singular term, and "rigid designation", which has to do with the behaviour of a singular term in modal contexts. Accordingly, the discussion is divided into two parts. ;In Part I, arguments from functionalism against "genuine reference" are considered and rejected, but it is claimed that certain Cartesian (...) arguments constitute a formidable objection against this notion. Therefore, while descriptivism must be rejected "genuine reference" is too strong as an alternative. "Weak reference" is suggested as the required notion, and some of its characteristics are delineated. ;In Part II, the problems concerning the contingent a priori and the necessary a posteriori arising from the second element in Kripke's notion are discussed, depending on whether the names involved are ordinary proper names, or "descriptive" names. Evans' arguments concerning descriptive names are considered, and it is argued that, because of a new distinction between deep vs. superficial rigidity, Davies and Humberstone fail in formulating them more exactly; but the informal arguments, though inconclusive, are intuitive. As for ordinary proper names, and on the basis of conclusions reached in Part I, the case for contingent a priori truths involving such names is undermined. In the case of necessary a posteriori truths involving ordinary proper names, the strategies of denying the necessity or the a posteriority of the examples are discussed, and found wanting. However, since there are reasons from other areas for denying the coincidence of the necessary and the a priori, Kripke's examples do not call for a radical departure from currently held views. (shrink)

The first section of the chapter will address the philosophy of modality among Spinoza’s medieval Jewish predecessors, and, primarily, in Hasdai Crescas (1340-1410/11), a bold and original, anti-Aristotelian philosopher. This section should both complement the discussion of modality in medieval Christian and Islamic philosophy in the previous chapters of this volume and provide some lesser-known historical background to Spinoza’s own engagement with modal philosophy. Following a section on Spinoza’s definitions of his main modal concepts and his understanding of contingency, I (...) will turn, in the third section, to discuss the extent of Spinoza’s commitment to necessitarianism. The recent debate about whether Spinoza was a strict necessitarian has resulted in quite a few insights about Spinoza’s modal philosophy, but it has also detracted attention from some basic questions about Spinoza’s modal philosophy, and in the fourth and last section of the chapter, I will attempt to chart the foundational questions that still have been barely explored. The primary aim of this chapter it to provide a survey and outline of the chief elements of Spinoza’s modal philosophy. Still, beyond the mere overview of Spinoza’s arguments (and some major scholarly debates), I will also advance two original theses. First, I will show that Spinoza makes a distinction between two notions of contingency, and that once this important distinction is observed, Spinoza’s various assertions about contingency turn out to be consistent. Secondly, I will discuss the text (E2a1) which is commonly taken to be the strongest and most stubborn proof against the reading of Spinoza as strict necessitarianism; I will show that the basic meaning of this text has been widely misunderstood, and that E2a1 is perfectly compatible with strict necessitarianism. (shrink)

Modal intuitions are the primary source of modal knowledge but also of modal error. According to the theory of modal error in this paper, modal intuitions retain their evidential force in spite of their fallibility, and erroneous modal intuitions are in principle identifiable and eliminable by subjecting our intuitions to a priori dialectic. After an inventory of standard sources of modal error, two further sources are examined in detail. The first source - namely, the failure to distinguish between metaphysical possibility (...) and various kinds of epistemic possibility - turns out to be comparatively easy to untangle and poses little threat to intuition-driven philosophical investigation. The second source is the local misunderstanding of one's concepts . This pathology may be understood on analogy with a patient who is given a clean bill of health at his annual check-up, despite his having a cold at the time of the check-up: although the patient's health is locally disrupted, his overall health is sufficiently good to enable him to overcome the cold without external intervention. Even when our understanding of certain pivotal concepts has lapsed locally, our larger body of intuitions is sufficiently reliable to allow us, without intervention, to ferret out the modal errors resulting from this lapse of understanding by means of dialectic and/or a process of a priori reflection. This source of modal error, and our capacity to overcome it, has wide-ranging implications for philosophical method - including, in particular, its promise for disarming skepticism about the classical method of intuition-driven investigation itself. Indeed, it is shown that skeptical accounts of modal error are ultimately self-defeating. (shrink)

I start by reconsidering two familiar arguments against modal realism. The argument from epistemology relates to the issue whether we can infer the existence of concrete objects by a priori means. The argument from pragmatics purports to refute the analogy between the indispensability of possible worlds and the indispensability of unobserved entities in physical science and of numbers in mathematics. Then I present two novel objections. One focusses on the obscurity of the notion of isolation required by modal realism. The (...) other stresses the arbitrary nature of the rules governing the behaviour of Lewisean universes. All four objections attack the reductive analysis of modality that is supposed to be the chief merit of modal realism. (shrink)

Kant's claim that modality is a 'category' provides an approach to modality to be contrasted with Lewis's reductive analysis. Lewis's position is unsatisfactory, since it depends on an inherently modal conception of a world. This suggests that modality is 'primitive'; and the Kantian position is a prima facie plausible position of this kind, which is filled out by considering the relationship between modality and inference. This provides a context for comparing the Kantian position with Wright's non-cognitivist 'conventionalism'. Wright's position is (...) vulnerable to the type of argument used against ethical non-cognitivism, and the Kantian position is further confirmed by Blackburn's acknowledgment that modality is 'antinaturalistic to its core'. The position is further elaborated to show that it can accommodate the famous Kripkean categories of the empirically necessary and the contingent a priori, and finally defended against the criticisms used by Quine against Carnap. (shrink)

Pierre Saint-Germier | : Nous discutons la thèse, acceptée par de nombreux théoriciens des intuitions rationnelles, selon laquelle ces dernières s’accompagnent d’une apparence de nécessité. L’existence d’intuitions rationnelles ayant pour objet des propositions contingentes jette un doute sur l’adéquation de cette thèse. Le problème peut trouver une solution dans le cadre d’une théorie faillibiliste des intuitions rationnelles, pourvu que l’on admette des illusions modales inéliminables. En nous appuyant sur une explication bidimensionnelle de l’a priori contingent, nous défendons une solution différente (...) consistant à reconsidérer le contenu des apparences associées aux intuitions rationnelles : ce que l’on pourrait prendre pour des apparences de nécessité n’est autre qu’une manifestation de leur caractère a priori. | : We discuss the view, accepted by many rational intuition theorists, that rational intuitions involve appearances of necessity. The fact that we can have rational intuitions of contingent propositions casts a doubt on the adequacy of this view. This fact can be accommodated by a fallibilist theory of rational intuitions, provided one accepts that these intuitions generate ineliminable modal illusions. Drawing on two-dimensional explanations of the contingent a priori, we defend an alternative view according to which the appearances involved in rational intuitions are not appearances of necessity but rather an expression of their a priori status. (shrink)

The Third Way is the most interesting and insightful of Aquinas' five arguments for the existence of God, even though it is invalid and has some false premises. With the help of a somewhat weak modal logic, however, the Third Way can be transformed into a argument which is certainly valid and plausibly sound. Much of what Aquinas asserted in the Third Way is possibly true even if it is not actually true. Instead of assuming, for example, that things which (...) are contingent fail to exist at some time, we need only assume that contingent things possibly fail to exist at some time. Likewise, we can replace the assumption that if all things fail to exist at some time then there is a time when nothing exists, with the corresponding assumption that if all things possibly fail to exist at some time then possibly there is a time when nothing exists. These and other similar replacements suffice to produce a cogent cosmological argument. (shrink)

The paper explores the project of an ambitious modal epistemology that attempts to combine the a priori methods of Chalmers’ 2D semantics with Kripke’s modal metaphysics. I argue that such a project is not viable. The ambitious modal epistemology involves an inconsistent triad composed of (1) Modal Monism, (2) Two-Dimensionalism, and what I call (3) “Metaphysical Kripkeanism”. I present the three theses and show how only two of those can be true at a time. There is a fundamental incompatibility (...) between Chalmers’ Modal Rationalism and Kripke’s modal metaphysics. Specifically, Chalmers’ conceivability entails possibilities that a Kripkean rejects as genuinely metaphysical. However, three positive stances in modal epistemology emerge from the combinations that the triad allows. One of those offers a promising way forward for 2D modal epistemologies. But it comes with a cost, as it requires abandoning modal monism and reshaping the scope of what a priori conceivability can give us access to. (shrink)

In a lot of domains in metaphysics the tacit assumption has been that whichever metaphysical principles turn out to be true, these will be necessarily true. Let us call necessitarianism about some domain the thesis that the right metaphysics of that domain is necessary. Necessitarianism has flourished. In the philosophy of maths we find it held that if mathematical objects exist, then they do of necessity. Mathematical Platonists affirm the necessary existence of mathematical objects (see for instance Hale and Wright (...) 1992 and 1994; Wright 1983 and 1988; Schiffer 1996; Resnik 1997; Shapiro 1997 and Zalta 1988) while mathematical nominalists, usually in the form of fictionalists, hold that necessarily such objects fail to exist (see for instance Balaguer 1996 and 1998; Rosen 2001 and Yablo 2005). In metaphysics more generally, until recently it was more or less assumed that whatever the right account of composition—the account of under what conditions some xs compose a y—that account will be necessarily true (for a discussion of theories of composition see Simons 1987 and van Inwagen 1987 and 1990; the modal status of the composition relation is explicitly addressed in Schaffer 2007; Parsons 2006 and Cameron 2007). Similarly, it has generally been assumed that whatever the right account is of the nature of properties, whether they be universals, tropes, or whether nominalism is true, that account will be necessarily true (though see Rosen 2006 for a recent suggestion to the contrary). In considering theories of persistence it has been widely held that whether objects endure or perdure through time is a matter of necessity (Sider 2001; though see Lewis 1999 p227 who defends contingent perdurantism). And with respect to theories of time it is frequently held that whichever of the A- or B-theory is true is necessarily true. A-theorists often argue that there is time in a world only if the A-theory is true at that world (see for instance McTaggart 1903; Markosian 2004; Bigelow 1996; Craig 2001) while B-theorists often argue that the A-theory is internally inconsistent (Smart 1987; Mellor 1998; Savitt 2000 and Le Poidevin 1991). Once again, we find a few recent contingentist dissenters. Bourne (2006) suggests that it is a contingent feature of time that it is tensed, and thus that the A-theory is contingently true. Worlds in which there exist only B-theoretic properties are worlds with time, it is just that time in those worlds time is radically different to the way it is actually. Other defenders of the B-theory, though not expressly contingentists, do offer arguments against versions of the A-theory that try to show that such A-theories theories are inconsistent with the actual laws of nature (see for instance Saunders 2002 and Callender 2000); these arguments, at least, leave room for the possibility that the A-theories in question are contingently false (at least on the assumption that the laws of nature are themselves contingent, an assumption that not everyone accepts). Despite some notable exceptions, necessitarianism has flourished in many, if not most, domains in metaphysics. One such exception is Lewis’ famous defence of Humean supervenience as a contingent claim about our world. Lewis does not argue that necessarily, the supervenience base for all matters of fact in a world is nothing but a vast mosaic of local matters of particular fact. Rather, he thinks that we have reason to think that our world is one in which Humean supervenience holds (see Lewis 1986 p9-10 and 1994). Another exception to the necessitarian orthodoxy is to be found in the lively debate about the modal status of the laws of nature. Here, if anything, contingentism has been the dominating force, with it generally being held that there are possible worlds in which different laws of nature hold (this view is defended by, among others, Lewis 1986 and 2010; Schaffer 2005 and Sidelle 2002). Necessitarian dissenters hold that the laws of nature are necessary, frequently because they think it is necessary that fundamental properties have the causal or nomic profiles they do (see for instance Shoemaker 1980 and 1988; Swoyer 1982; Bird 1995; Ellis and Lierse 1994). Nevertheless, when it comes to thinking about the nature of the laws themselves, the necessitarian presumption is back on firm footing. Though there is disagreement about whether the laws are generalisations that feature in the most virtuous true axiomatisation of all the particular matters of fact (often known as the Humean view of laws and defended by Ramsey 1978; Lewis 1986 and Beebee 2000) or whether laws are relations of necessity that hold between universals (a view defended by Armstrong 1983; Dretske 1977; Tooley 1977 and Carroll 1990) no one has seriously suggested that it might be a contingent matter which of these is the right account of laws. The necessitarian orthodoxy is not surprising since metaphysics is largely an a priori process. While a priori reasoning may be used to determine whether a proposition is necessary or contingent, it is not well placed (in the absence of a posteriori evidence) to determine whether a contingent proposition is actually true or false. Since metaphysicians aim to tell us which principles are true in which worlds, on the face of it the discovery that metaphysical principles are contingent seems to make part of the task of metaphysics epistemically intractable. In what follows I consider two reasons one might end up embracing contingentism and whether this would lead one into epistemic difficulty. The following section considers a route to contingent metaphysical truths that proceeds via a combination of conceptual necessities and empirical discoveries. Section 3 considers whether there might be synthetic contingent metaphysical truths, and the final section raises the question of whether if there were such truths we would be well placed to come to know them. (shrink)

In this article I offer an explanation of the need for contingent propositions in language. I argue that contingent propositions are required if and only if there is a need for propositions which can be both true and false in different circumstances. Indexical expressions enable the same proposition to be expressed in different contexts, thus allowing it to be both true and false. Examination of the different indexical expressions shows that temporal indexical expressions are the ones that do this. Furthermore, (...) describing the change in the temporal A-determinations of past, present, or future, requires using contingent propositions. The conclusion of this article is that change in the temporal A-determinations is the explanation for the need for contingent propositions in language. (shrink)

This paper examines different kinds of definite descriptions denoting purely contingent, necessary or impossible objects. The discourse about contingent/impossible/necessary objects can be organised in terms of rational questions to ask and answer relative to the modal profile of the entity in question. There are also limits on what it is rational to know about entities with this or that modal profile. We will also examine epistemic modalities; they are the kind of necessity and possibility that is determined by _epistemic_ constraints (...) related to knowledge or rationality. Definite descriptions denote so-called _offices_, roles, or _things to be._ We explicate these α-offices as partial functions from possible worlds to chronologies of objects of type α, where α is mostly the type of individuals. Our starting point is Prior’s distinction between a ‘weak’ and ‘strong’ definite article ‘the’. In both cases, the definite description refers to at most one object; yet, in the case of the weak ‘the’, the referred object can change over time, while in the case of the strong ‘the’, the object referred to by the definite description is the same forever, once the office has been occupied. The main result we present is the way how to obtain a Wh-knowledge about who or what plays a given role presented by a hyper-office, i.e. _procedure_ producing an office. Another no less important result concerns the epistemic necessity of the impossibility of knowing who or what occupies the impossible office presented by a hyper-office. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 38.4 (2000) 479-502 [Access article in PDF] Possible Worlds in the Tahâfut al-Falâsifa Al-Ghazâlî on Creation and Contingency Taneli Kukkonen University of Helsinki 1. This article is the second half in an inquiry into the debate between al-Ghazâlî (1058-1111) and Averroes (1126-1198) on the metaphysical basis of modalities. The first article focused on Averroes' exposition of the Arabic Aristotelian position on the eternity (...) of the world and the modalities, as found in the Tahâfut al-tahâfut, the "Incoherence of the Incoherence [of the Philosophers]" from ca. 1180.1 In this paper I propose to sketch the outlines to a very different conception suggested by al-Ghazâlî in the Tahâfut al-falâsifa (1095) and quoted verbatim and commented upon by Averroes in the Tahâfut al-tahâfut.2 In contrast to the naturalistic model of modalities propounded by [End Page 479] Averroes, al-Ghazâlî develops an interpretation of possibility in which conceivability and co-assertability are central. In several key respects al-Ghazâlî's approach mirrors that of John Duns Scotus in the fourteenth century: it makes possible, for instance, a distinction between conceptual and natural possibilities in a manner reminiscent of later Latin medieval theory, and, reflecting this, a distinction between the (non-temporal) moments of conception and causation in the divine mind. The parallels between al-Ghazâlî's and Augustine's basic conceptions, meanwhile, highlight the theological motives lying at the heart of the new thinking.As in the previous article, the dialectical form of Averroes' later Tahâfut al-tahâfut is used for critical insight. Averroes' criticism of al-Ghazâlî's modal theoretical innovations gives rise to an important question about the lengths to which al-Ghazâlî's proposals could be taken. The issue is to an extent unresolveable; one would do well to note why. Whereas Averroes' formulations in the Tahâfut al-tahâfut are made readily understandable against the backdrop of his Aristotelian commentaries and wider systematic teaching, it is less easy to determine how far al-Ghazâlî is willing to develop his own ideas. The materials given in the Tahâfut al-falâsifa leave the impression of being inconclusive and open-ended—perhaps deliberately so—and the ambiguities are mirrored in al-Ghazâlî's other texts.3Taken as they stand, al-Ghazâlî's formulations retain a substantial Avicennian residue, for better or for worse. This makes for a curious mixture of old and new in his overall scheme, a feature which Averroes can exploit by criticizing al-Ghazâlî from a strict Aristotelian viewpoint (just as he criticized Avicenna), while all the time maintaining that his adversary's proposals do not add up to a coherent and full-bodied alternative to that venerable tradition. But Averroes' criticisms do not touch on the way al-Ghazâlî's suggestions, vague as they may be, do represent a genuine breakthrough. Al-Ghazâlî's interpretation of the modal terms bypasses the connection traditionally made between true possibility and temporal instantiation. This allows for a freer handling of counterfactual possibilities, an important feature in any refiguring of the limits of possibility. 2. Al-Ghazâlî's innovations have their root in the idea of God freely choosing (arbitrating) between alternatives equal to him. This simple kernel of an idea, seated in the kalâm conception of possibility, allows for a recognition of the genuineness of synchronic alternatives: a seemingly small shift, but all-important [End Page 480] to the ensuing debate. Al-Ghazâlî has defended the notion of God's genuine choice earlier,4 but in refuting "the third proof of the philosophers for the world's eternity," he begins to make systematic use of the notion of possibility. A brief recapitulation of the philosophers' argument will serve to recall the reasoning from which al-Ghazâlî takes his cue. The philosophers, in al-Ghazâlî's words, had... (shrink)

Aristotle's modal syllogistic has been an object of study ever since the time of Theophrastus; but these studies have been somewhat desultory. Remarkably, in the 1990s several new lines of research have appeared, with series of original publications by Fred Johnson, Richard Patterson and Ulrich Nortmann. Johnson presented for the first time a formal semantics adequate to a de re reading of the apodeictic syllogistic; this was based on a simple intuition linking the modal syllogistic to Aristotelian metaphysics. (...) Nortmann developed an ingenious de dicto analysis. Patterson articulated the links between the modal syllogistic and the metaphysics, using an analysis which strictly speaking is neither de re nor de dicto. My own studies in this field date from 1976, when my colleague Peter Roeper and I jointly wrote a paper "Aristotle's apodeictic syllogisms" for the XXIInd History of Logic Conference in Krakow. This paper contained the disjunctive reading of particular affirmative apodeictic propositions, which I still favour. Nonetheless, I did not consider that paper's results decisive or comprehensive enough to publish, and my 1981 book The Syllogism contained no treatment of the modal syllogism. The paper's ideas lay dormant till 1989, when I read Johnson's and Patterson's initial articles. I began publishing on the topic in 1991. Gradually my thoughts acquired a certain comprehensiveness and systematicity, till in 1993 I was able to take a semester's sabbatical to write up a draft of this book. (shrink)

The sample space of the chance distribution at a given time is a class of possible worlds. Thanks to this connection between chance and modality, one’s views about modal space can have significant consequences in the theory of chance and can be evaluated in part by how plausible these implications are. I apply this methodology to evaluate certain forms of modal contingentism, the thesis that some facts about what is possible are contingent. Any modal contingentist view that meets certain (...) conditions that I specify generates difficulties in the philosophy of chance, including a problem usually associated with Humeanism that is known as ‘the problem of undermining futures’. I consider two well-known versions of modal contingentism that face this difficulty. The first version, proposed by Hugh Chandler and Nathan Salmon, rests on an argument for the claim that many individuals have their modal features contingently. The second version is motivated by the thesis that the existence of a possible world depends on the existence of the contingent individuals inhabiting it, and that many worlds are therefore contingent existents. (shrink)

This paper first argues that we can bring out a tension between the following three popular doctrines: (i) the canonical reduction of metaphysical modality to essence, due to Fine, (ii) contingentism, which says that possibly something could have failed to be something, and (iii) the doctrine that metaphysical modality obeys the modal logic S5. After presenting two such arguments (one from the theorems of S4 and another from the theorems of B), I turn to exploring various conclusions we might draw (...) in light of these results, and argue that none comes cost free. In the course of laying out possible responses to my arguments, we'll have a chance to evaluate various doctrines about the interplay between contingency and essence, as well as develop some alternative reductions of metaphysical modality to essence. I don't decisively come down in favor of one response over the others, though I say some things that point towards the conclusion that essence has no role to play in reducing metaphysical modality. (shrink)

This book defends a radical new theory of contingency as a physical phenomenon. Drawing on the many-worlds approach to quantum theory and cutting-edge metaphysics and philosophy of science, it argues that quantum theories are best understood as telling us about the space of genuine possibilities, rather than as telling us solely about actuality. When quantum physics is taken seriously in the way first proposed by Hugh Everett III, it provides the resources for a new systematic metaphysical framework encompassing possibility, necessity, (...) actuality, chance, counterfactuals, and a host of related modal notions. -/- Rationalist metaphysicians argue that the metaphysics of modality is strictly prior to any scientific investigation; metaphysics establishes which worlds are possible, and physics merely checks which of these worlds is actual. Naturalistic metaphysicians respond that science may discover new possibilities and new impossibilities. This book's quantum theory of contingency takes naturalistic metaphysics one step further, allowing that science may discover what it is to be possible. As electromagnetism revealed the nature of light, as acoustics revealed the nature of sound, as statistical mechanics revealed the nature of heat, so quantum physics reveals the nature of contingency. (shrink)

J. L. Austin, in "Ifs and Cans," proclaimed the common hope that we soon "may see the birth, through the joint labors of philosophers, grammarians, and numerous other students of language, of a true and comprehensive science of language." The problem has always been with the "joint labors" part. Philosophers have always been willing to issue linguists dictums and linguists have been happy to teach philosophers "plain facts." Austin’s general view of language, and his particular notion of performative utterance, can (...) be found in the writing of J. R. Firth, the most commanding British linguist of Austin’s generation, but Austin never refers to Firth. In the present volume, however, we find clear and exciting evidence of genuinely joint labors on the part of philosophers and linguists. They stem from a summer conference in 1969 rounded out with contributions from notables. To two thick issues of Synthese the editors have added a dazzling piece by Saul Kripke, two substantial pieces by James McCawley and J. R. Ross, a short paper by Paul Ziff, and a reprint of P. F. Strawson’s "Grammar and Philosophy." This is an invaluable book and the best book among the many now available concerning the interaction of linguistics and philosophy: worth the cost, which the contributors attempted to reduce through foregoing royalties. The philosophers in this volume hold, or hold intriguing, the view that the semantics of a natural language can and must, in effect, be a theory of truth for a language in much the manner that Tarski suggested, and provided, for artificial language: the recursive specification of biconditionals in which the left hand gives the structural description of an object language sentence and the right hand, the truth conditions in the metalanguage. In "homophonic" translation this requirement can be trivially satisfied simply by mentioning the sentence on the left that one uses on the right: one makes the requirement non-trivial by forcing enough into the recursive specification so that one captures the native speaker’s implicit semantic competence. In this volume, the "orthodox" Davidsonian program, which takes the syntax of the metalanguage to be standard predicate logic, is ably argued by John Wallace ; Richard Montague, David Lewis, and Jaakko Hintikka would want an intensional logic covering modality and propositional attitudes. The linguists who find this philosophical climate most appealing are called "generative semanticists": McCawley, Ross, George Lakoff and others argue that any proposed semantic rule will eventually prove necessary to syntax too and that, hence, the deepest level of syntactical form will be equivalent to semantic form. Whatever the ultimate fate of this joint program, it leads here to much exciting interaction between linguists and philosophers: linguists who welcome the machinery and conceptual standards of modern logic, and philosophers who try to grasp the specifics of crucial issues in recent linguistic theory. Even if Quine’s doubts, here sketched, and Chomsky’s currently unpublished more technical objections should be well-founded, nonetheless the joint labor will have been very much worthwhile. Aside from this general debate about semantics, there are several papers covering more specific issues. The papers of J. A. Fodor, Terence Parsons, and Ross concern adverbs and the logical form of action sentences; several papers, particularly B. H. Partee’s, examine "Opacity, Coreference, and Pronouns." In all these papers one notes the fulfillment of Austin’s hope that philosophic and linguistic arguments should become intermixed, if not at times properly indistinguishable. Perhaps the most enjoyable and exciting paper stands aside from linguistics: Saul Kripke’s "Naming and Necessity." Kripke here argues quite informally for the separation of analytic, a priori, and necessary that is required for a Kripke style, S5, modal logic with de re modalities. "Gold is a yellow metal," for example, turns out to be contingent, while "Heat is the motion of particles" is necessary but a posteriori ; and that philosopher’s stone of stones, "The morning star is the evening star," is discovered to be necessary but a posteriori.—J. L. (shrink)

The essay introduces a non-Diodorean, non-Kantian temporal modal semantics based on part-whole, rather than class, theory. Formalizing Edmund Husserl’s theory of inner time consciousness, §3 uses his protention and retention concepts to define a relation of self-awareness on intentional events. §4 introduces a syntax and two-valued semantics for modal first-order predicate object-languages, defines semantic assignments for variables and predicates, and truth for formulae in terms of the axiomatic version of Edmund Husserl’s dependence ontology (viz. the Calculus [CU] of Urelements) (...) introduced by The Ontology of Intentionality I & II. It then uses the §3 results to define the modalities of truth, and §5 extends the semantics to identity claims. §6 defines and contrasts synthetic a priori truths to analytic a priori truths, and §7 compares Brentano School noetic semantic and Leibnizian possible-world semantic perspectives on modality. The essay argues that the modal logics it defines semantically are two-valued, first-order versions of the type of language which Husserl viewed as the language of any ontology of experience (i.e. of any science), and conceived as the logic of intentionality. (shrink)

According to an influential line of thought, from the assumption that indeterminism makes future contingents neither true nor false, one can conclude that assertions of future contingents are never permissible. This conclusion, however, fails to recognize that we ordinarily assert future contingents even when we take the future to be unsettled. Several attempts have been made to solve this puzzle, either by arguing that, albeit truth-valueless, future contingents can be correctly assertable, or by rejecting the claim that future contingents are (...) truth-valueless. The paper examines three of most representative accounts in line with the first attempt, and concludes that none of them succeed in providing a persuasive answer as to why we felicitously assert future contingents. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:The Medieval Heritage in Early Modern Metaphysics and Modal Theory, 1400–1700Jean-Pascal AnfrayRussell L. Friedman and Lauge O. Nielsen, editors. The Medieval Heritage in Early Modern Metaphysics and Modal Theory, 1400–1700. Dordrecht: Kluwer, 2003. Pp. vi + 346. Cloth, $149.00.This volume contains contributions that aim to show the continuity between late medieval thought and early modern philosophy, or, as the editors say, to investigate "the way that medieval thought (...) served as a fertile basis for developments in the early modern period" (3). As the title indicates, most papers treat topics more or less connected to modalities, either from a logical or from an ontological point of view. The nature of modalities is indeed at the core of metaphysics and philosophical theology. Ludger Honnefelder, Joël Biard, and Fabrizio Mondori all show the influence of Duns Scotus on the setting of modern metaphysics. The importance of theological matters in the development of philosophical thought has been acknowledged for a long time. Thus Chris Schabel ("Divine Foreknowledge and Human Freedom: Auriol, Pomponazzi, and Luther on 'Scholastic Subtleties'") sketches the story of the controversy over God's foreknowledge and future contingents from its setting in the early fourteenth century to Lutheran Reformation. He stresses the underestimated influence of Peter Auriol in this continuing debate. Still, revealed theology too exercised influence on the philosophy of logic. Trinity constitutes an until now little studied case, which is the subject matter of Simo Knuuttila's contribution ("The Question of the Validity of Logic in Late Medieval Thought"). He partly rehearses some of his well-known theses about the source of logical truths and modalities and analyses the constructivist aspects of Descartes's position, in so far as the laws of logic are said to depend on God's will. But the most original part of the study bears on the effects of Trinitarian constraints within the field of logic, especially in syllogistics. Medieval thinkers had to cope with syllogisms like: "The divine essence is the father; the divine essence is the Son; therefore the Son is the Father." In order to avoid the absurdity of the conclusion, many answers were elaborated: Robert Holcot removed the Trinity from the domain of validity of syllogistics, thereby relativizing it. Luther's claim that the principles of theology contradict those of logic looks like a radical version of this position. Adam Wodeham maintained contrariwise the universality of syllogistics: he held that the premisses are not syllogistic if they are interpreted as true (130). His account is based on the identity theory of predication and on the distinction between intensional and extensional identity, which both date back to Abelard.In the period covered by the volume, early modern scholastic, chiefly the Jesuit scholastic, holds a central place. Two articles insist on its originality and intrinsic value. Jeffrey Coombs ("The Ontological Source of Logical Possibility in Catholic Second Scholasticism") [End Page 208] analyzes the various metaphysics of modalities. He claims that three theories of the source of logical modalities were entertained during the early seventeenth century, which he labels respectively "transcendentalism," "modal voluntarism," and "divine conceptualism." All of these positions can be traced back to medieval theories; however, they received an extensive treatment in late scholastic thought. Coombs is especially illuminating when he emphasizes the importance of the grounding metaphysical structure: essences and their systematic relations through "Porphyrian trees." This generated two different accounts of the ontological status of essences: according to essentialist theories, complete Porphyrian trees are the basis of necessity and possibility, while according to a "string theories," only the logical connections between the components of the essential structure are available eternally (196).Yet the most striking novelty of the time lies in the systematization of a statistical interpretation of modalities through the "moral modalities," originating in post-Tridentine Catholic theology. In contrast to Hacking's thesis (see The Taming of Chance [Cambridge, 1990]), Sven Knebel ("The Renaissance of Statistical Modalities in Early Modern Scholasticism") contends that the concept of aleatory probability was first developed within this context. That an event-type Q is morally necessary means that Q is always the case, and that not-Q actually is never the case (236... (shrink)

The completeness of the axiomatization of contingency logic over symmetric frames has been thought of as a nontrivial job, the unimodal case of which cannot be generalized to the finitely multimodal case, which in turn cannot be generalized to the infinitely multimodal case. This paper deals with the completeness of symmetric contingency logic with unlimitedly many modalities, no matter whether the set of modalities is finite or infinite.

In his philosophy, William of Ockham (1285-1347) offered an important and detailed response to the classical argument from the truth of a statement regarding the future to the necessity (unpreventability) of the statement. In this paper, Ockham’s solution and the possible formalisation of it are discussed in terms of modern tense and modal logic. In particular, the famous branching time formalisation suggested by A.N. Prior (1914-19) is discussed. Weaknesses and problems with this suggestion are pointed out, and an alternative (...) formalisation of Ockham’s solution without the use of branching time is presented. (shrink)

This volume draws connections between Wittgenstein's philosophy and the work of Saul Kripke, especially his Naming and Necessity. Saul Kripke is regarded as one of the foremost representatives of contemporary analytic philosophy. His most important contributions include the strict distinction between metaphysical and epistemological questions, the introduction of the notions of contingent a priori truth and necessary a posteriori truth and original accounts of names, descriptions, identity, necessity and realism. The chapters in this book elucidate the relevant connections between Kripke's (...) work and Wittgenstein, specifically concerning the standard meter, contingent apriori and rule-following. The contributions shed light on how Kripke's philosophical outlook was influenced by Wittgenstein, and how mainstream analytic philosophy and Wittgensteinian philosophy can fruitfully engage with one another. Kripke and Wittgenstein will be of interest to philosophers working on Wittgenstein, Kripke, and the history of analytic philosophy. (shrink)

A discussion of a view, defended by Robert Adams and Boris Kment, according to which contingent existence requires rejecting many standard principles of propositional modal logic involving iterated modal operators.

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)

The deontic status of tautologies and contradictions is one of the major puzzles for authors of early works on deontic logic. It is well-known that von Wright addresses this problem by adopting a Principle of Deontic Contingency, which says that tautologies are not necessarily obligatory and contradictions are not necessarily forbidden. A more radical solution is proposed by Anderson within a reductionist approach to deontic logic and consists in restricting the range of application of deontic modalities to contingent propositions. Anderson’s (...) solution has not received much attention in the literature, despite reflecting a typical feature of ordinary deontic reasoning, where non-contingent propositions are rarely, if ever, taken into account. In the present article we explore some of its formal consequences, providing a taxonomy of the properties of the Andersonian operators of obligation and permission for contingent propositions, O′ and P′, in the class of normal alethic systems. (shrink)

Leibniz' first problem with contingency stems from his doctrine of divine creation (not his later doctrine of truth) and is solved via his concepts of necessity per se, etc. (not via his later concept of infinite analysis). I scrutinize some of the earliest texts in which the first problem and its solution occur. I compare his "per se modal concepts" with his concept of analysis and with the traditional concept of metaphysical necessity. I then identify and remove the main obstacle (...) to Leibniz' employment of these concepts by reflecting on his concept of a world and comparing and contrasting it with contemporary conceptions. Finally I sketch the place that this early problem and its solution had in the context of his mature philosophy. A disagreement between Sleigh and Adams which hinges on the assumption that there is just one problem with competing solutions is seen to dissolve in this light. (shrink)

In this paper we develop a novel propositional semantics based on the framework of branching time. The basic idea is to replace the moment-history pairs employed as parameters of truth in the standard Ockhamist semantics by pairs consisting of a moment and a consistent, downward closed set of so-called transitions. Whereas histories represent complete possible courses of events, sets of transitions can represent incomplete parts thereof as well. Each transition captures one of the alternative immediate future possibilities open at (...) a branching point. The transition semantics exploits the structural resources a branching time structure has to offer and provides a fine-grained picture of the interrelation of modality and time. In addition to temporal and modal operators, a so-called stability operator becomes interpretable as a universal quantifier over the possible future extensions of a given transition set. The stability operator allows us to specify how and how far time has to unfold for the truth value of a sentence at a moment to become settled and enables a perspicuous treatment of future contingents. We show that the semantics developed along those lines generalizes and extends extant approaches: both Peirceanism and Ockhamism can be viewed as limiting cases of the transition approach that build on restricted resources only, and on both accounts, stability collapses into truth. (shrink)

Evans distinguishes between superficial necessity and deep necessity in his analysis of the contingent a priori. The distinction between these two notions of necessity is formalized by Davies and Humberstone through the addition of the operator Fixedly to Actuality Modal Logic (AML, S5A), where deep necessity is represented by the combination Fixedly Actually. Wehmeier’s Subjunctive Modal Logic (SML) provides an extension of the expressive capacity of ordinary modal predicate logic alternative to AML. I add Fixedly to SML and show that (...) in the system SML with Fixedly the distinction between deep and superficial necessity disappears. I conclude that the existence of the distinction between deep and superficial necessity, as well as the existence of the contingent a priori, cannot be asserted independently of the choice of background logic. (shrink)