This book tackles the issues that arise in connection with intensional logic -- a formal system for representing and explaining the apparent failures of certain important principles of inference such as the substitution of identicals and existential generalization -- and intentional states --mental states such as beliefs, hopes, and desires that are directed towards the world. The theory offers a unified explanation of the various kinds of inferential failures associated with intensional logic but also unifies the study of intensional contexts (...) and intentional states by grounding the explanation of both phenomena in a single theory. When an axiomatized realm of abstract entities is added to the metaphysical structure of the world, we can use them to identify and individuate the contents of directed mental states. The special abstract entities can be viewed as the objectified contents of mental files, and they play a crucial role in the analysis of truth conditions of the sentences involved in inferential failures. (shrink)

Offers a philosophical exploration of the pervasiveness of place. Presenting an account of the role of place in human experience, this book points to place's indispensability in navigation and orientation. The role of the lived body in matters of place isconsidered, and the characteristics of built places are explored.

Exploring the power of spontaneity, an ancient Chinese virtue, this book, based on new research in psychology and neuroscience, reveals why it is essential to individual and societal well-being.

This book is a treatise on time and on background independence in physics. It first considers how time is conceived of in each accepted paradigm of physics: Newtonian, special relativity, quantum mechanics (QM) and general relativity (GR). Substantial differences are moreover uncovered between what is meant by time in QM and in GR. These differences jointly source the Problem of Time: Nine interlinked facets which arise upon attempting concurrent treatment of the QM and GR paradigms, as is required in particular (...) for a background independent theory of quantum gravity. A sizeable proportion of current quantum gravity programs - e.g. geometrodynamical and loop quantum gravity approaches to quantum GR, quantum cosmology, supergravity and M-theory - are background independent in this sense. This book's foundational topic is thus furthermore of practical relevance in the ongoing development of quantum gravity programs. This book shows moreover that eight of the nine facets of the Problem of Time already occur upon entertaining background independence in classical (rather than quantum) physics. By this development, and interpreting shape theory as modelling background independence, this book further establishes background independence as a field of study. Background independent mechanics, as well as minisuperspace (spatially homogeneous) models of GR and perturbations thereabout are used to illustrate these points. As hitherto formulated, the different facets of the Problem of Time greatly interfere with each others' attempted resolutions. This book explains how, none the less, a local resolution of the Problem of Time can be arrived at after various reconceptualizations of the facets and reformulations of their mathematical implementation. Self-contained appendices on mathematical methods for basic and foundational quantum gravity are included. Finally, this book outlines how supergravity is refreshingly different from GR as a realization of background independence, and what background independence entails at the topological level and beyond. (shrink)

Computational philosophy is the use of mechanized computational techniques to unearth philosophical insights that are either difficult or impossible to find using traditional philosophical methods. Computational metaphysics is computational philosophy with a focus on metaphysics. In this paper, we (a) develop results in modal metaphysics whose discovery was computer assisted, and (b) conclude that these results work not only to the obvious benefit of philosophy but also, less obviously, to the benefit of computer science, since the new computational techniques that (...) led to these results may be more broadly applicable within computer science. The paper includes a description of our background methodology and how it evolved, and a discussion of our new results. (shrink)

According to the preference-centric approach to understanding partial belief, the connection between partial beliefs and preferences is key to understanding what partial beliefs are and how they’re measured. As Ramsey put it, the ‘degree of a belief is a causal property of it, which we can express vaguely as the extent to which we are prepared to act on it’ The Foundations of Mathematics and Other Logical Essays, Routledge, Oxon, pp 156–198, 1931). But this idea is not as popular as (...) it once was. Nowadays, the preference-centric approach is frequently dismissed out-of-hand as behaviouristic, unpalatably anti-realist, and/or prone to devastating counterexamples. Cases like Eriksson and Hájek’s :183–213, 2007) preferenceless Zen monk and Christensen’s :356–376, 2001) other roles argument have suggested to many that any account of partial belief that ties them too closely to preferences is irretrievably flawed. In this paper I provide a defence of preference-centric accounts of partial belief. (shrink)

In sentences like Every teacher laughed we think of every teacher as a unary (=type (1)) quantifier - it expresses a property of one place predicate denotations. In variable binding terms, unary quantifiers bind one variable. Two applications of unary quantifiers, as in the interpretation of No student likes every teacher, determine a binary (= type (2)) quantifier; they express properties of two place predicate denotations. In variable binding terms they bind two variables. We call a binary quantifier Fregean (or (...) reducible) if it can in principle be expressed by the iterated application of unary quantifiers. In this paper we present two mathematical properties which distinguish non-Fregean quantifiers from Fregean ones. Our results extend those of van Benthem (1989) and Keenan (1987a). We use them to show that English presents a large variety of non-Fregean quantifi ers. Some are new here, others are familiar (though the proofs that they are non-Fregean are not). The main point of our empirical work is to inform us regarding the types of quantification natural language presents - in particular (van Benthem, 1989) that it goes beyond the usual (Fregean) analysis which treats it as mere iterated application of unary quantifiers. Secondarily, our results challenge linguistic approaches to "Logical Form" which constrain variable binding operators to "locally" bind just one occurrence of a variable, e.g., the Bijection Principle (BP) of Koopman and Sportiche (1983). The BP (correctly) blocks analyses like For which x, x's mother kissed x? for Who did his mother kiss? since For which x would locally bind two occurrences of x. But some of our irreducible binary quantifiers are naturally represented by operators which do locally bind two variables. This paper is organized as follows: Section 1 provides an explicit formulation of our questions of concern. Section 2 classifies the English constructions which we show to be non-Fregean. Section 3 presents the mathematical properties which test for non-Fregean quantification and applies these tests to the constructions in Section 2. Proofs of the mathema tical properties are given in the Appendix. (shrink)

In the debate about the nature and identity of possible worlds, philosophers have neglected the parallel questions about the nature and identity of moments of time. These are not questions about the structure of time in general, but rather about the internal structure of each individual time. Times and worlds share the following structural similarities: both are maximal with respect to propositions (at every world and time, either p or p is true, for every p); both are consistent; both are (...) closed (every modal consequence of a proposition true at a world is also true at that world, and every tense-theoretic consequence of a proposition true at a time is also true at that time); just as there is a unique actual world, there is a unique present moment; and just as a proposition is necessarily true iff true at all worlds, a proposition is eternally true iff true at all times. In this paper, I show that a simple extension of my theory of worlds yields a theory of times in which the above structural similarities between the two are consequences. (shrink)

In this paper, we describe "metaphysical reductions", in which the well-defined terms and predicates of arbitrary mathematical theories are uniquely interpreted within an axiomatic, metaphysical theory of abstract objects. Once certain (constitutive) facts about a mathematical theory T have been added to the metaphysical theory of objects, theorems of the metaphysical theory yield both an analysis of the reference of the terms and predicates of T and an analysis of the truth of the sentences of T. The well-defined terms and (...) predicates of T are analyzed as denoting abstract objects and abstract relations, respectively, in the background metaphysics, and the sentences of T have a reading on which they are true. After the technical details are sketched, the paper concludes with some observations about the approach. One important observation concerns the fact that the proper axioms of the background theory abstract objects can be reformulated in a way that makes them sound more like logical axioms. Some philosophers have argued that we should accept (something like) them as being logical. (shrink)

Recent work in natural language semantics leads to some new observations on generalized quantifiers. In § 1 we show that English quantifiers of type $ $ are booleanly generated by their generalized universal and generalized existential members. These two classes also constitute the sortally reducible members of this type. Section 2 presents our main result--the Generalized Prefix Theorem (GPT). This theorem characterizes the conditions under which formulas of the form Q1x 1⋯ Qnx nRx 1⋯ xn and q1x 1⋯ qnx nRx (...) 1⋯ xn are logically equivalent for arbitrary generalized quantifiers Qi, qi. GPT generalizes, perhaps in an unexpectedly strong form, the Linear Prefix Theorem (appropriately modified) of Keisler & Walkoe (1973). (shrink)

This article investigates a high-profile and ongoing dilemma for healthcare professionals (HCPs), namely whether the existence of a (legal) duty of care to genetic relatives of a patient is a help or a hindrance in deciding what to do in cases where a patient’s genetic information may have relevance to the health of the patient’s family members. The English caseABC v St George’s Healthcare NHS Trust and othersconsidered if a duty of confidentiality owed to the patient and a putative duty (...) of care to the patient’s close relatives could coexist in this context. This article examines whether embracing the concept of coexisting duties could enable HCPs to respect duties in line with their clinical judgement, thereby providing legal support and clarity to professionals to allow them to provide the best possible genetics service to both the patient and their family. We argue that these dual duties, framed as a novel, composite duty to consider the interests of genetic relatives, could allow HCPs to exercise and act on their professional judgements about the relative value of information to family members, without fears of liability for negligence or breach of confidence. (shrink)

(2013). Sickle Cell Disease and the “Difficult Patient” Conundrum. The American Journal of Bioethics: Vol. 13, No. 4, pp. 3-10. doi: 10.1080/15265161.2013.767954.

Political realists complain that much contemporary political philosophy is insufficiently attentive to various facts about politics yet some political philosophers insist that any critique of normative claims on grounds of unrealism is misplaced. In this paper I focus on the methodological position G.A. Cohen champions in order assess the extent to which this retort succeeds in nullifying the realist critique of contemporary political philosophy. I argue that Cohen’s work does not succeed in doing so because the political principles that we (...) are prepared to endorse are hostage to various fact-sensitive judgements about how they apply to the political domain. I then argue that this discredits various philosophical approaches to political theorising which begin by utilising non-political thought-experiments, such as Cohen’s own Why Not Socialism? (shrink)

This paper considers a central objection to evolutionary epistemology. The objection is that biological and epistemic development are not analogous, since while biological variation is blind, epistemic variation is not. The generation of hypotheses, unlike the generation of genotypes, is not random. We argue that this objection is misguided and show how the central analogy of evolutionary epistemology can be preserved. The core of our reply is that much epistemic variation is indeed directed by heuristics, but these heuristics are analogous (...) to biological preadaptations which account for the evolution of complex organs. We also argue that many of these heuristics or epistemic preadaptations are not innate but were themselves generatedby a process of blind variation and selective retention. (shrink)

In this paper, I present a problem for regarding the reflective equilibrium and original position methods as consistent. I do not prove that there is an inconsistency, but there is a puzzle of how the two methods can be made consistent. The concern about inconsistency is because the former method allows for a kind of historical bias, as noted by T.H. Irwin, whereas the latter method seeks to guard against historical bias.

This paper responds to a European novel presenting the development of a poet. The novelist depicts a stage in which the poet seeks to escape from his mother, but I show that there are textual resources for an alternative interpretation of why.

Can a reason to believe testimony derive from the addressee’s trust itself or only from reliability in the speaker that the trust perhaps causes? I aim to cast suspicion on the former view, defended by Faulkner, in favor of the latter – despite agreeing with Faulkner’s emphasis on the second-personal normativity of testimonial assurance. Beyond my narrow disagreement with Faulkner lie two broader issues. I argue that Faulkner misappropriates Bernard Williams’s genealogy of testimony when he makes use of Williams’s genealogical (...) argument in his own preferred assurance view of testimony. Though Williams doesn’t clearly articulate it, there is a deep reason why Williams’s genealogy cannot underwrite an argument for trust-based testimonial reasons. Can a genealogical argument underwrite any version of the assurance view? I sketch an assurance view of testimonial reasons that rejects Faulkner’s thesis that such reasons could be grounded in trust. Then I examine what it would take for that assurance view to receive genealogical vindication. (shrink)

If by “demon” one understands an evil occult being, then its equivalent in the Islamic narrative is the intersection of the category jinn with that of the shayātīn: a demon is a shaytān from among the jinn. The literature in the Islamic tradition on these subjects is vast. In what follows, we will select some key elements from it to provide a brief summary: first on the nature of the jinn, their nature, and their relationship to God and human beings; (...) second, on the origin, nature, and role of Shaytān (Satan himself) and the shayātīn in the moral drama of Islam. Then, we will take a closer look at the relationship between jinn and humankind, according to Islam, and the phenomena of the demonic as it manifests itself in that relation. In the process, I will entertain, tentatively, some philosophical speculation as to the nature of that ultimately mysterious relation and phenomena, drawn from what we find in the religious sources. (shrink)

One of the strongest arguments for the incompatibility of divine foreknowledge and human free action appeals to the apparent fixity or necessity of the past. Two leading responses to the argument—Ockhamism, which denies a premiss of the argument, and the so-called “eternity solution”, which holds that strictly speaking God does not have foreknowledge—have both come under attack on similar grounds. Neither response, it is alleged, is adequate to the case of divine prophecy. In this paper I shall first state the (...) argument in question and the two responses to it. I shall then consider objections to these responses, focusing primarily on how they deal with prophecy. (shrink)

This paper is a response to Kathleen Stock’s book Material Girls, by way of imitation. I have attempted to write a faux chapter in the book’s style, identifying four moments in overcoming the low-high culture divide in responses to the arts.

In this article, I introduce Robert Brandom’s inferentialism as an alternative to common representational interpretations of constructivism in science education. By turning our attention away from the representational role of conceptual contents and toward the norms governing their use in inferences, we may interpret knowledge as a capacity to engage in a particular form of social activity, the game of giving and asking for reasons. This capacity is not readily reduced to a diagrammatic structure defining the knowledge to be acquired. (...) By considering the application of these ideas to the concept of electrical current and the use of analogies in science education, I hope to illustrate how they may be given practical employment as the child comes to explore within the concepts derived from historical scientific endeavours and not merely meander through her individual experiences of scientific phenomena themselves. In moving away from the representational role of analogy, our focus shifts from the quality of the analogy itself toward the quality of the discourse utilising the analogy. (shrink)

In this paper, the author shows how one can independently prove, within the theory of abstract objects, some of the most significant claims, hypotheses, and background assumptions found in Kripke's logical and philosophical work. Moreover, many of the semantic features of theory of abstract objects are consistent with Kripke's views — the successful representation, in the system, of the truth conditions and entailments of philosophically puzzling sentences of natural language validates certain Kripkean semantic claims about natural language.

In an author-meets-critics session at the March 1992 Pacific APA meetings, the critics (Christopher Menzel, Harry Deutsch, and C. Anthony Anderson) commented on the author's book *Intensional Logic and the Metaphysics of Intentionality* (Cambridge, MA: MIT/Bradford, 1988). The critical commentaries are published in this issue together with these replies by the author. The author responds to questions concerning the system he proposes, and in particular, to questions concerning the treatment of modality, the semantics of belief reports, and the general efficacy (...) of the metaphysical foundations as compared to that of set theory. (shrink)

How far, if at all, do our intrapersonal and our interpersonal epistemic obligations run in parallel? This paper treats the question as addressing the stability of doxastic commitment in the two dimensions. In the background lies an analogy between doxastic and practical commitment. We’ll pursue the question of doxastic stability by coining a doxastic analogue of Gregory Kavka’s much-discussed toxin case. In this new case, you foresee that you will rationally abandon a doxastic commitment by undergoing a shift in the (...) context in which you doxastically deliberate. The case reveals an important stability condition on doxastic commitment that plays no role in cases modeled on Ulysses and the Sirens, the scenario that has shaped previous attempts to draw an analogy between doxastic and practical commitment. The stability condition thereby revealed is not diachronic -- it does not involve a shift in belief -- but we can construct specifically diachronic cases that reveal an important intrapersonal epistemic obligation. This obligation arises when you expect the shift in belief by ‘projecting’ yourself into a future doxastic context -- thus vindicating a restricted, but only this restricted, application of Bas van Fraassen’s Reflection Principle. Despite some important differences, we can use these diachronic cases as a model for interpersonal cases that reveal an important role for doxastic context in the epistemology of disagreement. But the roles played by projection and context in disagreement ensure that there is no general obligation to be responsive to the opinion of an epistemic peer who disagrees with you. (shrink)

This essay explores various problematical aspects of Descartes' conservation principle for the quantity of motion (size times speed), particularly its largely neglected "dual role" as a measure of both durational motion and instantaneous "tendencies towards motion". Overall, an underlying non-local, or "holistic", element of quantity of motion (largely derived from his statics) will be revealed as central to a full understanding of the conservation principle's conceptual development and intended operation; and this insight can be of use in responding to some (...) of the recent and traditional criticisms of Descartes' physics. (shrink)

The professor of psychopathology Simon Baron-Cohen claims that males are on average stronger at systematizing than empathizing and females are on average stronger at empathizing than systematizing. Systematizing is defined as the drive to construct or understand systems. In this paper, I observe that Baron-Cohen overlooks certain examples of systems, examples which lead to doubts about his claim.

When evaluating R.K. Narayan, Shashi Tharoor seems to commit himself to these theses: Narayan has a natural style of writing, or a style which is second nature to him; to go significantly beyond his limited range he would have to experiment more with language, reducing the accessibility of his fictions. I cast doubt on the first of these by speculating that Narayan’s middle-of-the-road style required suppressing linguistic innovations in earlier drafts.

In this paper, I present a challenge to Adam Smith’s specialization recommendations, at least according to the “unzany” interpretation suggested by his famous pin factory example. I present it while attempting the style of a notable fiction writer from the Indian sub-continent, as befits the challenge. I have adapted the style slightly for the Western setting.

This paper provides an exposition and defence of Lewis' theory of radical interpretation. The first part explains what Lewis' theory was; the second part explains what it wasn't, and in so doing addresses a number of common objections that arise as a result of widespread myths and misunderstandings about how Lewis' theory is supposed to work.

This paper responds to an argument against a kind of anthropology. According to the argument, if the aim of anthropology is to describe the different worldviews of different groups, then anthropologists should only refer to material artefacts in order to illustrate a worldview; but the interest of artefacts to anthropology goes beyond mere illustration. This argument has been endorsed by key members of the ontological movement in anthropology, who found at least one of its premises in Marilyn Strathern’s writing.

The object of this paper is not arguments from contingency in general, but specifically Aquinas’s ‘Third Way’ as it appears in his Summa Theologica. I will raise three objections to this argument. First, the argument depends on the premise, that if everything were contingent, then there would have been a time during which nothing exists, but this is not self-evident and no argument is given for it here. Secondly, Aquinas tells us that a key premise in this argument, that an (...) infinite order of things necessary through one another is impossible, has been proven just previously (in the ‘second way’) with respect to an infinite order of efficient causes. But this argument fallaciously equivocates between two different senses of the term ‘first’, and the fallacy does not disappear when applied to the ‘third way’. Thus, Aquinas not only fails, in this argument, to prove the existence of a thing necessary in itself, but fails to prove that anything is necessary at all. Lastly, this argument suffers from a puzzling ambiguity as to the meaning of the term ‘necessity’, and either way of interpreting the term consistently in the argument raises difficulties. (shrink)