We argue that there is a conflict among classical theism's commitments to divine simplicity, divine creative freedom, and omniscience. We start by defining key terms for the debate related to classical theism. Then we articulate a new argument, the Aloneness Argument, aiming to establish a conflict among these attributes. In broad outline, the argument proceeds as follows. Under classical theism, it's possible that God exists without anything apart from Him. Any knowledge God has in such a world would be wholly (...) intrinsic. But there are contingent truths in every world, including the world in which God exists alone. So, it's possible that God contingently has wholly intrinsic knowledge. But whatever is contingent and wholly intrinsic is an accident. So, God possibly has an accident. This is incompatible with classical theism. Finally, we consider and rebut several objections. (shrink)

Modal collapse arguments are all the rage in certain philosophical circles as of late. The arguments purport to show that classical theism entails the absurdly fatalistic conclusion that everything exists necessarily. My first aim in this paper is bold: to put an end to action-based modal collapse arguments against classical theism. To accomplish this, I first articulate the ‘Simple Modal Collapse Argument’ and then characterize and defend Tomaszewski’s criticism thereof. Second, I critically examine Mullins’ new modal collapse argument formulated in (...) response to the aforementioned criticism. I argue that Mullins’ new argument does not succeed. Third, I critically examine a powers-based modal collapse argument against classical theism that has received much less attention in the literature. Fourth, I show why God’s being purely actual, as well God’s being identical to each of God’s acts, simply cannot entail modal collapse given indeterministic causation. This, I take it, signals the death of modal collapse arguments. But not all hope is lost for proponents of modal collapse arguments—for the death is a fruitful one insofar as it paves the way for new inquiry into at least two new potential problems for classical theism. Showing this is my paper’s second aim. (shrink)

James Henry Collin recently developed a new symmetry breaker favouring the ontological argument’s possibility premiss over that of the reverse ontological argument. The symmetry breaker amounts to an undercutting defeater for the reverse possibility premiss based on Kripkean cases of a posteriori necessity. I argue, however, that symmetry re-arises in two forms. First, I challenge the purported asymmetry in epistemic entitlements to the original and reverse possibility premisses. Second, relevantly similar Kripkean cases equally undercut the original possibility premiss.

ABSTRACTEvaluative aesthetic discourse communicates that the speaker has had first-hand experience of what is talked about. If you call a book bewitching, it will be assumed that you have read the book. If you say that a building is beautiful, it will be assumed that you have had some visual experience with it. According to an influential view, this is because knowledge is a norm for assertion, and aesthetic knowledge requires first-hand experience. This paper criticizes this view and argues for (...) an alternative view, according to which aesthetic discourse expresses affective states of mind, analogously to how assertions express beliefs. It is because these affective states require first-hand experience that aesthetic discourse communicates that such acquaintance is at hand. The paper furthermore argues that the lack of an experience requirement for aesthetic belief ascriptions constitutes a problem for the kind of expressivist who claims that evaluative belief states are covert non-cognitive states. (shrink)

It is widely held within contemporary metaethics that there is a lack of linguistic support for evaluative expressivism. On the contrary, it seems that the predictions that expressivists make about evaluative discourse are not borne out. An instance of this is the so-called problem of missing Moorean infelicity. Expressivists maintain that evaluative statements express non-cognitive states of mind in a similar manner to how ordinary descriptive language expresses beliefs. Conjoining an ordinary assertion that p with the denial of being in (...) the corresponding belief state famously gives rise to Moorean infelicity:?? It’s raining but I don’t believe that it’s raining. If expressivists are right, then conjoining evaluative statements with the denial of being in the relevant non-cognitive state of mind should give rise to similar infelicity. However, as several theorists have pointed out, this does not seem to be the case. Statements like the following are not infelicitous: Murder is wrong but I don’t disapprove of it. In this paper, I argue that evaluative statements express the kind of states that are attributed by ‘find’-constructions in English and that these states are non-cognitive in nature. This addresses the problem of missing Moorean infelicity and, more generally, goes to show that there are linguistic facts which support expressivism about evaluative discourse. (shrink)

Aristotle’s theory of human happiness in the Nicomachean Ethics explicitly depends on the claim that contemplation (theôria) is peculiar to human beings, whether it is our function or only part of it. But there is a notorious problem: Aristotle says that divine beings also contemplate. Various solutions have been proposed, but each has difficulties. Drawing on an analysis of what divine contemplation involves according to Aristotle, I identify an assumption common to all of these proposals and argue for rejecting it. (...) This allows a straightforward solution to the problem and there is evidence that Aristotle would have adopted it. (shrink)

In bilateral logic formulas are signed by + and –, indicating the speech acts assertion and denial. I argue that making an assumption is also speech act. Speech acts cannot be embedded within other speech acts. Hence we cannot make sense of the notion of making an assumption in bilateral logic. Attempts to solve this problem are considered and rejected.

Inspired by recent breakthroughs in predictive modeling, practitioners in both industry and government have turned to machine learning with hopes of operationalizing predictions to drive automated decisions. Unfortunately, many social desiderata concerning consequential decisions, such as justice or fairness, have no natural formulation within a purely predictive framework. In efforts to mitigate these problems, researchers have proposed a variety of metrics for quantifying deviations from various statistical parities that we might expect to observe in a fair world and offered a (...) variety of algorithms in attempts to satisfy subsets of these parities or to trade o the degree to which they are satised against utility. In this paper, we connect this approach to fair machine learning to the literature on ideal and non-ideal methodological approaches in political philosophy. The ideal approach requires positing the principles according to which a just world would operate. In the most straightforward application of ideal theory, one supports a proposed policy by arguing that it closes a discrepancy between the real and the perfectly just world. However, by failing to account for the mechanisms by which our non-ideal world arose, the responsibilities of various decision-makers, and the impacts of proposed policies, naive applications of ideal thinking can lead to misguided interventions. In this paper, we demonstrate a connection between the fair machine learning literature and the ideal approach in political philosophy, and argue that the increasingly apparent shortcomings of proposed fair machine learning algorithms reflect broader troubles faced by the ideal approach. We conclude with a critical discussion of the harms of misguided solutions, a reinterpretation of impossibility results, and directions for future research. (shrink)

Aristotle’s typical procedure is to identify something's four causes. Intentional action has typically been treated as an exception: most think that Aristotle has the standard causalist account, according to which an intentional action is a bodily movement efficiently caused by an attitude of the appropriate sort. I show that action is not an exception to Aristotle’s typical procedure: he has the resources to specify four causes of action, and thus to articulate a powerful theory of action unlike any other on (...) offer. (shrink)

The intersection of development and evolution has always harbored conceptual issues, but many of these are on display in contemporary evolutionary developmental biology (evo-devo). These issues include: (1) the precise constitution of evo-devo, with its focus on both the evolution of development and the developmental basis of evolution, and how it fits within evolutionary theory; (2) the nature of evo-devo model systems that comprise the material of comparative and experimental research; (3) the puzzle of how to understand the widely used (...) notion of 'conserved mechanisms'; (4) the definition of evolutionary novelties and expectations for how to explain them; and (5) the demand of interdisciplinary collaboration that derives from investigating complex phenomena at key moments in the history of life, such as the fin-limb transition. This Element treats these conceptual issues with close attention to both empirical detail and scientific practice to offer new perspectives on evolution and development. This title is also available as Open Access on Cambridge Core. (shrink)

The modal ontological argument (MOA) proceeds from God’s possible existence to God’s actual existence. A prominent objection to the MOA is that it suffers from a symmetry problem: an exactly parallel modal ontological argument can be given for God's non-existence. Several attempts have been made to break the symmetry between the arguments. This draft is a mostly comprehensive survey of those attempts. -/- The draft was initially written as a supplement to the 2024 Summer edition of the SEP entry on (...) Ontological Arguments. However, the draft is not included in the SEP entry. (shrink)

Aristotle is essentially human; that is, for all possible worlds metaphysically consistent with our own, if Aristotle exists, then he is human. This is a claim about the essential property of an object. The claim that objects have essential properties has been hotly disputed, but for present purposes, we can bracket that issue. In this essay, we are interested, rather, in the question of whether properties themselves have essential properties (or features) for their existence. We call those who suppose they (...) do “property essentialists”; those who do not, “property anti-essentialists,” or “quidditists.” We offer two complementary arguments. Our total argument is under-girded by two assumptions: transworld identity theory and “received view” counterfactual semantics, a la David Lewis. We then argue that, if one presumes that these are true, then one risks running headlong into paradox if one also accepts property anti-essentialism. That's the first argument. By contrast, if one accepts these same assumptions in conjunction with property essentialism, then the paradox is avoided. This is the second argument. We take it that our arguments work to show that, between property essentialism and quidditism, the property essentialist is on better footing. Plausibly, properties themselves do have essential properties for their existence. (shrink)

A well-known theory about under which circumstances a statement is true in a fiction is The Reality Principle, which originate in the work of David Lewis: (RP) Where p1... pn are the primary fictional truths of a fiction F , it is true in F that q iff the following holds: were p1 ... pn the case, q would have been the case (Walton 1990: 44). RP has been subjected to a number of counterexamples, up to a point where, in (...) the words of Stacie Friend “it is widely recognized that the Reality Principle […] cannot be a universal inference rule for implied story-truths” (Friend 2017: 33). This chapter argues that the strength of these counterexamples is widely overestimated, and that they do not, on closer scrutiny, constitute reasons for rejecting RP. (shrink)

Ian Rumfitt has proposed systems of bilateral logic for primitive speech acts of assertion and denial, with the purpose of ‘exploring the possibility of specifying the classically intended senses for the connectives in terms of their deductive use’ : 810f). Rumfitt formalises two systems of bilateral logic and gives two arguments for their classical nature. I assess both arguments and conclude that only one system satisfies the meaning-theoretical requirements Rumfitt imposes in his arguments. I then formalise an intuitionist system of (...) bilateral logic which also meets those requirements. Thus Rumfitt cannot claim that only classical bilateral rules of inference succeed in imparting a coherent sense onto the connectives. My system can be extended to classical logic by adding the intuitionistically unacceptable half of a structural rule Rumfitt uses to codify the relation between assertion and denial. Thus there is a clear sense in which, in the bilateral framework, the difference between classicism and intuitionism is not one of the rules of inference governing negation, but rather one of the relation between assertion and denial. (shrink)

Benardete paradoxes involve infinite collections of Grim Reapers, assassins, demons, deafening peals, or even sentences. These paradoxes have recently been used in arguments for finitist metaphysical theses such as temporal finitism, causal finitism, and discrete views of time. Here we develop a new finite Benardete-like paradox. We then use this paradox to defend a companions in guilt argument that challenges recent applications of patchwork principles on behalf of the aforementioned finitist arguments. Finally, we develop another problem for those applications by (...) examining the notion of exact duplication. (shrink)

In this introduction, before summarizing the contents of the volume, the authors characterize materialism as it is understood within the philosophy of mind, and they identify three respects in which materialism is on the wane.

What explains change? Edward Feser argues in his ‘Aristotelian proof’ that the only adequate answer to these questions is ultimately in terms of an unchangeable, purely actual being. In this paper, I target the cogency of Feser’s reasoning to such an answer. In particular, I present novel paths of criticism—both undercutting and rebutting—against one of Feser’s central premises. I then argue that Feser’s inference that the unactualized actualizer lacks any potentialities contains a number of non-sequiturs.

The outcomes of sports and competitive games excite intense emotions in many people, even when those same people acknowledge that those outcomes are of trifling importance. I call this incongruity between the judged importance of the outcome and the intense reactions it provokes the Puzzle of Sport. The puzzle can be usefully compared to another puzzle in aesthetics: the Paradox of Fiction, which asks how it is we become emotionally caught up with events and characters we know to be unreal. (...) In this article, I examine the prospects of understanding our engagement with competitive games on the model of our engagement with works of fiction, thus enabling analogous explanations for both puzzles. I show that there are significant problems with such an approach and offer an alternative, mobilizing ideas from David Velleman and Thomas Nagel, that appeals to the volatility of our motivational attitudes. (shrink)

Some environmental ethicists and economists argue that attributing infinite value to the environment is a good way to represent an absolute obligation to protect it. Others argue against modelling the value of the environment in this way: the assignment of infinite value leads to immense technical and philosophical difficulties that undermine the environmentalist project. First, there is a problem of discrimination: saving a large region of habitat is better than saving a small region; yet if both outcomes have infinite value, (...) then decision theory prescribes indifference. Second, there is a problem of swamping probabilities: an act with a small but positive probability of saving an endangered species appears to be on par with an act that has a high probability of achieving this outcome, since both have infinite expected value. Our paper shows that a relative concept of infinite value can be meaningfully defined, and provides a good model for securing the priority of the natural environment while avoiding the failures noted by sceptics about infinite value. Our claim is not that the relative infinity utility model gets every detail correct, but rather that it provides a rigorous philosophical framework for thinking about decisions affecting the environment. (shrink)

Public opinion research has shown that voters accept many falsehoods about politics. This observation is widely considered troubling for democracy—and especially participatory ideals of democracy. I argue that this influential narrative is nevertheless flawed, because it misunderstands the nature of political understanding. Drawing on philosophical examinations of scientific modelling, I demonstrate that accepting falsehoods within one’s model of political reality is compatible with—and indeed can positively enhance—one’s understanding of that reality. Thus, the observation that voters accept many political falsehoods does (...) not necessarily establish that they lack political understanding. I then address three worries: that voters cannot generally engage in such political modelling; that political modelling obscures facts that are crucial to political understanding; and that successful political modelling would require knowing that one’s model contains falsehoods. My responses reveal how, going forward, we should measure political ignorance; and they highlight the standing importance of participatory democracy. (shrink)

In the first section, I characterize skeptical theism more fully. This is necessary in order to address some important misconceptions and mischaracterizations that appear in the essays by Maitzen, Wilks, and O’Connor. In the second section, I describe the most important objections they raise and group them into four “families” so as to facilitate an orderly series of responses. In the four sections that follow, I respond to the objections.

This paper considers whether incompatibilism, the view that negation is to be explained in terms of a primitive notion of incompatibility, and Fregeanism, the view that arithmetical truths are analytic according to Frege’s definition of that term in §3 of Foundations of Arithmetic, can both be upheld simultaneously. Both views are attractive on their own right, in particular for a certain empiricist mind-set. They promise to account for two philosophical puzzling phenomena: the problem of negative truth and the problem of (...) epistemic access to numbers. For an incompatibilist, proofs of numerical non-identities must appeal to primitive incompatibilities. I argue that no analytic primitive incompatibilities are forthcoming. Hence incompatibilists cannot be Fregeans. (shrink)

A growing number of linguistic attempts to explain how languages change use cultural-evolutionary models involving selection or drift. Developmental constraints and biases, which take center stage in evolutionary developmental biology or evo-devo, seem to be absent within this framework, even though linguistics is home to numerous notions of constraint. In this paper, we show how these evo-devo concepts could be applied to linguistic change and why they should. This requires some conceptual groundwork, due to important differences between linguistic and biotic (...) evolution. In biological evolution, development generates the organism's variable traits on which selection and drift act. In linguistic evolution by analogy, we say development generates the linguistic variants on which selection and drift can act. “Linguistic development” then picks out how individual speakers produce and comprehend language. It involves much more than just learning. Using this broad notion of development, we distinguish between different types of bias that could operate in the processes of linguistic innovation and transmission, which correspond to genetic mutation and biological reproduction, respectively. Having thus sharpened our conceptual toolbox, we then reanalyze two well-documented cases of linguistic change and show that, in both these cases, linguists have only considered Neo-Darwinian evolutionary explanations, falsely deploying an exclusive disjunction of selection and drift. We show that there is at least a third relevant alternative in these examples, namely developmental constraint or bias in the sense we explicate here. (shrink)

What methodological approaches do research programs use to investigate the world? Elisabeth Lloyd’s Logic of Research Questions (LRQ) characterizes such approaches in terms of the questions that the researchers ask and causal factors they consider. She uses the Logic of Research Questions Framework to criticize adaptationist programs in evolutionary biology for dogmatically assuming selection explanations of the traits of organisms. I argue that Lloyd’s general criticism of methodological adaptationism is an artefact of the impoverished LRQ. My Ordered Factors Proposal extends (...) the LRQ to characterize approaches with sequences of questions and factors. I highlight the importance that ordering one’s investigation plays in approaches at the level of adaptationism by analyzing two research programs in community ecology: competitionists and neutralists. Competitionists and neutralists take opposed starting points and use explanatory and developmental heuristics to consider more factors in due time. On the Ordered Factors Proposal, these approaches are not only the ecological factors they are open to considering but also the order in which they will consider them. My disagreement with Lloyd’s over how to characterize methodological approaches reflects different views about methodological monism and pluralism. (shrink)

Persons are widely believed to be rational, planning agents that are both author and main character of their life stories. A major goal is to keep these narratives coherent as they unfold, and part of a fulfilled life allegedly stems from this coherence. My aim is to challenge these convictions by considering two related claims about persons and their lives. Contrary to the widespread theoretical conviction in philosophy of mind and action, persons are fundamentally emotional and affective rather than rational (...) and deliberative beings. And so, on a practical level, persons need not constantly aspire to integrate their past, present, and future into a coherent whole in order to live fulfilled lives. Needless to say, I cannot hope to defend these claims and their relation in great detail with a few brief strokes. In addition to theoretical reflections, I discuss some practical implications and potential benefits that come with discarding the daunting task of continuously keeping track of one's life story. Drawing on insights from a contemplative Buddhist tale, I venture that the practice of letting go can break the spell, and give rise to an alleviating source of liberation from life's troubles.Export citation. (shrink)

The modal collapse objection to classical theism has received significant attention among philosophers as of late. My aim in this paper is to advance this blossoming debate. First, I briefly survey the modal collapse literature and argue that classical theists avoid modal collapse if and only if they embrace an indeterministic link between God and his effects. Second, I argue that this indeterminism poses two challenges to classical theism. The first challenge is that it collapses God’s status as an intentional (...) agent who knows and intends what he is bringing about in advance. The second challenge is that it collapses God’s providential control over which creation obtains. (shrink)

This paper discusses proof-theoretic semantics, the project of specifying the meanings of the logical constants in terms of rules of inference governing them. I concentrate on Michael Dummett’s and Dag Prawitz’ philosophical motivations and give precise characterisations of the crucial notions of harmony and stability, placed in the context of proving normalisation results in systems of natural deduction. I point out a problem for defining the meaning of negation in this framework and prospects for an account of the meanings of (...) modal operators in terms of rules of inference. (shrink)

This chapter defines "epistemology," introduces the key epistemological questions, and briefly outlines how the field has evolved over time. It serves as the introduction to the edited collection, Introduction to Philosophy: Epistemology (a volume in the Introduction to Philosophy open textbook series edited by Christina Hendricks).

This is a commentary on MM McCabe's "First Chop your logos... Socrates and the sophists on language, logic, and development". In her paper MM analyses Plato's Euthydemos, in which Plato tackles the problem of falsity in a way that takes into account the speaker and complements the Sophist's discussion of what is said. The dialogue looks as if it is merely a demonstration of the silly consequences of eristic combat. And so it is. But a main point of MM's paper (...) is that there is serious philosophy in the Euthydemos, too. MM argues that to counter the sophist brothers Euthydemos and Dionysodoros, Socrates points out that that there are different aspects to the verb 'to say' that run in parallel to the different aspects of the very 'to learn'. So just as there is continuity rather than ambiguity between 'to learn' and 'to understand', so there is continuity between the different aspects of saying. Thus Socrates puts forward a teleological account of both learning and meaning. Following up on some of MM's thoughts, I argue that the sophists subscribe, despite appearance, to a theory of meaning that respects serious and widely accepted philosophical theses on meaning. -/- Forthcoming in the Australasian Philosophical Review. The curator of the volume is Fiona Leigh, and the committee also has Hugh Benson and Tim Clarke. You can find MM's paper as well as the commentaries by Nicholas Denyer and Russell E. Jones and Ravi Sharma (and myself) by registering. (shrink)

Bilateralists hold that the meanings of the connectives are determined by rules of inference for their use in deductive reasoning with asserted and denied formulas. This paper presents two bilateral connectives comparable to Prior's tonk, for which, unlike for tonk, there are reduction steps for the removal of maximal formulas arising from introducing and eliminating formulas with those connectives as main operators. Adding either of them to bilateral classical logic results in an incoherent system. One way around this problem is (...) to count formulas as maximal that are the conclusion of reductio and major premise of an elimination rule and to require their removability from deductions. The main part of the paper consists in a proof of a normalisation theorem for bilateral logic. The closing sections address philosophical concerns whether the proof provides a satisfactory solution to the problem at hand and confronts bilateralists with the dilemma that a bilateral notion of stability sits uneasily with the core bilateral thesis. (shrink)

The proliferation of conspiracy theories poses a significant threat to democratic decision-making. To counter this threat, many political theorists advocate countering conspiracy theories with ‘more speech’ (or ‘counterspeech’). Yet conspiracy theories are notoriously resistant to counterspeech. This article aims to conceptualise and defend a novel form of counterspeech – narrative counterspeech – that is singularly well-placed to overcome this resistance. My argument proceeds in three steps. First, I argue that conspiracy theories pose a special problem for counterspeech for three interconnected (...) reasons relating to salience, emotion and internal coherence. Drawing on recent work in social epistemology, philosophy of emotion and cognitive science, I then demonstrate that narrative forms of counterspeech constitute an apt response to this diagnosis. Finally, I forestall two objections: the first questions the likely effectiveness of narrative counterspeech; the second insists that, even if it were effective, it would remain unacceptably manipulative. Neither objection, I contend, is ultimately compelling. (shrink)

In "Rethinking Sadomasochism," Patrick Hopkins challenges the "radical" feminist claim that sadomasochism is incompatible with feminism. He does so by appeal to the notion of "simulation." I argue that Hopkins's conclusions are generally right, but they cannot be inferred from his "simulation" argument. I replace Hopkins's "simulation" with Kendall Walton's more sophisticated theory of "make-believe." I use this theory to better argue that privately conducted sadomasochism is compatible with feminism.

José Benardete developed a famous paradox involving a beginningless set of items each member of which satisfies some predicate just in case no earlier member satisfies it. The Grim Reaper version of this paradox has recently been employed in favour of various finitist metaphysical theses, ranging from temporal finitism to causal finitism to the discrete nature of time. Here, I examine a new challenge to these finitist arguments—namely, the challenge of implying that the future cannot be endless. In particular, I (...) develop future-oriented Benardete paradoxes and examine their epistemic symmetry with past-oriented paradoxes. (shrink)

Within contemporary metaethics, it is widely held that there is a “presumption of realism” in moral thought and discourse. Anti-realist views, like error theory and expressivism, may have certain theoretical considerations speaking in their favor, but our pretheoretical stance with respect to morality clearly favors objectivist metaethical views. This article argues against this widely held view. It does so by drawing from recent discussions about so-called “subjective attitude verbs” in linguistics and philosophy of language. Unlike pretheoretically objective predicates (e.g., “is (...) made of wood”, “is 185 cm tall”), moral predicates embed felicitously under subjective attitude verbs like the English “find”. Moreover, it is argued that the widespread notion that moral discourse bears all the marks of fact-stating discourse is rooted in a blinkered focus on examples from English. Cross-linguistic considerations suggest that subjective attitude verbs are actually the default terms by which we ascribe moral views to people. Impressions to the contrary in English have to do with some unfortunate quirks of the term “think”. (shrink)

Maurice Merleau-Ponty is often interpreted as claiming that opportunities for action are directly present in perceptual experience. However, he does not provide much evidence for how or why this would occur, and one can doubt that this is an appropriate interpretation of his phenomenological descriptions. In particular, it could be argued the Merleau-Pontyian descriptions mistakenly attribute pre-perceptual or post-perceptual elements such as allocation of attention or judgment to the perceptual experience itself. This paper argues for the Merleau-Pontyian idea that opportunities (...) for action are present in perceptual experience. It further argues that the phenomenological descriptions can be supported and explained via reference to contemporary research on motor imagery. In particular, it will be argued that non-conscious, covert motor imagery is used to prepare for and regulate skilled actions, and that it is plausible that this imagery combines with perception (likely vision) to create a single experience of the environment as enabling action. The paper will also show that contemporary views on motor imagery are broadly compatible with Merleau-Ponty’s aims. (shrink)

This paper presents a way of formalising definite descriptions with a binary quantifier ι, where ιx[F, G] is read as ‘The F is G’. Introduction and elimination rules for ι in a system of intuitionist negative free logic are formulated. Procedures for removing maximal formulas of the form ιx[F, G] are given, and it is shown that deductions in the system can be brought into normal form.

This paper studies a formalisation of intuitionistic logic by Negri and von Plato which has general introduction and elimination rules. The philosophical importance of the system is expounded. Definitions of ‘maximal formula’, ‘segment’ and ‘maximal segment’ suitable to the system are formulated and corresponding reduction procedures for maximal formulas and permutative reduction procedures for maximal segments given. Alternatives to the main method used are also considered. It is shown that deductions in the system convert into normal form and that deductions (...) in normal form have the subformula property. (shrink)

This paper considers a formalisation of classical logic using general introduction rules and general elimination rules. It proposes a definition of ‘maximal formula’, ‘segment’ and ‘maximal segment’ suitable to the system, and gives reduction procedures for them. It is then shown that deductions in the system convert into normal form, i.e. deductions that contain neither maximal formulas nor maximal segments, and that deductions in normal form satisfy the subformula property. Tarski’s Rule is treated as a general introduction rule for implication. (...) The general introduction rule for negation has a similar form. Maximal formulas with implication or negation as main operator require reduction procedures of a more intricate kind not present in normalisation for intuitionist logic. (shrink)

Thought experiments that concoct bizarre possible world modalities are standard fare in debates on personal identity. Appealing to intuitions raised by such evocations is often taken to settle differences between conflicting theoretical views that, albeit, have practical implications for ethical controversies of personal identity in health care. Employing thought experiments that way is inadequate, I argue, since personhood is intrinsically linked to constraining facts about the actual world. I defend a moderate modal skepticism according to which intuiting across conceptually incongruent (...) worlds constitutes ‘invalid intuitioninferences’—i.e., carrying over intuitions gathered from facts about possible worlds that are at odds with facts about the actual world, for the purpose of making claims about real-life persons and their identity, leads to conceptual incongruences. Such a methodological fallout precludes accurate, informative judgments about personal identity in the actual world, calling into question the adequacy of thought experimental considerations for potential real world applications in medical ethics. (shrink)

When our smartphones distract us, much more is at stake than a momentary lapse of attention. Our use of smartphones can interfere with the building-blocks of meaningfulness and the actions that shape our self-identity. -/- By analyzing social interactions and evolving experiences, Roholt reveals the mechanisms of smartphone-distraction that impact our meaningful projects and activities. Roholt’s conception of meaning in life draws from a disparate group of philosophers—Susan Wolf, John Dewey, Hubert Dreyfus, Martin Heidegger, and Albert Borgmann. Central to Roholt’s (...) argument are what Borgmann calls focal practices: dinners with friends, running, a college seminar, attending sporting events. As a recurring example, Roholt develops the classification of musical instruments as focal things, contending that musical performance can be fruitfully understood as a focal practice. -/- Through this exploration of what generates meaning in life, Roholt makes us rethink the place we allow smartphones to occupy in the everyday. But he remains cautiously optimistic. This thoughtful, needed interrogation of smartphones shows how we can establish a positive role for technologies within our lives. (shrink)

This brief note corrects an error in one of the reduction steps in my paper 'Normalisation for Bilateral Classical Logic with some Philosophical Remarks' published in the Journal of Applied Logics 8/2 (2021): 531-556.

Enric F. Gel has recently argued that classical theism enjoys a significant advantage over Graham Oppy's naturalism. According to Gel, classical theism – unlike Oppy's naturalism – satisfactorily answers two questions: first, how many first causes are there, and second, why is it that number rather than another? In this article, I reply to Gel's argument for classical theism's advantage over Oppy's naturalism. I also draw out wider implications of my investigation for the gap problem and Christian doctrine along the (...) way. (shrink)

Aristotle’s cryptic De Anima III 5 has precipitated an enormous volume of commentary, especially about the identity of what has come to be known as active intellect and how it relates to potential intellect. Some take active intellect to be the prime mover of Metaphysics Λ, others a hypostatic or cosmic principle (for example, an ideal Intellect, intellect associated with the tenth celestial sphere, etc.), and others a faculty, potentiality, or power of the human soul that is distinct in function, (...) office, or operation from potential intellect. But a very different, ontologically lightweight way of characterizing active and potential intellect can be reconstructed from fragments of a work by the only interpreter personally acquainted with Aristotle, his junior colleague, Theophrastus of Eresus. This reconstruction suggests various philosophically attractive solutions to notorious problems raised by Aristotle’s text. (shrink)

Berkeley, Hume, and Russell rejected the traditional analysis of substances in terms of qualities which are supported by an "unknowable substratum." To them the proper alternative seemed obvious. Eliminate the substratum in which qualities are alleged to inhere, leaving a bundle of coexisting qualities--a view that we may call the Bundle Theory or BT. But by rejecting only part of the traditional substratum theory instead of replacing it entirely, Bundle Theories perpetuate certain confusions which are found in the Substratum Doctrine. (...) I examine two major types of BT developed by Russell and by G. F. Stout with the intention of showing that (1) the seemingly innocuous concept of "a quality" employed by these versions cannot be used to state their theories coherently, and (2) the fatal problems that the BT encounters point to a more satisfactory and interesting alternative to both the Substratum Doctrine and the BT. This is a view that I call the Qualified Particulars Theory. In a final section I draw morals from this discussion that apply to the analogous Humean view that a mind is a "bundle of perceptions and sensations.". (shrink)

My goal in this paper is to show that naturalists cannot reasonably endorse moral realism. My argument will come in two parts. The first part aims to show that any plausible and naturalistically acceptable argument in favor of belief in objective moral properties will appeal in part to simplicity considerations (broadly construed)—and this regardless of whether moral properties are reducible to non-moral properties. The second part argues for the conclusion that appeals to simplicity justify belief in moral properties only if (...) either those properties are not objective or something like theism is true. Thus, if my argument is sound, naturalists can reasonably accept moral realism only if they are prepared to accept something like theism. But, as will become clear, naturalists can reasonably accept theism or something like it only if belief in some such doctrine is justified by the methods of science. For present purposes, I’ll assume (what I think virtually every naturalist will grant) that belief in theism and relevantly similar doctrines is not justified by the methods of science. Thus, I will conclude that naturalists cannot reasonably accept moral realism. (shrink)

Sentences containing definite descriptions, expressions of the form ‘The F’, can be formalised using a binary quantifier ι that forms a formula out of two predicates, where ιx[F, G] is read as ‘The F is G’. This is an innovation over the usual formalisation of definite descriptions with a term forming operator. The present paper compares the two approaches. After a brief overview of the system INFι of intuitionist negative free logic extended by such a quantifier, which was presented in (...) (Kürbis 2019), INFι is first compared to a system of Tennant’s and an axiomatic treatment of a term forming ι operator within intuitionist negative free logic. Both systems are shown to be equivalent to the subsystem of INFι in which the G of ιx[F, G] is restricted to identity. INFι is then compared to an intuitionist version of a system of Lambert’s which in addition to the term forming operator has an operator for predicate abstraction for indicating scope distinctions. The two systems will be shown to be equivalent through a translation between their respective languages. Advantages of the present approach over the alternatives are indicated in the discussion. (shrink)

In the present article, he explains why divine silence poses a serious intellectual obstacle to belief in God, and then goes on to consider ways of overcoming that obstacle. After considering several ways in which divine silence might actually be beneficial to human beings, he argues that perhaps silence is nothing more or less than God’s preferred mode of interaction with creatures like us. Perhaps God simply desires communion rather than overt communication with human beings, and perhaps God has provided (...) ways for us to experience God’s presence richly even amidst the silence. (shrink)

This paper proves normalisation theorems for intuitionist and classical negative free logic, without and with the $\invertediota$ operator for definite descriptions. Rules specific to free logic give rise to new kinds of maximal formulas additional to those familiar from standard intuitionist and classical logic. When $\invertediota$ is added it must be ensured that reduction procedures involving replacements of parameters by terms do not introduce new maximal formulas of higher degree than the ones removed. The problem is solved by a rule (...) that permits restricting these terms in the rules for $\forall$, $\exists$ and $\invertediota$ to parameters or constants. A restricted subformula property for deductions in systems without $\invertediota$ is considered. It is improved upon by an alternative formalisation of free logic building on an idea of Ja\'skowski's. In the classical system the rules for $\invertediota$ require treatment known from normalisation for classical logic with $\lor$ or $\exists$. The philosophical significance of the results is also indicated. (shrink)