On how (not) to define modality in terms of essence

Philosophical Studies - In his influential article ‘Essence and Modality’, Fine proposes a definition of (conceptual, logical and metaphysical) necessity in terms of the primitive...     

Belief,Correctness and Constitutivity

Some philosophers have argued that a standard of correctness is constitutive of the concept or the essence of belief. By this claim they mean, roughly, that a mental state is a belief partially in virtue of being correct if and only if its content is true. In this paper I provide a new argument in support of the constitutivity of the correctness standard for belief. I first argue that the standard expresses a conceptual necessity. Then I argue that, since conceptual necessities are such in virtue of some concept, the standard must also be necessary in virtue of some concept. Finally, I provide an argument by exclusion to the effect that the standard is necessary in virtue of the concept of belief.     

WHY ESSENTIALISM REQUIRES TWO SENSES OF NECESSITY

I set up a dilemma, concerning metaphysical modality de re, for the essentialist opponent of a ‘two senses’ view of necessity. I focus specifically on Frank Jackson's two‐dimensional account in his From Metaphysics to Ethics (Oxford: Oxford University Press, 1998). I set out the background to Jackson's conception of conceptual analysis and his rejection of a two senses view. I proceed to outline two purportedly objective (as opposed to epistemic) differences between metaphysical and logical necessity. I conclude that since one of these differences must hold and since each requires the adoption of a two senses view of necessity, essentialism is not consistent with the rejection of a two senses view.¹     

Finean essence,local necessity,and pure logical properties

Since Kit Fine published his famous counter-examples to the modal account of essence, numerous modalists have proposed to avoid the counter-examples by revising the modal account. A sophisticated revision has been put forward by Fabrice Correia. Drawing on themes from Prior’s modality, Correia has introduced a nonstandard conception of metaphysical modality and has proposed to analyze essence in its terms. He has claimed that the analysis is immune to Fine’s counter-examples. In this paper, I argue that there are counter-examples supported by the very intuition underlying Fine’s counter-examples, which are not accommodated by Correia’s account. If my argument is sound, then Correia has not been successful in his defense of modalism. An important corollary of my argument will be that Fine’s consequential conception of essence needs to be modified if it is to capture his own intuitive notion of essence.     

Is There Such a Thing as Relative Analyticity?

Fine bases his influential conception of essence on a particular account of definitions. And he complements it with a specific account of analyticity. I will argue that Fine's conception of relative analyticity confuses the idea of a sentence's being true in virtue of a term's definition with the idea of a sentence's being true in virtue of a term's meaning. His idea that correct definitions specify essential properties of meanings is mistaken. The correctness of definitions can only be assessed by reference to the actual usage of the terms involved. The resulting conception of definitions leads to a deflationary interpretation of claims about essences.     

Propositions: Individuation and Invirtuation

The pressure to individuate propositions more finely than intensionally—that is, hyper-intensionally—has two distinct sources. One source is the philosophy of mind: one can believe a proposition without believing an intensionally equivalent proposition. The second source is metaphysics: there are intensionally equivalent propositions, such that one proposition is true in virtue of the other but not vice versa. I focus on what our theory of propositions should look like when it's guided by metaphysical concerns about what is true in virtue of what. In this paper I articulate and defend a metaphysical theory of the individuation of propositions, according to which two propositions are identical just in case they occupy the same nodes in a network of invirtuation relations. Invirtuation is here taken to be a primitive relation of metaphysical explanation exemplified by propositions that, in conjunction with truth, defines the notion of true in virtue of. After formulating the theory, I compare it with a view that individuates propositions by cognitive equivalence, and then defend the theory from objections.     

Putting modal metaphysics first

I propose that we approach the epistemology of modality by putting modal metaphysics first and, specifically, by investigating the metaphysics of essence. Following a prominent Neo-Aristotelian view, I hold that metaphysical necessity depends on the nature of things, namely their essences. I further clarify that essences are core properties having distinctive superexplanatory powers. In the case of natural kinds, which is my focus in the paper, superexplanatoriness is due to the fact that the essence of a kind is what causes all the many properties and behaviors that are typically shared by all the instances of the kind. Accordingly, we know what is necessarily true of kinds by knowing what is essential to them in the sense of actually playing such causal-explanatory roles. Modal reasoning aimed at discovering metaphysical necessity thus proceeds via essentialist deduction: we move from essentialist truths to reach necessary truths.

     

Modal Objectivity1

It is widely agreed that the intelligibility of modal metaphysics has been vindicated. Quine's arguments to the contrary supposedly confused analyticity with metaphysical necessity, and rigid with non‐rigid designators.² But even if modal metaphysics is intelligible, it could be misconceived. It could be that metaphysical necessity is not absolute necessity – the strictest real (non‐epistemic, non‐deontic) notion of necessity – and that no proposition of traditional metaphysical interest is necessary in every real sense. If there were nothing otherwise “uniquely metaphysically significant” about metaphysical necessity, then paradigmatic metaphysical necessities would be necessary in one sense of “necessary”, not necessary in another, and that would be it. The question of whether they were necessary simpliciter would be like the question of whether the Parallel Postulate is true simpliciter – understood as a pure mathematical conjecture, rather than as a hypothesis about physical spacetime. In a sense, the latter question has no objective answer. In this article, I argue that paradigmatic questions of modal metaphysics are like the Parallel Postulate question. I then discuss the deflationary ramifications of this argument. I conclude with an alternative conception of the space of possibility. According to this conception, there is no objective boundary between possibility and impossibility. Along the way, I sketch an analogy between modal metaphysics and set theory.     

Kant's Argument that Existence is not a Determination

In this paper, I examine Kant's famous objection to the ontological argument: existence is not a determination. Previous commentators have not adequately explained what this claim means, how it undermines the ontological argument, or how Kant argues for it. I argue that the claim that existence is not a determination means that it is not possible for there to be non‐existent objects; necessarily, there are only existent objects. I argue further that Kant's target is not merely ontological arguments as such but the larger ‘ontotheist’ metaphysics they presuppose: the view that God necessarily exists in virtue of his essence being contained in, or logically entailed by, his essence. I show that the ontotheist explanation of divine necessity requires the assumption that existence is a determination, and I show that Descartes and Leibniz are implicitly committed to this in their published versions of the ontological argument. I consider the philosophical motivations for the claim that existence is a determination and then I examine Kant's arguments in the Critique of Pure Reason against it.     

The truth and nothing but the truth,yet never the whole truth: Frege,Russell and the analysis of unities

It is widely assumed that Russell's problems with the unity of the proposition were recurring and insoluble within the framework of the logical theory of his Principles of Mathematics. By contrast, Frege's functional analysis of thoughts (grounded in a type-theoretic distinction between concepts and objects) is commonly assumed to provide a solution to the problem or, at least, a means of avoiding the difficulty altogether. The Fregean solution is unavailable to Russell because of his commitment to the thesis that there is only one ultimate ontological category. This, combined with Russell's reification of propositions, ensures that he must hold concepts and objects to be of the same logical and ontological type. In this paper I argue that, while Frege's treatment of the unity of the proposition has immediate advantages over Russell's, a deeper consideration of the philosophical underpinnings and metaphysical consequences of the two approaches reveals that Frege's supposed solution is, in fact, far from satisfactory. Russell's repudiation of the Fregean position in the Principles is, I contend, convincing and Russell's own position, despite its problems, conforms to a greater extent than Frege's with common sense and, furthermore, with certain ideas which are central to our understanding of the origins of the analytical tradition.     

Spinoza on power

Spinoza's concept of ‘power’ finds expression in every major topic of which he treats. Some of the ways to the understanding of that concept are: the metaphysical, the genetic, and the political. I. Metaphysically, Spinoza distinguishes power from force or energy and defines it as the ability of a system to survive. The most interesting application of this definition is to that system, man, for whom survival means realization of his essence, achievement of understanding. II. The depth and generality of Spinoza's concept of power can be appreciated more clearly if we refer to its sources in (1) the classical analysis of ‘virtue’ beginning with Plato, (2) the traditional theological ponderings on the nature of God, and (3) the method and presuppositions of physical science. III. At the metaphysical level of analysis, power and liberty are shown to be all but synonymous. Spinoza's analysis of political power undermines previous authoritarian, hierarchical, and elitist theories of government and ends with a proof that both individual and social power flourish best under democratic government.     

Necessity and Language: In Defence of Conventionalism

Kalhat has forcefully criticised Wittgenstein's linguistic or conventionalist account of logical necessity, drawing partly on Waismann and Quine. I defend conventionalism against the charge that it cannot do justice to the truth of necessary propositions, renders them unacceptably arbitrary or reduces them to metalingustic statements. At the same time, I try to reconcile Wittgenstein's claim that necessary propositions are constitutive of meaning with the logical positivists’ claim that they are true by virtue of meaning. Explaining necessary propositions by reference to linguistic conventions does not reduce modal to non‐modal notions, but it avoids metaphysical accounts, which are incapable of explaining how we can have a priori knowledge of necessity.     

Explaining 'The Hardness of the Logical Must': Wittgenstein on Grammar, Arbitrariness and Logical Necessity

This paper explains (in Part A) Wittegnstein's understanding of the 'grammar' of our (or any) language, tracing its origins in the Tractatus's concept of logical syntax, and then examining the senses in which Wittegnstein, in his later work, viewed grammar as being 'arbitrary'. Then, armed with this understanding, it moves on (in Part B) to the task of examining how, within the framework of a Wittegnsteinian view of language, we should understand the inescapable 'compellingness' of logical necessity – what Wittegnstein calls the "hardness of the logical must". Whereas it is often thought that Wittegnstein's views on the nature of the 'grammar' of our concpets leads him towards a vitiatingly conventionalist or anti-realist understanding of necessity, in which its logical 'superhardness' becomes problematic, this paper will argue that there is actually no such tension in Wittegnstein's thought. In fact, it will be argued, an understanding of the ways in which our conceptual grammar is arbitrary casts a great deal of light on how it is that our concepts can nevertheless support a logically superhard, and normatively commanding, notion of necessity. In support of this view, I distinguish Wittegnstein's views on necessity from the 'classical' conventionalism of the Vienna Circle, and from the radical conventionalism of Michael Dummett, and defend Wittegnstein's view from a powerful recent attack from Quassim Cassam.     

Genuine Violations of Laws

Could laws of nature be violated, in the sense that some proposition is both a law and false? I argue that opponents of regularity theories of laws should accept the metaphysical possibility of such genuine violations. I begin with a clarification of this claim. The main argument is then developed in three steps. I first argue that opponents of regularity theory should endorse the modal-essence view: certain modal principles are essential to the laws of nature. Second, I argue that the modal-essence view entails sophisticated modal primitivism. Third, I argue from sophisticated primitivism to the metaphysical possibility of genuine violations of laws.     

Kant’s Regulative Metaphysics of God and the Systematic Lawfulness of Nature

In the “Appendix to the Transcendental Dialectic” of the Critique of Pure Reason, Kant contends that the idea of God has a positive regulative role in the systematization of empirical knowledge. But why is this regulative role assigned to this specific idea? Kant's account is rather opaque, and this question has also not received much attention in the literature. In this article, I argue that an adequate understanding of the regulative role of the idea of God depends on the specific metaphysical content Kant attributes to it in the Critique and other writings. I show that neither a heuristic principle of conceptual systematicity, nor conceiving God as a hypothesis of an intelligent designer, can satisfy the demands of reason to make the unity and necessity of the laws of nature intelligible. Regarding the positive account about the metaphysical content of the idea of God, I support my argument by referring to Kant's precritical discussion of the usefulness of the conception of God for the project of science, and by expounding Kant's critical account of the necessity of the laws of nature. Thus, my account sheds light on the continuity of Kant's conception of God and his appropriation of his own rationalistic metaphysics.     

I. Psychologism,Functionalism, and the modal status of logical Laws

In a recent article (Inquiry, Vol. 19 [1976]), J. W. Meiland addresses the issue of psychologism in logic, which holds that logic is a branch of psychology and that logical laws (such as the Principle of Non‐Contradiction) are contingent upon the nature of the mind. Meiland examines Husserl's critique of psychologism, argues that Husserl is not convincing, and offers two new objections to the psychologistic thesis. In this paper I attempt to rebut those objections. In question are the acceptable criteria for determining the possibility or impossibility of systems of logic significantly different from our own. I argue that a criteriological application of our accepted laws of logic to this question commits a circular fallacy. I then argue that, even if we accept logical consistency as a criterion for possibility, a plausible argument for the possibility of valid alternative logics can be constructed by using the functionalist analogy between minds and automata. Finally, I attempt to rebut the claim that in logic the only changes possible are conceptual changes that would not permit a proposition to be both true and false.     

Language and metaphysics: the case of theoretical identities

Kripke holds the thesis that identity statements containing natural kind terms are if true, necessarily true; these statements can be denominated theoretical identities. Kripke alleges that the necessity of theoretical identities grounds on the linguistic feature that natural kind terms are rigid designators. Nevertheless, I argue that the conception of natural kind terms as rigid designators, in one of their most natural views, hinders the establishment of the truth of theoretical identities and thus of their necessity. However, in Kripke’s works another proposal, not linguistic but metaphysical, is found to justify the presumed necessity of theoretical identities; it grounds on essentialism concerning natural kinds. In this regard, I question some of Kripke’s main claims, focusing on one of the main examples of theoretical identities put forward by Kripke, i.e., “Water is H\(_2\)O”. I challenge his a priori claims concerning what should be the essence of a natural kind like water. Furthermore, I adduce that the character of that theoretical identity is not that claimed by Kripke, since in the term flanking the right side of the identity sign it has to be resorted to the notion of similarity or it should have the form of a disjunction of a cluster of substances.

     

Marx's commodity fetishism

Marx's work in the first chapters of Capital is sometimes taken to be ‘metaphysical’, since his remarks do not lend themselves to ‘scientific’ testing against quantitative data. I argue that Marx aimed to re‐present the economic theory of his day in order to reveal the characteristic presuppositions of capitalist society, and ‐ in the first instance ‐ to rid the theory of logical confusions. Though his distinctions are ingenious and his arguments consistent, the enterprise fails in certain respects, because he relies on Ricardian propositions about value and labour, and because his use of certain methods and distinctions of nineteenth‐century logic is no longer convincing. Hence he reaches conclusions about the meaning of value, and the nature of commodities and labour, that are wrong in principle. These conclusions were the logical basis for his most sweeping predictions about capitalist society.     

Instrumentalist Interpretations of Hindu Environmental Ethics

Many environmental ethicists believe that any adequate environmental ethic should attribute ‘direct moral standing’ (often glossed in terms of intrinsic value) to plants, animals, and the rest of nature. But certain interpretations of Hindu environmental ethics apparently attribute only instrumental value to nature. This places them in direct conflict with the purported adequacy condition on an environmental ethic. So, is such a Hindu ethical view really inadequate? In his recent book Hinduism and Environmental Ethics, Christopher Framarin claims that it is because Hindu instrumentalism about nature is either viciously circular or unacceptably arbitrary. I argue, however, that Framarin’s claim founders in virtue of his misconstruing the logical structure of instrumental value.     

Everybody needs to know?

I propose an amendment to Sosa’s virtue reliabilism. Sosa’s framework assigns a central role to sophisticated, conceptual, motivational states: ‘intentions to affirm aptly’. I argue that the suggestion that ordinary knowers in fact are motivated by such intentions in everyday belief-forming situations is at best problematic, and explore the possibility of an alternative virtue reliabilist framework. In this alternative framework, the role Sosa assigns to ‘intentions to affirm aptly’ is played instead by non-conceptual motivational states, which I call ‘needs’. The first part of the paper sketches Sosa’s framework. The second develops the need-based alternative. I close by comparing the two proposals, concluding that the onus is at least on Sosa to say why his intention-based framework should be preferred.