Weak enough relevant logics are often closed under depth substitutions. To determine the breadth of logics with this feature, we show there is a largest sublogic of R closed under depth substitutions and that this logic can be recursively axiomatized.

Categorial logic, as its name suggests, applies the techniques and machinery of category theory to topics traditionally classified as part of logic. We claim that these tools deserve attention from a greater range of philosophers than just the mathematical logicians. We support this claim with an example. In this paper we show how one particular tool from categorial logic---hyperdoctrines---suggests interesting metaphysics. Hyperdoctrines can provide semantics for quantified languages, but this account of quantification suggests a metaphysical picture quite different from the (...) one suggested by standard model-theoretic semantics. (shrink)

This paper presents an overview of Carnap, a free and open framework for the development of formal reasoning applications. Carnap’s design emphasizes flexibility, extensibility, and rapid prototyping. Carnap-based applications are written in Haskell, but can be compiled to JavaScript to run in standard web browsers. This combination of features makes Carnap ideally suited for educational applications, where ease-of-use is crucial for students and adaptability to different teaching strategies and classroom needs is crucial for instructors. The paper describes Carnap’s implementation, along (...) with its current and projected pedagogical applications. (shrink)

In this paper we introduce a novel way of building arithmetics whose background logic is R. The purpose of doing this is to point in the direction of a novel family of systems that could be candidates for being the infamous R#1/2 that Meyer suggested we look for.

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)

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)

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)

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)

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 paper provides a taxonomy of cosmological arguments and givesgeneral reasons for thinking that arguments that belong to a given category do not succeed.

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.

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.

It is a very curious thing that proponents of Idealism have considered it to be a satisfactory counter to ‘scepticism’, ‘nihilism’, and the like. On the contrary, it seems to me that Idealism is a very close cousin to ‘brain-in-a-vat’ scepticism and other anti-naturalistic fantasies. Moreover, it seems to me that Idealism is inferior to Naturalism for much the same kinds of reasons that ‘brain-in-a-vat’ scepticism and other anti-naturalistic fantasies are inferior to Naturalism: a proper weighing of theoretical virtues discloses (...) that Naturalism is the most virtuous worldview. (shrink)

In American universities, even Asian Philosophy is still often taught following methods adapted from European universities of the nineteenth century. Whether or not this approach is well-suited to philosophy as it was conceived in that era, it is inadequate if the aim is to develop a deep appreciation of Japanese philosophy. To limit what we consider Japanese philosophy to only what bears a distinct resemblance to academic Western philosophy, and accordingly to approach Japanese philosophy purely theoretically, is to risk missing (...) the greater part. Much of Japanese philosophy is applied philosophy, or in other words, what Pierre Hadot calls a “way of life,” and to appropriate it meaningfully requires practice rather than mere intellectual study alone. Thus, I contend that a proper means for introducing Western students is a more holistic method grounded in practicing traditional arts, such as composing haiku. I argue that the seventeenth century poet Matsuo Bashō can serve as a valuable resource in this process. I conclude with a description of the methods that I use in my efforts at teaching Japanese philosophy to undergraduate university students in South Texas. (shrink)

Bartha (2012) conjectures that, if we meet all of the other objections to Pascal’s wager, then the many-Gods objection is already met. Moreover, he shows that, if all other objections to Pascal’s wager are already met, then, in a choice between a Jealous God, an Indifferent God, a Very Nice God, a Very Perverse God, the full range of Nice Gods, the full range of Perverse Gods, and no God, you should wager on the Jealous God. I argue that his (...) requirement of [strongly] stable equilibrium is not well-motivated. There are other types of Gods, no less worthy of consideration than those that figure in Bartha’s deliberations, which are intuitively no worse wagers than the Jealous God. In particular, I have suggested that one does no worse to wager on a jealous cartel than one does to wager on a Jealous God. Moreover, I argue that there are other types of Gods, no less worthy of consideration than those that figure in Bartha’s deliberations, that make trouble for Pascal’s wager, but not because one would do better to wager on them rather than on a Jealous God. Finally, I argue that, if we suppose that infinitesimal credences are in no worse standing the infinite utilities, then we cannot accept the assumption—built into the relative utilities framework—that there cannot be infinitesimal credences. (shrink)

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)

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)

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)

Theists claim that God can make a causal difference in the world. That is, theists believe that God is causally efficacious, has power. Discussion of divine power has centered on understanding better the metaphysics of creation and sustenance, special intervention, governance, and providing an account of omnipotence consistent with other divine attributes, such as omnibenevolence. But little discussion has centered on what, deep down ontologically, God’s power is. I show that a number of prominent accounts of power fail to model (...) what divine power could be, and then develop an account based on teleological and primitivist accounts of power. (shrink)

This paper is a discussion of an ontological argument defended by E. J. Lowe in the *Routledge Companion to Philosophy of Religion* (edited by C. Meister and P. Copan, at pp.332-40). The volume to which this paper belongs contains an article by Lowe which defends a different ontological argument from the one that I discuss.

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)

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

This paper rejects the imposition of "semantic innocence" as a constraint on semantic theories. In particular, it argues that recent attempts to justify the imposition of "semantic innocence" as a constraint on semantic theories fail.

Agnosticism has had some bad press in recent years. Nonetheless, I hope to show that agnosticism can be so formulated that it is no less philosophically respectable than theism and atheism. This is not a mere philosophical exercise; for, as it happens, the formulated position is--I think--the one to which I subscribe. I include a qualification here since it may be that the position to which I subscribe is better characterised as fallibilist atheism--but more of that anon.

General discussion of ontological arguments. (Extended the discussion of ontological arguments in the then current version of my SEP entry on ontological arguments.).

In this paper, I review evidence which strongly supports the claim that life will eventually be extinguished from the universe. I then examine the ethical implications of this evidence, focusing, in particular, on the question whether it is a bad thing that life will eventually die out.

This paper is my second contribution to the Szatkowski volume. In the first paper, I provide a critical discussion of Bob Maydole's ontological arguments. In this second paper, I respond to Maydole's critical response to my first paper. My overall verdict is that Maydole does not successfully defend his arguments against my critical attack.

This paper discusses the treatment of "infinity" in philosophy of religion, including its use in discussions of divine attributes, and its use in various arguments about the existence of God (including the kalam cosmological argument and Pascal's wager). The aim of the paper is to set out -- and where possible, to resolve -- various foundational problems about infinity.

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)

In this paper, I offer a novel analysis of logical arguments from evil. I claim that logical arguments from evil have three parts: (1) characterisation (attribution of specified attributes to God); (2) datum (a claim about evil); and (3) link (connection between attributes and evil). I argue that, while familiar logical arguments from evil are known to be unsuccessful, it remains an open question whether there are successful logical arguments from evil.

This is the text of my OBO entry on arguments for the existence of God.

This paper is a response to William Lane Craig's criticisms of my previous paper "Uncaused Beginnings". I argue that Craig's criticisms do not inflict any damage on the arguments of that earlier paper.

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)

The transformative power of artificial intelligence (AI) is coming to philosophy—the only question is the degree to which philosophers will harness it. In this paper, we argue that the application of AI tools to philosophy could have an impact on the field comparable to the advent of writing, and that it is likely that philosophical progress will significantly increase as a consequence of AI. The role of philosophers in this story is not merely to use AI but also to help (...) develop it and theorize about it. In fact, we argue that philosophers have a prima facie obligation to spend significant effort in doing so, at least insofar as they should spend effort philosophizing. (shrink)

This paper is an English version of the paper that was published in German under the title: "Über die Aussichten erfolgreicher Beweise für Theismus oder Atheismus". My English paper was translated into German by Gabriele Schlegel. -/- The aim of this paper is to examine the prospects for proofs or successful arguments for the existence or non-existence of God.

This chapter gives an exposition and critique of Anselm's Proslogion II argument.

E.J.Lowe was a prominent and theistically–inclined philosopher who developed and defended a four–category ontology with roots in Aristotle’s Categories. But Lowe engaged in little philosophical theology and said even less about how a divine being might fit into his considered ontology. This paper explores ways in which the reality of a divine being might be squared with Lowe’s ontology. I motivate the exploration with a puzzle that suggests Lowe must reject either divine aseity or the traditional view that God is (...) a substance. After showing that the puzzle cannot be overcome by rejecting one of its premises, I consider ways in which Lowe might try to reject the puzzle wholesale. I argue that the best way to reject the puzzle is to countenance a fifth fundamental category, the category of supernatural substance. (shrink)

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

This paper provides an overview of 'analytic' philosophy of religion. It begins with a historical sketch. It then examines some of the kinds of questions that are investigated by 'analytic' philosophers of religion. It concludes with brief discussion of possible futures for 'analytic' philosophy of religion. There is also a very short appendix on the treatment of Islam and Arabic philosophy within 'analytic' philosophy of religion.

In this paper, I defend the suggestion that to be God is just to be the one and only god, where to be a god is to be a supernatural being or force that has and exercises power over the natural world but that is not, in turn, under the power of any higher ranking or more powerful category of beings or forces. I then go on to defend the following further claims: (1) there can be no more than one (...) God; (2) ‘God’ is not a title-term; and (3) the use of the name ‘God’ by non-believers is not parasitic on the use of this name by believers. (shrink)

I discuss J. P. Moreland's arguments from consciousness. I argue for the conclusion that considerations about consciousness favor naturalism over theism.

This paper provides a detailed examination of Michael Martin’s Atheism: A Philosophical Justification (1990). I argue that Martin’s project in this book is seriously damaged by his neglect of high-level theoretical considerations about rationality, justification, and argumentation. Furthermore, I suggest that this failing is endemic to recent discussions of arguments about the existence of God: there is no prospect of making progress in this area unless much more attention is paid to high-level theoretical questions about the connections between rationality, justification, (...) and argumentation. (shrink)

This paper compares the doxastic credentials of the claim that nothing comes from nothing with the doxastic credentials of the claim that there is no causing without changing. I argue that comparison of these two claims supports my contention that considerations about causation do nothing to make theism more attractive than naturalism.