This paper, while neutral on questions about the minimality of truth, argues for the non-minimality of truth-aptness.

REMARKS ON EVOLUTION AND TIME-SCALES, Graham Cairns-Smith; HODGSON'S BLACK BOX, Thomas Clark; DO HODGSON'S PROPOSITIONS UNIQUELY CHARACTERIZE FREE WILL?, Ravi Gomatam; WHAT SHOULD WE RETAIN FROM A PLAIN PERSON'S CONCEPT OF FREE WILL?, Gilberto Gomes; ISOLATING DISPARATE CHALLENGES TO HODGSON'S ACCOUNT OF FREE WILL, Liberty Jaswal; FREE AGENCY AND LAWS OF NATURE, Robert Kane; SCIENCE VERSUS REALIZATION OF VALUE, NOT DETERMINISM VERSUS CHOICE, Nicholas Maxwell; COMMENTS ON HODGSON, J.J.C. Smart; THE VIEW FROM WITHIN, Sean Spence; COMMENTARY ON HODGSON, Henry (...) Stapp. (shrink)

A discussion of the recent prominence of 'new atheism' and 'Christian nationalism' in the United States.

In [3], Quentin Smith claims that `the Hartle-Hawking cosmology' is inconsistent with classical theism in a way which redounds to the discredit of classical theism; and, moreover, that the truth of `the Hartle- Hawking cosmology' would undermine reasonsed belief in any other varieties of theism which hold that the universe is created.

This paper is a critical review of *Big Bang Cosmology* by Quentin Smith and William Lane Craig. (The book is a collection of previously published papers; most are concerned, in one way or another, with kalam cosmological arguments for the existence of God.).

A collection of papers presented at the First International Summer Institute in Cognitive Science, University at Buffalo, July 1994, including the following papers: ** Topological Foundations of Cognitive Science, Barry Smith ** The Bounds of Axiomatisation, Graham White ** Rethinking Boundaries, Wojciech Zelaniec ** Sheaf Mereology and Space Cognition, Jean Petitot ** A Mereotopological Definition of 'Point', Carola Eschenbach ** Discreteness, Finiteness, and the Structure of Topological Spaces, Christopher Habel ** Mass Reference and the Geometry of Solids, Almerindo E. (...) Ojeda ** Defining a 'Doughnut' Made Difficult, N .M. Gotts ** A Theory of Spatial Regions with Indeterminate Boundaries, A.G. Cohn and N.M. Gotts ** Mereotopological Construction of Time from Events, Fabio Pianesi and Achille C. Varzi ** Computational Mereology: A Study of Part-of Relations for Multi-media Indexing, Wlodek Zadrozny and Michelle Kim. (shrink)

This paper was presented as the keynote address at the 2005 Philosophy Graduate Student Conference at the University of Memphis on “Limitations of Subjectivity.”.

This article is part of a For-Discussion-Section of Methods of Information in Medicine about the paper "Biomedical Informatics: We Are What We Publish", written by Peter L. Elkin, Steven H. Brown, and Graham Wright. It is introduced by an editorial. This article contains the combined commentaries invited to independently comment on the Elkin et al. paper. In subsequent issues the discussion can continue through letters to the editor.

The norm of assertion, to be in force, is a social norm. What is the content of our social norm of assertion? Various linguistic arguments purport to show that to assert is to represent oneself as knowing. But to represent oneself as knowing does not entail that assertion is governed by a knowledge norm. At best these linguistic arguments provide indirect support for a knowledge norm. Furthermore, there are alternative, non-normative explanations for the linguistic data (as in recent work from (...) Van Elswyk). Direct arguments would rely on normative judgments about the permissibility or impermissibility of assertions with and without the speaker knowing the content asserted. John Turri's work experimental results purport to show that our norm of assertion is factive, and probably knowledge. But as a number of recent experimentalists (Kneer, Reuter and Broessel, Marsili and Wiegmann) have shown, Turri's results rely on the problemmatic use of 'should' as in 'Maria should assert that she owns a 1990 watch.' Correcting for this, these experimentalists provide strong evidence that our norm of assertion is not factive. The standard reply to evidence like this from the assertion of unlucky falsehoods is the excuse maneuver. But Marsili and Wiegmann, following Turri's protocol for testing for excuse validation, show that participants who judge that assertions unlucky falsehoods are permissible are not guilty of excuse validation. Given our current understanding of the experimental evidence, knowledge is not our norm of assertion. (shrink)

What is the biological function of perception? I hold perception, especially visual perception in humans, has the biological function of accurately representing the environment. Tyler Burge argues this cannot be so in Origins of Objectivity (Oxford, 2010), for accuracy is a semantical relationship and not, as such, a practical matter. Burge also provides a supporting example. I rebut the argument and the example. Accuracy is sometimes also a practical matter if accuracy partly explains how perception contributes to survival and reproduction.

This paper will attempt to assess the primary differences between what I take to be the two primary philosophical "traditions" in contemporary French philosophy, using Derrida (transcendence) and Deleuze (immanence) as exemplary representatives. The body of the paper will examine the use of these terms in three different areas of philosophy on which Derrida and Deleuze have both written: subjectivity, ontology, and epistemology. (1) In the field of subjectivity, the notion of the subject has been critiqued in two manners, either (...) by appealing either to the transcendence of the other (Levinas, Derrida) or to the immanent jlux of experience itself, in relation to which the Ego itself is trancendent (Deleuze, Foucault, Sartre, James). (2) In the field of ontology, a purely "immanent" ontology would be an ontology in which there is neither a "beyond" or an "otherwise" Being, nor "interruptions" in Being, both of which would require an appeal to a formal element of transcendence (Deleuze). Such a "transcendent" and aporetic structure, which can never appear or be present as such within Being, is what lies at the basis of the project of deconstruction, with its attendant aporias (Derrida). (3) This distinction, finally, finds parallels in Kant's epistemology, for whom the possible experience is conditioned by purely immanent criteria (Deleuze), whereas what goes beyond the limits of possible experience is transcendent (Derrida). Drawing on these three thread of analysis, the paper concludes with an assessment of what is at stake in the ethical differences between the two traditions. The question of "transcendence" is "What mast I do?", which is the question of morality (a duty or obligation that is beyond being, an "ought" beyond the "is"). The question of "immanence" is "What can I do?" (my power or capacity as an existing individual within being). For Levinas and Derrida, ethics precedes ontology because it is derived from an element of transcendence (the Other); for Deleuze, ethics is ontology because it is derived from the immanent relation of beings to Being at the level of their existence (Spinoza). (shrink)

I argue that the Hume of the Treatise maintains an account of knowledge according to which (i) every instance of knowledge must be an immediately present perception (i.e., an impression or an idea); (ii) an object of this perception must be a token of a knowable relation; (iii) this token knowable relation must have parts of the instance of knowledge as relata (i.e., the same perception that has it as an object); and any perception that satisfies (i)-(iii) is an instance (...) of knowledge. I then apply this account to the case of sense perception. I argue that Hume holds that relations of impressions can be intuited, are knowable, and are necessary. For Hume, these relations constitute sensory knowledge. While Hume is rightly labeled an empiricist for many reasons, a close inspection of his account of knowledge reveals yet another way in which he deserves the label. (shrink)

This review focuses on the Ogdoas scholastica by Jacob Lorhard, published in 1606. The importance of this document turns on the fact that it contains what is almost certainly the first published occurrence of the term “ontology.” The body of the work consists in a series of diagrams called “diagraphs.” Relevant features of this compendium of diagraphs are: 1. that it does not in fact contain the word “ontology,” and 2. that Lorhard himself was not responsible for its content.

In this paper, I will argue that Locke is a substance dualist in the general sense, in that he holds that there are, independent of our classificatory schema, two distinct kinds of substances: wholly material ones and wholly immaterial ones. On Locke’s view, the difference between the two lies in whether they are solid or not, thereby differentiating him from Descartes. My way of establishing Locke as a general substance dualist is to be as minimally committal as possible at the (...) outset, especially with respect to the classic debates on Locke’s positions in this domain, including those concerning substrata, real essences, and the like. Nonetheless, I show that minimal commitments about Locke’s primary/secondary quality distinction are sufficient to derive some substantive conclusions about his positions on these issues, as well as that he is a general substance dualist. (shrink)

The essay constructs an ontological theory designed to capture the categories instantiated in those portions or levels of reality which are captured in our common sense conceptual scheme. It takes as its starting point an Aristotelian ontology of “substances” and “accidents”, which are treated via the instruments of mereology and topology. The theory recognizes not only individual parts of substances and accidents, including the internal and external boundaries of these, but also universal parts, such as the “humanity” which is an (...) essential part of both Tom and Dick, and also “individual relations”, such as Tom’s promise to Dick, or their current handshake. (shrink)

Hsueh M. Qu has recently argued that Hume’s famed ‘Separability Principle’ from the Treatise entangles him in a contradiction. Qu offers a modified principle as a solution but also argues that the mature Hume would not have needed to avail himself of it, given that Hume’s arguments in the first Enquiry do not depend on this principle in any form. To the contrary, I show that arguments in the first Enquiry depend on this principle, but I agree with Qu that (...) Qu’s solution to Hume’s quandary frees him of the contradiction. Next, I compare Qu’s solution to Hume’s original position. By analysing the divergent forms of 'Hume’s Dictum’ that follow from them, I show that Qu’s solution and Hume’s original position have significantly different consequences in a range of domains, including Hume’s modality. Generally, Qu’s solution fits better with Hume’s other commitments—even though Hume often fails to recognize it—thereby increasing its plausibility. (shrink)

Some of Aristotle’s statements about the indemonstrability of the Principle of Non-Contradiction (PNC) in Metaphysics Γ 4 merit more attention. The consensus seems to be that Aristotle provides two arguments against the demonstrability of the PNC, with one located in Γ 3 and the other found in the first paragraph of Γ 4. In this article, I argue that Aristotle also relies upon a third argument for the same conclusion: the argument from truth. Although Aristotle does not explicitly state this (...) argument, it is the best argument that he could use to defend some of his statements in the second paragraph of Γ 4. Since the argument relies on only a few of Aristotle’s core views about truth, I propose that it is faithful to his considered position throughout his corpus, and it may be the strongest argument he could offer for the indemonstrability of the PNC. (shrink)

Hylomorphism is the Aristotelian theory according to which substances are composed of matter and form. If a house is a substance, then its matter would be a collection of bricks and timbers and its form something like the structure of those bricks and timbers. It is widely agreed that matter bears a mereological relationship to substance; the bricks and timbers are parts of the house. But with form things are more controversial. Is the structure of the bricks and timbers best (...) conceived as a part of the house, or is it related to the house in some non-mereological fashion? Kathrin Koslicki argues that substances have formal parts, that forms are best conceived as bearing a mereological relation to substances. This paper shows that her argument fails, given the traditional and plausible distinction between substances and accidental unities. I close with a brief suggestion for a non-mereological construal of forms. (shrink)

According to the Acceptance Principle, a person is entitled to accept a proposition that is presented as true (asserted) and that is intelligible to him or her, unless there are stronger reasons not to. Burge assumes this Principle and then argues that it has an apriori justification, basis or rationale. This paper expounds Burge's teleological reliability framework and the details of his a priori justification for the Principle. It then raises three significant doubts.

This chapter provides a quick sketch of the history of western philosophy of religion as it bears on theism.

This essay is a response to Luis M. Augusto’s intriguing paper on the rift between mainstream and formal ontology. I will show that there are in fact two questions at issue here: 1. concerning the links between mainstream and formal approaches within philosophy, and 2. concerning the application of philosophy (and especially philosophical ontology) in support of information-driven research for example in the life sciences.

Commonsense holds that testimony transfers knowledge from a speaker to the hearer. If the speaker has knowledge, then the hearer acquires it. Call that sufficiency. And a hearer acquires knowledge only if the speaker has it to transfer. Call that necessity. This article reviews counterexamples--and some replies to those counterexamples--to both claims.

Naturalists have many and diverse reasons for thinking that morality does not depend upon God. In this paper, I do not aim to give an exhaustive inventory of these reasons. Rather, I aim to give reason that emerge from the kind of naturalism that I accept. After explaining what I mean by "God", "morality" and "dependence", I note that, on the kind of naturalism that I accept, it is impossible that God exists. Unsurprisingly, therefore, I hold that it is impossible (...) that morality depends on God. While--as I go on to discuss--there are reasons to think that morality could not be dependent on anything else, I also canvass reasons for thinking that even theists should worry about the suggestion that morality might be dependent on God. -/- This chapter was published in a 'debate' book. My 'debate' partner was Matthew Flannagan. The book also contains my response to Flannagan's chapter on this topic. I have not included that response here. (shrink)

That uses of language not only can, but even normally do, have the character of actions was a fact largely unrealised by those engaged in the study of language before the present century, at least in the sense that there was lacking any attempt to come to terms systematically with the action-theoretic peculiarities of language use. Where the action-character of linguistic phenomena was acknowledged, it was normally regarded as a peripheral matter, relating to derivative or nonstandard aspects of language which (...) could afford to be ignored. (shrink)

Hylomorphists claim that substances—human beings, oak trees, chemical compounds—are compounds of matter and form. If a house is a substance, then its matter would be some bricks and timbers and its form the structure those bricks and timbers take on. While hylomorphism is traditionally presented as a theory of change, it only treats the coming-to-be and passing-away of matter-form compounds. But many hylomorphists understand forms to be entities in their own right, as parts or constituents of substances. So, a neglected (...) question arises: how, when, and from where do forms come to be? I take up the view of one prominent and representative hylomorphist, Kathrin Koslicki, and argue that she cannot answer these questions satisfactorily. I close with a proposal for an account of the generation of forms based on machinery many hylomorphists already accept, namely, causal powers, that points to a deflationary metaphysics of form. (shrink)

Hylomorphism is the Aristotelian theory according to which objects are composites of form and matter. Form is what unifies the various parts of an object – the matter – into a cohesive whole. Some contemporary hylomorphists argue their theory applies beyond the realm of concreta, and that it explains the unity of various abstract entities. Not everyone agrees. Recent criticism alleges that hylomorphism fails to explain the unity of certain abstract entities, namely, complex properties – properties with other properties as (...) proper parts. Here, I both respond to this criticism and show that and how hylomorphism extends to the domain of complex properties. By discussing hylomorphism’s applicability to the hitherto unchartered domain of complex properties, I hope to defend its credentials as a general mereological theory. (shrink)

Hylomorphism is the Aristotelian theory according to which substances are composites of matter and form. If my house is a substance, then its matter would be a collection of bricks and timbers and its form something like a structure that unites those bricks and timbers into a single substance. Contemporary hylomorphists are divided on how to understand forms best, but a prominent group of theorists argue that forms are emergent powers. According to such views, when material components are arranged appropriately, (...) a novel substance emerges with the power to impose unity on its components through time. I argue that these accounts of form fall prey to a bootstrapping problem, and so, suffer from issues of redundancy, given plausible assumptions about inherence. In their place, I suggest an ontologically minimalist conception of forms as collective manifestations of the powers of matter. (shrink)

This chapter provides a brief account of atheistic philosophy of relgion in the second half of the twentieth century.

The Foundational Model of Anatomy (FMA) symbolically represents the structural organization of the human body from the macromolecular to the macroscopic levels, with the goal of providing a robust and consistent scheme for classifying anatomical entities that is designed to serve as a reference ontology in biomedical informatics. Here we articulate the need for formally clarifying the is-a and part-of relations in the FMA and similar ontology and terminology systems. We diagnose certain characteristic errors in the treatment of these relations (...) and show how these errors can be avoided through adoption of the formalism we describe. We then illustrate how a consistently applied formal treatment of taxonomy and partonomy can support the alignment of ontologies. (shrink)

The truthmaker theory rests on the thesis that the link between a true judgment and that in the world to which it corresponds is not a one-to-one but rather a one-to-many relation. An analogous thesis in relation to the link between a singular term and that in the world to which it refers is already widely accepted. This is the thesis to the effect that singular reference is marked by vagueness of a sort that is best understood in supervaluationist terms. (...) In what follows we show that the supervaluationist approach to singular reference, when wedded to the truthmaker idea, yields a framework of surprising power, which offers a uniform set of solutions to a range of problems regarding identity, reference and knowledge, problems which have hitherto been dealt with on an ad hoc basis. (shrink)

Basic Formal Ontology was created in 2002 as an upper-level ontology to support the creation of consistent lower-level ontologies, initially in the subdomains of biomedical research, now also in other areas, including defense and security. BFO is currently undergoing revisions in preparation for the release of BFO version 2.0. We summarize some of the proposed revisions in what follows, focusing on BFO’s treatment of material entities, and specifically of the category object.

We argue that prevailing definitions of Berkeley’s idealism fail to rule out a nearby Spinozist rival view that we call ‘mind-body identity panpsychism.’ Since Berkeley certainly does not agree with Spinoza on this issue, we call for more care in defining Berkeley’s view. After we propose our own definition of Berkeley’s idealism, we survey two Berkeleyan strategies to block the mind-body identity panpsychist and establish his idealism. We argue that Berkeley should follow Leibniz and further develop his account of the (...) mind’s unity. Unity—not activity—is the best way for Berkeley to establish his view at the expense of his panpsychist competitors. (shrink)

We rely on language to know the minds of others, but does language have a role to play in knowing our own minds? To suppose it does is to look for a connection between mastery of a language and the epistemic relation we bear to our inner lives. What could such a connection consist in? To explore this, I shall examine strategies for explaining self-knowledge in terms of the use we make of language to express and report our mental states. (...) Success in these strategies will depend on the view we take of speakers' understanding of the words they use to speak their minds. The key is to avoid circularity in the account of how they know what they mean; for if knowing what one is saying in speaking a language provides a means of knowing one's own mind, it cannot simply be a part of it. I shall look at ways in which we might proceed here, and examine whether the strategy can make room for a genuinely first-person point of view. But first let me try to motivate the problem of self-knowledge. (shrink)

Increasingly, in data-intensive areas of the life sciences, experimental results are being described in algorithmically useful ways with the help of ontologies. Such ontologies are authored and maintained by scientists to support the retrieval, integration and analysis of their data. The proposition to be defended here is that ontologies of this type – the Gene Ontology (GO) being the most conspicuous example – are a part of science. Initial evidence for the truth of this proposition (which some will find self-evident) (...) is the increasing recognition of the importance of empirically-based methods of evaluation to the ontology development work being undertaken in support of scientific research. The ontologies created by scientists must, of course, be associated with implementations satisfying the requirements of software engineering. But these ontologies are not themselves engineering artifacts, and to conceive them as such brings grievous consequences. Rather, we shall argue, ontologies such as the GO are comparable to scientific theories, to scientific databases, or to scientific journal publications. Such a view implies a radically new conception of what is involved in the authoring, maintenance and application of ontologies in scientific contexts, and therewith also a radically new approach to the evaluation of ontologies and to the training of ontologists. (shrink)

We have now reached the point at which cloud computing and other types of advanced infrastructure are bringing about a situation in which knowledge objects can be delivered in an efficient manner to hose who need to consume them. And just as highways were the infrastructure necessary for a manufacturing economy, serving as the arteries along which raw materials and manufactured goods coming in from all directions could flow, so we believe that ontologies will in the future provide an important (...) pillar in the infrastructure that is necessary for the accurate and safe delivery of all varieties of knowledge. (shrink)

There are some necessary conditions on causal relations that seem to be so trivial that they do not merit further inquiry. Many philosophers assume that the requirement that there could be no temporal gaps between causes and their effects is such a condition. Bertrand Russell disagrees. In this paper, an in-depth discussion of Russell’s argument against this necessary condition is the centerpiece of an analysis of what is at stake when one accepts or denies that there can be temporal gaps (...) between causes and effects. It is argued that whether one accepts or denies this condition, one is implicated in taking on substantial and wide-ranging philosophical positions. Therefore, it is not a trivial necessary condition of causal relations and it merits further inquiry. (shrink)

Entitlement is defined as a sort of epistemic justification that one can possess by default – a sort of epistemic justification that does not need to be earned or acquired. Epistemologists who accept the existence of entitlement generally have a certain anti-sceptical role in mind for it – entitlement is intended to help us resist what would otherwise be compelling radical sceptical arguments. But this role leaves various details unspecified and, thus, leaves scope for a number of different potential conceptions (...) of entitlement. At one extreme there are conceptions that portray entitlement as a weak, attenuated epistemic status and, at the other, we have conceptions that portray entitlement as something potent and strong. Certain intermediate conceptions are also possible. In this paper, I shall argue that the weak and intermediate conceptions of entitlement do not survive careful scrutiny, and the stronger conceptions – while they do, in a way, strain credulity – are the only conceptions that are ultimately viable. (shrink)

This introductory article outlines how this special issue contributes to existing scholarship that calls for a rethinking and re-evaluation of common assumptions about early modern philosophy. One way of challenging existing narratives is by questioning what role systems or systematicity play during this period. Another way of rethinking early modern philosophy is by considering assumptions about the role of philosophy itself and how philosophy can effect change in those who form philosophical beliefs or engage in philosophical argumentation. A further way (...) of advancing early modern scholarship is by examining the tight links between early modern views on metaphysics and epistemology, on the one hand, and moral, social, and political philosophy, on the other hand. Moreover, there are ongoing debates whether and how the traditional distinction between rationalism and empiricism, which has been questioned for several reasons, should be replaced. It has been proposed to replace it with a distinction between experimental and speculative philosophy, but this distinction cannot easily accommodate early modern debates concerning moral, social, and political philosophy. In addition to highlighting several ways how early modern philosophy has and can be rethought, we summarize how the papers in this special issue contribute to these ongoing efforts. (shrink)

Hylomorphism is the theory that objects are composites of form and matter. Recently it has been argued that form is structure, or the arrangement of an object's parts. This paper shows that the principle of form cannot be ontologically exhausted by structure. That is, I deny form should be understood just as the arrangement of an object's parts. I do so by showing that structure cannot play the role form is supposed to in a certain domain of objects, specifically, in (...) mereological simples. Thus, I show that Hylomorphism does not reduce to Structuralism. I also draw out some important consequences from my argument for Hylomorphism in general. (shrink)

Difference and Repetition might be said to have brought about a Deleuzian Revolution in philosophy comparable to Kant’s Copernican Revolution. Kant had denounced the three great terminal points of traditional metaphysics – self, world and God – as transcendent illusions, and Deleuze pushes Kant’s revolution to its limit by positing a transcendental field that excludes the coherence of the self, world and God in favour of an immanent and differential plane of impersonal individuations and pre-individual singularities. In the process, he (...) introduces numerous conceptual innovations into philosophy: the becoming of concepts; a transformation of the form of the question; an insistence that philosophy must start in the middle; an attempt to think in terms of multiplicities; the development of a new logic and a new metaphysics based on a concept of difference; a new conception of space as intensive rather than extensive; a conception of time as a pure and empty form; and an understanding of philosophy as a system in heterogenesis – that is, a system that entails a perpetual genesis of the heterogeneous, an incessant production of the new. -/- Keywords: concepts, becoming, multiplicity, singularity, the middle [au milieu], difference, intensity, time, system, the new. (shrink)

This book explores a question central to philosophy--namely, what does it take for a belief to be justified or rational? According to a widespread view, whether one has justification for believing a proposition is determined by how probable that proposition is, given one's evidence. In this book this view is rejected and replaced with another: in order for one to have justification for believing a proposition, one's evidence must normically support it--roughly, one's evidence must make the falsity of that proposition (...) abnormal in the sense of calling for special, independent explanation. This conception of justification bears upon a range of topics in epistemology and beyond. Ultimately, this way of looking at justification guides us to a new, unfamiliar picture of how we should respond to our evidence and manage our own fallibility. This picture is developed here. (shrink)

This paper provides a taxonomy of cosmological arguments and givesgeneral reasons for thinking that arguments that belong to a given category do not succeed.

Husserl’s philosophy, by the usual account, evolved through three stages: 1. development of an anti-psychologistic, objective foundation of logic and mathematics, rooted in Brentanian descriptive psychology; 2. development of a new discipline of "phenomenology" founded on a metaphysical position dubbed "transcendental idealism"; transformation of phenomenology from a form of methodological solipsism into a phenomenology of intersubjectivity and ultimately (in his Crisis of 1936) into an ontology of the life-world, embracing the social worlds of culture and history. We show that this (...) story of three revolutions can provide at best a preliminary orientation, and that Husserl was constantly expanding and revising his philosophical system, integrating views in phenomenology, ontology, epistemology and logic with views on the nature and tasks of philosophy and science as well as on the nature of culture and the world in ways that reveal more common elements than violent shifts of direction. We argue further that Husserl is a seminal figure in the evolution from traditional philosophy to the characteristic philosophical concerns of the late twentieth century: concerns with representation and intentionality and with problems at the borderlines of the philosophy of mind, ontology, and cognitive science. (shrink)

This chapter consists of a series of reflections on widely endorsed claims about Christian philosophy and, in particular, Christian philosophy of religion. It begins with consideration of some claims about how (Christian) philosophy of religion currently is, and then moves on to consideration of some claims about how (Christian) philosophy of religion ought to be. In particular, the chapter offers critical scrutiny of the oft-repeated claim that we are currently in a golden age for Christian philosophy of religion.

This chapter offers a new criticism of the Mind argument that is both decisive and instructive. It introduces a plausible principle (γ) that places a requirement on one’s having a choice about an event whose causal history includes only other events. Depending on γ’s truth-value, the Mind argument fails in such a way that one or the other of the two main species of libertarianism is the best approach to the metaphysics of freedom. Libertarians argue the compatibility of freedom and (...) indeterminism, and their biggest obstacle is the Mind argument that argues an incompatibility between the two. The chapter aims to build a case for the truth of γ, and so for nonreductive libertarianism. This is achieved by defending it from the best objections that have been brought to light, thereby emphasizing γ’s prima facie plausibility. (shrink)