A complex theory concerning powers, natures, and causal necessity has emerged from the writings of P. H. Hare, E. H. Madden, and R. Harré. In the course of rebutting objections that other critics have raised to the power account of causation, I correct three of its genuine difficulties: its attempt to analyze power attributions in terms of conditional statements; its characterization of the relation between something's powers and its nature; and its doctrines concerning conceptual necessity. The resulting interpretation of causal (...) modalities is then subsumed under a more general power account of modality, related at a number of points to considerations concerning powers, and further illustrating their philosophical importance. (shrink)

In these few pages I shall try to demonstrate the emptiness of the most cumbersome piece of unexamined intellectual baggage at present being hauled about by English philosophers. I here cite one example to be going on with, at the end of the paper I shall give a handful more, and it would be easy to multiply the number by ten from the writings of reputable philosophers. The outstanding philosophical achievement of the ha1f-century which has just drawn to a close (...) [i.e. the period 1900-1950] has been an appreciation of the peculiar status of a priori judgments and of logically necessary or formally true propositions. . . . Though many problems remain unsolved, the main outline is now clear: formally true statements assert nothing about the world; instead, their function is to state principles according to which empirical propositions are deduced from other empirical propositions . . . (R. B. Braithwaite, ‘Moral Principles and Inductive Policies’, Proceedings of the British Academy 1950). What is wrong with this passage and with the myth of which it is an expression is its assumption that we have clear notions of what it is for a proposition to be logically necessary and of what it is for a proposition to assert something about the world, these notions being such that it is plausible to say that it has recently been discovered that every proposition having the first of these properties lacks the second. This assumption is wrong: there is no body of published theory giving a clear account of such notions, and despite fairly diligent searching I have so far failed to find, among the many philosophers who accept the myth, one who is able when challenged to supplement the literature on this vital point. Let me make it clear at once that I am not going to defend synthetic a priori truths - I am going to attack a popular mishandling of the truth that all necessary truths are analytic, and through this attack to draw right-wing conclusions from left-wing premisses.. (shrink)

This paper aims to explain how the Tractatus attempts to unifylogic by deriving the truth-functionality of logical necessityfrom the thesis that a proposition shows its sense. I first interpret the Tractarian notion of showing as the displaying ofwhat is intrinsic to an expression (or a symbol). Then I argue that, according to theTractatus, the thesis that a proposition shows its sense implies the determinacy of sense, the possibility of the complete elimination of non-primitive symbols, the analyticity thesis and the strong (...) analyticity thesis. The picture theory emerges as what provides the only acceptable account of an elementary proposition, subject to the constraint that a proposition must show its sense. The picture theory and the analyticity thesis then entail the contingency thesis (that an elementary proposition is contingent) and the independence thesis (that elementary propositions are mutually logically independent) which, together with the strong analyticity thesis, imply that all logical propositions are tautologies. (shrink)

Graham Oppy has argued that possible explanation entails explanation in order to object to Richard Gale and Alexander Pruss’s new cosmological argument that it does not improve upon familiar cosmological arguments. Gale and Pruss as well as Pruss individually have granted Oppy’s inference from possible explanation to explanation and argue that this inference provides a reason to believe that the strong principle of sufficient reason is true. In this article, I shall undermine Oppy’s objection to the new cosmological argument by (...) arguing that it is logically possible that some truths are merely possibly explained. (shrink)

This paper analyzes the logical truths as (very roughly) those truths that would still have been true under a certain range of counterfactual perturbations.What’s nice is that the relevant range is characterized without relying (overtly, at least) upon the notion of logical truth. This approach suggests a conception of necessity that explains what the different varieties of necessity (logical, physical, etc.) have in common, in virtue of which they are all varieties of necessity. However, this approach places the counterfactual conditionals (...) in an unfamiliar foundational role. (shrink)

An attempt is made to show that Wittgenstein's later philosophy of logic is not the kind of conventionalism which is often ascribed to him. On the contrary, Wittgenstein gives expression to a ?mixed? theory which is not only interesting but tends to resolve the perplexities usually associated with the question of the a priori character of logical truth. I try to show that Wittgenstein is better understood not as denying that there are such things as ?logical rules? nor as denying (...) that the results of applying such rules are ?logically necessary,? but as trying to understand what it is to appeal to a logical rule and what it means to say that the results of applying such a rule are ?necessary.? He is not so much overthrowing standard accounts of logical necessity as discovering the limits of the concept. (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.

Tenseless theories of time entail that earlierthan, later than and simultaneous with (i.e.,McTaggart's `B-series') are the only temporalproperties exemplified by events. Such theories oftencome under attack for being unable to satisfactorilyaccount for tensed language. In this essay I arguethat tenseless theories of time are capable of twofeats that critics, such as Quentin Smith, argue arebeyond their grasp: (1) They can coherently explainthe impossibility of translating all tensed sentencesby tenseless counterparts; (2) They can account forcertain obviously valid entailment relations betweentensed sentence (...) types. In analyzing tensed entailmentrelations tenselessly, I favor a date analysis oftensed language over a token-reflexive theory. Theupshot is that tenseless theories of time are notundermined by the linguistic facts. (shrink)

In this paper I argue that Kierkegaard's theory of change is motivated by a robust notion of contingency. His view of contingency is sharply juxtaposed with a strong notion of absolute necessity. I show that how he understands these notions explains certain of his claims about causation. I end by suggesting a compatibilist interpretation of Kierkegaard's philosophy.

Critical (necessary or sufficient) features in categorisation have a long history, but the empirical evidence makes their existence questionable. Nevertheless, there are some cases that suggest critical feature effects. The purpose of the present work is to offer some insight into why classification decisions might misleadingly appear as if they involve critical features. Utilising Tversky's (1977) contrast model of similarity, we suggest that when an object has a sparser representation, changing any of its features is more likely to lead to (...) a change in identity than it would in objects that have richer representations. Experiment 1 provides a basic test of this suggestion with artificial stimuli, whereby objects with a rich or a sparse representation were transformed by changing one of their features. As expected, we observed more identity judgements in the former case. Experiment 2 further confirms our hypothesis, with realistic stimuli, by assuming that superordinate categories have sparser representations than subordinate ones. These results offer some insight into the way feature changes may or may not lead to identity changes in classification decisions. (shrink)

Critical (necessary or sufficient) features in categorisation have a long history, but the empirical evidence makes their existence questionable. Nevertheless, there are some cases that suggest critical feature effects. The purpose of the present work is to offer some insight into why classification decisions might misleadingly appear as if they involve critical features. Utilising Tversky's (1977) contrast model of similarity, we suggest that when an object has a sparser representation, changing any of its features is more likely to lead to (...) a change in identity than it would in objects that have richer representations. Experiment 1 provides a basic test of this suggestion with artificial stimuli, whereby objects with a rich or a sparse representation were transformed by changing one of their features. As expected, we observed more identity judgements in the former case. Experiment 2 further confirms our hypothesis, with realistic stimuli, by assuming that superordinate categories have sparser representations than subordinate ones. These results offer some insight into the way feature changes may or may not lead to identity changes in classification decisions. (shrink)

The issues of just what laws of nature are and what makes statements law-like have been more discussed than advanced. After exploring the general area and uncovering some difficulties which, I suspect, make the case even knottier than generally imagined, I argue that certain resources available only to the theist---in particular, counterfactuals of God’s freedom---may provide the materials needed for constructing solutions.

Hume's arguments for the contention that causal necessity precludes logical necessity depend on the questionable principle that a cause must precede its effect. Hobbes' definition of entire cause, although it fails to account for causal priority, is not refuted by Hume. The objections of Myles Brand and Marshall Swain (Philosophical Studies, 1976) to my counterexample against Hume (Philosophical Studies, 1975) are ineffective. Their other objections to my criticisms of their argument against defining causation in terms of necessary and sufficient conditions (...) (Synthese, 1970) are also mostly ineffective. (shrink)

Myles Brand and Marshall Swain advocate the principle that if A is the set of conditions individually necessary and jointly sufficient for the occurrence of B, then if C is a set of conditions individually necessary for the occurrence of B, every member of C is a member of A. I agree with John Barker and Risto Hilpinen who each argue that this principle is not true for causal necessity and sufficiency, but I disagree with their claim that it is (...) true for logical necessity and sufficiency. The original appeal of the principle may be due to confusing two kinds of totality: to say that when every member of set A obtains, then every condition necessary for E obtains is not to say that every condition necessary for E is a member of A. All the authors mentioned believe that causal necessity precludes logical necessity. I deny this on the basis of an example from kinematics. Hume has not refuted definitions of causation in terms of logically necessary and sufficient conditions, nor have Brand and Swain. (shrink)

In this fascinating work, Scott Soames offers a new conception of the relationship between linguistic meaning and assertions made by utterances. He gives meanings of proper names and natural kind predicates and explains their use in attitude ascriptions. He also demonstrates the irrelevance of rigid designation in understanding why theoretical identities containing such predicates are necessary, if true.

Prior research shows that reasoners' confidence is poorly calibrated (Shynkaruk & Thompson, 2006). The goal of the current experiment was to increase calibration in syllogistic reasoning by training reasoners on (a) the concept of logical necessity and (b) the idea that more than one representation of the premises may be possible. Training improved accuracy and was also effective in remedying some systematic misunderstandings about the task: those in the training condition were better at estimating their overall performance than those who (...) were untrained. However, training was less successful in helping reasoners to discriminate which items are most likely to cause them difficulties. In addition we explored other variables that may affect confidence and accuracy, such as the number of models required to represent the problem and whether or not the presented conclusion was necessitated by the premises, possible given the premises, or impossible given the premises. These variables had systematically different relationships to confidence and accuracy. Thus, we propose that confidence in reasoning judgements is analogous to confidence in memory retrievals, in that they are inferentially derived from cues that are not diagnostic in terms of accuracy. (shrink)

This study investigated individual differences in the belief bias effect, which is the tendency to accept conclusions because they are believable rather than because they are logically valid. It was observed that the extent of an individual's belief bias effect was unrelated to a number of measures of reasoning competence. Instead, as predicted by mental models theory, it was related to a person's ability to generate alternative representations of premises: the more alternatives a person generated, the less likely they were (...) to show a belief bias effect. In contrast to belief effects, which were predicted by the number of alternatives generated, scores on logical reasoning tasks were predicted by an individual's understanding of the concept of logical necessity. These two mediating variables, ability to generate alternatives and understanding of logical necessity, were themselves predicted by similar variables, such as cognitive motivation and abstract reasoning ability. Our findings strongly support the mental models interpretation of the belief bias effect, and suggest that individual differences in this effect are associated with a specific ability to generate alternatives, rather than with a general logical competence. (shrink)

Prior research shows that reasoners' confidence is poorly calibrated (Shynkaruk & Thompson, 2006). The goal of the current experiment was to increase calibration in syllogistic reasoning by training reasoners on (a) the concept of logical necessity and (b) the idea that more than one representation of the premises may be possible. Training improved accuracy and was also effective in remedying some systematic misunderstandings about the task: those in the training condition were better at estimating their overall performance than those who (...) were untrained. However, training was less successful in helping reasoners to discriminate which items are most likely to cause them difficulties. In addition we explored other variables that may affect confidence and accuracy, such as the number of models required to represent the problem and whether or not the presented conclusion was necessitated by the premises, possible given the premises, or impossible given the premises. These variables had systematically different relationships to confidence and accuracy. Thus, we propose that confidence in reasoning judgements is analogous to confidence in memory retrievals, in that they are inferentially derived from cues that are not diagnostic in terms of accuracy. (shrink)

This article discusses how the words 'necessary' and 'analytic' are suitably used in philosophy. It is argued that analytic statements should not be called 'necessary'.

In the last 30 years much philosophical discussion has been generated by Kripke’s proof of the necessity of origin for material objects presented in footnote 56 of ‘Naming and Necessity’. I consider the two most popular reconstructions of Kripke’s argument: one appealing to the necessary sufficiency of origin, and the other employing a strong independence principle allegedly derived from the necessary local nature of prevention. I argue that, to achieve a general result, both reconstructions presuppose an implicit Humean atomistic thesis (...) of recombination, according to which any two (non-overlapping) possible objects can simultaneously coexist in one and the same world. Yet recombination ill accords with the other assumptions of the proofs. I also argue that the locality of prevention does not entail strong independence. (shrink)

I begin by contrasting three approaches one can take to the distinction between the essential and accidental properties: an ontological, a deflationary, and a mind-dependent approach. I then go on to apply that distinction to the necessary a posteriori, and defend the deflationist view. Finally I apply the distinction to modal truth in general and argue that the deflationist position lets us avoid an otherwise pressing problem for the actualist: the problem of accounting for the source of modal truth.

I defend a version of Kripke's claim that the metaphysically necessary and the knowable a priori are independent. On my version, there are two independent families of modal notions, metaphysical and epistemic, neither stronger than the other. Metaphysical possibility is constrained by the laws of nature. Logical validity, I suggest, is best understood in terms of epistemic necessity.

I defend a version of Kripke's claim that the metaphysically necessary and the knowable a priori are independent. On my version, there are two independent families of modal notions, metaphysical and epistemic, neither stronger than the other. Metaphysical possibility is constrained by the laws of nature. Logical validity, I suggest, is best understood in terms of epistemic necessity.

This paper is an informal presentation of the ideas presented formally in (”Relative-Sameness Counterpart Theory”. Relative-sameness relations -- such as being the same person as -- are like David Lewis’s “counterpart” relations in the following respects: (i) they may hold over time or across worlds between objects that aren’t cross-time or cross-world identical (I propose), and (ii) there are a multiplicity of them, different ones of which may be variously invoked in different contexts. They differ from his counterpart relations, however, (...) in that they are weak equivalence relations (transitive, symmetric and weakly reflexive). The likenesses to counterpart relations make them suitable for an analysis of de-re temporal and modal predications. The difference renders the resulting counterpart theory immune to standard criticisms of Lewis’s Counterpart Theory (e.g., in Hazen 1979, and Fara and Williamson 2005). The use of sameness as opposed to similarity relations in the analysis of de-re temporal and modal predication renders the resulting truth conditions as statable in terms that proponents of Kripke’s identity-based analysis can accept. (shrink)

The standard view of metaphysical necessity is that it is truth in all possible worlds, and therefore that the correct modal logic for metaphysical necessity is S5, in models of which all worlds are accessible from each other. I argue that S5 cannot be the correct logic for metaphysical necessity because accessibility is not symmetric: there are possible worlds that are accessible from ours but from which our world is not accessible. There are (or could be) some individuals who, if (...) they had not existed, could not have existed. Once the possibility of such individuals is lost, it is gone forever. (shrink)

On the basis of arguments put forth by (Kripke, 1977a) and (Kripke, 1980), it is widely held that one can sometimes rationally accept propositions of the form P and not-P and also that there are necessary a posteriori truths. We will find that Kripke's arguments for these views appear probative only so long as one fails to distinguish between semantics and presemantics—between the literal meanings of sentences, on the one hand, and the information on the basis of which one identifies (...) those literal meanings, on the other. This same failure, it will be argued, underlies the popular thesis that intersubstituting co-referring terms sometimes turns true sentences into false ones and vice versa. Though seemingly plausible, this thesis has a number of counterintuitive consequences, among them that the occurrence of “snow” in “it is true that snow is white” doesn’t refer to snow. An understanding of the distinction between semantics and presemantics suggests a way to develop a semantic system that doesn’t have these consequences and that, moreover, reconciles our intuitions concerning cognitive content with some powerfully argued theses of contemporary philosophy of language. Some of this paper's main contentions are anticipated by Andrzej Boguslawski in his 1994 paper “Sentential Complementation and Truth.”. (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)

It is commonly held, plausibly, that many true beliefs are true only contingently, that is, are actually true (or true with respect to the actual world) but would be false were the world in some relevant ways otherwise (i.e. are false with respect to some other possible worlds). However, a radically different approach, according to which no belief is contingently true, is entirely defensible. The key point in this alternative approach is that each belief concerns the world in which the (...) believer is (or would be) situated, which makes it the case that, say, the actual belief that Kofi Annan is not bald is different from the belief, in any other world, that Kofi Annan is not bald. This difference is further backed up by considerations related to disagreement between believers, and to knowledge. The most important objection to this alternative approach is that it cannot be right since it makes all true beliefs necessarily true. It will be shown, as a reply to this objection, that under this alternative approach it can still be said truly, for instance, that Annan is not bald but could have been so. (shrink)

A strong impossibility is a situation that is epistemically, but not metaphysically, possible. Opponents of strong impossibilities (including Chalmers, Jackson and Stalnaker) have argued that we have “overwhelming reason” to reject and “very little” or “no reason” to think that such impossibilities exist. This partial draft argues that there are strong impossibilities and (very briefly) discusses the manner in which the existence of strong impossibilities is related to some much-discussed arguments in the philosophy of conscious experience. (The full version of (...) the paper will ultimately include a reply to the most significant argument against strong impossibilities, and a (slightly) more involved discussion of the relevance of all of this to issues in the philosophy of conscious experience.). (shrink)

It is commonly supposed that metaphysical modal claims are to be evaluated with respect to a single domain of possible worlds: a claim is metaphysically necessary just in case it is true in every possible world, and metaphysically possible just in case it is true in some possible world. We argue that the standard understanding is incorrect; rather, whether a given claim is metaphysically necessary or possible is relative to which world is indicatively actual. We motivate our view by attention (...) to discussions in Salmon 1989 and Fine 2005, in which various data are taken to support rejecting the transitivity of accessibility (Salmon) and modal monism (Fine); we argue that relativized metaphysical modality can accommodate these data compatible with both standard modal logic(s) and modal monism. Noting an analogy with two-dimensional semantics, we argue that metaphysical modality has a complex structure, reflecting what is counterfactually possible, relative to each indicatively actual world. In arguing for the need for relativization, we are broadly on the same side as Crossley and Humberstone (1977) and Davies and Humberstone (1979); our contribution here is, first, to offer distinctively metaphysical reasons for relativization, and second, to show that relativization can be incorporated in ways minimally departing from standard modal logic(s). (shrink)

A lot of philosophers engage in debates about what claims are “metaphysically necessary”, and a lot more assume with little argument that some classes of claims have the status of “metaphysical necessity”. I think we can usefully replace questions about metaphysical necessity with five other questions which each capture some of what people may have had in mind when talking about metaphysical necessity. This paper explains these five other questions, and then discusses the question “how much of metaphysics is metaphysically (...) necessary?”, and each of its five replacements. (shrink)

For scientific essentialists, the only logical possibilities of existence are the real (or metaphysical) ones, and such possibilities, they say, are relative to worlds. They are not a priori, and they cannot just be invented. Rather, they are discoverable only by the a posteriori methods of science. There are, however, many philosophers who think that real possibilities are knowable a priori, or that they can just be invented. Marc Lange [Lange 2004] thinks that they can be invented, and tries to (...) use his inventions to argue that the essentialist theory of counterfactual conditionals developed in Scientific Essentialism [Ellis 2001, hereafter SE ] is flawed. (shrink)

This paper presents an account of the understanding of statements involving metaphysical modality, together with dovetailing theories of their truth conditions and epistemology. The account makes modal truth an objective matter, whilst avoiding both Lewisian modal realism and mind-dependent or expressivist treatments of the truth conditions of modal sentences. The theory proceeds by formulating constraints a world-description must meet if it is to represent a genuine possibility. Modal truth is fixed by the totality of the constraints. To understand modal discourse (...) is to have tacit knowledge of the body of information stated in these constraints. Modal knowledge is attained by evaluating modal statements in accordance with the constraints. The question of the general relations between modal truth and knowability is also addressed. The paper includes a discussion of which modal logic is supported by the presented theory of truth conditions for modal statements. (shrink)

Press a square paperweight into a lump of soft clay. What results is a square impression. Could a circular impression have resulted instead? The answer seems to be No. In this paper, I take this and similar examples as evidence for power essentialism, the thesis that the powers bestowed by a property are essential to it. I spend most of the paper trying to answer a few arguments against the evidential value of such examples: (1) there is the appearance of (...) necessity here, but it is of the wrong sort of necessity, say, mere nomological necessity; (2) one gets the appearance of necessity only if powers (such as rigidity) are held fixed, rendering the examples useless as evidence for power essentialism; (3) the examples are too simple, too crudely mechanistic. (shrink)

In George Nakhnikian’s interesting and stimulating paper, “Quantum Cosmology, Theistic Philosophical Cosmology, and the Existence Question” (present issue) he addresses the fundamental issue of whether it is metaphysically possible or justifiable to believe that our universe began to exist without a cause, divine or otherwise. His conclusion is negative, and he argues that, contrary to my views, quantum cosmology is consistent with theism. In this paper, I shall evaluate Nakhnikian’s arguments.

In this fascinating work, Scott Soames offers a new conception of the relationship between linguistic meaning and assertions made by utterances. He gives meanings of proper names and natural kind predicates and explains their use in attitude ascriptions. He also demonstrates the irrelevance of rigid designation in understanding why theoretical identities containing such predicates are necessary, if true.

What is our epistemic access to metaphysical modality? Timothy Williamson suggests that the epistemology of counterfactuals will provide the answer. This paper challenges Williamson's account and argues that certain elements of the epistemology of counterfactuals that he discusses, namely so called background knowledge and constitutive facts, are already saturated with modal content which his account fails to explain. Williamson's account will first be outlined and the role of background knowledge and constitutive facts analysed. Their key role is to restrict our (...) imagination to rule out irrelevant counterfactual suppositions. However, background knowledge turns out to be problematic in cases where we are dealing with metaphysically possible counterfactual suppositions that violate the actual laws of physics. As we will see, unless Williamson assumes that background knowledge corresponds with the actual, true laws of physics and that these laws are metaphysically necessary, it will be difficult to address this problem. Furthermore, Williamson's account fails to accommodate the distinction between conceivable yet metaphysically impossible scenarios, and conceivable and metaphysically possible scenarios. This is because background knowledge and constitutive facts are based strictly on our knowledge of the actual world. Williamson does attempt to address this concern with regard to metaphysical necessities – as they hold across all possible worlds – but we will see that even in this case the explanation is questionable. These problems, it will be suggested, cannot be addressed in a counterfactual account of the epistemology of modality. The paper finishes with an analysis of Williamson's possible rejoinders and some discussion about the prospects of an alternative account of modal epistemology. (shrink)

In this paper I will offer a novel understanding of a priori knowledge. My claim is that the sharp distinction that is usually made between a priori and a posteriori knowledge is groundless. It will be argued that a plausible understanding of a priori and a posteriori knowledge has to acknowledge that they are in a constant bootstrapping relationship. It is also crucial that we distinguish between a priori propositions that hold in the actual world and merely possible, non-actual a (...) priori propositions, as we will see when considering cases like Euclidean geometry. Furthermore, contrary to what Kripke seems to suggest, a priori knowledge is intimately connected with metaphysical modality, indeed, grounded in it. The task of a priori reasoning, according to this account, is to delimit the space of metaphysically possible worlds in order for us to be able to determine what is actual. (shrink)

I undertake a metaphysical investigation of Saul Kripke's modern classic, Naming and Necessity (1980). The general problem of my study may be expressed as follows: What is the metaphysical justification of the validity and existence of the pertinent classes of truths, the necessary a posteriori and the contingent a priori, according to the Kripke Paradigm? My approach is meant to disclose the logical and ontological principles underlying Kripke's arguments for the necessary a posteriori and the contingent a priori respectively. The (...) results of my study are to a certain extent negative: They attempt to show that the classes of the necessary a posteriori and the contingent a priori statements cannot possibly be valid. If the general argument of this thesis is sound, then, on this ground, the realist conception of metaphysical essentialism is rejected. The positive thesis of this study is the articulation of certain ways to frame the necessary a posteriori and the contingent a priori which avoid the problems of realistic essentialism and which suggest a certain transcendental reading of modality. According to the Kripke Paradigm, any de dicto modal status (of a statement) derives ultimately from the de re modality inherent in the object designated, as the object is characterised by contingent and necessary properties on the ontological level. Thus, the Kripke Paradigm is primarily a thesis in de re realist essentialism. The final verdict in this study is that the Kripke Paradigm cannot sustain the realistic conception of de re metaphysical essentialism. If we should adopt a transcendental reading of modality, then certain portions of the Kripke Paradigm are valid. I do not delineate or possess the details of a comprehensive doctrine of transcendental metaphysic. Nevertheless, the observations I make should suffice to bring about the rough orientation of how I conceive the notion of transcendental modality. (shrink)

This paper argues that there are true synthetic modal claims and that modal questions in philosophy are to be interpreted not in terms of logical necessity but in terms of synthetic necessity. I begin by sketching the debate about modality between logical empiricism and phenome-nology. Logical empiricism taught us to equate analyticity and neces-sity. The now common view is that analytic statements are necessary in the narrow sense but that there is also necessity in a wider sense. I argue against (...) this that we should distinguish analyticity and necessity more strictly. (shrink)

It is spelled out in which sense God exists necessarily. Some contemporary accounts are criticised.

A necessarily true sentence is 'brute' if it does not rigidly refer to anything and if it cannot be reduced to a logical truth. The question of whether there are brute necessities is an extremely natural one. Cian Dorr has recently argued for far-reaching metaphysical claims on the basis of the principle that there are no brute necessities: he initially argued that there are no non-symmetric relations, and later that there are no abstract objects at all. I argue that there (...) are nominalistically acceptable brute necessities, and that Dorr's arguments thus fail. My argument is an application of Gödel's first incompleteness theorem. (shrink)

Why believe Hume's Dictum, according to which there are, roughly speaking, no necessary connections between wholly distinct entities? Schaffer ('Quiddistic Knowledge', 2009) suggests that HD, at least as applied to causal or nomological connections, is motivated as required by the best account of (the truth) of counterfactuals---namely, a similarity-based possible worlds account, where the operative notion of similarity requires 'miracles'---more specifically, worlds where entities of the same type that actually exist enter into different laws. The main cited motivations for such (...) an account of similarity are first, that some salient contexts presuppose CF asymmetry, and second, that accounts of CFs failing to presuppose CF asymmetry are epistemologically problematic, such that under conditions of determinism, the variations in initial micro-conditions needed to implement a given counterfactual antecedent would result in so many changes to macro-states that evaluation of CFs would be rendered practically impossible. Against the first reason, I argue that no non-artificial contexts presuppose CF asymmetry; against the second, I observe that such micro-variation is compatible, in principle, with significant similarity as regards macroscopic states of affairs---enough, in particular, to allow CFs to be appropriately evaluated. (shrink)

Humeans and non-Humeans reasonably agree that there may be necessary connections between entities that are identical or merely partly distinct—between, e.g., sets and their individual members, fusions and their individual parts, instances of determinates and determinables, members of certain natural kinds and certain of their intrinsic properties, and (especially among physicalists) certain physical and mental states. Humeans maintain, however, that as per “Hume’s Dictum”, there are no necessary connections between entities that are wholly distinct;1 and in particular, no necessary causal (...) connections between such entities (even when the background conditions requisite for causation are in place). The Humean’s differential treatment appears principled, in reflecting that commonly accepted necessary connections involve constitutional relations, whereas wholly distinct entities (notably, causes and effects) do not constitute each other. I’ll argue, however, that the appearance of principle is not genuine, as per the following conditional: Constitutional→Causal: If one accepts certain constitutional necessities, one should accept certain causal necessities. This result provides needed leverage in assessing the two main frameworks in the metaphysics of science, treating natural kinds, causes, laws of nature, and the like. These frameworks differ primarily on whether Hume’s Dictum is taken as a working constraint on theorizing; and it has proved difficult for either side to criticize the other without presupposing their preferred stance on the dictum, hence talking past one another. The arguments for Constitutional→Causal are based, however, in general and independent considerations about what facts in the world might plausibly warrant our beliefs in certain constitutional necessities involving broadly scientific entities. The Humean can respond to these arguments, which reveal a deep tension in their view, at attendant costs of implausibilty and adhocery. The non-Humean framework doesn’t face any such tension between constitutional and causal necessities, however, and so in this respect comes out ahead. (shrink)

Hume's Dictum (HD) says, roughly and typically, that there are no metaphysically necessary connections between distinct, intrinsically typed, entities. HD plays an influential role in metaphysical debate, both in constructing theories and in assessing them. One should ask of such an influential thesis: why believe it? Proponents do not accept Hume's arguments for his dictum, nor do they provide their own; however, some have suggested either that HD is analytic or that it is synthetic a priori (that is: motivated by (...) intuitions we have no good reason to question). Here I explore whether belief in HD is directly justified on either grounds. I motivate and present more formal characterizations of HD; I show that there are good prima facie cases to be made for HD's being analytic and for its being synthetic a priori; I argue that each of the prima facie cases fails, some things considered. I close by offering two suggestions for how belief in HD might be indirectly justified on argumentative grounds. (shrink)

The Kripkean metaphysical modality (i.e. possibility and necessity) is one of the most important concepts in contemporary analytic philosophy and is the basis of many metaphysical speculations. These metaphysical speculations frequently commit to entities that do not belong to this physical universe, such as merely possible entities, abstract entities, mental entities or qualities not realizable by the physical, which seems to contradict naturalism or physicalism. This paper proposes a naturalistic interpretation of the Kripkean modality, as a naturalist’s response to these (...) metaphysical speculations. It will show that naturalism can accommodate the Kripkean metaphysical modality. In particular, it will show that naturalism can help to resolve the puzzles surrounding Kripke’s a posteriori necessary propositions and a priori contingent propositions. (shrink)

David Armstrong sets out his metaphysical system in a set of concise and lively chapters each dealing with one aspect of the world.

This is a study of a crucial and controversial topic in metaphysics and the philosophy of science: the status of the laws of nature. D. M. Armstrong works out clearly and in comprehensive detail a largely original view that laws are relations between properties or universals. The theory is continuous with the views on universals and more generally with the scientific realism that Professor Armstrong has advanced in earlier publications. He begins here by mounting an attack on the orthodox and (...) sceptical view deriving from Hume that laws assert no more than a regularity of coincidence between instances of properties. In doing so he presents what may become the definitive statement of the case against this position. Professor Armstrong then goes on to establish his own theory in a systematic manner defending it against the most likely objections, and extending both it and the related theory of universals to cover functional and statistical laws. This treatment of the subject is refreshingly concise and vivid: it will both stimulate vigorous professional debate and make an excellent student text. (shrink)

I argue that the contemporary interplay of cosmology and particle physics in their joint effort to understand the processes at work during the first moments of the big bang has important implications for understanding the nature of lawhood. I focus on the phenomenon of spontaneous symmetry breaking responsible for generating the masses of certain particles. This phenomenon presents problems for the currently fashionable Dretske-Tooley-Armstrong theory and strongly favors a rival nomic ontology of causal powers.

I show that Armstrong’s view of laws as second-order contingent relations of ‘necessitation’ among categorical properties faces a dilemma. The necessitation relation confers a relation of extensional inclusion (‘constant conjunction’) on its relata. It does so either necessarily or contingently. If necessarily, it is not a categorical relation (in the relevant sense). If contingently, then an explanation is required of how it confers extensional inclusion. That explanation will need to appeal to a third-order relation between necessitation and extensional inclusion. The (...) same dilemma reappears at this level. Either Armstrong must concede that some properties are not categorical but have essential powers – or he is faced with a regress. (shrink)

To answer the question, we need first to consider the notion of necessity and the related notion of contingency. These are so-called "modal" notions. Other modal notions include those of possibility, impossibility, non-necessity, and noncontingency. All play a crucial role in philosophical thinking about matters to do with logic, metaphysics, morality, law, etc. This is because none of these modal notions is univocal in meaning. There are, so to speak, different "species" of the generic notions of necessity, contingency, possibility, and (...) the rest. (shrink)

It is a traditional empiricist doctrine that natural laws are universal truths. In order to overcome the obvious difficulties with this equation most empiricists qualify it by proposing to equate laws with universal truths that play a certain role, or have a certain function, within the larger scientific enterprise. This view is examined in detail and rejected; it fails to account for a variety of features that laws are acknowledged to have. An alternative view is advanced in which laws are (...) expressed by singular statements of fact describing the relationship between universal properties and magnitudes. (shrink)

This paper lays out the main contours of an objectivistic account of natural necessity that locates its source within natural substances themselves. The key claims are that what occurs by a necessity of nature constitutes the culmination of deterministic natural tendencies and that these tendencies are themselves rooted in the natures or essences of natural substances. The paper concludes by discussing the notion of a law of nature as it emerges on this account.

character. So, we have learned from early on that laws are meant to portray a sort of necessity in nature. The comings and goings described by law are not merely contingently related. Rather, it is part of the concept of law that these events are connected in some significant way: "nomically" connected. One important desideratum for an account of law, then, is that it respect and perhaps explain this modal character.

The paper considers recent proposals by Armstrong, Dretske, and Tooley that revive the view that statements of laws of nature are grounded by the existence of higher order facts relating universals. Several objections to such a view are raised and an alternative analysis, recognizing general facts, is considered. Such an alternative is shown to meet a number of the objections raised against the appeal to higher order facts and it is also related to views of Hume and Wittgenstein. Further objections (...) are then raised to all the non-Humean "realist" attempts to provide special facts to ground the laws of nature. (shrink)

Part I will deal with the central system of metaphysics that Armstrong developed between 1978 and 1997. This will concern, in turn, the major topics of universals, laws, modality, facts or states of affairs, and dispositions. It will be demonstrated how Armstrong’s distinct contributions to these separate problems came together in a unified and systematic account such that he could be judged as holding a single, very appealing, metaphysical theory.

In this article I intend to show that the inference problem, one of the main objections raised against the anti-Humean theory of natural laws defended by Dretske, Tooley and Armstrong ("DTA theory" for short), can be successfully answered. First, I argue that a proper solution should meet two essential requirements that the proposals made by the DTA theorists do not satisfy. Then I state a solution to the inference problem that assumes a local immanentistic view of universals, a partial definition (...) of the nomic necessitation relation as a relation of existential dependence, and a principle constraining multiple occupancy. I also argue that my solution meets the two requirements. Finally, I deal with non-standard laws such as exclusion laws, causal laws and laws involving spatiotemporal parameters. (shrink)

For scientific essentialists, the only logical possibilities of existence are the real (or metaphysical) ones, and such possibilities, they say, are relative to worlds. They are not a priori, and they cannot just be invented. Rather, they are discoverable only by the a posteriori methods of science. There are, however, many philosophers who think that real possibilities are knowable a priori, or that they can just be invented. Marc Lange [Lange 2004] thinks that they can be invented, and tries to (...) use his inventions to argue that the essentialist theory of counterfactual conditionals developed in Scientific Essentialism [Ellis 2001, hereafter SE ] is flawed. (shrink)

Hume's arguments for the contention that causal necessity precludes logical necessity depend on the questionable principle that a cause must precede its effect. Hobbes' definition of entire cause, although it fails to account for causal priority, is not refuted by Hume. The objections of Myles Brand and Marshall Swain (Philosophical Studies, 1976) to my counterexample against Hume (Philosophical Studies, 1975) are ineffective. Their other objections to my criticisms of their argument against defining causation in terms of necessary and sufficient conditions (...) (Synthese, 1970) are also mostly ineffective. (shrink)

Because the book represents a good cross-section of authors currently working on these themes in the Australasian region, it conveys something of the interest ...

Since causal processes can be prevented and interfered with, law-governed causation is a challenge for necessitarian theories of laws of nature. To show that there is a problematic friction between necessity and interference, I focus on David Armstrong's theory; with one proviso, his lawmaker, nomological necessity, is supposed to be instantiated as the causation of the law's second relatum whenever its first relatum is instantiated. His proviso is supposed to handle interference cases, but fails to do so. In order to (...) be able to handle interferences, any theory which utilizes a kind of necessitation as lawmaker has to downgrade what it treats as necessity to something more akin to (Newtonian) forces. (shrink)

INTRODUCTION I. CETERIS PARIBUS LAWS An alleged law of nature—like Newton's law of gravitation—is said to be a ceteris paribus law if it does not hold under ...

The striking difference between the orthodox nomological necessitation view of laws and the claims made recently by Scientific Essentialism is that on the latter interpretation laws are metaphysically necessary while they are contingent on the basis of the former. This shift is usually perceived as an upgrading: essentialism makes the laws as robust as possible. The aim of my paper—in which I contrast Brian Ellis’s Scientific Essentialism and David Armstrong’s theory of nomological necessity—is threefold. (1) I first underline the familiar (...) fact that metaphysical necessity (of Kripkean “water is necessarily H2O” kind) is not a stronger kind of necessity than nomological necessity but an entirely different kind of thing: nomological, but not metaphysical necessity, is an intra-world necessitation which Armstrong (almost) identifies with causation; metaphysical, but not nomological necessitation, has a canonical link to possible world considerations and counterfactual reasoning. Hence, the change from one necessity to the other is not an upgrading but a substantial shift. (2) I will explain how the essentialists, who promote this shift, are nonetheless able to retain the features of nomological necessity. (3) I also explore, for both the essentialist and the Armstrongian, whether they could extract a modal force from intra-world nomological necessity which it does not have per se. I argue that such a modal force is, indeed, obtainable for them. I will close the paper with some remarks and questions about the relation between Kripkean metaphysical necessity and the modal version of nomological necessity as defined in (3). (shrink)

A complex theory concerning powers, natures, and causal necessity has emerged from the writings of P. H. Hare, E. H. Madden, and R. Harré. In the course of rebutting objections that other critics have raised to the power account of causation, I correct three of its genuine difficulties: its attempt to analyze power attributions in terms of conditional statements; its characterization of the relation between something's powers and its nature; and its doctrines concerning conceptual necessity. The resulting interpretation of causal (...) modalities is then subsumed under a more general power account of modality, related at a number of points to considerations concerning powers, and further illustrating their philosophical importance. (shrink)

Some of the concerns which motivate attempts to provide a philosophical reduction of nomological necessity are briefly introduced in I. In II, Hempel's treatment of the paradoxes is contrasted with a position which holds that nomological necessity is a pragmatic dimension of laws of nature, and that this pragmatic dimension is of such a type that it prevents laws of nature from contraposing. Such a position is, however, untenable unless (i) the sense of 'pragmatics' at issue is specified, and the (...) possibility of pragmatic differences resulting in differences in confirmation is defended, and (ii) a relevant pragmatic difference between contrapositives is indicated. III attempts to satisfy condition (i) by developing a new sense of pure pragmatics and argues that some remarks by Goodman and Scheffler together with work on the logic of explanation by Dr. Rescher and myself suggest that nomological contrapositives are not pragmatically equivalent (i.e. substitutable salva veritate in the pure pragmatics of an ideal scientific language). If such is the case, condition (ii) is also satisfied. (shrink)