The very last of words of Naming and Necessity are ‘The third lecture suggests that a good deal of what contemporary philosophy regards as mere physical necessity is actually necessary tout court. The question how far this can be pushed is one I leave for further work.’ Kripke (1980). To my knowledge he never conducted that further work; moreover, no one following him has wished to take up the baton either. Herein, I argue that in general, (...) class='Hi'>physical necessity is neither reducible to, nor implies, tout court necessity. Furthermore, it is demonstrated that even if Kripke’s speculations are restricted to a subset of the physical necessities where it might be granted that all such are necessary tout court, physical necessity is still not reducible to tout court necessity. (shrink)

In this chapter I assume that we accept, perhaps reluctantly, general facts, that is states of affairs corresponding to universal generalizations. I then argue that, without any addition, this ontology provides us with physical necessities, and moreover with various grades of physical necessity, including the strongest grade, which I call absolute physical necessity. In addition there are consequences for our understanding of time. For this account, which I call the Mortmain Theory, provides a defence of (...) No Futurism against an otherwise serious objection due to David Armstrong. In addition the Mortmain theory enables me to argue against the ‘‘Parmenidean’’ or Block Universe position that future and past are both real. (shrink)

Some commentators have argued that there is no room in Aristotle's natural science for simple, or unconditional, physical necessity, for the only necessity that governs all natural substances is hypothetical and teleological. Against this view I argue that, according to Aristotle, there are two types of unconditional physical necessity at work in the material elements, the one teleological, governing their natural motions, and the other non-teleological, governing their physical interaction. I argue as well that (...) these two types of simple necessity also govern everything made out of the elements, that is, all other natural substances and artifacts. (shrink)

A system HW of normal modal logic, developed by R. Bigelow & R. Pargetter is presented. Some formal issues concerning the system are examined, such as completeness, number of distinct modalities and relations to other systems. Some philosophical topics are also discussed. The Authors interpret the system HW as the system of physical (nomic) modalities. It is questioned, whether or not the system HW is justified to be claimed to be the logic of physical necessity. The answer (...) seems to may be negative. (shrink)

Some philosophers, for example Quine, doubt the possibility of jointly using modalities and quantification. Simple model-theoretic considerations, however, lead to a reconciliation of quantifiers with such modal concepts as logical, physical, and ethical necessity, and suggest a general class of modalities of which these are instances. A simple axiom system, analogous to the Lewis systems S1 —S5, is considered in connection with this class of modalities. The system proves to be complete, and its class of theorems decidable.

This paper starts with an intuitive notion of representational spaces, which is intended to provide an improved version of Kuhn's concept of paradigms. It then proceeds to study the following topics in terms of this new notion: incommensurability, paradigm change, explanation of anomalies, explanation of regularities, explanation of irregularities, and physical necessity. In the course of the investigation, "representational space" gets clarified and defined. It is envisaged that this new concept should throw light on many issues in the (...) philosophy of science. (shrink)

This book recounts a few ingenious attempts to derive physical theories by reason only, beginning with Descartes' geometric construction of the world, and finishing with recent derivations of quantum mechanics from natural axioms.

In this article I argue for an empiricist view on laws. Some laws are fundamental in the sense that they are the result of inductive generalisations of observed regularities and at the same time in their formulation contain a new theoretical predicate. The inductive generalisations simul- taneously function as implicit definitions of these new predicates. Other laws are either explicit definitions or consequences of other previously established laws. I discuss the laws of classical mechanics, relativity theory and electromagnetism in detail. (...) Laws are necessary, whereas acciden- tal generalisations are not. But necessity here is not a modal concept, but rather interpreted as short for the semantic predicate “... is necessarily true”. Thus no modal logic is needed. The neces- sity attributed to law sentences is in turn interpreted as “necessary condition for the rest of the the- ory”, which is true since fundamental laws are implicit definitions of theoretical predicates use in the theory. (shrink)

Let Nomological Bound be the thesis that there is nothing objectively possible beyond what is physically possible. Nomological Bound has struck many as a live hypothesis. Nevertheless, in this article I provide a novel argument against it. Yet even though I claim that Nomological Bound is false, I argue that the boundaries of objective possibility can still be characterized intimately in terms of physical necessity. This is philosophically significant, for on a natural understanding it constitutes the powerful anti-sceptical (...) result that those who believe in physical necessity should not harbour any scepticism towards merely metaphysical possibilities. (shrink)

I propose a different way of thinking about metaphysical and physical necessity: namely that the fundamental notion of necessity is what would ordinarily be called "truth in all physically possible worlds" – a notion which includes the standard physical necessities and the metaphysical ones as well; I suggest that the latter are marked off not as a stricter kind of necessity but by their epistemic status. One result of this reconceptualization is that the Descartes-Kripke argument (...) against naturalism need no longer trouble us. I end by relating the difference between my view and the standard view to the question, whether there could have been a different world than ours. (shrink)

I argue that although in his earlier work descartes thought of the laws of motion as "eternal truths," he later came to think of them as truths whose necessity is of a different type.

(No abstract is available for this citation).

The aim of the present article is to consider the shortcomings of the physicalist rainfall example set forth by Aristotle in Physics II.8. I first outline the ancient physicalist account of the coming-to-be of natural organisms and the accompanying rejection of the teleological character of such processes. Then I examine the rainfall example itself. The fundamental difficulty is that rainfall does not appear to have a proper nature. Hence it is not natural in the strict sense and cannot be used (...) in arguments either for or against natural teleology. Rainfall can at most have an end in a weak sense, which makes it inadequate as a paradigm. Furthermore, the physicalist conception of action for an end is itself flawed. I argue that they construe it anthropomorphically and falsely presuppose a symmetry between coming-to-be and ceasing-to-be. I would like to thank Hasse Hamalainen and Marcin Karas for looking at earlier drafts of this paper. I am also especially grateful for the numerous remarks and suggestions of three anonymous referees. (shrink)

All statements describing physical reality are derived through interpretation of measurement results that requires a theory of the measuring instruments used to make the measurements. The ultimate measuring instrument is our body which displays its measurement results in our mind. Since a physical theory of our mind-body is unknown, the correct interpretation of its measurement results is unknown. The success of the physical sciences has led to a tendency to treat assumption in physics as indisputable facts. This (...) tendency hampers the development of new theories capable of addressing the foundations of mind. To show the possibility that false interpretations of experimental results have lead to equally false projections onto physical reality may have happened, the double slit experiment and special relativity experiments are examined in detail. I will show that strongly held a-priory beliefs characterizing measurement instruments have lead to unjustified but widely held concepts in physical theories. For example the assumption that material bodies have minds can change the interpretation of experiments to produce alternative physical theories. Since some material bodies have minds this paper calls for a review of the conscious observer’s role in the execution and interpretation of fundamental physics experiments in order to verify or challenge the basic beliefs adopted in standard physical theories. (shrink)

This paper aims to show that—and how—Plato’s notion of the receptacle in the Timaeus provides the conditions for developing a mathematical as well as a physical space without itself being space. In response to the debate whether Plato’s receptacle is a conception of space or of matter, I suggest employing criteria from topology and the theory of metric spaces as the most basic ones available. I show that the receptacle fulfils its main task–allowing the elements qua images of the (...) Forms to exist as sensible things by being that in which the elements appear, change and move–in virtue of being pure continuity. All further qualifications required for a full notion of space are derived solely from the content of the receptacle. (shrink)

Aristotle's doctrine of the four causes--formal, final, efficient and material--is famous. But Posterior Analytics B 11 lists "if certain things hold, it is necessary that this does" in place of a standard expression for the material cause. This cause has been dubbed the grounding cause. It has interested scholars since the Greek commentators, who simply assumed that Aristotle meant the material cause. This traditional thesis has been challenged by two views: first, that the grounding cause is a special type of (...) material cause ; second, that it is no material cause at all . ;I set out two arguments for the traditional thesis and consider nine objections to it. Since most of these objections, which constitute the support for the revisionist thesis, can be answered, I reject the revisionist thesis. But in my treatment of one objection it also becomes clear that the traditional thesis is mistaken. The grounding cause is a necessitating cause, yet in Physics B 9 Aristotle makes it clear that many material causes are not necessitating causes. Thus, some form of the modified traditional thesis is true. ;But which form? D. M. Balme suggests that Aristotle means to include only mathematical causes because hypothetical necessity covers all of the relation between matter and product in things which come to be. But Aristotle seems to accept necessitating material causes in several passages in the biological works. In other passages he seems to adopt the position Balme attributes to him. I argue that he does not actually adopt this position, and that he does accept simple necessity in some things which come to be. Thus, the grounding cause is a necessitating material cause, and such causes are found not only in mathematics, but also among things which come to be. (shrink)

In all three of his major works on moral philosophy, Kant conceives of moral obligation, moral permissibility, and moral impermissibility in decidedly modal terms, namely in terms of moral necessity, moral possibility, and moral impossibility respectively. This terminology is not Kant’s own, however, but has a rather long history stretching back to a group of Spanish Jesuit theologians in the early seventeenth century, and it was used in two contexts: first, in the context of divine and human action to (...) explain how volition can be both metaphysically and physically free and yet morally necessary, and second in a deontic context to refer to moral obligation, permissibility, and impermissibility. In this paper, my first and primary aim is to sketch the way in which four of Kant’s most important German predecessors, namely Leibniz, Christian Wolff, Alexander Gottlieb Baumgarten, and Christian August Crusius, used the language of moral necessity, possibility, and impossibility in both the context of action and obligation. My second, more limited aim is to suggest that Kant’s use of these terms can be clarified by taking this background into consideration. (shrink)

This paper discusses some serious difficulties for what we shall call the standard account of various kinds of relative necessity, according to which any given kind of relative necessity may be defined by a strict conditional - necessarily, if C then p - where C is a suitable constant proposition, such as a conjunction of physical laws. We argue, with the help of Humberstone, that the standard account has several unpalatable consequences. We argue that Humberstone’s alternative account (...) has certain disadvantages, and offer another - considerably simpler - solution. (shrink)

I claim that the dominant moral-realist understanding of action and moral responsibility cannot provide a comprehensive account of morality since it neglects the irreducibly personal component of the individual’s moral experience. This is not to embrace non-cognitivism, however; indeed, I challenge the whole realist framework of most contemporary moral philosophy. To this end I explore the phenomenon of moral necessity, exemplified by Luther’s declaration that he “has to” continue his protests against the church. I am careful to distinguish this (...) kind of necessity from physical or psychological necessity, from means-end necessity and from the Categorical Imperative, and I suggest that it is far more widespread and far more complex than the realist or non-cognitivist would allow. Thesedeclarations are personal in that they do not entail any necessary universalisability of the judgement; however, their personal nature does not mean that they must collapse into the merely personal realm of whim and preference. Instead, Luther can be said to experience a legitimately objective demand that he behave thus and so, even though others would not experience such a demand in a relevantly similar situation. This irreducible heterogeneity of the moral, I suggest, lies at the heart of the intractability of many moral arguments. My argument can be derived as broadly Wittgensteinian (without being exegetical), and draws on the work of Peter Winch and Bernard Williams. (shrink)

Kripke and putnam have argued that metaphysical necessity is truth in all possible worlds, Hence is a kind of logica necessity; it is this claim I argue against. My argument proceeds by way of my considering and elaborating an example to show that although 'gold has atomic number 79' be counted a metaphysically necessary truth, There is a possible world in which it is false; it turns out to be for all I show here at most a (...) class='Hi'>physical necessity, True in all those worlds structurally similar to the actual world. (shrink)

During the periods when logical positivism and ordinary language philosophy were ascendant, Brand Blanshard was defending necessity in his writing and in his teaching. The last five chapters of the second volume of The Nature of Thought, published in 1940, were devoted to necessity, and no less than four chapters of Reason and Analysis, appearing in 1962, were on the same subject. The new realism that has supplanted positivism and language philosophy on the American scene should, it would (...) seem, be sympathetic to Blanshard’s insistence that there are physical necessities. For, according to the new realism, the constituents of gross things are real entities that account for the behavior of these things. One would think that it would be recognized that this is possible only if that behavior were a necessary outcome of having those constituents. For, were it only contingent, the behavior could not genuinely be laid at the feet of those constituents. All expectations have been disappointed here, for the new realism remains uncompromisingly Humean when it comes to necessity. Necessity is still, as in the days of positivism and language philosophy, a matter of concepts or linguistic terms and not a matter of things. But if I am right that the new realism is thus far developed only in a one-sided way, then in the near future we shall see a more coherent realism that has embodied many of the features of the doctrine of necessity elaborated by Blanshard. (shrink)

The problem of ‘applicability’ of mathematics to modern physical sciences has been labeled as an ‘unreasonably effective’ and unexplainable ‘miracle’ by prominent physicists such as Eugene Wigner a...

In philosophical logic necessity is usually conceived as a sentential operator rather than as a predicate. An intensional sentential operator does not allow one to express quantified statements such as 'There are necessary a posteriori propositions' or 'All laws of physics are necessary' in first-order logic in a straightforward way, while they are readily formalized if necessity is formalized by a predicate. Replacing the operator conception of necessity by the predicate conception, however, causes various problems and forces (...) one to reject many philosophical accounts involving necessity that are based on the use of operator modal logic. We argue that the expressive power of the predicate account can be restored if a truth predicate is added to the language of first-order modal logic, because the predicate 'is necessary' can then be replaced by 'is necessarily true'. We prove a result showing that this substitution is technically feasible. To this end we provide partial possible-worlds semantics for the language with a predicate of necessity and perform the reduction of necessities to necessary truths. The technique applies also to many other intensional notions that have been analysed by means of modal operators. (shrink)

Available from UMI in association with The British Library. Requires signed TDF. ; Aristotle endorses a very striking doctrine connecting necessity with what seems to be a non-modal notion--that of 'being or happening always'. He also forges a connection between the idea of 'happening by chance' and 'happening neither always nor for the most part'. These two connections form the subject of this essay. My guiding aim is to provide an account of what the 'always/necessary' doctrine involves and of (...) why Aristotle might have held it. Reflection on the nature of the connection between 'by chance' and 'neither always nor for the most part' throws light on what Aristotle means by 'happening always', and, in consequence, on the nature of the link between 'always' and 'necessary'; it also suggests that the basis of this link is to be found in Aristotle 's general conception of the natural world as the object of explanation and knowledge. ;The primary texts upon which discussion of these connections must focus are De Caelo I. 12 and the analysis of chance in Physics II. 4-6. I discuss these two texts in turn, after an opening chapter which surveys the evidence for Aristotle 's acceptance of the 'always/necessary' doctrine and considers the nature of the restrictions which he places on it. Chapter 2 comprises a translation of and commentary on Cael. I. 12, together with a translation and discussion of its companion chapter, I. 10. In Chapter 3, I examine the nature of Aristotle 's argument in I. 12, and criticise various interpretations which see it as evidence that Aristotle 's 'always/necessary' doctrine rests on a distinctive conception of possibility. The translation of and commentary on Phys. II. 4-6 are followed in Chapter 5 by a discussion of issues relating to the association of chance with 'neither always nor for the most part'. The final chapter returns to the question of the connection between 'always' and 'of necessity'. (shrink)

I wish to comment upon Mr. Hendel's suggestion along two lines: 1) the feasibility of Hume's solution; and 2) the implications of empiricism for man's freedom as knower and agent. Of course, Hume's skepticism did draw the "sting out of physical necessity and made it harmless," as Hendel indicates. But the force of this skepticism was also to impugn reason--or reasoning--and this the philosophes were unwilling to countenance. That man was an unknowable factor in an equally unknowable universe (...) did not fit in with their notion of a proper fruit of the philosophical enterprise. And though they were caught between the demands of the moral life and the persuasion of the scientific world view, their belief, that they should stick with the problem of talking about man and his world in the same categories without being skeptical about either, was sound. They must have felt that skepticism was a relatively easy and simple expedient, and a position incompatible with that of scientific naturalism. (shrink)

The ontological argument appears in a multiplicity of forms. Over the past ten or twelve years, however, the philosophical community seems to have been concerned principally with those versions of the proof which claim that God is a necessary being. In contemporary literature, Professors Malcolm and Hartshorne have been the chief advocates of this view, both men holding that God must be conceived as a necessary being and that, as a result, his existence is able to be demonstrated a priori (...) . This claim has not gone unchallenged; indeed, numerous writers have argued that neither Malcolm nor Hartshorne has exercised due care in his use of ‘necessary’. That is, critics charge that the arguments of both men have only the appearance of validity, for in their reasonings the defenders of the a priori proof have tacitly assumed that God is a logically necessary being. Whether or not a being can be logically necessary, however, is a quaestio disputata . In fact, until recently the question was not in dispute at all—virtually all ‘competent judges’ agreed that only propositions could be spoken of as logically necessary, and thus that God must be defined as a physically or factually necessary being. But is the statement, ‘a physically necessary being exists’, logically true? Critics of the ontological argument think not; and in support of this view they offer analyses of ‘physical necessity’ which, they feel, not only give meaning to the phrase, but also show that a physically necessary being's existence can be proven only by some kind of a posteriori investigation. (shrink)

Necessity is a touchstone issue in the thought of Charles Peirce, not least because his pragmatist account of meaning relies upon modal terms. We here offer an overview of Peirce’s highly original and multi-faceted take on the matter. We begin by considering how a self-avowed pragmatist and fallibilist can even talk about necessary truth. We then outline the source of Peirce’s theory of representation in his three categories of Firstness, Secondness and Thirdness, (monadic, dyadic and triadic relations). These have (...) modal purport insofar as the first category corresponds to possibility, the second to mechanical necessity and the third to a kind of semantic or intentional necessity. We then turn to Peirce’s explicit modal epistemology and show how it began as information-relative, with different modalities (e.g. logical, physical, practical) distinguished in terms of respective ‘designated states of information’, and shifted later in his life towards a more robust realism founded in direct perception of ideas in their relations. We then turn to Peirce’s formal logic, focusing on his diagrammatic system of Existential Graphs where he did his most serious logical research. Finally we discuss Peirce’s modal metaphysics and its implications for determinism and realism about universals. (shrink)

Indifference, Necessity, and Descartes's Derivation of the Laws of Motion BLAKE D. DUTTON WHILE WORKING ON Le Monde, his first comprehensive scientific treatise, Des- cartes writes the following to Mersenne: "I think that all those to whom God has given the use of this reason have an obligation to employ it principally in the endeavor to know him and to know themselves. This is the task with which I began my studies; and I can say that I would not (...) have been able to discover the foundations of physics if I had not looked for them along that road" . ' As the letter makes clear, knowl- edge of the foundations of Cartesian physics is inextricably linked to the knowledge of God. Unfortunately, Descartes never explains why this is the case, and the relation in which his theistic doctrine stands to his physics remains unspecified. In what follows I wish to clarify that relation by examining some of the problems surrounding Descartes's attempt to locate the metaphysical founda- tions of his physics in his doctrine of God. I begin my analysis with a discussion of the doctrine of divine indifference and argue that this doctrine is of great importance to any interpretation of the foundations of Cartesian physics, insofar as it provides Descartes with a rationale for dismissing the appeal to final causation in scientific explanation. Insofar as this is the case, it supplies an important piece of his justification for mechanism... (shrink)

This is a book about laws. Not, however, about the laws of which we learned in science classes at school: “scientific laws”. It is rather about those universalities which govern the world of facts, what Swartz calls “physical laws”—although this language is slightly misleading because the term is intended to cover the living as well as the non-living world. Of course, it may well be that a scientific law does capture the essence of a physical law, but not (...) necessarily or usually. A physical law by definition can never be false, whereas almost paradoxically nearly all scientific laws are false. (shrink)

This paper explores the theory of freedom that Emilie du Châtelet advances in her essay “On Freedom.” Using contemporary terminology, we can characterize this theory as a version of agent-causal compatibilism. More specifically, the theory has the following elements: (a) freedom consists in the power to act in accordance with one’s choices, (b) freedom requires the ability to suspend desires and master passions, (c) freedom requires a power of self-motion in the agent, and (d) freedom is compatible with moral (...) class='Hi'>necessity but not with physical necessity. While these elements may at first appear disparate, the paper shows that they fit together quite well. The resulting theory is a surprising combination of doctrines that appear to be based on Samuel Clarke’s libertarian account of free will and doctrines that are reminiscent of the compatibilist accounts of John Locke, Anthony Collins, Gottfried Leibniz, and Thomas Hobbes. (shrink)

This chapter aims to resolve some of Nathan Salmon's puzzlement by clarifying the relationship between theses and questions about reference and theses and questions about necessity and possibility. It argues that while Saul Kripke defends metaphysical theses about the descriptive semantics of names, the way the reference relation is determined, and the capacities and dispositions of human beings and physical objects, his most important philosophical accomplishment is in the way he posed and clarified the questions, and not in (...) the particular answers that he gave to them. In response to the question about the capacities and potentialities of the things that peoples commonly refer to with names, Kripke defends the thesis that it makes sense to talk about the logical potential of an individual thing independently of how it is referred to, and that this potential is greater in certain ways, and less great in others, than some philosophers have supposed. (shrink)

Saul Kripke, in a series of classic writings of the 1960s and 1970s, changed the face of metaphysics and philosophy of language. Christopher Hughes offers a careful exposition and critical analysis of Kripke's central ideas about names, necessity, and identity. He clears up some common misunderstandings of Kripke's views on rigid designation, causality and reference, and the necessary a posteriori and contingent a priori. Through his engagement with Kripke's ideas Hughes makes a significant contribution to ongoing debates on, inter (...) alia, the semantics of natural kind terms, the nature of natural kinds, the essentiality of origin and constitution, the relative merits of 'identitarian' and counterpart-theoretic accounts of modality, and the identity or otherwise of mental types and tokens with physical types and tokens. No specialist knowledge in either the philosophy of language or metaphysics is presupposed; Hughes's book will be valuable for anyone working on the ideas which Kripke made famous in the philosophy world. (shrink)