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)

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)

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)

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)

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)

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.

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)

(No abstract is available for this citation).

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.

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

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)

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)

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)

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)

Analytical commentary -- Fruits upon one tree -- The continuation of the early draft into philosophy of mathematics -- Hidden isomorphism -- A common methodology -- The flatness of philosophical grammar -- Following a rule 185-242 -- Introduction to the exegesis -- Rules and grammar -- The tractatus and rules of logical syntax -- From logical syntax to philosophical grammar -- Rules and rule-formulations -- Philosophy and grammar -- The scope of grammar -- Some morals -- Exegesis 185-8 -- Accord (...) with a rule -- Initial compass bearings -- Accord and the harmony between language and reality -- Rules of inference and logical machinery -- Formulations and explanations of rules by examples -- Interpretations, fitting and grammar -- Further misunderstandings -- Exegesis 189-202 -- Following rules, mastery of techniques and practices -- Following a rule -- Practices and techniques -- Doing the right thing and doing the same thing -- Privacy and the community view -- On not digging below bedrock -- Private linguists and private linguists : Robinson Crusoe sails again -- Is a language necessarily shared with a community of speakers? -- Innate knowledge of a language -- Robinson Crusoe sails again -- Solitary cavemen and monolinguists -- Private languages and private languages -- Exegesis 203-37 -- Agreement in definitions, judgements, and form of life -- The scaffolding of facts -- The role of our nature -- Forms of life -- Agreement : consensus of human beings and their actions -- Exegesis 238-42 -- Grammar and necessity -- Setting the stage -- Leitmotifs -- External guidelines -- Necessary propositions and norms of representation -- Concerning the truth and falsehood of necessary propositions -- What necessary truths are about illusions of correspondence : ideal objects, kinds of reality, and ultra-physics -- The psychology of the A priori -- Knowledge -- Belief -- Certainty -- Surprise -- Discoveries and conjectures -- Compulsion -- Propositions of logic and laws of thought -- Alternative forms of representation -- The arbitrariness of grammar -- A kinship to the non-arbitrary -- Proof in mathematics -- Conventionalism. (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)

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...

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)

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)