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)

_ Source: _Volume 95, Issue 3, pp 368 - 413 Frege famously maintained that concepts are not objects. A key argument of Frege’s for this view is, in outline, as follows: if we are to account for the unity of thought, concepts must be deemed _unsaturated_; since objects are, by contrast, saturated entities, concepts cannot be objects. The author investigates what can be made of this argument and, in particular, of the unsaturated/saturated distinction it invokes. Systematically exploring a range of (...) reconstructions suggested by Frege’s writings, and drawing on contemporary work, the author illustrates that no plausible reconstruction is forthcoming. In essence, it is altogether unclear how to simultaneously substantiate, on the one hand, the claim that unsaturated entities must be recognized in order to account for unity and, on the other, the claim that unsaturatedness is incompatible with objecthood. (shrink)

If the world itself is metaphysically indeterminate in a specified respect, what follows? In this paper, we develop a theory of metaphysical indeterminacy answering this question.

En este artículo discuto cómo es que la idea intuitiva de que las cosas podrían cambiar, combinada con principios excesivamente plausibles, nos lleva a la paradoja de Chisholm. Arguyo que la mejor respuesta a esta paradoja –pues efectúa la menor mutilación a nuestros principios teóricos y asunciones intuitivas– es la postura esencialista. Primero expongo algunas motivaciones para hacer una teoría metafísica que explique la modalidad de re. Luego reviso los principios a los que estaremos regresando en el curso del artículo. (...) Entonces muestro cómo ellos, conjuntamente, implican la paradoja de Chisholm. Después reviso las posibles fuentes de esta paradoja, rechazando varias salidas posibles. Argumento que la fuente de la paradoja está en que nuestros principios teóricos son demasiado liberales, y que la opción esencialista subsana este defecto. (shrink)

Gettier presented the now famous Gettier problem as a challenge to epistemology. The methods Gettier used to construct his challenge, however, utilized certain principles of formal logic that are actually inappropriate for the natural language discourse of the Gettier cases. In that challenge to epistemology, Gettier also makes truth claims that would be considered controversial in analytic philosophy of language. The Gettier challenge has escaped scrutiny in these other relevant academic disciplines, however, because of its façade as an epistemological analysis. (...) This article examines Gettier's methods with the analytical tools of logic and analytic philosophy of language. (shrink)

Mark Colyvan (2010) raises two problems for ‘easy road’ nominalism about mathematical objects. The first is that a theory’s mathematical commitments may run too deep to permit the extraction of nominalistic content. Taking the math out is, or could be, like taking the hobbits out of Lord of the Rings. I agree with the ‘could be’, but not (or not yet) the ‘is’. A notion of logical subtraction is developed that supports the possibility, questioned by Colyvan, of bracketing a theory’s (...) mathematical aspects to obtain, as remainder, what it says ‘mathematics aside’. The other problem concerns explanation. Several grades of mathematical involvement in physical explanation are distinguished, by analogy with Quine’s three grades of modal involvement. The first two grades plausibly obtain, but they do not require mathematical objects. The third grade is likelier to require mathematical objects. But it is not clear from Colyvan’s example that the third grade really obtains. (shrink)

This paper explains and defends the idea that metaphysical necessity is the strongest kind of objective necessity. Plausible closure conditions on the family of objective modalities are shown to entail that the logic of metaphysical necessity is S5. Evidence is provided that some objective modalities are studied in the natural sciences. In particular, the modal assumptions implicit in physical applications of dynamical systems theory are made explicit by using such systems to define models of a modal temporal logic. Those assumptions (...) arguably include some necessitist principles. -/- Too often, philosophers have discussed ‘metaphysical’ modality — possibility, contingency, necessity — in isolation. Yet metaphysical modality is just a special case of a broad range of modalities, which we may call ‘objective’ by contrast with epistemic and doxastic modalities, and indeed deontic and teleological ones (compare the distinction between objective probabilities and epistemic or subjective probabilities). Thus metaphysical possibility, physical possibility and immediate practical possibility are all types of objective possibility. We should study the metaphysics and epistemology of metaphysical modality as part of a broader study of the metaphysics and epistemology of the objective modalities, on pain of radical misunderstanding. Since objective modalities are in general open to, and receive, natural scientific investigation, we should not treat the metaphysics and epistemology of metaphysical modality in isolation from the metaphysics and epistemology of the natural sciences. -/- In what follows, Section 1 gives a preliminary sketch of metaphysical modality and its place in the general category of objective modality. Section 2 reviews some familiar forms of scepticism about metaphysical modality in that light. Later sections explore a few of the many ways in which natural science deals with questions of objective modality, including questions of quantified modal logic. (shrink)

This essay clarifies quantifier variance and uses it to provide a theory of indefinite extensibility that I call the variance theory of indefinite extensibility. The indefinite extensibility response to the set-theoretic paradoxes sees each argument for paradox as a demonstration that we have come to a different and more expansive understanding of ‘all sets’. But indefinite extensibility is philosophically puzzling: extant accounts are either metasemantically suspect in requiring mysterious mechanisms of domain expansion, or metaphysically suspect in requiring nonstandard assumptions about (...) mathematical objects. Happily, the view of quantifier meanings that underwrites quantifier variance can be used to provide an account of indefinite extensibility that is both metasemantically and metaphysically satisfying. Section 1 introduces the puzzle of indefinite extensibility; section 2 develops and clarifies the metasemantics of quantifier variance; section 3 solves section 1's puzzle of indefinite extensibility by applying section 2's account of quantifier meanings; and section 4 compares the theory developed in section 3 to several other theories in the literature. (shrink)

Standard lore has it that a proper name is a temporally rigid designator. It picks out the same entity at every time at which it picks out an entity at all. If the entity in question is an enduring continuant then we know what this means, though we are also stuck with a host of metaphysical puzzles concerning endurance itself. If the entity in question is a perdurant then the rigidity claim is trivial, though one is left wondering how it (...) is that different speakers ever manage to pick out one and the same entity when a host of suitable, overlapping candidates are available. But what if the entity in question is neither a continuant nor a perdurant? What if the things we talk about in ordinary language are time-bound entities that cannot truly be said to persist through time, or stage sequences whose unity resides exclusively in our minds--like the “waves” at the stadium or the characters of a cartoon? In such cases the rigidity claim can’t be right and a counterpart-theoretic semantics seems required. Is that bad? I say it isn’t. And it had better not be, if that turns out to be the best metaphysical option we have. (shrink)

En este trabajo examino el argumento de McFetridge a favor de la necesidad de la creencia en la necesidad. El argumento pretende establecer un dilema fatal para el “nihilista” modal, aquel que no cree que al menos alguna proposición es necesaria. Mi objetivo principal es mostrar que el dilema que presenta el argumento de McFetridge no es sólido, pues tiene una limitación muy importante con respecto al segundo de sus cuernos, el cual es el más interesante. El segundo cuerno del (...) dilema plantea una especie de argumento trascendental: es necesario creer en la necesidad si es que vamos a ser capaces de razonar confiablemente bajo suposiciones contrafácticas. Sin embargo, este argumento asume que la suposición contrafáctica es una actividad esencial en nuestras vidas, lo cual señala, sostengo, un punto central alrededor del cual el nihilista modal intentaría reafirmar su posición. Así, pretendo mostrar que el segundo cuerno del dilema de McFetridge revela que el quid de la discusión entre creyentes y nihilistas modales debe moverse propiamente de la cuestión del rol de la creencia en la necesidad a la cuestión del rol de la suposición contrafáctica. (shrink)

The aim of the paper is to show that W. V. O. Quine's animadversions against modal logic did not get the same attention that is considered to be the case nowadays. The community of logicians focused solely on the technical aspects of C. I. Lewis’ systems and did not take Quine's arguments and remarks seriously—or at least seriously enough to respond. In order to assess Quine's place in the history, however, his relation to Carnap is considered since their notorious break (...) was about the status of extensionality and modal logic. Since much of the works about the history of analytic philosophy is centered on the relationship of Quine and Carnap, their break about modality deserves much more attention—it also sheds some light on why should anyone wonder about Quine's early arguments against modal logic. The paper ends with some further considerations regarding the early formation of modal logic and hitherto unconsidered problematic issues. (shrink)

Intuition serves a variety of roles in contemporary philosophy. This paper provides a historical discussion of the revival of intuition in the 1970s, untangling some of the ways that intuition has been used and offering some suggestions concerning its proper place in philosophical investigation. Contrary to some interpretations of the results of experimental philosophy, it is argued that generalized skepticism with respect to intuition is unwarranted. Intuition can continue to play an important role as part of a methodologically conservative stance (...) towards philosophical investigation. I argue that methodological conservatism should be sharply distinguished from the process of evaluating individual propositions. Nevertheless, intuition is not always a reliable guide to truth and experimental philosophy can serve a vital ameliorative role in determining the scope and limits of our intuitive competence with respect to various areas of inquiry. (shrink)

I undertake to examine the practice of Richard, Master of Abstractions, with respect to supposition in his dealing with the fallacy of figure of speech. His practice turns out to support the ‘single theory’ account of the theory of personal supposition, as does his treatment of a functional equivalent of simple supposition, but his practice of proposing additional solutions points to changing attitudes with respect to species as separate entities. Questions having to do with material supposition and the like are (...) completely absent, even in discussions where we might expect to find them. (shrink)

In this paper the strategy for the eliminative reduction of the alethic modalities suggested by John Venn is outlined and it is shown to anticipate certain related contemporary empiricistic and nominalistic projects. Venn attempted to reduce the alethic modalities to probabilities, and thus suggested a promising solution to the nagging issue of the inclusion of modal statements in empiricistic philosophical systems. However, despite the promise that this suggestion held for laying the ‘ghost of modality’ to rest, this general approach, tempered (...) modal eliminativism, is shown to be inadequate for that task.<br><br>. (shrink)

Quine argues that if sentences that are set theoretically equivalent are interchangeable salva veritate, then all transparent operators are truth-functional. Criticisms of this argument fail to take into account the conditional character of the conclusion. Quine also argues that, for any person P with minimal logical acuity, if ‘belief’ has a sense in which it is a transparent operator, then, in that sense of the word, P believes everything if P believes anything. The suggestion is made that he intends that (...) result to show us that ‘believes’ has no transparent sense. Criticisms of this argument are either based on unwarranted assertions or on definitions of key terms that depart from Quine’s usage of those terms. (shrink)

Suppose that all non-qualitative facts are grounded in qualitative facts. I argue that this view naturally comes with a picture in which trans-world identity is indeterminate. But this in turn leads to either pervasive indeterminacy in the non-qualitative, or else contingency in what facts about modality and possible worlds are determinate.

Sider offers a new take on a linguistic account of necessity. In this paper, I assess his view’s vulnerability to objections made against more traditional linguistic accounts, especially an argument I call the “indexical problem.” I conclude that the indexical problem has no force against Sider’s approach because the view is able to attribute modal properties directly to propositions, rather than indirectly via analytic sentences that express them. However, Sider also argues that traditional linguistic accounts fail because of two well-known (...) problems, and I argue that the same two problems undermine his own account. (shrink)

The paper presents a dilemma for both epistemic and non-epistemic versions of conceivability-based accounts of modal knowledge. On the one horn, non-epistemic accounts do not elucidate the essentialist knowledge they would be committed to. On the other, epistemic accounts do not elucidate everyday life de re modal knowledge. In neither case, therefore, do conceivability accounts elucidate de re modal knowledge.

ABSTRACT Quine insisted that the satisfaction of an open modalised formula by an object depends on how that object is described. Kripke's ‘objectual’ interpretation of quantified modal logic, whereby variables are rigid, is commonly thought to avoid these Quinean worries. Yet there remain residual Quinean worries for epistemic modality. Theorists have recently been toying with assignment-shifting treatments of epistemic contexts. On such views an epistemic operator ends up binding all the variables in its scope. One might worry that this yields (...) the undesirable result that any attempt to ‘quantify in’ to an epistemic environment is blocked. If quantifying into the relevant constructions is vacuous, then such views would seem hopelessly misguided and empirically inadequate. But a famous alternative to Kripke's semantics, namely Lewis' counterpart semantics, also faces this worry since it also treats the boxes and diamonds as assignment-shifting devices. As I'll demonstrate, the mere fact that a variable is bound is no obstacle to binding it. This provides a helpful lesson for those modelling de re epistemic contexts with assignment sensitivity, and perhaps leads the way toward the proper treatment of binding in both metaphysical and epistemic contexts: Kripke for metaphysical modality, Lewis for epistemic modality. (shrink)

Kit Fine advanced a remarkable objection to the Modal Account of Essentialism. Fine’s concern is commonly thought to have put the modal account in serious jeopardy. I believe that Fine’s objection is mainly based on two intuitions. As a reaction to Fine’s argument, while many scholars have abandoned the modal account, others have attempted to save it. The main strategy in the last direction consists in adding to the modal criterion a condition that is supposed to hold universally. For different (...) reasons, this strategy ends up rejecting part of the first Fine’s intuition. I believe that a modal contextualist approach to essentialist claims, through the addition of a ‘particularist’ condition to the modal criterion, can provide an interesting alternative for those who wish to maintain a modal approachto essentialism. I will show that this approach, while rejecting the second Finean intuition, is able to account for his first intuition. (shrink)

According to microessentialism, it is necessary to resort to microstructure in order to adequately characterise chemical substances such as water. But the thesis has never been properly supported by argument. Kripke and Putnam, who originally proposed the thesis, suggest that a so-called stereotypical characterisation is not possible, whereas one in terms of microstructure is. However, the sketchy outlines given of stereotypical descriptions hardly support the impossibility claim. On the other hand, what naturally stands in contrast to microscopic description is description (...) in macroscopic terms, and macroscopic characterisations of water are certainly possible. This suffices to counter the claim that microdescriptions are necessary. Whether it counters the impossibility claim depends on whether all macroscopic descriptions are stereotypical (stereotypical descriptions presumably being macroscopic). In so far as systematic import of “stereotypical” can be determined, it would seem not. But some macroscopic characterisations have definite affinity with everyday knowledge, which presumably stands in conflict with the spirit of the impossibility claim. Since what is characterised are properties expressed by predicates like “is water”, the necessity of identity has no bearing here, and matters of interpretation pose problems for claims to the effect that science fixes the extension of “water” as ordinarily understood. (shrink)

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. (shrink)

To reconcile true claims of de re necessity with the supposedly contingent existence of the concrete objects those claims are typically about, Kripkean essentialists invoke weak necessity. The claim that a is necessarily F is held to be equivalent to the claim that necessarily, if a exists then a is F. This strategy faces a barrage of serious objections a proper subset of which shows that the strategy fails to achieve its intended purpose. Relief can be provided via recourse to (...) a markedly non-Kripkean version of essentialism.1. (shrink)

I argue that a solution to puzzles concerning the relationship ofobjects and their properties – a version of the `bundle' theory ofparticulars according to which ordinary objects are mereologicalfusions of monadic and relational tropes – is also a solution topuzzles of material constitution involving the allegedco-location of material objects. Additionally, two argumentsthat have played a prominent role in shaping the current debate,Mark Heller's argument for Four Dimensionalism and Peter vanInwagen's argument against Mereological Universalism, are shownto be unsound given this version (...) of the bundle theory. (shrink)

This paper argues for a conditional claim concerning a famous argument—developed by Church in elucidation of some remarks by Frege to the effect that the bedeutung of a sentence is the sentence’s truth-value—the Frege–Gödel–Church argument, or FGC for short. The point we make is this :if, and just to the extent that, Arthur Smullyan’s argument against Quine's use of FGC is sound, then essentially the same rejoinder disposes also of Davidson's use of FGC against ‘correspondence’ theories of truth. We thus (...) dispute a contention by Professor Davidson that it is coherent to accept that Smullyan’s rejoinder takes away the force of Quine’s version of FGC, while still consistently using FGC to establish that if true sentences (or utterances) correspond to anything, they all correspond to the same thing. We show that the differences between the cases discussed by Smullyan and Davidson’s version of FGC on which Davidson relies for his contention are irrelevant to the point under dispute. (shrink)

_ Source: _Volume 94, Issue 3, pp 301 - 331 The idea that we can understand key aspects of the metaphysics of consciousness by understanding conscious states as having a _presentational_ character plays an essential role in the phenomenological tradition beginning with Brentano and Husserl. In this paper, the author explores some potential consequences of this connection for contemporary discussions of the ontology of consciousness in the world. Drawing on Hintikka’s analysis of epistemic modality, the author argues that the essential (...) presentational character of consciousness can be seen as accounting for the familiar failure of substitutivity of identicals in intensional contexts of conscious presentation and further provides for an ontology of conscious presentation that avoids metaphysically problematic commitments to “special” intentional objects. The author next considers how the irreducibility of intensional contexts, if grounded in the presentational character of consciousness, also may provide for a kind of irreducibility of the “first-person” perspective to third-person or objective description across possible worlds. Finally, drawing on Chalmers’ “two-dimensionalist” semantic framework, the author argues that attention to the presentational aspect of consciousness as thus understood, while it provides significant motivation for the existence of the “hard problem” of the irreducibility of consciousness to physical and structural description, is nevertheless consistent with a globally monist, rather than dualist, ontology. (shrink)

We begin to fill a lacuna in the relevance logic enterprise by providing a foundational analysis of identity in relevance logic. We consider rival interpretations of identity in this context, settling on the relevant indiscernibility interpretation, an interpretation related to Dunn's relevant predication project. We propose a general test for the stability of an axiomatisation of identity, relative to this interpretation, and we put various axiomatisations to this test. We fill our discussion out with both formal and philosophical remarks on (...) identity in relevance logic. (shrink)

Epistemological naturalists reject the demand for a priori justification of empirical knowledge; no such thing is possible. Observation reports, being the foundation of empirical knowledge, are neither justified by other sentences, nor certain; but they may be agreed upon as starting points for inductive reasoning and they function as implicit definitions of predicates used. Making inductive generalisations from observations is a basic habit among humans. We do that without justification, but we have strong intuitions that some inductive generalisations will fail, (...) while for some other we have better hopes. Why? This is the induction problem according to Goodman. He suggested that some predicates are projectible when becoming entrenched in language. This is a step forward, but not entirely correct. Inductions result in universally generalised conditionals and these contain two predicates, one in the antecedent, one in the consequent. Counterexamples to preliminary inductive generalisations can be dismissed by refining the criteria of application for these predicates. This process can be repeated until the criteria for application of the predicate in the antecedent includes the criteria for the predicate in the consequent, in which case no further counterexample is possible. If that is the case we have arrived at a law. Such laws are implicit definitions of theoretical predicates. An accidental generalisation has not this feature, its predicates are unrelated. Laws are said to be necessary, which may be interpreted as ‘“Laws” are necessarily true’. ‘Necessarily true’ is thus a semantic predicate, not a modal operator. In addition, laws, being definitions, are necessarily true in the sense of being necessary assumptions for further use of the predicates implicitly defined by such laws. Induction, when used in science, is thus our way of inventing useful scientific predicates; it is a heuristic, not an inference principle. (shrink)

The view that ordinary objects are composites of form and matter ("hylomorphism") can be contrasted with the more common view that ordinary objects are composed of only material parts ("matter only"). On a matter-only view the hard question is modal: which modal profile does that (statue-shaped) object have? Does it have the modal profile of a statue, a lump, a mere aggregate? On a hylomorphic view the hard question is ontological: which objects exist? Does a statue (matter-m + statue-form), a (...) lump (matter-m + lump-form), and/or a mere aggregate (matter-m + mere aggregate-form) exist? I defend a novel answer to the hard question for hylomorphism. In particular, I argue that which ordinary objects exist depends, in part, on how subjects respond to the matter they encounter. I argue that, with regard to grounding the existence and modal properties of ordinary objects, response-dependent hylomorphism is superior to both matter only views and to non-response-dependent versions of hylomorphism. (shrink)

Quine and others have put many problems to quantified modal logic. Their purpose is to show the logic to be paradoxical or at least very peculiar. Many of these problems center around the interplay between modality, quantification and identity.

Metaphysicians now typically distinguish between a theory’s ontology and its ideology. But besides a few cursory efforts, no one has explained the role of ideology in theory choice. In this paper I develop a framework for discussing how differing approaches to ideology impact metaphysical disputes. I first provide an initial characterization of ideology and develop two contrasting types of criteria used to evaluate its quality. In using externalist criteria, we judge the quality of a theory’s ideology by its relation to (...) external features of the world. In contrast, in using internalist criteria, we judge the quality of a theory’s ideology by features internal to the theory and the theorizer, e.g. the intelligibility of the terminology employed. I then argue for an unrestricted application of externalist criteria, what I call maximal realism. According to maximal realism, we ought to apply externalist criteria to the entirety of a theory’s ideology—to not only predicates but also to quantifiers and logical operators. I defend maximal realism from what I take to be the best objection to it: that the view leads to bad questions. As part of my defense, I argue that those who would restrict their application of externalist criteria either adopt an unjustified partition of ideology or reject seemingly benign questions. Finally, I apply my discussion of ideology to two extant metaphysical disputes. (shrink)

Against the view that the normativity of mental content is social content, I argue that it is not, examining the views of Wittgenstein, Davidson, Brandom and Pettit.

According to the standard opinions in the literature, blocking the unacceptable consequences of the notorious slingshot argument requires imposing constraints on the metaphysics of facts or on theories of definite descriptions (or class abstracts). This paper argues that both of these well-known strategies to rebut the slingshot overshoot the mark. The slingshot, first and foremost, raises the question as to the adequate logical formalization of statements about facts, i.e. of factual contexts. It will be shown that a rigorous application of (...) Quine’s maxim of shallow analysis to formalizations of factual contexts paves the way for an account of formalizing such contexts which blocks the slingshot without ramifications for theories of facts or definite descriptions. (shrink)

Standard truthmaker theory has generally assumed a realist account of de re modality and essences. But there are reasons to be skeptical about such a view, and for considering antirealist alternatives. Can truthmaker theory survive in the face of such skepticism? I argue that it can, but that only certain antirealist perspectives on de re modality are acceptable for truthmaker theory. In particular, either a quasi-realist or conventionalist account of de re modality is needed to provide the best account of (...) essential and accidental features that can be put to work in truthmaker theory. An important consequence of this approach is that it offers an account of truthmaking that is consistent with a nominalist perspective on properties, and yet fully respects the ontological ambitions driving truthmaker theory. (shrink)

Modality and Anti-Metaphysics critically examines the most prominent approaches to modality among analytic philosophers in the twentieth century, including essentialism. Defending both the project of metaphysics and the essentialist position that metaphysical modality is conceptually and ontologically primitive, Stephen McLeod argues that the logical positivists did not succeed in banishing metaphysical modality from their own theoretical apparatus and he offers an original defence of metaphysics against their advocacy of its elimination. -/- Seeking to assuage the sceptical worries which underlie modal (...) anti-realism, McLeod provides an original contribution to essentialist epistemology, engaging with current debates about modality and suggesting that standard essentialist approaches to some issues in the philosophies of logic and language require revision. -/- This book offers valuable insights to professional philosophers, postgraduates and advanced undergraduates interested in metaphysics, philosophy of logic or the history of twentieth-century analytic philosophy. (shrink)

The following is a critical and historical account of Aristotelian Essentialism informed by recent work on Aristotle’s modal syllogistic. The semantics of the modal syllogistic are interpreted in a way that is motivated by Aristotle, and also make his validity claims in the Prior Analytics consistent to a higher degree than previously developed interpretative models. In Chapter One, ancient and contemporary objections to the Aristotelian modal syllogistic are discussed. A resolution to apparent inconsistencies in Aristotle’s modal syllogistic is proposed and (...) developed out of recent work by Patterson, Rini, and Malink. In particular, I argue that the semantics of negation is distinct in modal context from those of assertoric negative claims. Given my interpretive model of Aristotle’s semantics, in Chapter Two, I provide proofs for each of the mixed apodictic syllogisms, and propose a method of using Venn Diagrams to visualize the validity claims Aristotle makes in the Prior Analytics. Chapter Three explores how Aristotle’s syllogistic fits within Aristotle’s philosophy of science and demonstration, particularly within the context of the Posterior Analytics. Consideration is given to the Aristotelian understanding of the relationship among necessity, explanation, definition, and essence. Chapter Four applies Aristotelian modal logic in contemporary contexts. I contrast Aristotelian modality and essentialism with contemporary modalism based upon the semantics of possible worlds, e.g. Kripke and Putnam. I also develop an account of how Aristotelian modal logic can ground a sortal dependent theory of identity, as discussed by Wiggins. (shrink)

Some central epistemological notions are expressed by sentential operators O that entail the possibility of knowledge in the sense that 'Op' entails 'It is possible to know that p'. We call these modal-epistemological notions. Using apriority and being in a position to know as case studies, we argue that the logics of modal epistemological notions are extremely weak. In particular, their logics are not normal and do not include any closure principles.

Two-dimensional semantics is a theory in the philosophy of language that provides an account of meaning which is sensitive to the distinction between necessity and apriority. Usually, this theory is presented in an informal manner. In this thesis, I take first steps in formalizing it, and use the formalization to present some considerations in favor of two-dimensional semantics. To do so, I define a semantics for a propositional modal logic with operators for the modalities of necessity, actuality, and apriority that (...) captures the relevant ideas of two-dimensional semantics. I use this to show that some criticisms of two-dimensional semantics that claim that the theory is incoherent are not justified. I also axiomatize the logic, and compare it to the most important proposals in the literature that define similar logics. To indicate that two-dimensional semantics is a plausible semantic theory, I give an argument that shows that all theorems of the logic can be philosophically justified independently of two-dimensional semantics. (shrink)

This paper is partly inspired by a well-known debate between Ruth Barcan Marcus, Terence Parsons and W. V. 0. Quine in the sixties> concerning the extent to which Quantified Modal Logic is committed to Essentialism; the issue nevertheless goes back to the origins of "analytic philosophy'', to the reflections of Frege, Russell, and the earlier Wittgenstein on the nature of logic. By elaborating on a suggestion by Quine, we purport to show that there is a relevant and interesting way to (...) look at the ontological commitments of logical systems such that they are stronger than they are usually taken to be. (shrink)

No. More carefully: apparently not. [This piece was published in the Routledge Handbook of Metaphysical Ground (2020), edited by Michael J. Raven with the title "Anti-Skeptical Rejoinders", pp. 180-193].

Lewisian Genuine Realism about possible worlds is often deemed unable to accommodate impossible worlds and reap the benefits that these bestow to rival theories. This thesis explores two alternative extensions of GR into the terrain of impossible worlds. It is divided in six chapters. Chapter I outlines Lewis’ theory, the motivations for impossible worlds, and the central problem that such worlds present for GR: How can GR even understand the notion of an impossible world, given Lewis’ reductive theoretical framework? Since (...) the desideratum is to incorporate impossible worlds into GR without compromising Lewis’ reductive analysis of modality, Chapter II defends that analysis against objections. The rest of the thesis is devoted to incorporating impossible worlds into GR. Chapter III explores GR-friendly impossible worlds in the form of set-theoretic constructions out of genuine possibilia. Then, Chapters IV-VI venture into concrete impossible worlds. Chapter IV addresses Lewis’ objection against such worlds, to the effect that contradictions true at impossible worlds amount to true contradictions tout court. I argue that even if so, the relevant contradictions are only ever about the non-actual, and that Lewis’ argument relies on a premise that cannot be nonquestion- beggingly upheld in the face of genuine impossible worlds in any case. Chapter V proposes that Lewis’ reductive analysis can be preserved, even in the face of genuine impossibilia, if we differentiate the impossible from the possible by means of accessibility relations, understood non-modally in terms of similarity. Finally, Chapter VI counters objections to the effect that there are certain impossibilities, formulated in Lewis’ theoretical language, which genuine impossibilia should, but cannot, represent. I conclude that Genuine Realism is still very much in the running when the discussion turns to impossible worlds. (shrink)

Kit Fine has proposed a new solution to what he calls ‘a familiar puzzle’ concerning modality and existence. The puzzle concerns the argument from the alleged truths ‘It is necessary that Socrates is a man’ and ‘It is possible that Socrates does not exist’ to the apparent falsehood ‘It is possible that Socrates is a man and does not exist’. We discuss in detail Fine’s setting up of the ‘puzzle’ and his rejection, with which we concur, of two mooted solutions (...) to it. (One of these uses standard, Kripkean, notions, and the other rests on work done by Arthur Prior.) We set out, and reject, the philosophy of modality underlying Fine’s new solution, and we defend an alternative response to the alleged puzzle. Our solution follows the work of David Wiggins in distinguishing between the sentential operator ‘It is necessary that’ and the predicate modifier ‘necessarily’. We briefly provide this distinction with a possible- world semantics on which it is neither a necessary truth, in some sense, that Socrates exists nor true, in some sense, that Socrates necessarily exists. (shrink)

In the Twentieth Century, Logic and Philosophy of Language are two of the few areas of philosophy in which philosophers made indisputable progress. For example, even now many of the foremost living ethicists present their theories as somewhat more explicit versions of the ideas of Kant, Mill, or Aristotle. In contrast, it would be patently absurd for a contemporary philosopher of language or logician to think of herself as working in the shadow of any figure who died before the Twentieth (...) Century began. Advances in these disciplines make even the most unaccomplished of its practitioners vastly more sophisticated than Kant. There were previous periods in which the problems of language and logic were studied extensively (e.g. the medieval period). But from the perspective of the progress made in the last 120 years, previous work is at most a source of interesting data or occasional insight. All systematic theorizing about content that meets contemporary standards of rigor has been done subsequently. (shrink)