‎A universal schema for diagonalization was popularized by N. S‎. ‎Yanofsky (2003)‎, ‎based on a pioneering work of F.W‎. ‎Lawvere (1969)‎, ‎in which the existence of a (diagonolized-out and contradictory) object implies the existence of a fixed-point for a certain function‎. ‎It was shown that many self-referential paradoxes and diagonally proved theorems can fit in that schema‎. ‎Here‎, ‎we fit more theorems in the universal‎ ‎schema of diagonalization‎, ‎such as Euclid's proof for the infinitude of the primes and new proofs (...) of G. Boolos (1997) for Cantor's theorem on the non-equinumerosity of a set with its powerset‎. ‎Then‎, ‎in Linear Temporal Logic‎, ‎we show the non-existence of a fixed-point in this logic whose proof resembles the argument of Yablo's paradox (1985‎, ‎1993)‎. ‎Thus‎, ‎Yablo's paradox turns for the first time into a genuine mathematico-logical theorem in the framework of Linear Temporal Logic‎. ‎Again the diagonal schema of the paper is used in this proof; and it is also shown that G. Priest's inclosure schema (1997) can fit in our universal diagonal / fixed-point schema‎. ‎We also show the existence of dominating (Ackermann-like) functions (which dominate a given countable set of functions‎, ‎such as primitive recursive functions) in the schema. (shrink)

In Zettel, Wittgenstein considered a modified version of Cantor’s diagonal argument. According to Wittgenstein, Cantor’s number, different with other numbers, is defined based on a countable set. If Cantor’s number belongs to the countable set, the definition of Cantor’s number become incomplete. Therefore, Cantor’s number is not a number at all in this context. We can see some examples in the form of recursive functions. The definition "f(a)=f(a)" can not decide anything about the value of f(a). The definiton is (...) incomplete. The definition of "f(a)=1+f(a)" can not decide anything about the value of f(a) too. The definiton is incomplete.<br><br>According to Wittgenstein, the contradiction, in Cantor's proof, originates from the hidden presumption that the definition of Cantor’s number is complete. The contradiction shows that the definition of Cantor’s number is incomplete. <br><br>According to Wittgenstein’s analysis, Cantor’s diagonal argument is invalid. But different with Intuitionistic analysis, Wittgenstein did not reject other parts of classical mathematics. Wittgenstein did not reject definitions using self-reference, but showed that this kind of definitions is incomplete.<br><br>Based on Thomson’s diagonal lemma, there is a close relation between a majority of paradoxes and Cantor’s diagonal argument. Therefore, Wittgenstein’s analysis on Cantor’s diagonal argument can be applied to provide a unified solution to paradoxes. (shrink)

Following Post program, we will propose a linguistic and empirical interpretation of Gödel’s incompleteness theorem and related ones on unsolvability by Church and Turing. All these theorems use the diagonal argument by Cantor in order to find limitations in finitary systems, as human language, which can make “infinite use of finite means”. The linguistic version of the incompleteness theorem says that every Turing complete language is Gödel incomplete. We conclude that the incompleteness and unsolvability theorems find limitations in our (...) finitary tool, which is our complete language. (shrink)

In a recent article, Christopher Ormell argues against the traditional mathematical view that the real numbers form an uncountably infinite set. He rejects the conclusion of Cantor’s diagonal argument for the higher, non-denumerable infinity of the real numbers. He does so on the basis that the classical conception of a real number is mys- terious, ineffable, and epistemically suspect. Instead, he urges that mathematics should admit only ‘well-defined’ real numbers as proper objects of study. In practice, this means excluding (...) as inadmissible all those real numbers whose decimal expansions cannot be calculated in as much detail as one would like by some rule. We argue against Ormell that the classical realist account of the continuum has explanatory power in mathematics and should be accepted, much in the same way that "dark matter" is posited by physicists to explain observations in cosmology. In effect, the indefinable real numbers are like the "dark matter" of real analysis. (shrink)

It would be an understatement to say that Russell was interested in Cantorian diagonal paradoxes. His discovery of the various versions of Russell’s paradox—the classes version, the predicates version, the propositional functions version—had a lasting effect on his views in philosophical logic. Similar Cantorian paradoxes regarding propositions—such as that discussed in §500 of The Principles of Mathematics—were surely among the reasons Russell eventually abandoned his ontology of propositions.1 However, Russell’s reasons for abandoning what he called “denoting concepts”, and his (...) rejection of similar “semantic dualisms” such as Frege’s theory of sense and reference—at least in “On Denoting”—made no explicit mention of any Cantorian paradox. My aim in this paper is to argue that such paradoxes do pose a problem for certain theories such as Frege’s, and early Russell’s, about how definite descriptions are meaningful. My first aim is simply to lay out the problem I have in mind. Next, I shall turn to arguing that the theories of descriptions endorsed by Frege and by Russell prior to “On Denoting” are susceptible to the problem. Finally, I explore what responses a.. (shrink)

This paper deploys a Cantor-style diagonal argument which indicates that there is more possible mathematical content than there are propositional functions in Russell and Whitehead's Principia Mathematica and similar formal systems. This technical result raises a historical question: "How did Russell, who was himself an expert in diagonal arguments, not see this coming?" It turns out that answering this question requires an appreciation of Russell's understanding of what logic is, and how he construed the relationship between logic and (...) Principia Mathematica. (shrink)

In order to explain Wittgenstein’s account of the reality of completed infinity in mathematics, a brief overview of Cantor’s initial injection of the idea into set- theory, its trajectory and the philosophic implications he attributed to it will be presented. Subsequently, we will first expound Wittgenstein’s grammatical critique of the use of the term ‘infinity’ in common parlance and its conversion into a notion of an actually existing infinite ‘set’. Secondly, we will delve into Wittgenstein’s technical critique of the concept (...) of ‘denumerability’ as it is presented in set theory as well as his philosophic refutation of Cantor’s Diagonal Argument and the implications of such a refutation onto the problems of the Continuum Hypothesis and Cantor’s Theorem. Throughout, the discussion will be placed within the historical and philosophical framework of the Grundlagenkrise der Mathematik and Hilbert’s problems. (shrink)

To counter a general belief that all the paradoxes stem from a kind of circularity (or involve some self--reference, or use a diagonal argument) Stephen Yablo designed a paradox in 1993 that seemingly avoided self--reference. We turn Yablo's paradox, the most challenging paradox in the recent years, into a genuine mathematical theorem in Linear Temporal Logic (LTL). Indeed, Yablo's paradox comes in several varieties; and he showed in 2004 that there are other versions that are equally paradoxical. Formalizing these (...) versions of Yablo's paradox, we prove some theorems in LTL. This is the first time that Yablo's paradox(es) become new(ly discovered) theorems in mathematics and logic. (shrink)

It has been noticed that self-referential, ambiguous definitional formulas are accompanied by complementary self-referential antinomy formulas, which gives rise to contradictions. This made it possible to re-examine ancient antinomies and Cantor’s Diagonal Argument (CDA), as well as the method of nested intervals, which is the basis for evaluating the existence of uncountable sets. Using Georg Cantor’s remark that every real number can be represented as an infinite digital expansion (usually decimal or binary), a simplified system for verifying the definitions (...) of real numbers, subsets, and strings was created - the Cantor Criterion, which allows faulty definitions to be pointed out. For the CDA, the connection of formulas defining objects (real numbers, subsets, strings) from outside the list with supplementary formulas was demonstrated - their indirect and indispensable nature testifies to the lack of unambiguity and gives rise to contradictions for Cantor’s antinomic formulas. Thus, Cantor’s theorem about the higher power of the set of all subsets, using the reductio ad absurdum proof, lost its power and it was indicated that it is necessary to correct the scheme of the Axiom of Specification, which was introduced precisely to exclude antinomies from set theory by excluding from the use of self-referential antinomies and ambiguous supplementary formulas coupled with them identified by the H hypothesis. The method of nested intervals was investigated and it was shown that every real number can be defined by the limit of nested intervals and a countable list of real numbers obtained from a countable pool of all Jules Richard’s texts. (shrink)

In this paper, I introduce an iterative method aimed at exploring numbers within the interval [0, 1]. Beginning with a foundational set, S0, a series of algorithms are employed to expand and refine this set. Each algorithm has its designated role, from incorporating irrational numbers to navigating non-deterministic properties. With each successive iteration, our set grows, and after infinite iterations, its cardinality is proposed to align with that of the real numbers. This work is an initial exploration into this approach, (...) and further investigation is encouraged to understand its full implications and potential. (shrink)

Cantor argued that absolute infinity is beyond mathematical comprehension. His arguments imply that the domain of mathematics cannot be grasped by mathematical means. We argue that this inability constitutes a foundational problem. For Cantor, however, the domain of mathematics does not belong to mathematics, but to theology. We thus discuss the theological significance of Cantor’s treatment of absolute infinity and show that it can be interpreted in terms of negative theology. Proceeding from this interpretation, we refer to the recent debate (...) on absolute generality and argue that the method of diagonalization constitutes a modern version of the vianegativa. On our reading, negative theology can evoke an attitude of humility with respect to the boundedness of the human condition. Along these lines, we think that the foundational problem of mathematics concerning its domain can be addressed through a methodological attitude of humility. (shrink)

The purpose of this note is to present a strong form of the liar paradox. It is strong because the logical resources needed to generate the paradox are weak, in each of two senses. First, few expressive resources required: conjunction, negation, and identity. In particular, this form of the liar does not need to make any use of the conditional. Second, few inferential resources are required. These are: (i) conjunction introduction; (ii) substitution of identicals; and (iii) the inference: From ¬(p (...) ∧ p), infer ¬ p. It is, interestingly enough, also essential to the argument that the ‘strong’ form of the diagonal lemma be used: the one that delivers a term λ such that we can prove: λ = ¬ T(⌈λ⌉); rather than just a sentence Λ for which we can prove: Λ ≡ ¬T(⌈Λ⌉). The truth-theoretic principles used to generate the paradox are these: ¬(S ∧ T(⌈¬S⌉); and ¬(¬S ∧ ¬T(⌈¬S⌉). These are classically equivalent to the two directions of the T-scheme, but they are intuitively weaker. The lesson I would like to draw is: There can be no consistent solution to the Liar paradox that does not involve abandoning truth-theoretic principles that should be every bit as dear to our hearts as the T-scheme. So we shall have to learn to live with the Liar, one way or another. (shrink)

It may be a myth that Plato wrote over the entrance to the Academy “Let no-one ignorant of geometry enter here.” But it is a well-chosen motto for his view in the Republic that mathematical training is especially productive of understanding in abstract realms, notably ethics. That view is sound and we should return to it. Ethical theory has been bedevilled by the idea that ethics is fundamentally about actions (right and wrong, rights, duties, virtues, dilemmas and so on). That (...) is an error like the one Plato mentions of thinking mathematics is about actions (of adding, constructing, extracting roots and so on). Mathematics is about eternal relations between universals, such as the ratio of the diagonal of a square to the side. Ethics too is about eternal verities, such as the equal worth of persons and just distributions. Mathematical and ethical verities do both constrain actions, such as the possibility of walking over the seven bridges of Königsberg once and once only or of justly discriminating between races. But they are not themselves about action. In principle, neither mathematical nor ethical verities are subject to historical forces or disagreement among tribes (though they can be better understood as time goes on). Plato is right: immersion in mathematics induces an understanding of the necessities underpinning reality, an understanding that is essential for distinguishing objective ethics from tribal custom. Equality, for example, is an abstract concept which is foundational for both mathematics and ethics. (shrink)

The paper continues my earlier Chat with OpenAI’s ChatGPT with a Focused LLM Experiment (FLEX). The idea is to conduct Large Language Model (LLM) based explorations of certain areas or concepts. The approach is based on crafting initial guiding prompts and then follow up with user prompts based on the LLMs’ responses. The goals include improving understanding of LLM capabilities and their limitations culminating in optimized prompts. The specific subjects explored as research subject matter include a) diagonalization techniques as practiced (...) by Cantor, Turing, Gödel, and the advances, such as the Forcing techniques introduced by Paul Cohen and later investigators, b) Knowledge Hierarchies & Mapping Exercises, c) Discussions of IJ Good’s Speculations Concerning the First Ultraintelligent Machine, AGI, and Super- intelligence. Results suggest variability between major models like ChatGPT-4, Llama-3, Cohere, Sonnet and Opus. Results also point to strong dependence on users’ preexisting knowledge and skill bases. The paper should be viewed as ’raw data’ rather than a polished authoritative reference. (shrink)

This is a completely informal presentation of the ideas behind the diagonal lemma. One really can't see this important result from too many different angles. This one aims at getting the main idea across. (For the cognoscenti, it is in the spirit of Quine's treatment in terms of "appended to its own quotation".).

Kant’s “primacy of the practical” doctrine says that we can form morally justified commitments regarding what exists, even in the absence of sufficient epistemic grounds. In this paper I critically examine three different varieties of Kant’s “moral proof” that can be found in the critical works. My claim is that the third variety—the “moral-psychological argument” based in the need to sustain moral hope and avoid demoralization—has some intriguing advantages over the other two. It starts with a premise that more clearly (...) coheres with Kant’s mature account of moral motivation, and it invokes plausible empirical-psychological theses to motivate a commitment to the full-blown classical deity—the result Kant clearly wanted. From the point of view of its structure, I think this third variety of moral argument also has the most by way of contemporary interest. (shrink)

The Dutch Book Argument for Probabilism assumes Ramsey's Thesis (RT), which purports to determine the prices an agent is rationally required to pay for a bet. Recently, a new objection to Ramsey's Thesis has emerged (Hedden 2013, Wronski & Godziszewski 2017, Wronski 2018)--I call this the Expected Utility Objection. According to this objection, it is Maximise Subjective Expected Utility (MSEU) that determines the prices an agent is required to pay for a bet, and this often disagrees with Ramsey's Thesis. I (...) suggest two responses to Hedden's objection. First, we might be permissive: agents are permitted to pay any price that is required or permitted by RT, and they are permitted to pay any price that is required or permitted by MSEU. This allows us to give a revised version of the Dutch Book Argument for Probabilism, which I call the Permissive Dutch Book Argument. Second, I suggest that even the proponent of the Expected Utility Objection should admit that RT gives the correct answer in certain very limited cases, and I show that, together with MSEU, this very restricted version of RT gives a new pragmatic argument for Probabilism, which I call the Bookless Pragmatic Argument. (shrink)

Much of the discussion surrounding the ethics of abortion has centered around the notion of personhood. This is because many philosophers hold that the morality of abortion is contingent on whether the fetus is a person - though, of course, some famous philosophers have rejected this thesis (e.g. Judith Thomson and Don Marquis). In this article, I construct a novel argument for the immorality of abortion based on the notion of impairment. This argument does not assume that the fetus is (...) a person - indeed, I concede (for the sake of argument) that the fetus is not a person - and hence the morality of abortion is not contingent on whether the fetus is a person. I finish by answering a plethora of objections to my argument, concluding that none of them are successful. (shrink)

We offer a critical assessment of the “exclusion argument” against free will, which may be summarized by the slogan: “My brain made me do it, therefore I couldn't have been free”. While the exclusion argument has received much attention in debates about mental causation (“could my mental states ever cause my actions?”), it is seldom discussed in relation to free will. However, the argument informally underlies many neuroscientific discussions of free will, especially the claim that advances in neuroscience seriously challenge (...) our belief in free will. We introduce two distinct versions of the argument, discuss several unsuccessful responses to it, and then present our preferred response. This involves showing that a key premise – the “exclusion principle” – is false under what we take to be the most natural account of causation in the context of agency: the difference-making account. We finally revisit the debate about neuroscience and free will. (shrink)

In a recent article, Bernáth and Tőzsér (2021) defend what they call the Bias Argument, a new skeptical argument from expert peer disagreement. They argue that the best contrastive causal explanation for disagreement among leading experts in philosophy is that they adopt their positions in a biased way. But if the leading experts are biased, non-experts either are also biased or only avoid bias through epistemic inferiority. Recognizing this is expected to prompt one to decrease one‘s confidence in one‘s philosophical (...) beliefs. This paper argues that some beliefs are immune to a key premise of the Bias Argument. To show this, the paper develops the concepts of self-favoring theories, decisive support, and standing-incommensurable disagreements. A plausible example of a self-favoring theory, dubbed Mere Reformed Protestantism, is sketched. Many disagreements over self-favoring theories and over beliefs decisively supported by self-favoring theories are shown to be standing-incommensurable. It is then argued that when non-experts are in standing-incommensurable disagreements with experts, the standards of assessing expertise are themselves controverted. This result undercuts the move in the Bias Argument from expert bias to non-expert bias. Finally, a couple reservations about the role of self-favoring theories in philosophy are addressed. (shrink)

Can we experience emotion without the feeling of accelerated heartbeats, perspiration, or other changes in the body? In his paper “What is an emotion”, William James famously claimed that “if we fancy some strong emotion and then try to abstract from our consciousness of it all the feelings of its bodily symptoms, we find we have nothing left behind” (1884, p. 193). Thus, bodily changes are essential to emotion. This is known as the Subtraction Argument. The Subtraction Argument is still (...) used to support Embodied theories of emotion. Proponents of Disembodied theories, however, have different intuitions regarding the role of bodily changes in the experience of emotion. In order to advance this debate, I conducted a series of studies testing people’s intuitions regarding the Subtraction Argument. Results show that, against James’ claims, most people consider that their hypothetical (Study 1) and actual (Study 2) emotions persist in the absence of bodily feelings. Furthermore, Study 1 found that participants’ responses were not related to individual differences in reflection or interoceptive awareness. These results pose a problem for Embodied theories of emotion and challenge extant explanations for the persistence of emotional experience in cases of impaired interoception. (shrink)

Derk Pereboom's Four-Case Argument is among the most famous and resilient manipulation arguments against compatibilism. I contend that its resilience is not a function of the argument's soundness but, rather, the ill-gotten gain from an ambiguity in the description of the causal relations found in the argument's foundational case. I expose this crucial ambiguity and suggest that a dilemma faces anyone hoping to resolve it. After a thorough search for an interpretation which avoids both horns of this dilemma, I conclude (...) that none is available. Rather, every metaphysically coherent interpretation invites either a hard- or soft-line reply to Pereboom's argument. I then consider a recharacterization of the dilemma which seems to clear the way for the defence of a revised Four-Case Argument. I address this rejoinder by identifying a still more fundamental problem shared by all viable interpretations of the manipulation cases, showing that each involves a type of manipulation which undermines the victim's agency. Because this diagnosis supports a soft-line reply to every viable interpretation of the argument and can be endorsed by any compatibilist, I consider it the final piece of the Soft-line Solution to the Four-Case Argument. Finally, I suggest a new taxonomy of manipulation arguments, arguing that none that employs the suppressive variety of manipulation found in Pereboom's argument offers a threat to compatibilism. (shrink)

This article explores the relationship between epistemic relativism and Pyrrhonian scepticism. It is argued that a fundamental argument for contemporary epistemic relativism derives from the Pyrrhonian problem of the criterion. Pyrrhonian scepticism is compared and contrasted with Cartesian scepticism about the external world and Humean scepticism about induction. Epistemic relativism is characterized as relativism due to the variation of epistemic norms, and is contrasted with other forms of cognitive relativism, such as truth relativism, conceptual relativism and ontological relativism. An argument (...) from the Pyrrhonian problem of the criterion to epistemic relativism is presented, and is contrasted with three other arguments for epistemic relativism. It is argued that the argument from the criterion is the most fundamental argument for epistemic relativism. Finally, it is noted how the argument of the present paper fits with the author’s previous suggestion that a particularist response to the Pyrrhonian sceptic may be combined with a naturalistic view of epistemic warrant to meet the challenge of epistemic relativism. (shrink)

Galen Strawson’s Basic Argument is that because self-creation is required to be truly morally responsible and self-creation is impossible, it is impossible to be truly morally responsible for anything. I contend that the Basic Argument is unpersuasive and unsound. First, I argue that the moral luck debate shows that the self-creation requirement appears to be contradicted and supported by various parts of our commonsense ideas about moral responsibility, and that this ambivalence undermines the only reason that Strawson gives for the (...) self-creation requirement. Second, I argue that the self-creation requirement is so demanding that either it is an implausible requirement for a species of true moral responsibility that we take ourselves to have or it is a plausible requirement of a species of true moral responsibility that we have never taken ourselves to have. Third, I explain that Strawson overgeneralizes from instances of constitutive luck that obviously undermine moral responsibility to all kinds of constitutive luck. (shrink)

In this paper I argue that the explanationist argument in favour of moral realism fails. According to this argument, the ability of putative moral properties to feature in good explanations provides strong evidence for, or entails, the metaphysical claims of moral realism. Some have rejected this argument by denying that moral explanations are ever good explanations. My criticism is different. I argue that even if we accept that moral explanations are (sometimes) good explanations the metaphysical claims of realism do not (...) follow. (shrink)

Abstract: The article presents and critically discusses Walton's (and Reed's and Macagno's) argument scheme approach to a theory of good argumentation. In particular, four characteristics of Walton's approach are presented: 1. It presents normative requirements for argumentation in the form of argument schemes, i.e. relatively concrete type descriptions. 2. These schemata are enthymematic, i.e. they omit some of the premises required by other approaches. 3. The actual argument schemes are usually supplemented by critical questions. 4. The method is inductive, bottom-up, (...) gaining the normative schemata by abstraction from empirically collected groups of similar arguments. These characteristics, among others, are then discussed on the basis of four adequacy conditions: AC1: effectiveness in achieving the epistemic goal of obtaining and communicating justified acceptable opinions; AC2: completeness in capturing the good argument types; AC3: efficiency in achieving the goals; AC4: justification of the argument schemes. The discussion then reveals a number of weaknesses in Walton's argument schemes; among other things, they are neither effective (in the defined sense) nor truly justified. Contributing factors to these problems include the schema approach, i.e. not looking at the form of arguments, and the lack of epistemological foundations in the development of good types of arguments. However, the critical analyses reveal a better alternative: an epistemological approach based on epistemological principles. The article concludes with a detailed analysis of the scheme Practical Inference, which confirms the general criticism in detail. (shrink)

A new formulation of the Fine-Tuning Argument (FTA) for the existence of God is offered, which avoids a number of commonly raised objections. I argue that we can and should focus on the fundamental constants and initial conditions of the universe, and show how physics itself provides the probabilities that are needed by the argument. I explain how this formulation avoids a number of common objections, specifically the possibility of deeper physical laws, the multiverse, normalisability, whether God would fine-tune at (...) all, whether the universe is too fine-tuned, and whether the likelihood of God creating a life-permitting universe is inscrutable. (shrink)

In my article "Even if the fetus is not a person, abortion is immoral: The impairment argument" (this journal), I defended what I called “The impairment argument” which purports to show that abortion is immoral. Bruce Blackshaw (2019) has argued that my argument fails on three accounts. In this article, I respond to his criticisms.

In his Pyrrhonian Outlines , Sextus Empiricus employs an argument based upon the possibility of disagreement in order to show that one should not assent to a Dogmatic claim to which at present one cannot oppose a rival claim. The use of this argument seems to be at variance with the Pyrrhonian stance, both because it does not seem to accord with the definition of Skepticism and because the argument appears to entail that the search for truth is doomed to (...) failure. In the present paper, I examine the passages in which Sextus utilizes the argument from possible disagreement and offer an interpretation that makes the use of this argument compatible with the Pyrrhonian outlook. (shrink)

Speakers assert in order to communicate information. It is natural, therefore, to hold that the content of an assertion is whatever information it communicates to its audience. In cases involving uncertainty about the semantic values of context-sensitive lexical items, moreover, it is natural to hold that the information an assertion communicates to its audience is whatever information audience members are in a position to recover from it by assuming that the proposition it semantically determines is true. This sort of picture (...) corresponds to an influential and widely endorsed theory of assertoric content: diagonalism. I begin by arguing that, despite its intuitive appeal, diagonalism should be rejected because it conflicts with our intuitive judgments about the circumstances in which the contents of speakers’ assertions would be true or false. I then show that the failure of diagonalism requires us to either abandon a familiar way of thinking about information and rational assertion or hold that the content of an assertion is not always the information it communicates. I suggest that we choose the latter horn of this dilemma — assertoric content is better characterized in terms of the commitments speakers undertake than in terms of the information they communicate. (shrink)

I develop a new reading of Frege’s argument for the indefinability of truth. I concentrate on what Frege literally says in the passage that contains the argument. This literal reading of the passage establishes that the indefinability argument is an arguably sound argument to the following conclusion: provided that the Fregean conception of judgment—which has recently been countered by Hanks—is correct and that truth is a property of truth-bearers, a vicious infinite regress is produced. Given this vicious regress, Frege chooses (...) to reject that truth is a property of truth-bearers. Frege’s choice leads to a unique version of the Fregean conception of judgment. His unique conception of judgment can cope with Hanks’s recent criticisms against the Fregean conception. (shrink)

For years now, unionization has been under vigorous attack. Membership has been steadily declining, and with it union bargaining power. As a result, unions may soon lose their ability to protect workers from economic and personal abuse, as well as their significance as a political force. In the Name of Liberty responds to this worrying state of affairs by presenting a new argument for unionization, one that derives an argument for universal unionization in both the private and public sector from (...) concepts of liberty that we already accept. In short, In the Name of Liberty reclaims the argument for liberty from the political right, and shows how liberty not only requires the unionization of every workplace as a matter of background justice, but also supports a wide variety of other progressive policies. (shrink)

The priority monist holds that the cosmos is the only fundamental object, of which every other concrete object is a dependent part. One major argument against monism goes back to Russell, who claimed that pluralism is favoured by common sense. However, Jonathan Schaffer turns this argument on its head and uses it to defend priority monism. He suggests that common sense holds that the cosmos is a whole, of which ordinary physical objects are arbitrary portions, and that arbitrary portions depend (...) for their existence on the existence of the whole. In this paper, we challenge Schaffer’s claim that the parts of the cosmos are all arbitrary portions. We suggest that there is a way of carving up the universe such that at least some of its parts are not arbitrary. We offer two arguments in support of this claim. First, we shall outline semantic reasons in its favour: in order to accept that empirical judgements are made true or false by the way the world is, one must accept that the cosmos includes parts whose existence is not arbitrary. Second, we offer an ontological argument: in order for macro-physical phenomena to exist, there must be some micro-physical order which they depend upon, and this order must itself be non-arbitrary. We conclude that Schaffer’s common sense argument for monism cannot be made to work. (shrink)

Moral abolitionists claim that morality ought to be abolished. According to one of their most prominent arguments, this is because making moral judgments renders people significantly less tolerant toward anyone who holds divergent views. In this paper we investigate the hypothesis that morality’s tolerance-decreasing effect only occurs if people are realists about moral issues, i.e., they interpret these issues as objectively grounded. We found support for this hypothesis (Studies 1 and 2). Yet, it also turned out that the intolerance associated (...) with realism is mediated by moral conviction and perceived consensus. People tend to feel more strongly about those moral issues they ground objectively and, in doing so, are more prone to display the vice of moral smugness toward those who disagree with them. The remedy for this that has been recommended is humility which we found (Study 3) is indeed related to reduced intolerance, in part by predicting a reduction in realism, but also in part through a direct connection to intolerance. These results put pressure on abolitionists’ “argument from intolerance.”. (shrink)

Proponents of the public goods argument ('PGA') seek to ground the authority of the state on its putative indispensability as a means of providing public goods. But many of the things we take to be public goods – including many of the goods commonly invoked in support of the PGA – are actually what we might term publicized goods. A publicized good is any whose ‘public’ character results only from a policy decision to make some good freely and universally available. (...) This fact poses complications for the PGA, insofar as the set of possible publicized goods is quite extensive indeed. (shrink)

Next SectionI challenge the idea that the argument from potential (AFP) represents a valid moral objection to abortion. I consider the form of AFP that was defended by Hare, which holds that abortion is against the interests of the potential person who is prevented from existing. My reply is that AFP, though not unsound by itself, does not apply to the issue of abortion. The reason is that AFP only works in the cases of so-called same number and same people (...) choices, but it falsely presupposes that abortion is such a kind of choice. This refutation of AFP implies that (1) abortion is not only morally permissible but sometimes even morally mandatory and (2) abortion is morally permissible even when the potential person’s life is foreseen to be worth living. (shrink)

According to standard trope nominalism, there are simple tropes that do not have parts or multiply distinct aspects. Douglas Ehring’s reductio ad absurdum against this standard view concludes that there are no simple tropes. In this paper, we provide a response to Ehring defending the standard view. Ehring’s argument may be refuted by (1) distinguishing the ontological form of tropes from their contribution to the ontological content of the world, and (2) construing tropes as having primitive identity. At the same (...) time, standard trope nominalism is elaborated on by distinguishing between ontological form and content, for which there are also independent reasons. (shrink)

This paper is an attempt to improve the practical argument for beliefs in God. Some theists, most famously Kant and William James, called our attention to a particular set of beliefs, the Jamesian-type beliefs, which are justified by virtue of their practical significance, and these theists tried to justify theistic beliefs on the exact same ground. I argue, contra the Jamesian tradition, that theistic beliefs are different from the Jamesian-type beliefs and thus cannot be justified on the same ground. I (...) also argue that the practical argument, as it stands, faces a problem of self-defeat. I then construct a new practical argument that avoids both problems. According to this new argument, theistic beliefs are rational to accept because such beliefs best supply us with motivation strong enough to carry out demanding moral tasks. (shrink)

Causal finitism claims nothing can have an infinite causal history. An influential defense of this position uses infinity paradoxes to argue that, if causal finitism is false, several impossible scenarios would be possible. In this paper, I defend that theists should not be persuaded by this argument. If true, this is an important development, since causal finitism is often argued for by theists as a core premise in Kalam-style cosmological arguments for theism. I extend the same analysis to an argument (...) in favor of temporal finitism and conclude that my point may generalize to any reasoning of a similar structure. (shrink)

The debate over the value of pleasure among Eudoxus, Speusippus, and Aristotle is dramatically documented by the Nicomachean Ethics, particularly in the dialectical pros-and-cons concerning the so-called argument from contraries. Two similar versions of this argument are preserved at EN VII. 13, 1153b1–4, and X. 2, 1172b18–20. Many scholars believe that the argument at EN VII is either a report or an appropriation of the Eudoxean argument in EN X. This essay aims to revise this received view. It will explain (...) why these two arguments differ in premises, contents and purposes, and why these distinctions matter for a proper assessment of Aristotle’s understanding of pleasure and pain in general and his dialectical art in particular. (shrink)

The Successive Addition Argument (SAA) is one of the key arguments espoused by William Lane Craig for the thesis that the universe began to exist. Recently, Malpass, Mind, 131(523), 786–804 (2021) has developed a challenge to the SAA by way of constructing a counterexample that originates in the work of Fred Dretske. In this paper, I show that the Malpass-Dretske counterexample is in fact no counterexample to the argument. Utilizing a distinction between properties of members and properties of collections, I (...) argue that Malpass’ counterexample has no bearing on the soundness of the SAA. I also develop a novel parity argument against Malpass’ argument that I demonstrate can only be resolved by way of the aforementioned analysis. (shrink)

These remarks take up the reflexive problematics of Being and Nothingness and related texts from a metalogical perspective. A mutually illuminating translation is posited between, on the one hand, Sartre’s theory of pure reflection, the linchpin of the works of Sartre’s early period and the site of their greatest difficulties, and, on the other hand, the quasi-formalism of diagonalization, the engine of the classical theorems of Cantor, Gödel, Tarski, Turing, etc. Surprisingly, the dialectic of mathematical logic from its inception through (...) the discovery of the diagonal theorems can be recognized as a particularly clear instance of the drama of reflection according to Sartre, especially in the positing and overcoming of its proper value-ideal, viz. the synthesis of consistency and completeness. Conversely, this translation solves a number of systematic problems about pure reflection’s relations to accessory reflection, phenomenological reflection, pre-reflective self-consciousness, conversion, and value. Negative foundations, the metaphysical position emerging from this translation between existential philosophy and metalogic, concurs by different paths with Badiou’s Being and Event in rejecting both ontotheological foundationalisms and constructivist antifoundationalisms. (shrink)

Peter van Inwagen's Direct Argument (DA) for incompatibilism purports to establish incompatibilism with respect to moral responsibility and determinism without appealing to assumptions that compatibilists usually consider controversial. Recently, Michael McKenna has presented a novel critique of DA. McKenna's critique raises important issues about philosophical dialectics. In this article, we address those issues and contend that his argument does not succeed.

According to orthodoxy, our best physical theories strongly support Eternalism over Presentism. Our goal is to argue against this consensus, by arguing that a certain overlooked aspect of our best physical theories strongly supports Presentism over Eternalism.

This article proposes a way of blocking the zombie argument against materialism. The central idea—which can be motivated in various ways, but which I will motivate by drawing on recent work by Wolfgang Schwarz—is that sentences reporting conscious experience are modally inert, roughly in the sense that adding them to a description of a metaphysically possible scenario always results in a description of a metaphysically possible scenario. This is notable in that it leads to a way of blocking the zombie (...) argument which is perfectly compatible with modal rationalism and with the view that conceivability entails possibility. (shrink)

Conceptual engineering concerns the assessment and improvement of our concepts. But how can proposals to engineer concepts be implemented in the real world? This is known as the implementation challenge to conceptual engineering. In this paper, I am concerned with the meta-philosophical implications of the implementation challenge. Specifically, must we overcome the implementation challenge prior to undertaking conceptual engineering? Some critics have recently answered this question affirmatively. I intend to show that they are mistaken. I argue as follows. First, successful (...) implementation is not an integral part of conceptual engineering. Second, the idea that the value of conceptual engineering relies on successful implementation is in tension with widespread assumptions about normative theorizing. (shrink)

I defend J. L. Austin's direct realism against the colour delusion argument by employing epistemic logic to demonstrate that perceiving colours does not necessitate an intermediary such as sense-data, thus preserving the directness of perception.

The purpose of this paper is to understand if and how interactions with Sexual Robots will modify users’ relational abilities in human-human relations. We first underline that, in today’s scholar discussion on the ‘symbolic argument’, there is no theoretical framework explaining the process of symbolic shift between human-robot interactions (HRI) and human-human interactions (HHI). To clarify the symbolic shift mechanism, we propose the concept of objectual mediation. Moreover, under the lens of Winnicott’s object-relation theory, we argue that HRI can structurally (...) modify users relationality, degrading intersubjective abilities: Sexual Robots may blurry the limit between the ‘internal object’ and the external one. We conclude that, under certain conditions, interactions with Sexual Robots may bring the user back to an infantile object-relation setting, worsening the user ability to manage relational frustration. This will negatively impact on human-human interactions and social values in general. -/- . (shrink)

I present a cumulative case for the thesis that we only know propositions that are certain for us. I argue that this thesis can easily explain the truth of eight plausible claims about knowledge: -/- (1) There is a qualitative difference between knowledge and non-knowledge. (2) Knowledge is valuable in a way that non-knowledge is not. (3) Subjects in Gettier cases do not have knowledge. (4) If S knows that P, P is part of S’s evidence. (5) If S knows (...) that P, ~P is epistemically impossible for S. (6) If S knows that P, S can rationally act as if P. (7) If S knows that P, S can rationally stop inquiring whether P. (8) If S knows each of {P1, P2, … Pn}, and competently deduces Q from these propositions, S knows that Q. -/- I then argue that the skeptical costs of this thesis are outweighed by its explanatory power. (shrink)

Abstract: My aim is to reconstruct Kant's argument for the principle of the synthetic unity of apperception. I reconstruct Kant's argument in stages, first showing why thinking should be conceived as an activity of synthesis (as opposed to attention), and then showing why the unity or coherence of a subject's representations should depend upon an a priori synthesis. The guiding thread of my account is Kant's conception of enlightenment: as I suggest, the philosophy of mind advanced in the Deduction belongs (...) to an enlightenment epistemology. Kant's conception of enlightenment turns on the requirement that a subject be able to recognize herself as the source of her cognitions. The argument for the apperception principle is reconstructed under the guidance of this conception of the ideal of enlightenment. (shrink)