In “Models and Reality” (1980), Putnam sketched a version of his internal realism as it might arise in the philosophy of mathematics. Here, I will develop that sketch. By combining Putnam’s model-theoretic arguments with Dummett’s reflections on Gödelian incompleteness, we arrive at (what I call) the Skolem-Gödel Antinomy. In brief: our mathematical concepts are perfectly precise; however, these perfectly precise mathematical concepts are manifested and acquired via a formal theory, which is understood in terms of a computable system of proof, (...) and hence is incomplete. Whilst this might initially seem strange, I show how internal categoricity results for arithmetic and set theory allow us to face up to this Antinomy. This also allows us to understand why “Models are not lost noumenal waifs looking for someone to name them,” but “constructions within our theory itself,” with “names from birth.”. (shrink)

Tim Button explores the relationship between words and world; between semantics and scepticism. -/- A certain kind of philosopher – the external realist – worries that appearances might be radically deceptive. For example, she allows that we might all be brains in vats, stimulated by an infernal machine. But anyone who entertains the possibility of radical deception must also entertain a further worry: that all of our thoughts are totally contentless. That worry is just incoherent. -/- We cannot, then, (...) be external realists, who worry about the possibility of radical deception. Equally, however, we cannot be internal realists, who reject all possibility of deception. We must position ourselves somewhere between internal realism and external realism, but we cannot hope to say exactly where. We must be realists, for what that is worth, and realists within limits. -/- In establishing these claims, The Limits of Realism critically explores and develops several themes from Hilary Putnam’s work: the model-theoretic arguments; the connection between truth and justification; the brain-in-vat argument; semantic externalism; and conceptual relativity. The book establishes the continued significance of these topics for all philosophers interested in mind, logic, language, or the possibility of metaphysics. (shrink)

Standard Type Theory, STT, tells us that b^n(a^m) is well-formed iff n=m+1. However, Linnebo and Rayo have advocated the use of Cumulative Type Theory, CTT, has more relaxed type-restrictions: according to CTT, b^β(a^α) is well-formed iff β > α. In this paper, we set ourselves against CTT. We begin our case by arguing against Linnebo and Rayo’s claim that CTT sheds new philosophical light on set theory. We then argue that, while CTT ’s type-restrictions are unjustifiable, the type-restrictions imposed by (...) STT are justified by a Fregean semantics. What is more, this Fregean semantics provides us with a principled way to resist Linnebo and Rayo’s Semantic Argument for CTT. We end by examining an alternative approach to cumulative types due to Florio and Jones; we argue that their theory is best seen as a misleadingly formulated version of STT. (shrink)

Universals are putative objects like wisdom, morality, redness, etc. Although we believe in properties (which, we argue, are not a kind of object), we do not believe in universals. However, a number of ordinary, natural language constructions seem to commit us to their existence. In this paper, we provide a fictionalist theory of universals, which allows us to speak as if universals existed, whilst denying that any really do.

Amie Thomasson and Eli Hirsch have both attempted to deflate metaphysics, by combining Carnapian ideas with an appeal to ordinary language. My main aim in this paper is to critique such deflationary appeals to ordinary language. Focussing on Thomasson, I draw two very general conclusions. First: ordinary language is a wildly complicated phenomenon. Its implicit ontological commitments can only be tackled by invoking a context principle; but this will mean that ordinary language ontology is not a trivial enterprise. Second: ordinary (...) language often points in different directions simultaneously, so that a wide variety of existence questions cannot be deflated merely by appealing to ordinary language. (shrink)

The following bare-bones story introduces the idea of a cumulative hierarchy of pure sets: 'Sets are arranged in stages. Every set is found at some stage. At any stage S: for any sets found before S, we find a set whose members are exactly those sets. We find nothing else at S.' Surprisingly, this story already guarantees that the sets are arranged in well-ordered levels, and suffices for quasi-categoricity. I show this by presenting Level Theory, a simplification of set theories (...) due to Scott, Montague, Derrick, and Potter. (shrink)

No-futurists ('growing block theorists') hold that that the past and the present are real, but that the future is not. The present moment is therefore privileged: it is the last moment of time. Craig Bourne (2002) and David Braddon-Mitchell (2004) have argued that this position is unmotivated, since the privilege of presentness comes apart from the indexicality of 'this moment'. I respond that no-futurists should treat 'x is real-as-of y' as a nonsymmetric relation. Then different moments are real-as-of different times. (...) This reunites privilege with indexicality, but entails that no-futurists must believe in ineliminably tensed facts. (shrink)

This article surveys recent literature by Parsons, McGee, Shapiro and others on the significance of categoricity arguments in the philosophy of mathematics. After discussing whether categoricity arguments are sufficient to secure reference to mathematical structures up to isomorphism, we assess what exactly is achieved by recent ‘internal’ renditions of the famous categoricity arguments for arithmetic and set theory.

Tallant (2007) has challenged my recent defence of no-futurism (Button 2006), but he does not discuss the key to that defence: that no-futurism's primitive relation 'x is real-as-of y' is not symmetric. I therefore answer Tallant's challenge in the same way as I originally defended no-futurism. I also clarify no-futurism by rejecting a common mis-characterisation of the growing-block theorist. By supplying a semantics for no-futurists, I demonstrate that no-futurism faces no sceptical challenges. I conclude by considering the problem of (...) how to interpret the relation 'x is real-as-of y'. -/- (NB: A correction to this article appears in Analysis 68.1.). (shrink)

Keränen (2001) raises an argument against realistic (ante rem) structuralism: where a mathematical structure has a non-trivial automorphism, distinct indiscernible positions within the structure cannot be shown to be non-identical using only the properties and relations of that structure. Ladyman (2005) responds by allowing our identity criterion to include 'irreflexive two-place relations'. I note that this does not solve the problem for structures with indistinguishable positions, i.e. positions that have all the same properties as each other and exactly the same (...) relations to all objects (including themselves). I conclude that realistic structuralists must compromise and treat some structures eliminativistically. (shrink)

Tennenbaum's Theorem yields an elegant characterisation of the standard model of arithmetic. Several authors have recently claimed that this result has important philosophical consequences: in particular, it offers us a way of responding to model-theoretic worries about how we manage to grasp the standard model. We disagree. If there ever was such a problem about how we come to grasp the standard model, then Tennenbaum's Theorem does not help. We show this by examining a parallel argument, from a simpler model-theoretic (...) result. (shrink)

Consider a variant of the usual story about the iterative conception of sets. As usual, at every stage, you find all the (bland) sets of objects which you found earlier. But you also find the result of tapping any earlier-found object with any magic wand (from a given stock of magic wands). -/- By varying the number and behaviour of the wands, we can flesh out this idea in many different ways. This paper's main Theorem is that any loosely constructive (...) way of fleshing out this idea is synonymous with a ZF-like theory. -/- This Theorem has rich applications; it realizes John Conway's (1976) Mathematicians' Liberation Movement; and it connects with a lovely idea due to Alonzo Church (1974). (shrink)

Recent work on hypercomputation has raised new objections against the Church–Turing Thesis. In this paper, I focus on the challenge posed by a particular kind of hypercomputer, namely, SAD computers. I first consider deterministic and probabilistic barriers to the physical possibility of SAD computation. These suggest several ways to defend a Physical version of the Church–Turing Thesis. I then argue against Hogarth's analogy between non-Turing computability and non-Euclidean geometry, showing that it is a non-sequitur. I conclude that the Effective version (...) of the Church–Turing Thesis is unaffected by SAD computation. (shrink)

Prior’s Tonk is a famously horrible connective. It is defined by its inference rules. My aim in this article is to compare Tonk with some hitherto unnoticed nasty connectives, which are defined in semantic terms. I first use many-valued truth-tables for classical sentential logic to define a nasty connective, Knot. I then argue that we should refuse to add Knot to our language. And I show that this reverses the standard dialectic surrounding Tonk, and yields a novel solution to the (...) problem of many-valued truth-tables for classical sentential logic. I close by outlining the technicalities surrounding nasty connectives on many-valued truth-tables. (shrink)

Can we quantify over everything: absolutely, positively, definitely, totally, every thing? Some philosophers have claimed that we must be able to do so, since the doctrine that we cannot is self-stultifying. But this treats restrictivism as a positive doctrine. Restrictivism is much better viewed as a kind of militant quietism, which I call dadaism. Dadaists advance a hostile challenge, with the aim of silencing everyone who holds a positive position about ‘absolute generality’.

Hilary Putnam once suggested that “the actual existence of sets as ‘intangible objects’ suffers… from a generalization of a problem first pointed out by Paul Benacerraf… are sets a kind of function or are functions a sort of set?” Sadly, he did not elaborate; my aim, here, is to do so on his behalf. There are well-known methods for treating sets as functions and functions as sets. But these do not raise any obvious philosophical or foundational puzzles. For that, we (...) first need to provide a full-fledged function theory. I supply such a theory: it axiomatizes the iterative notion of function in exactly the same sense that ZF axiomatizes the iterative notion of set. Indeed, this function theory is synonymous with ZF. It might seem that set theory and function theory present us with rival foundations for mathematics, since they postulate different ontologies. But appearances are deceptive. Set theory and function theory provide the very same judicial foundation for mathematics. They do not supply rival metaphysical foundations; indeed, if they supply metaphysical foundations at all, then they supply the very same metaphysical foundations. (shrink)

We argue against the halving response to Sleeping Beauty. First, we outline an appealing constraint on probability assignments: the Principle of Irrelevant Information. Roughly, this says: if you don’t know whether C, but you would assign probability p to X regardless of whether C or not-C, then you should assign p to X. This Principle is deeply plausible, but we show that it contradicts halving. Second, we show that halving either violates solid statistical reasoning or draws absurd distinctions.

Putnam famously attempted to use model theory to draw metaphysical conclusions. His Skolemisation argument sought to show metaphysical realists that their favourite theories have countable models. His permutation argument sought to show that they have permuted models. His constructivisation argument sought to show that any empirical evidence is compatible with the Axiom of Constructibility. Here, I examine the metamathematics of all three model-theoretic arguments, and I argue against Bays (2001, 2007) that Putnam is largely immune to metamathematical challenges.

Hilary Putnam’s BIV argument first occurred to him when ‘thinking about a theorem in modern logic, the “Skolem–Löwenheim Theorem”’ (Putnam 1981: 7). One of my aims in this paper is to explore the connection between the argument and the Theorem. But I also want to draw some further connections. In particular, I think that Putnam’s BIV argument provides us with an impressively versatile template for dealing with sceptical challenges. Indeed, this template allows us to unify some of Putnam’s most enduring (...) contributions to the realism/antirealism debate: his discussions of brains-in-vats, of Skolem’s Paradox, and of permutations. In all three cases, we have an argument which does not merely defeat the sceptic; it also shows us that we must reject some prima facie plausible philosophical picture. (shrink)

Minimalists, such as Paul Horwich, claim that the notions of truth, reference and satisfaction are exhausted by some very simple schemes. Unfortunately, there are subtle difficulties with treating these as schemes, in the ordinary sense. So instead, minimalists regard them as illustrating one-place functions, into which we can input propositions (when considering truth) or propositional constituents (when considering reference and satisfaction). However, Bertrand Russell's Gray's Elegy argument teaches us some important lessons about propositions and propositional constituents. When applied to minimalism, (...) these lessons show us why we should abandon it. (shrink)

There are several relations which may fall short of genuine identity, but which behave like identity in important respects. Such grades of discrimination have recently been the subject of much philosophical and technical discussion. This paper aims to complete their technical investigation. Grades of indiscernibility are defined in terms of satisfaction of certain first-order formulas. Grades of symmetry are defined in terms of symmetries on a structure. Both of these families of grades of discrimination have been studied in some detail. (...) However, this paper also introduces grades of relativity, defined in terms of relativeness correspondences. This paper explores the relationships between all the grades of discrimination, exhaustively answering several natural questions that have so far received only partial answers. It also establishes which grades can be captured in terms of satisfaction of object-language formulas and draws connections with definability theory. (shrink)

This article is about the manifestations of similarities between two seemingly distinct groups of Nigerians: cybercriminals and politicians. Which linguistic strategies do Twitter users use to express their opinions on cybercriminals and politicians? The study undertakes a qualitative analysis of ‘engaged’ tweets of an elite law enforcement agency in West Africa. We analyzed and coded over 100,000 ‘engaged’ tweets based on a component of mechanisms of moral disengagement (i.e., advantageous comparison), a linguistic device. The results reveal how respondents defend the (...) actions of online fraudsters (“the deviant group”) by strategically comparing them to the wrongful acts of corrupt politicians (“the respectable group”). Similarly, the results show how respondents positioned this linguistic strategy to compare “the powerless group” (online fraudsters) and “the powerful group” (politicians) in society. Indeed, tweet responses suggest that the Economic and Financial Crimes Commission (EFCC) generally looks downwards for culprits (i.e., online fraudsters) while ignoring fraudulent politicians. We conclude that the process by which some actions are interpreted as a crime compared to others is a moral enterprise. (shrink)

Wittgenstein’s atomist picture, as embodied in his Tractatus, is initially very appealing. However, it faces the famous colour-exclusion problem. In this paper, I shall explain when the atomist picture can be defended in the face of that problem; and, in the light of this, why the atomist picture should be rejected. I outline the atomist picture in Section 1. In Section 2, I present a very simple necessary and sufficient condition for the tenability of the atomist picture. The condition is: (...) logical space is a power of two. In Sections 3 and 4, I outline the colour-exclusion problem, and then show how the cardinality-condition supplies a response to exclusion problems. In Section 5, I explain how this amounts to a distillation of a proposal due to Moss, which goes back to Carruthers. And in Section 6, I show how all this vindicates Wittgenstein’s ultimate rejection of the atomist picture. The brief reason is that we have no guarantee that there are any solutions to a given exclusion problem but, if there are any, then there are far too many. (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)

It is a metaphysical orthodoxy that interesting non-symmetric relations cannot be reduced to symmetric ones. This orthodoxy is wrong. I show this by exploring the expressive power of symmetric theories, i.e. theories which use only symmetric predicates. Such theories are powerful enough to raise the possibility of Pythagrapheanism, i.e. the possibility that the world is just a vast, unlabelled, undirected graph.

In 1907–8, Russell and Stout presented an objection against James and Schiller, to which both James and Schiller replied. In this paper, I shall revisit their transatlantic exchange. Doing so will yield a better understanding of Schiller’s relationship to a worryingly solipsistic brand of phenomenalism. It will also allow us to appreciate a crucial difference between Schiller and James; a difference which James explicitly downplayed.

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)

In the early-to-mid 1930s, Wittgenstein investigated solipsism via the philosophy of language. In this paper, I want to reopen Wittgenstein's ‘grammatical’ examination of solipsism.Wittgenstein begins by considering the thesis that only I can feel my pains. Whilst this thesis may tempt us towards solipsism, Wittgenstein points out that this temptation rests on a grammatical confusion concerning the phrase ‘my pains’. In Section 1, I unpack and vindicate his thinking. After discussing ‘my pains’, Wittgenstein makes his now famous suggestion that the (...) word ‘I’ has two distinct uses: a subject-use and an object-use. The purpose of Wittgenstein's suggestion has, however, been widely misunderstood. I unpack it in Section 2, explaining how the subject-use connects with a phenomenological language, and so again tempts us into solipsism. In Sections 3–4, I consider various stages of Wittgenstein's engagement with this kind of solipsism, culminating in a rejection of solipsism via reflections on private languages. (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)

Potentialists think that the concept of set is importantly modal. Using tensed language as an heuristic, the following bar-bones story introduces the idea of a potential hierarchy of sets: 'Always: for any sets that existed, there is a set whose members are exactly those sets; there are no other sets.' Surprisingly, this story already guarantees well-foundedness and persistence. Moreover, if we assume that time is linear, the ensuing modal set theory is almost definitionally equivalent with non-modal set theories; specifically, with (...) Level Theory, as developed in Part 1. (shrink)

On a very natural conception of sets, every set has an absolute complement. The ordinary cumulative hierarchy dismisses this idea outright. But we can rectify this, whilst retaining classical logic. Indeed, we can develop a boolean algebra of sets arranged in well-ordered levels. I show this by presenting Boolean Level Theory, which fuses ordinary Level Theory (from Part 1) with ideas due to Thomas Forster, Alonzo Church, and Urs Oswald. BLT neatly implement Conway’s games and surreal numbers; and a natural (...) extension of BLT is definitionally equivalent with ZF. (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.

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)

forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), symbolizing English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as modal logic, soundness, and functional completeness. Exercises with solutions are available. (...) It is provided in PDF (for screen reading, printing, and a special version for dyslexics), HTML, and in LaTeX source code. (shrink)

Whatever the attractions of Tolkein's world, irrealists about fictions do not believe literally that Bilbo Baggins is a hobbit. Instead, irrealists believe that, according to The Lord of the Rings {Bilbo is a hobbit}. But when irrealists want to say something like “I am taller than Bilbo”, there is nowhere good for them to insert the operator “according to The Lord of the Rings”. This is an instance of the operator problem. In this paper, I outline and criticise Sainsbury's (2006) (...) spotty scope approach to the operator problem. Sainsbury treats the problem as syntactic, but the problem is ultimately metaphysical. (shrink)

This paper develops my (BJPS 2009) criticisms of the philosophical significance of a certain sort of infinitary computational process, a hyperloop. I start by considering whether hyperloops suggest that "effectively computable" is vague (in some sense). I then consider and criticise two arguments by Hogarth, who maintains that hyperloops undermine the very idea of effective computability. I conclude that hyperloops, on their own, cannot threaten the notion of an effective procedure.

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)

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)

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)

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)

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)

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 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)

It is uncontroversial that artifacts like statues and tables are mind-dependent. What is controversial is whether and how this mind-dependence has implications for the ontology of artifacts. I argue the mind-dependence of artifacts entails that there are no artifacts or artifact joints in the extra-mental world. In support of this claim, I argue that artifacts and artifact joints lack any extra-mental grounding, and so ought not to have a spot in a realist ontology. I conclude that the most plausible story (...) about artifacts is that they are in minds of suitably intelligent creatures, and not the extra-mental world. Artifacts and their joints are merely mental projections onto a world of ‘indifferent materials’. With this established, I show how many cases of object coincidence, the view that more than one material object can be located in the same exact region of space-time, cannot occur. (shrink)

The first and greatest commandment according to Jesus, and so the one most central to Christian practice, is the command to love God. We argue that this commandment is best interpreted in aretaic rather than deontic terms. In brief, we argue that there is no obligation to love God. While bad, failure to seek and enjoy a union of love with God is not in violation of any general moral requirement. The core argument is straightforward: relations of intimacy should not (...) be morally imposed upon autonomous beings. We contend that such reasoning applies to human beings’ relationship to God. So, even if our ultimate end is to enjoy communion with God, God has no right that human beings seek a relationship with him. If this is correct, then the command to ‘love God’ is not the sort of moral principle that can be supported by threats of hellfire or other forms of coercion. (shrink)

As a classical liberal, or libertarian, I am concerned to advance liberty and minimize coercion. Indeed on this view liberty just is the absence of coercion or costs imposed on others. In order to better understand the notion of coercion I discuss Robert Nozick's classic essay on the subject as well as more recent contributions. I then address the question of whether law is coercive, and respond to Edmundson and others who think that it isn't. Assuming that the law is (...) in fact coercive, there is still a question,as with all coercive acts, as to whether that coercion is justified. Edmundson thinks that this places a special burden on the state of justifying its existence, whereas it simply places the same burden on the state as anyone else. What I reject is the longstanding doctrine of Staatsrason, namely that the state is not subject to the same moral rules as its subjects. With respect to the relation of morality to law, Edmundson thought that another of the fallacies of which philosophical anarchists were guilty was that of assuming that there was a sphere of morality where law had no business. On the contrary, our concern is with spheres of law which appear to have little to do with morality, which is to say laws against wrongs of the malum prohibitum variety, as opposed to wrongs which are malum in se. I then turn to a matter with which Edmundson begins his study, namely how it is that states acquire the authority to do what they do, namely coerce their subjects. While the fact that the philosopher's stone of political obligation has proved rather elusive may mean that a legitimate state lacks the authority to demand obedience pure and simple, Edmundson contends that it can at the very least demand that we do not interfere in the administration of justice. I argue that this attempt to sidestep the justification of the authority of the state fails and that we seem in the end to be having to take the state's word for it that we must do X on pain of penalty P. Nor, as I go on to argue, is it any help to appeal to democracy to remedy a failed justification of the authority of the state. There either is a moral justification of state coercion in order to prevent harm to innocent subjects, or there isn't, and this holds,if it does, not only at the level of individuals, but also at the level of the state, regardless of its constitutional form. After concluding that the attempts of Edmundson and others to refute the anarchic turn in recent political philosophy have failed, it would seem that the withering away of the state foreseen in Marx's eschatology is not as improbable as maybe it once appeared. (shrink)

This article is a brief overview of major ontological arguments. The most noteworthy feature of this article is the statement of a new parody of the Anselmian and Cartesian arguments that is obviously immune to objections adverting to intrinsic minima and maxima.