Analytic philosophy has recently demonstrated a revived interest in metaphysical problems about possibility and necessity. Graeme Forbes here provides a careful description of the logical background of recent work in this area for those who may be unfamiliar with it, moving on to d discuss the distinction between modality de re and modality de dicto and the ontological commitments of possible worlds semantics. In addition, Forbes offers a unified theory of the essential properties of sets, organisms, artefacts, substances, and events, (...) based on the doctrine that identity facts must be intrinsically grounded, and analyzes and rejects apparent counterexamples to this doctrine. (shrink)

[Graeme Forbes] In I, I summarize the semantics for the relational/notional distinction for intensional transitives developed in Forbes (2000b). In II-V I pursue issues about logical consequence which were either unsatisfactorily dealt with in that paper or, more often, not raised at all. I argue that weakening inferences, such as 'Perseus seeks a mortal gorgon, therefore Perseus seeks a gorgon', are valid, but that disjunction inferences, such as 'Perseus seeks a mortal gorgon, therefore Perseus seeks a mortal gorgon or an (...) immortal gorgon', are invalid. Since 'a gorgon' and 'a mortal gorgon or an immortal gorgon' are extensionally and intensionally the same quantifier, it is not completely trivial to arrange the semantics of intensional transitives so that this classification of the inferences is obtained. (This paper is an abridged version of Forbes (2001a); the latter will be incorporated into a forthcoming monograph, Attitude Problems.) /// [Jennifer Saul] This paper discusses the question of which verbs are intensional transitives. In particular, I ask which verbs Forbes should take to be intensional transitives. I argue that it is very difficult to arrive at a clear and plausible understanding of what an intensional transitive is-making it difficult to answer these questions. I end by briefly raising some questions about the usefulness of the category of intensional transitives. (shrink)

Ascriptions of mental states to oneself and others give rise to many interesting logical and semantic problems. Attitude Problems presents an original account of mental state ascriptions that are made using intensional transitive verbs such as 'want', 'seek', 'imagine', and 'worship'. Forbes offers a theory of how such verbs work that draws on ideas from natural language semantics, philosophy of language, and aesthetics.

_Grounding_ is meant to be a metaphysically explanatory relation of non-causal constitutive determination. Recently there has been significant interest in the idea that there might be ‘laws of metaphysics’ for grounding, analogous to the laws of nature for causation. In this paper I argue that current accounts of the structure of law-based grounding (focusing on Jonathan Schaffer’s structural equation modeling account) do not capture grounding’s directionality—a central feature. The formal account must be supplemented to satisfy this demand and give a (...) successful general account of directed grounding relations. I thus propose two alternative supplements: Priority-Inextricable Grounding and Priority-Extricable Grounding (itself divided into two alternatives—Priority by Absolute Fundamentality and Priority by Relative Fundamentality). Each supplement offers a distinct image of grounding—most illustratively, modally: for each, the structure of grounding contrastingly constrains the metaphysical compossibility of worlds that share facts or grounding relations. As such, I conclude that the supplements offer incompatible strategies for sourcing grounding directionality and grounding theorists ought to decide between them. (shrink)

I aim to sketch a view of a methodology for metaphysics, suggested by Hookway’s reading of C. S. Peirce, that allows one to hold realist metaphysical views (i.e. ones that avoid anti-realism, or idealism) about some questions, but avoids merely verbal disputes, and ‘unwieldy realism’. It is named for Peirce’s ‘Critical Commonsensism’, and uses pragmatic transcendental arguments to defend realism about non-optional basic commitments, e.g. to generality, agency, normativity, modality, change, concrete substances, and other minds. It is critical because we (...) are entitled to hope that the presuppositions of our most basic non-optional commitments obtain, and commonsensical because we begin with our current practices and proceed with anti-sceptical fallibilism. I consider a number of objections to the proposed methodology, including concerns associated with our identification of presuppositions, with the basic non-optional commitments they are presuppositions of, and the community who are so committed. These questions, I will claim, are open to empirical and anthropological investigation, but can begin with careful observation of human practices of action, inquiry, explanation, and justification. I will defend the view we end up with as realist, rather than anti-realist or quasi-realist, and argue that, given holism of confirmation, we are plausibly justified in believing (rather than merely hoping) a number of metaphysical theses that have stood the test of time. (shrink)

The concepts of necessary being, or necessary existence, and contingent being, or contingent existence, continue to occupy a central position in philosophical appraisals of Christian theism. Some philosophers have been concerned of late to emphasize a crucial ambiguity in the terms ‘necessary’ and ‘contingent', an ambiguity which threatens seriously to bedevil assessment of the claim that God's existence is necessary and not contingent. An important consequence of getting clear on this point, it is suggested, is that certain brisk attempts to (...) demolish the concept of a necessary being may be seen at least to be premature, leaving untouched,, as they do, an apparently viable sense in which God can be said to be a, indeed the, necessary being.This, substantially, is the position advocated by Professor J.H. Hick in recent discussions of this point. Hick maintains that it is of the greatest importance to distinguish two fundamentally different and contrasting notions of necessary being or necessary existence. (shrink)

This paper examines Nancy Chodorow's theory of feminine connection and masculine separation in The Reproduction of Mothering. First it demonstrates that, contrary to many feminists' interpretations, Chodorow's theory does not portray masculine separation as a social problem to which feminine connection is the solution. Then it shows that Chodorow's apparently intended theory is incoherent. Finally, it argues that Chodorow's claims imply another theory that is coherent and that deserves feminists' attention.

In this article, we consider two independently appealing theories—the Growing-Block view and Humean Supervenience—and argue that at least one is false. The Growing-Block view is a theory about the nature of time. It says that past and present things exist, while future things do not, and the passage of time consists in new things coming into existence. Humean Supervenience is a theory about the nature of entities like laws, nomological possibility, counterfactuals, dispositions, causation, and chance. It says that none of (...) these entities are fundamental, since if they were, this would entail the existence of irreducible necessary connections between matters of fact. Instead, these entities supervene on a fundamental, non-nomological ‘Humean mosaic’ of property instances at spacetime points. We will further explain and motivate the Growing-Block view and Humean Supervenience in Sects. 2 and 3, but first, we turn to our master argument. (shrink)

The Growing-Block view of time has some problems with the past. It is committed to the existence of the past, but needs to say something about the difference between the past and present. I argue that we should resist Correia and Rosenkranz’ response to Braddon-Mitchell’s argument that the Growing-Block leads to scepticism about whether we are present. I consider an approach, similar to Peter Forrest, and show it is not so counter-intuitive as Braddon-Mitchell suggests and further show that it requires (...) no ‘semantic and metaphysical gymnastics’, as Chris Heathwood has suggested. In doing these things I make the problem of the past on the Growing-Block view a problem in its history, not its present. (shrink)

Growing-Block theorists hold that past and present things are real, while future things do not yet exist. This generates a puzzle: how can Growing-Block theorists explain the fact that some sentences about the future appear to be true? Briggs and Forbes develop a modal ersatzist framework, on which the concrete actual world is associated with a branching-time structure of ersatz possible worlds. They then show how this branching structure might be used to determine the truth values of future contingents. They (...) point out three different ways of interpreting the logical connectives, which give rise to three different logics of the open future: one supervaluationist, one corresponding to Lukasiewicz's strong Kleene logic, and one intuitionist. (shrink)

This paper is about a substitution-failure in attitude ascriptions, but not the one you think. A standard view about the semantic shape of ‘that’-clause attitude ascriptions is that they are fundamentally relational. The attitude verb expresses a binary relation whose extension, if not empty, is a collection of pairs each of which consists in an individual and a proposition, while the ‘that’-clause is a term for a proposition. One interesting problem this view faces is that, within the scope of many (...) attitude verbs, ‘that’-clauses are not interchange able with certain other terms which stand for the same propositions as the clauses are supposed to. For example, (1a) below may be true, but (1c) is probably not: (1) a. Holmes {fears/suspects} that Moriarty has returned. b. That Moriarty has returned is the proposition that Moriarty has re turned. c. Holmes {fears/suspects} the proposition that Moriarty has returned. For only the exceptionally timorous fear propositions, and, excluding contexts in which we speak of a ‘suspect premise’, only the unusually paranoid suspect them. The truth-conditional change eVected by substituting propositional descrip tion for ‘that’- clause illustrated in (1) occurs with a wide range of attitude verbs. If you understand that the window of opportunity is closing, perhaps you should act before it is too late, but if you mere-. (shrink)

We show that five important elements of the ‘nomological package’— laws, counterfactuals, chances, dispositions, and counterfactuals—needn’t be a problem for the Growing-Block view. We begin with the framework given in Briggs and Forbes (in The real truth about the unreal future. Oxford studies in metaphysics. Oxford University Press, Oxford, 2012 ), and, taking laws as primitive, we show that the Growing-Block view has the resources to provide an account of possibility, and a natural semantics for non-backtracking causal counterfactuals. We show (...) how objective chances might ground a more fine-grained concept of feasibility, and furnished a places in the structure where causation and dispositions might fit. The Growing-Block view, thus understood, provides the resources to explain the close link between modality and tense, so that it predicts modal change as time passes. This account lets us capture not only what the future might hold for us, and also what might have been. (shrink)

El artículo discute la formulación de Marcus del principio de sustituibilidad. Se apoyó en una noción de forma lógica en la que el análisis elimina algunos tipos problemáticos de contexto. Defiendo una formulación variante del principio en la cual los contextos problemáticos se acomodan por derecho propio.

Filling the need for an accessible, carefully structured introductory text in symbolic logic, Modern Logic has many features designed to improve students' comprehension of the subject, including a proof system that is the same as the award-winning computer program MacLogic, and a special appendix that shows how to use MacLogic as a teaching aid. There are graded exercises at the end of each chapter--more than 900 in all--with selected answers at the end of the book. Unlike competing texts, Modern Logic (...) gives equal weight to semantics and proof theory and explains their relationship, and develops in detail techniques for symbolizing natural language in first-order logic. After a general introduction featuring the notion of logical form, the book offers sections on classical sentential logic, monadic predicate logic, and full first-order logic with identity. A concluding section deals with extensions of and alternatives to classical logic, including modal logic, intuitionistic logic, and fuzzy logic. For students of philosophy, mathematics, computer science, or linguistics, Modern Logic provides a thorough understanding of basic concepts and a sound basis for more advanced work. (shrink)

Gedankenübertragung. Gegenübertragung. Thought-transference and counter-transference have rarely been considered together. One is a key instrument in much contemporary psychoanalytic practice and the other simply occultism. This essay traces the striking parallels in Sigmund Freud's interests in both. Its tale is the uncanny narrative of his essay ‘Psychoanalysis and Telepathy’. The story starts from Freud's engagements with Sándor Ferenczi and Carl Jung to speculate that his unpublished paper may be the article on counter-transference he promised but never wrote. The repressed returns (...) in the history and practice of psychoanalysis — and in Shoshana Felman's uncanny reading effect. (shrink)

The term 'essentialism' in its popular usage is usually qualified in some way, as in 'biological essentialism', 'gender essentialism' and 'social essentialism'. The essentialist theses were defended on the grounds that denying them leads, under plausible assumptions, to pairs of worlds containing objects which are intrinsic and spatio‐temporal duplicates and yet which are numerically distinct. This chapter outlines some technical difficulties in getting the definitions of 'essential property' and 'individual essence' exactly right. It explains the idea of a metaphysically essential (...) property in terms of Aristotle's 'essential/accidental' contrast. A popular idea is to invoke the notion, which has its roots in Aristotle's theory of essence and accident, of a substance sortal. A different way of developing a sortal‐based account of essential kinds is suggested by David Wiggins, who argues that it is only ultimate sortals that represent essential properties, where an ultimate sortal is the most general sortal corresponding to a given principle of individuation. (shrink)

This is a study of Hume's political thought based on a survey of all his writings in their original and revised versions, with very full reference to the works of predecessors and contemporaries, including journalists, pamphleteers and historians. Hume's political thinking is presented in its historical context as a modem, 'philosophical', empirically based system of politics for a new post-revolutionary age, and a political education for parochial, backward-looking party men.

This paper discusses some recent responses to Kripke’s modal objections to descriptivism about names. One response, due to Gluer-Pagin and Pagin, involves employing "actually" operators in a new way. Another, developed mainly by Chalmers, involves distinguishing the dimension of meaning modal operators affect from the dimension other operators, especially epistemic ones, affect. I argue that both these moves run into problems with "mixed" contexts involving factive verbs such as "know", "establish", "prove", etc. In mixed contexts there are both modal and (...) epistemic operators, and it seems that some contradictory examples, such as "possibly (Hesperus has a moon and someone establishes that Hesperus has no moon)", are classified as true according to these views. (shrink)

This paper is about the cluster of issues that orbit a well-known thesis of Quine’s, as it applies to attitude ascriptions.

A verb is transitive iff it usually occurs with a direct object, and in such occurrences it is said to occur transitively . Thus ‘ate’ occurs transitively in ‘I ate the meat and left the vegetables’, but not in ‘I ate then left’ (perhaps it is not the same verb ‘left’ in these two examples, but it seems to be the same ‘ate’). A verb is intensional if the verb phrase (VP) it forms with its complement is anomalous in at (...) least one of three ways: (i) interchanging expressions in the complement referring to the same entity can change the truth-value of the sentence embedding the VP; (ii) the VP admits of a special “unspecific” reading if it contains a quantifier, or a certain type of quantifier; and (iii) the normal existential commitments of names and existential quantifiers in the complement are suspended even when the embedding sentence is negation-free. (shrink)