The paradox of material implication has remained unresolved since antiquity because it was believed that the nature of implication was entailment. The article shows that this nature is opposition and therefore the name "implication" should be replaced with the name "competition". A solution to the paradox is provided along with appropriate changes in nomenclature, the addition of connectives and the postulate that the biconditional take over the role of the previous implication. In addition, changes (...) to the nomenclature of logic gates reflecting the competition in electronics are proposed. (shrink)

This paper is concerned with the paradox of decrease. Its aim is to defend the answer to this puzzle that was propounded by its originator, namely, the Stoic philosopher Chrysippus. The main trouble with this answer to the paradox is that it has the seemingly problematic implication that a material thing could perish due merely to extrinsic change. It follows that in order to defend Chrysippus’ answer to the paradox, one has to explain how it could (...) be that Theon is destroyed by the amputation without changing intrinsically. In this paper, I shall answer this challenge by appealing to the broadly Aristotelian idea that at least some of the proper parts of a material substance are ontologically dependent on that substance. I will also appeal to this idea in order to offer a new solution to the structurally similar paradox of increase. In this way, we will end up with a unified solution to two structurally similar paradoxes. (shrink)

This paper resolves a paradox concerning colour constancy. On the one hand, our intuitive, pre-theoretical concept holds that colour constancy involves invariance in the perceived colours of surfaces under changes in illumination. On the other, there is a robust scientific consensus that colour constancy can persist in cerebral achromatopsia, a profound impairment in the ability to perceive colours. The first stage of the solution advocates pluralism about our colour constancy capacities. The second details the close relationship between colour constancy (...) and contrast. The third argues that achromatopsics retain a basic type of colour constancy associated with invariants in contrast processing. The fourth suggests that one person-level, conscious upshot of such processing is the visual awareness of chromatic contrasts ‘at’ the edges of surfaces, implicating the ‘colour for form’ perceptual function. This primitive type of constancy sheds new light on our most basic perceptual capacities, which mark the lower borders of representational mind. (shrink)

Silence is a multifaceted concept which is not merely as an absence of sound but a presence with significant ontological, existential, and phenomenological implications. Through a thematic analysis, this paper deconstructs silence into various dimensions—its ontology, linguistic universality, and its function as cessation of speech, a form of listening, an act of kenosis, a form of ascesis, and a way of life. The study employs philosophical discourse and mathematical notation to delve into these aspects, demonstrating that while each perspective sheds (...) light on certain facets of silence, none can comprehensively encapsulate its essence. The research underscores the paradoxical nature of silence. It is both a universal phenomenon recognised across cultures and an intimate, personal experience that resists definitive categorisation. The paper concludes that the true nature of silence, particularly when considering the state of "being silent," remains indefinable and elusive, inviting deeper contemplation on its role in human experience. (shrink)

Discussions of the implications of sexual reproduction have appeared throughout the history of evolutionary biology, from Darwin to Weismann, Fisher, Muller, Maynard Smith, and Williams. The latest of these appearances highlighted an evolutionary paradox that had previously been overlooked. In many animal and plant species reproduction is obligately sexual and also half the offspring are male, yet the males contribute nothing but genes to reproduction. If asexual mutants of such a species were to produce as many asexual offspring on (...) average as sexual females in that species produce daughters and sons, the growth rate of their population would be twice as large. Whereas half the offspring of sexual females are noncontributory males, all the offspring of such an asexual mutant would contribute to growth rate. Nevertheless, sexual reproduction prevails in most species and is not lost evolutionarily. (shrink)

This paper fills a gap in the existing metaphilosophical research on paradoxes byfocusing on the role of scenarios. Typical philosophical paradoxes contain a scenariodescription whose contribution to paradoxes remains unexplored. I argue that sce-narios are examples or instantiations of the abstract schema of paradoxes. As such,scenarios contribute to paradoxes on two levels. First, they make the argument moreconcrete, thus enhancing the dialectical force of paradoxes and facilitating their under-standing, especially for non-experts. This function is external to the paradox itself, (...) buthas important practical implications for the use of paradoxes and their effect on philo-sophical debates, and it contributes to explaining why philosophical paradoxes areusually introduced by a scenario. Second, and more crucially, scenarios are essentialto the epistemic dimension of paradoxes. By definition, paradoxes have two neces-sary components: the argumentative structure and the plausibility/implausibility ofthe premises/conclusion. By providing examples of the abstract schema, scenarioscontribute to making the premises plausible. In particular, scenarios are the source ofplausibility and justification for those premises that contain an empirically groundedassertion of existence. Examples of such paradoxes are the Sorites paradox, the Lot-tery paradox, and the Grue paradox. Contrary to the dialectical role, the epistemicfunction of scenarios is indispensable, as it connects paradoxes to the real world andunderscores their significance in specific debates. (shrink)

The aim of this text is to offer an explanation of Gödel's Theorem according to the schemes and notations of the original article. There are many good didactic explanations of the theorem that reveal its central points and implications, but these are difficult to recognize when reading the original work, due to the complexity of its formulation and the author's economical style in explaining the steps of his argument. An exposition of the central concepts will be made, as well as (...) a detailed explanation of the main points of the algebraic development of the proof, which will allow the non-specialist reader to find the well-known paradox from them. (shrink)

This paper explores the relationships between some the problems of the Fermi Paradox (FP), with its variety of possible answers; and the Problem of Induction, and thus the possibility of a Theory of Everything. We seek to improve the hierarchy of plausibility within answers to FP, given by what we call “preference criteria”, among which we particularly highlight culture-independence. We argue that, if the question of whether a Theory of Everything is possible is answered negatively, then FP becomes much (...) more serious than otherwise, and this makes many of FP’s solutions less preferable. This constitutes a further preference criterion. Armed with this tool, we try to outline a network of relative truths between FP and the Problem of Induction, in the form of a cross-answer table. Only two or three combinations of answers survive as preferable: 1) degenerate, pure solipsistic metaphysics; 2) accept Induction and the Anthropic Principle at the same time, thus saying that the human condition is a very rare one in the universe; or 3) that the Theory of Everything exists and its discovery is the Great Filter. This latter possibility is discussed with its implications for the current scientific and economic progress of our civilization. (shrink)

Lewis Carroll’s 1895 paper, 'What the Tortoise Said to Achilles' is widely regarded as a classic text in the philosophy of logic. This special issue of 'The Carrollian' publishes five newly commissioned articles by experts in the field. The original paper is reproduced, together with contemporary correspondence relating to the paper and an extensive bibliography.

Paradoxes have played an important role both in philosophy and in mathematics and paradox resolution is an important topic in both fields. Paradox resolution is deeply important because if such resolution cannot be achieved, we are threatened with the charge of debilitating irrationality. This is supposed to be the case for the following reason. Paradoxes consist of jointly contradictory sets of statements that are individually plausible or believable. These facts about paradoxes then give rise to a deeply troubling (...) epistemic problem. Specifically, if one believes all of the constitutive propositions that make up a paradox, then one is apparently committed to belief in every proposition. This is the result of the principle of classical logical known as ex contradictione (sequitur) quodlibetthat anything and everything follows from a contradiction, and the plausible idea that belief is closed under logical or material implication (i.e. the epistemic closure principle). But, it is manifestly and profoundly irrational to believe every proposition and so the presence of even one contradiction in one’s doxa appears to result in what seems to be total irrationality. This problem is the problem of paradox-induced explosion. In this paper it will be argued that in many cases this problem can plausibly be avoided in a purely epistemic manner, without having either to resort to non-classical logics for belief (e.g. paraconsistent logics) or to the denial of the standard closure principle for beliefs. The manner in which this result can be achieved depends on drawing an important distinction between the propositional attitude of belief and the weaker attitude of acceptance such that paradox constituting propositions are accepted but not believed. Paradox-induced explosion is then avoided by noting that while belief may well be closed under material implication or even under logical implication, these sorts of weaker commitments are not subject to closure principles of those sorts. So, this possibility provides us with a less radical way to deal with the existence of paradoxes and it preserves the idea that intelligent agents can actually entertain paradoxes. (shrink)

Lewis Carroll, both logician and writer, suggested a logical paradox containing furthermore two connotations (connotations or metaphors are inherent in literature rather than in mathematics or logics). The paradox itself refers to implication demonstrating that an intermediate implication can be always inserted in an implication therefore postponing its ultimate conclusion for the next step and those insertions can be iteratively and indefinitely added ad lib, as if ad infinitum. Both connotations clear up links due to (...) the shared formal structure with other well-known mathematical observations: (1) the paradox of Achilles and the Turtle; (2) the transitivity of the relation of equality. Analogically to (1), one can juxtapose the paradox of the Liar (for Lewis Carroll’s paradox) and that of the arrow (for “Achilles and the Turtle”), i.e. a logical paradox, on the one hand, and an aporia of motion, on the other hand, suggesting a shared formal structure of both, which can be called “ontological”, on which basis “motion” studied by physics and “conclusion” studied by logic can be unified being able to bridge logic and physics philosophically in a Hegelian manner: even more, the bridge can be continued to mathematics in virtue of (2), which forces the equality (for its property of transitivity) of any two quantities to be postponed analogically ad lib and ad infinitum. The paper shows that Hilbert arithmetic underlies naturally Lewis Carroll’s paradox admitting at least three interpretations linked to each other by it: mathematical, physical and logical. Thus, it can be considered as both generalization and solution of his paradox therefore naturally unifying the completeness of quantum mechanics (i.e. the absence of hidden variables) and eventual completeness of mathematics as the same and isomorphic to the completeness of propositional logic in relation to set theory as a first-order logic (in the sense of Gödel (1930)’s completeness theorems). (shrink)

The possibility of algorithmic consciousness depends on the assumption that conscious states can be copied or repeated by sufficiently duplicating their underlying physical states, leading to a variety of paradoxes, including the problems of duplication, teleportation, simulation, self-location, the Boltzmann brain, and Wigner’s Friend. In an effort to further elucidate the physical nature of consciousness, I challenge these assumptions by analyzing the implications of special relativity on evolutions of identical copies of a mental state, particularly the divergence of these evolutions (...) due to quantum fluctuations. By assuming the supervenience of a conscious state on some sufficient underlying physical state, I show that the existence of two or more instances, whether spacelike or timelike, of the same conscious state leads to a logical contradiction, ultimately refuting the assumption that a conscious state can be physically reset to an earlier state or duplicated by any physical means. Several explanatory hypotheses and implications are addressed, particularly the relationships between consciousness, locality, physical irreversibility, and quantum no-cloning. (shrink)

This study explored the experiences of the newly-hired faculty in the university to acquire an in-depth and profound understanding of these experiences. It involved eight purposively chosen faculty in a semi-structured interview and focus group discussion documented in voice and video recorders. Using Colaizzi’s seven step-approach to data analysis, results revealed three paradoxical themes: the joys and struggles of teaching, successes and pains of learning, and the privileges and challenges of serving. On the one hand, the joys and struggles of (...) teaching were brought about by their adjustments in instruction. On the other hand, successes and pains of learning centered on professional growth. Finally, the privileges and challenges of serving incorporated the experiences in research, production, and extension. Generally, these teachers have experienced ups and downs in their first two years of teaching at a higher education institution. On the basis of study findings, implications and recommendations are discussed. (shrink)

This paper explores the liar paradox and its implications for logic and philosophical reasoning. It analyzes the paradox using classical logic principles and paraphrases it as "affirmation of the falsity of the very affirmation." The study draws connections between the liar paradox and Hegel's speculative sentence and suggests it functions as a "quasi-speculative sentence." Additionally, it examines parallels with the logocentric predicament and the determinist's assertion, highlighting their paradoxical nature. Through these analyses, the paper aims to illuminate (...) the fundamental paradoxes in our reasoning and logic. (shrink)

This paper investigates the responses of GPT-4, a state-of-the-art AI language model, to ten prominent philosophical paradoxes, and evaluates its capacity to reason and make decisions in complex and uncertain situations. In addition to analyzing GPT-4's solutions to the paradoxes, this paper assesses the model's Theory of Mind (ToM) capabilities by testing its understanding of mental states, intentions, and beliefs in scenarios ranging from classic ToM tests to complex, real-world simulations. Through these tests, we gain insight into AI's potential for (...) social reasoning and its capacity for more sophisticated forms of human-AI interaction. The paper also explores the limitations and biases of AI-generated reasoning and its implications for our comprehension of complex philosophical problems. (shrink)

It will be shown in this article that an ontological approach for some problems related to the interpretation of Quantum Mechanics (QM) could emerge from a re-evaluation of the main paradox of early Greek thought: the paradox of Being and non-Being, and the solutions presented to it by Plato and Aristotle. More well known are the derivative paradoxes of Zeno: the paradox of motion and the paradox of the One and the Many. They stem from what (...) was perceived by classical philosophy to be the fundamental enigma for thinking about the world: the seemingly contradictory results that followed from the co-incidence of being and non-being in the world of change and motion as we experience it, and the experience of absolute existence here and now. The most clear expression of both stances can be found, again following classical thought, in the thinking of Heraclitus of Ephesus and Parmenides of Elea. The problem put forward by these paradoxes reduces for both Plato and Aristotle to the possibility of the existence of stable objects as a necessary condition for knowledge. Hence the primarily ontological nature of the solutions they proposed: Plato’s Theory of Forms and Aristotle’s metaphysics and logic. Plato’s and Aristotle’s systems are argued here to do on the ontological level essentially the same: to introduce stability in the world by introducing the notion of a separable, stable object, for which a ‘principle of contradiction’ is valid: an object cannot be and not-be at the same place at the same time. So it becomes possible to forbid contradiction on an epistemological level, and thus to guarantee the certainty of knowledge that seemed to be threatened before. After leaving Aristotelian metaphysics, early modern science had to cope with these problems: it did so by introducing “space” as the seat of stability, and “time” as the theater of motion. But the ontological structure present in this solution remained the same. Therefore the fundamental notion ‘separable system’, related to the notions observation and measurement, themselves related to the modern concepts of space and time, appears to be intrinsically problematic, because it is inextricably connected to classical logic on the ontological level. We see therefore the problems dealt with by quantum logic not as merely formal, and the problem of ‘non-locality’ as related to it, indicating the need to re-think the notions system, entity, as well as the implications of the operation ‘measurement’, which is seen here as an application of classical logic (including its ontological consequences) on the material world. (shrink)

Unlike almost all other philosophers of science, Karl Popper sought to contribute to natural philosophy or cosmology – a synthesis of science and philosophy. I consider his contributions to the philosophy of science and quantum theory in this light. There is, however, a paradox. Popper’s most famous contribution – his principle of demarcation – in driving a wedge between science and metaphysics, serves to undermine the very thing he professes to love: natural philosophy. I argue that Popper’s philosophy of (...) science is, in this respect, defective. Science cannot proceed without making highly problematic metaphysical assumptions concerning the comprehensibility and knowability of the universe. Precisely because these assumptions are problematic, rigour requires that they be subjected to sustained critical scrutiny, as an integral part of science itself. Popper’s principle of demarcation must be rejected. Metaphysics and philosophy of science become a vital part of science. Natural philosophy is reborn. A solution to the problem of what it means to say a theory is unified is proposed, a problem Popper failed to solve. In The Logic of Scientific Discovery, Popper made important contributions to the interpretation of quantum theory, especially in connection with Heisenberg's uncertainty relations. Popper's advocacy of natural philosophy has important implications for education. (shrink)

The aim of this paper is to clarify the truth-functional interpretation of the logical connective of the material implication. The importance of such clarification lies in the fact that it allows avoiding the supposed paradoxes introduced by C. I. Lewis (1918). I argue that an adequate understanding of the history and purposes of logic is enough to dissolve them away. The defense is based on an exposition of propositional compositionalism. To compare, I also present Stalnaker’s (1968) alternative that seeks (...) to explain the implicit concept of conditionality of conditionals assertions. In order to reinforce my aim I expound the twelve different meanings of ‘implication’ stated by Corcoran (1993) in order to hold that a proper understanding of these meanings allows us to avoid ambiguities and confusions. Finally, I expect to show that despite the possible alternatives, compositionalism is still the best explanation for the truth-functionality account of logical connectives. (shrink)

I defend the hypothesis that the semantic paradoxes, the paradoxes about collections, and the sorites paradoxes, are all paradoxes of reference fixing: they show that certain conventionally adopted and otherwise functional reference-fixing principles cannot provide consistent assignments of reference to certain relevant expressions in paradoxical cases. I note that the hypothesis has interesting implications concerning the idea of a unified account of the semantic, collection and sorites paradoxes, as well as about the explanation of their “recalcitrance”. I also note that (...) it does not necessarily imply that one should not expect the sometimes hoped for “unique” solution to a paradox of these kinds. (shrink)

In this chapter I explore what painful art can tell us about the nature and importance of human welfare. My goal is not so much to defend a new solution to the paradox of tragedy, as it is to explore the implications of the kinds of solutions that I find attractive. Both nonhedonic compensatory theories and constitutive theories explain why people seek out painful art, but they have troublesome implications. On some narrow theories of well-being, they imply that painful (...) art is bad for us. Accordingly, we may rightly wonder if it rational for people to watch melodramas or to listen to love songs. One might think that we should generally avoid unpleasant works of art. This implication flirts with absurdity. I show how it can be avoided by making a distinction between well-being and worth. (shrink)

The black hole information loss paradox is a catch-all term for a family of puzzles related to black hole evaporation. For almost 50 years, the quest to elucidate the implications of black hole evaporation has not only sustained momentum, but has also become increasingly populated with proposals that seem to generate more questions than they purport to answer. Scholars often neglect to acknowledge ongoing discussions within black hole thermodynamics and statistical mechanics when analyzing the paradox, including the interpretation (...) of Bekenstein-Hawking entropy, which is far from settled. To remedy the dialectical gridlock, I have formulated an overarching, unified framework, which I call ``Black Hole Paradoxes'', that integrates the debates and taxonomizes the relevant `camps' or philosophical positions. -/- I demonstrate that black hole evaporation within Hawking's semi-classical framework insinuates how late-time Hawking radiation is an entangled global system, a contradiction in terms. The relevant forms of information loss are associated with a decrease in maximal Boltzmann entropy and an increase in global von Neumann entropy respectively, which engender what I've branded the ``paradox of phantom entanglement''. Prospective solutions are then tasked with demonstrating how late-time Hawking radiation is either exclusively an entangled subsystem, in which a black hole remnant lingers as an information safehouse, or exclusively an unentangled global system, in which information is evacuated to the exterior. -/- The disagreement between safehouse and evacuation solutions boils down to the statistical interpretation of thermodynamic black hole entropy, i.e., Bekenstein-Hawking entropy. Safehouse solutions attribute Bekenstein-Hawking entropy to a minority of black hole degrees of freedom, those that are associated with the horizon. Evacuation solutions, in contrast, attribute Bekenstein-Hawking entropy to all black hole degrees of freedom. I argue that the interpretation of Bekenstein-Hawking entropy is the litmus test to vet the overpopulated proposal space. So long as any proposal rejecting Hawking's original calculation independently derives black hole evaporation, globally conserves degrees of freedom and entanglement, preserves a version of semi-classical gravity at sub-Planckian scales, and describes black hole thermodynamics in statistical terms, then it counts as a genuine solution to the paradox. (shrink)

My aim in this paper is to move toward a relational moral theory of harm through examination of a common yet underexplored form of child maltreatment: childhood psychological abuse. I draw on relational theory to consider agential, intrapersonal, and interpersonal ways in which relational harms develop and evolve both in intimate relationships and in conditions of oppression. I set forth three distinctive yet interconnected forms of relational harm that childhood psychological abuse causes: harm to the relational agency of individuals, harm (...) to the relationships individuals hold with themselves, especially with regard to how they respect, know, and trust themselves, and harm to interpersonal relationships of both a direct and indirect nature in present and future timeframes. I close by noting that while relationships can be the site of human brutality that destroys the relational self, paradoxically and promisingly, they also can be a primary means of the relational reconstitution of the self. Ultimately, relational analyses of the harms of childhood psychological abuse reveal several key elements of a relational theory of harm and demonstrate the significance of relational harms for moral philosophy. (shrink)

The problem analysed in this paper is whether we can gain knowledge by using valid inferences, and how we can explain this process from a model-theoretic perspective. According to the paradox of inference (Cohen & Nagel 1936/1998, 173), it is logically impossible for an inference to be both valid and its conclusion to possess novelty with respect to the premises. I argue in this paper that valid inference has an epistemic significance, i.e., it can be used by an agent (...) to enlarge his knowledge, and this significance can be accounted in model-theoretic terms. I will argue first that the paradox is based on an equivocation, namely, it arises because logical containment, i.e., logical implication, is identified with epistemological containment, i.e., the knowledge of the premises entails the knowledge of the conclusion. Second, I will argue that a truth-conditional theory of meaning has the necessary resources to explain the epistemic significance of valid inferences. I will explain this epistemic significance starting from Carnap’s semantic theory of meaning and Tarski’s notion of satisfaction. In this way I will counter (Prawitz 2012b)’s claim that a truth-conditional theory of meaning is not able to account the legitimacy of valid inferences, i.e., their epistemic significance. (shrink)

Resolving the Ross and Prior paradoxes proved to be a difficult task. Its first two stages, involving the identification of the true natures of the implication and truth values, are described in the articles "Solving the Paradox of Material Implication – 2024" and "Solving Jörgensen's Dilemma – 2024". This article describes the third stage, which involves the discovery of missing modal operators and the Classical Modal Calculus. Finally, procedures for solving both paradoxes are provided.

According to the most common interpretation of the simulation argument, we are very likely to live in an ancestor simulation. It is interesting to ask if some families of simulations are more likely than others inside the space of all simulations. We argue that a natural probability measure is given by computational complexity: easier simulations are more likely to be run. Remarkably this allows us to extract experimental predictions from the fact that we live in a simulation. For instance we (...) show that it is very likely that humanity will not achieve interstellar travel and that humanity will not meet other intelligent species in the universe, in turn explaining the Fermi's Paradox. On the opposite side, experimental falsification of any of these predictions would constitute evidence against our reality being a simulation. (shrink)

Jonathan Lowe has argued that a particular variation on C.I. Lewis' notion of strict implication avoids the paradoxes of strict implication. We show that Lowe's notion of implication does not achieve this aim, and offer a general argument to demonstrate that no other variation on Lewis' notion of constantly strict implication describes the logical behaviour of natural-language conditionals in a satisfactory way.

In the article I deal with some paradoxes and errors caused by improper usage of logical and philosophical terms appearing in the arguments for existence of god and other philosophical issues. I point at rst some paradoxes coming om improper usage of propositional calculus as an instrument for analysis of a natural language. this language is actually not using simple sentences but rather propositional functions, their logical connections, and some replacements for variables in them. We still have to deal with (...) so called paradox of material implication. the second paragraph provides formal and metatheoretical critics of Charles Sanders Peirce’s theory of deduction, induction and abduction. I argue that what Peirce and his followers call abduction is actually deduction or some reasoning unable to describe in terms of the logic used by them. Both syllogistic and inferential theory of abduction generate some paradoxes and contradictions. In the last paragraph also some paradoxes and contradictions resulting om the theory of causation by Jan Łukasiewicz are presented. the central issue of the article is erroneous usage of the implication: in logical paraphrases of a natural language, in description of the scienti c reasoning, and in description of causality. However, my objective is not to solve all problems mentioned above but rather to open a discussion over them. (shrink)

In his recent article in Philosophy and Public Affairs, 'The Paradox of Voting and Ethics of Political Representation', Alexander A. Guerrero argues it is rational to vote because each voter should want candidates they support to have the strongest public mandate possible if elected to office, and because every vote contributes to that mandate. The present paper argues that two of Guerrero's premises require correction, and that when those premises are corrected several provocative but compelling conclusions follow about the (...) rationality of voting and duties of elected officials: (A) Voting is typically rational for the members of a political party’s base; (B) Voting is often (but not always) irrational for “swing” voters (i.e. independent voters who are not affiliated with any political party, as well as “undecided” voters who are considering voting across party lines); and (C) Elected officials have a moral duty to respond to changing levels of popular support once in office, as indicated by properly monitored and corroborated public opinion polls of constituents, functioning more as delegates the lower their level of popular support. Finally, I suggest that the last of these conclusions has wide-ranging implications for political ethics. I illustrate these implications by focusing on the questions -- under debate in the 2016 US Presidential election cycle -- of whether a sitting President has a moral duty to nominate or not nominate a new Supreme Court justice during his or her final year in office, and similarly, whether US Senators have a moral duty to obstruct, or not obstruct, confirmation of the President’s eventual nominee. (shrink)

Some analogous higher-order versions of Skolem’s paradox will be introduced. The generalizability of two solutions for Skolem’s paradox will be assessed: the course-book approach and Bays’ one. Bays’ solution to Skolem’s paradox, unlike the course-book solution, can be generalized to solve the higher-order paradoxes without any implication about the possibility or order of a language in which mathematical practice is to be formalized.

Several interesting themes emerge from G. E. Moore’s previously unpub­lished review of _The Principles of Mathematics_. These include a worry concerning whether mathematical notions are identical to purely logical ones, even if coextensive logical ones exist. Another involves a conception of infinity based on endless series neglected in the Principles but arguably involved in Zeno’s paradox of Achilles and the Tortoise. Moore also questions the scope of Russell’s notion of material implication, and other aspects of Russell’s claim that (...) mathematics reduces to logic. (shrink)

We study a new formal logic LD introduced by Prof. Grzegorczyk. The logic is based on so-called descriptive equivalence, corresponding to the idea of shared meaning rather than shared truth value. We construct a semantics for LD based on a new type of algebras and prove its soundness and completeness. We further show several examples of classical laws that hold for LD as well as laws that fail. Finally, we list a number of open problems. -/- .

In his article “If Loud Aliens Explain Human Earliness, Quiet Aliens are also Rare”, Robin Hanson proposes the Grabby Alien Hypothesis, which proposes that extraterrestrial civilizations (ETIs) exist outside of our observable universe and are gradually expanding to fill the universe. The existence of such grabby aliens in our future expanding to fill all available niches puts a cosmic deadline on independently originating sources of life. This cosmic cutoff offers an explanation for why human observers seem to be relatively early (...) in spacetime, why the red dwarf stars seem to be inadequate for independently originating life, and why the Fermi Paradox remains unsolved. However, we should worry about Hanson’s proposal, since the Grabby Alien Hypothesis has its own paradoxical implication, namely that most observers in most reference classes should be grabby aliens themselves (Bostrom, 2002). Thus, oddly, finding ourselves not to be grabby alien observers, it seems Hanson is beholden to explain why we are not. Some possibilities for grabby alien observer alternatives can be offered, though none are particularly explanatorily appealing. In what follows, we will 1) attempt to restate in simple terms Hanson’s assumptions, and then 2) reassemble Hanson’s arguments, showing they lead to a paradox, and 3) consider which assumptions should be rejected and at what cost. (shrink)

A sorites argument is a symptom of the vagueness of the predicate with which it is constructed. A vague predicate admits of at least one dimension of variation (and typically more than one) in its intended range along which we are at a loss when to say the predicate ceases to apply, though we start out confident that it does. It is this feature of them that the sorites arguments exploit. Exactly how is part of the subject of this paper. (...) The majority of philosophers writing on vagueness take it to be a kind of semantic phenomenon. If we are right, they are correct in this assumption, which is surely the default position, but they have not so far provided a satisfactory account of the implications of this or a satisfactory diagnosis of the sorites arguments. Other philosophers have urged more exotic responses, which range from the view that the fault lies not in our language, but in the world, which they propose to be populated with vague objects which our semantics precisely reflects, to the view that the world and language are both perfectly in order, but that the fault lies with our knowledge of the properties of the words we use (epistemicism). In contrast to the exotica to which some philosophers have found themselves driven in an attempt to respond to the sorites puzzles, we undertake a defense of the commonsense view that vague terms are semantically vague. Our strategy is to take fresh look at the phenomenon of vagueness. Rather than attempting to adjudicate between different extant theories, we begin with certain pre-theoretic intuitions about vague terms, and a default position on classical logic. The aim is to see whether (i) a natural story can be told which will explain the vagueness phenomenon and the puzzling nature of soritical arguments, and, in the course of this, to see whether (ii) there arises any compelling pressure to give up the natural stance. We conclude that there is a simple and natural story to be told, and we tell it, and that there is no good reason to abandon our intuitively compelling starting point. The importance of the strategy lies in its dialectical structure. Not all positions on vagueness are on a par. Some are so incredible that even their defenders think of them as positions of last resort, positions to which we must be driven by the power of philosophical argument. We aim to show that there is no pressure to adopt these incredible positions, obviating the need to respond to them directly. If we are right, semantic vagueness is neither surprising, nor threatening. It provides no reason to suppose that the logic of natural languages is not classical or to give up any independently plausible principle of bivalence. Properly understood, it provides us with a satisfying diagnosis of the sorites argumentation. It would be rash to claim to have any completely novel view about a topic so well worked as vagueness. But we believe that the subject, though ancient, still retains its power to inform and challenge us. In particular, we will argue that taking seriously the central phenomenon of predicate vagueness—the “boundarylessness” of vague predicates—on the commonsense assumption that vagueness is semantic, leads ineluctably to the view that no sentences containing vague expressions (henceforth ‘vague sentences’) are truth-evaluable. This runs counter to much of the literature on vagueness, which commonly assumes that, though some applications of vague predicates to objects fail to be truth-evaluable, in clear positive and negative cases vague sentences are unproblematically true or false. It is clarity on this, and related points, that removes the puzzles associated with vagueness, and helps us to a satisfying diagnosis of why the sorites arguments both seem compelling and yet so obviously a bit of trickery. We give a proof that semantically vague predicates neither apply nor fail-to-apply to anything, and that consequently it is a mistake to diagnose sorites arguments, as is commonly done, by attempting to locate in them a false premise. Sorites arguments are not sound, but not unsound either. We offer an explanation of their appeal, and defend our position against a variety of worries that might arise about it. The plan of the paper is as follows. We first introduce an important distinction in terms of which we characterize what has gone wrong with vague predicates. We characterize what we believe to be our natural starting point in thinking about the phenomenon of vagueness, from which only a powerful argument should move us, and then trace out the consequences of accepting this starting point. We consider the charge that among the consequences of semantic vagueness are that we must give up classical logic and the principle of bivalence, which has figured prominently in arguments for epistemicism. We argue there are no such consequences of our view: neither the view that the logic of natural languages is classical, nor any plausible principle of bivalence, need be given up. Next, we offer a diagnosis of what has gone wrong in sorites arguments on the basis of our account. We then present an argument to show that our account must be accepted on pain of embracing (in one way or another) the epistemic view of “vagueness”, i.e., of denying that there are any semantically vague terms at all. Next, we discuss some worries that may arise about the intelligibility of our linguistic practices if our account is correct. We argue none of these worries should force us from our intuitive starting point. Finally, we cast a quick glance at other forms of semantic incompleteness. (shrink)

This essay concerns the question of how we make genuine epistemic progress through conceptual analysis. Our way into this issue will be through consideration of the paradox of analysis. The paradox challenges us to explain how a given statement can make a substantive contribution to our knowledge, even while it purports merely to make explicit what one’s grasp of the concept under scrutiny consists in. The paradox is often treated primarily as a semantic puzzle. However, in “Sect. (...) 1” I argue that the paradox raises a more fundamental epistemic problem, and in “Sects.1 and 2” I argue that semantic proposals—even ones designed to capture the Fregean link between meaning and epistemic significance—fail to resolve that problem. Seeing our way towards a real solution to the paradox requires more than semantics; we also need to understand how the process of analysis can yield justification for accepting a candidate conceptual analysis. I present an account of this process, and explain how it resolves the paradox, in “Sect. 3”. I conclude in “Sect. 4” by considering the implications for the present account concerning the goal of conceptual analysis, and by arguing that the apparent scarcity of short and finite illuminating analyses in philosophically interesting cases provides no grounds for pessimism concerning the possibility of philosophical progress through conceptual analysis. (shrink)

The truth-functional hypothesis states that indicative conditional sentences and the material implication have the same truth conditions. Haze (2011) has rejected this hypothesis. He claims that a self-referential conditional, coupled with a plausible assumption about its truth-values and the assumption that the truth-functional hypothesis is true, lead to a liar’s paradox. Given that neither the self-referential conditional nor the assumption about its truth-values are problematic, the culprit of the paradox must be the truth-functional hypothesis. Therefore, we should (...) reject it. In this paper I argue that, contrary to what Haze thinks, the truth-functional hypothesis is not to blame. In fact, no liar’s paradox emerges when the truth-functional hypothesis is true; it emerges only if it is false. (shrink)

This paper contends that Stoic logic (i.e. Stoic analysis) deserves more attention from contemporary logicians. It sets out how, compared with contemporary propositional calculi, Stoic analysis is closest to methods of backward proof search for Gentzen-inspired substructural sequent logics, as they have been developed in logic programming and structural proof theory, and produces its proof search calculus in tree form. It shows how multiple similarities to Gentzen sequent systems combine with intriguing dissimilarities that may enrich contemporary discussion. Much of Stoic (...) logic appears surprisingly modern: a recursively formulated syntax with some truth-functional propositional operators; analogues to cut rules, axiom schemata and Gentzen’s negation-introduction rules; an implicit variable-sharing principle and deliberate rejection of Thinning and avoidance of paradoxes of implication. These latter features mark the system out as a relevance logic, where the absence of duals for its left and right introduction rules puts it in the vicinity of McCall’s connexive logic. Methodologically, the choice of meticulously formulated meta-logical rules in lieu of axiom and inference schemata absorbs some structural rules and results in an economical, precise and elegant system that values decidability over completeness. (shrink)

The theological misappropriation of Christianity as a civilizing force occurs when individuals convert to Christianity due to deception that ignores the faith-based aspect of Christianity. The history of Western education in India illustrates the hidden curriculum that Christian missionaries employed to disrupt the Indian educational system. This unnerving pedagogy points to the need for a postcolonial theoretical framework that relates the inescapable hybridity of religion and culture where Orientalism has the potential to occur. To press the ongoing urgency of this (...) discussion, I convey how the history of British India connects to my lived-reality as an American Hindu. Overall, I point to hybridity as a lived paradox of ambiguous conflict that embraces interfaith relations. I offer implications for Christian missionaries today to foster authentic interfaith connections without engaging in colonizing ideologies. (shrink)

How to say no less, no more about conditional than what is needed? From a logical analysis of necessary and sufficient conditions (Section 1), we argue that a stronger account of conditional can be obtained in two steps: firstly, by reminding its historical roots inside modal logic and set-theory (Section 2); secondly, by revising the meaning of logical values, thereby getting rid of the paradoxes of material implication whilst showing the bivalent roots of conditional as a speech-act based on (...) affirmations and rejections (Section 3). Finally, the two main inference rules for conditional, viz. Modus Ponens and Modus Tollens, are reassessed through a broader definition of logical consequence that encompasses both a normal relation of truth propagation and a weaker relation of falsity non-propagation from premises to conclusion (Section 3). (shrink)

Legal theorists have characterized physical evidence of brain dysfunction as a double-edged sword, wherein the very quality that reduces the defendant’s responsibility for his transgression could simultaneously increase motivations to punish him by virtue of his apparently increased dangerousness. However, empirical evidence of this pattern has been elusive, perhaps owing to a heavy reliance on singular measures that fail to distinguish between plural, often competing internal motivations for punishment. The present study employed a test of the theorized double-edge pattern using (...) a novel approach designed to separate such motivations. We asked a large sample of participants (N = 330) to render criminal sentencing judgments under varying conditions of the defendant’s mental health status (Healthy, Neurobiological Disorder, Psychological Disorder) and the disorder’s treatability (Treatable, Untreatable). As predicted, neurobiological evidence simultaneously elicited shorter prison sentences (i.e., mitigating) and longer terms of involuntary hospitalization (i.e., aggravating) than equivalent psychological evidence. However, these effects were not well explained by motivations to restore treatable defendants to health or to protect society from dangerous persons but instead by deontological motivations pertaining to the defendant’s level of deservingness and possible obligation to provide medical care. This is the first study of its kind to quantitatively demonstrate the paradoxical effect of neuroscientific trial evidence and raises implications for how such evidence is presented and evaluated. (shrink)

Russell’s role in the controversy about the paradoxes of material implication is usually presented as a tale of how even the greatest minds can fall prey to basic conceptual confusions. Quine accused him of making a silly mistake in Principia Mathematica. He interpreted “if- then” as a version of “implies” and called it material implication. Quine’s accusation is that this decision involved a use-mention fallacy because the antecedent and consequent of “if-then” are used instead of being mentioned as (...) the premise and the conclusion of an implication relation. It was his opinion that the criticisms and alternatives to the material implication presented by C. I. Lewis and others would never be made in the first place if Russell simply called the Philonian construction “material conditional” instead of “material implication”. Quine’s interpretation of the topic became hugely influential if not universally accepted. This paper will present the following criticisms against this interpretation: (1) the notion of material implication does not involve a use-mention fallacy, since the components of “if-then” are mentioned and not used; (2) Quine’s belief that the components of “if-then” are used was motivated by a conditional-assertion view of conditionals that is widely controversial and faces numerous difficulties; (3) if anything, it was Quine who could be accused of fallacious reasoning: he ignored that in the assertion of a conditional is the whole proposition that is asserted and not its constituents; (4) the Philonian construction remains counter-intuitive even if it is called “material conditional”; (5) the Philonian construction is more plausible when it is interpreted as a material implication. (shrink)

In this article I define a strong conditional for classical sentential logic, and then extend it to three non-classical sentential logics. It is stronger than the material conditional and is not subject to the standard paradoxes of material implication, nor is it subject to some of the standard paradoxes of C. I. Lewis’s strict implication. My conditional has some counterintuitive consequences of its own, but I think its pros outweigh its cons. In any case, one can always augment (...) one’s language with more than one conditional, and it may be that no single conditional will satisfy all of our intuitions about how a conditional should behave. Finally, I suspect the strong conditional will be of more use for logic rather than the philosophy of language, and I will make no claim that the strong conditional is a good model for any particular use of the indicative conditional in English or other natural languages. Still, it would certainly be a nice bonus if some modified version of the strong conditional could serve as one. -/- I begin by exploring some of the disadvantages of the material conditional, the strict conditional, and some relevant conditionals. I proceed to define a strong conditional for classical sentential logic. I go on to adapt this account to Graham Priest’s Logic of Paradox, to S. C. Kleene’s logic K3, and then to J. Łukasiewicz’s logic Ł, a standard version of fuzzy logic. (shrink)

This article discusses the logic of the Epimenides Paradox using a graphical representation of the logical operators involved. The graphical representation of the Logical Operators is the one used in digital electronics. This method of investigation is very effective in revealing the hidden error in the reasoning that leads to the contradiction. The article explains the vicious circle that the mind goes through when trying to analyze the Paradox. Finally, the article proposes a solution of the Paradox (...) with final conclusions that are not paradoxical but simply counterintuitive. The endless deduction is generated by subsequent evaluations that take place on different levels. In its evaluation the Mind alternates a level of logical evaluation with a level of semantic evaluation. (shrink)

The topic of this thesis is how we should treat tiny probabilities of vast value. This thesis consists of six independent papers. Chapter 1 discusses the idea that utilities are bounded. It shows that bounded decision theories prescribe prospects that are better for no one and worse for some if combined with an additive axiology. Chapter 2, in turn, points out that standard axiomatizations of Expected Utility Theory violate dominance in cases that involve possible states of zero probability. Chapters 3–6 (...) discuss the idea that we should ignore tiny probabilities in practical decision-making. Chapter 3 argues that discounting small probabilities solves the ‘Intrapersonal Addition Paradox’ and thus helps avoid the Repugnant Conclusion. Chapter 4 explores what the most plausible version of this view might look like and what problems the different versions have. Chapter 5 focuses on one type of problem, namely, money pumps. The Independence Money Pump, in particular, presents a difficult challenge for those who wish to discount small probabilities. Finally, Chapter 6 discusses the implications of discounting small probabilities for the value of the far future. (shrink)

The paper defends a variant of the material implication approach to the meaning of conditional sentences against some arguments that are considered to be widely subscribed to and/or important in the philosophical, psychological and linguistic literature. These arguments are shown to be wrong, debatable, or to miss their aim if the truth conditions defining material implication are viewed as determining nothing but the denotation of conditional sentences and if the function of conditional sentences in deduction (logic) is focused (...) on rather than in inferencing (reasoning). It is shown that some ‘paradoxes of material implication’ are due to inconsistent premises of deductions introduced by semantic relations between clauses constituting the premises, a fact which does not invalidate the approach. Other ‘paradoxes’ are shown to arise because they are based on uninformative deductions, violating a basic pragmatic principle. In addition, the paper introduces the distinction between the set of possible states of a mental model of the actual world and of alternative worlds. It is argued that material implication determines the denotation of an indicative conditional as a subset of the former set and the denotation of a subjunctive conditional as a subset of the latter set, thus unifying these two types of conditionals. (shrink)

I will explore the paradoxical nature of epistemic access. By critiquing the traditional conception of mental states that are labelled as ’knowledge’, I demonstrate the susceptibility of these states to an infinite regress, thus, challenging their existence and validity. I scrutinise the assumption that an epistemic agent can have complete epistemic access to all facts about a given object while simultaneously being ignorant of certain truths that impact the very knowledge claims about the object. I further analyse the implications of (...) this paradox when attempting to fine-grain the parameters of epistemic access, which happens to reveal the vacuity of such definitions and the inevitability of the regress. (shrink)

It is well known in contemporary Madhyamaka studies that the seventh century Indian philosopher Candrakīrti rejects the foundationalist Abhidharma epistemology. The question that is still open to debate is: Does Candrakīrti offer any alternative Madhyamaka epistemology? One possible way of addressing this question is to find out what Candrakīrti says about the nature of buddha’s epistemic processes. We know that Candrakīrti has made some puzzling remarks on that score. On the one hand, he claims buddha is the pramāṇabhūta-puruṣa (person of (...) epistemic and moral authority), sarvākārajñatājñānaṃ (omniscient, wise), pratyakṣalakṣaṇam (exclusively perceptual in characteristic) [Candrakīrti (MABh VI.214)], and claims that there are clearly four pramāṇas—epistemic warrants—direct perception (pratyakṣa), inference (anumāna), testimony (āgama) and analogy (upamāna) [Candrakīrti (Pp I.3), cf. MacDonald 2015, pp. 287–288]. On the other hand, somewhat paradoxically, Candrakīrti claims that buddhahood is an embodiment of a complete cessation of “mind and mental processes” [Candrakīrti (MABh XI.1, 155a; MAB XI.17d)] Now how are we to make sense of these two seemingly contradictory statements? Do these statements reflect any deeper conflicts within Candrakīrti’s system or is there a coherent way to interpret these statements? The Tibetan Prāsaṅgika interpreters of Candrakīrti’s Madhyamaka largely agree that there is no internal contradiction in Candrakīrti’s system, and agree there is a way to make coherent sense of these statements. Nevertheless, the Tibetans exegetes bring to the table two radically conflicting proposals to approach Candrakīrti’s Mādhyamaka; both claiming to successfully address the apparent tension arising from Candrakīrti’s statements. One proposal is made by Tsongkhapa Losang Dakpa (Tsong kha pa bLo bzang grags pa, 1357–1419), who maintains the tension can be plausibly resolved by demonstrating that Candrakīrti’s unique non-foundationalist epistemological program renders him an epistemological coherentist. In contrast Taktsang Lotsawa Sherap Rinchen (sTag tshang Lo tsā ba Shes rab rin chen, 1405–1477) argues that according to Candrakīrti buddha is a global agnostic, on the ground of the nonexistence of mind and mental processes for those who have attained fully awakening. Taktsang instead proposes the no-mind thesis as a more plausible way to resolve the tension in Candrakīrti’s philosophy, categorically refusing to attribute to buddha any cognitive processes and epistemic warrants. This paper is an analysis of Taktsang’s no-mind thesis—the claim that buddhas utterly lack any knowledge of the world because they do not have epistemic processes and warrants to perceive the world—in what follows a rational reconstruction of his arguments is developed in order to evaluate his thesis. We shall then assess the implications of accepting Taktsang’s no-mind thesis. (shrink)

This paper explores the physical and metaphysical implications of time travel, focusing on the possibility of changing the past, through a comparative analysis of David Lewis' modal realism and Everett's many-worlds interpretation of quantum mechanics. The existence of closed timelike curves (CTCs) in certain solutions to Einstein's field equations provides a theoretical basis for the possibility of backwards time travel, but this leads to a range of paradoxes, most notably the grandfather paradox. David Lewis argues that time travel must (...) maintain consistency and that the past cannot be changed, even if time travel were possible. His view is supported by his modal realism, which posits the existence of a plurality of possible worlds. In contrast, Everett's many-worlds interpretation, which holds that quantum mechanics describes a multiverse of branching realities, might seem to allow for the possibility of multiple, inconsistent histories. By examining these two ontological frameworks, this paper aims to shed light on the paradoxes of time travel and to explore whether the many-worlds interpretation provides a more satisfactory resolution to these paradoxes than Lewis' modal realism. It is argued that while Lewis' view provides a coherent model for maintaining consistency in time travel, Everett's interpretation may offer a more physically grounded and philosophically compelling account of the metaphysics of time travel. The paper concludes by suggesting that the many-worlds interpretation, by locating the branching of timelines within the structure of quantum mechanics itself, may provide a more promising framework for understanding the possibility and implications of time travel than Lewis' modal realism. However, significant questions remain about the nature of personal identity and free will in a branching multiverse. This comparative analysis aims to contribute to the ongoing debate about the metaphysical possibility of time travel and to highlight the value of engaging with interpretations of quantum mechanics in this context. Keywords: time travel, closed timelike curves, modal realism, many-worlds interpretation, grandfather paradox, metaphysics of time. (shrink)

The theory of possible worlds has permeated analytic philosophy in recent decades, and its best versions have a consequence which has gone largely unnoticed: in addition to the panoply of possible worlds, there are a great many impossible worlds. A uniform ontological method alone should bring the friends of possible worlds to adopt impossible worlds, I argue, but the theory's applications also provide strong incentives. In particular, the theory facilitates an account of counterfactuals which avoids several of the implausible results (...) of David Lewis's account, and it paves the way for the analogues of Kripkean semantics for epistemic and relevant logics. On the theories of possible worlds as abstract objects, worlds bear a strong resemblance to propositions. I contend that if there are distinct necessarily false propositions, then there are likewise distinct impossible worlds. However, one who regards possible worlds as concrete objects must not recognize impossible worlds, in part because concrete worlds cannot misrepresent certain features of reality, as some impossible worlds must. Accordingly, I defend and develop a theory of impossible worlds as maximal impossible states of affairs. Impossible worlds perform admirably in the analysis of counterfactuals with impossible antecedents. I argue that, contrary to standard accounts, not all counterpossibles are trivially true, and I develop a Lewis-style semantics which allows this result. The point is crucial, since many views presuppose that some counterpossibles are substantive philosophical truths. Finally, I show that impossible worlds hold great promise for doxastic and relevant logics. Epistemic logic needs a domain of propositions which is not closed under strict implication to avoid the problem of logical omniscience, and relevant logic needs such a domain to avoid the famous paradoxes of implication. In sum, impossible world theory promises natural, elegant solutions to philosophical problems in numerous areas where possible worlds alone flounder. These solutions come to most possible world theorists at no cost, since the existence of impossible worlds is entailed by theses they already hold. (shrink)

The focus in this essay will be upon the paradoxes, and foremostly in set theory. A central result is that the librationist set theory £ extension \Pfund $\mathscr{HR}(\mathbf{D})$ of \pounds \ accounts for \textbf{Neumann-Bernays-Gödel} set theory with the \textbf{Axiom of Choice} and \textbf{Tarski's Axiom}. Moreover, \Pfund \ succeeds with defining an impredicative manifestation set $\mathbf{W}$, \emph{die Welt}, so that \Pfund$\mathscr{H}(\mathbf{W})$ %is a model accounts for Quine's \textbf{New Foundations}. Nevertheless, the points of view developed support the view that the truth-paradoxes and (...) the set-paradoxes have common origins, so that the librationist resolutions of the set theoretic paradoxes are at the same time resolutions of the truth theoretic paradoxes. Both the librationist resolutions of the set theoretic paradoxes and the truth theoretic paradoxes have non-trivial philosophical implications: librationist set theories have the consequence that there are no absolutely uncountable sets, and librationist truth theories allow the use of syntactical modalities in ways which circumvent limitations as those of \parencite{Montague1963}, and a truth predicate which is useful for more precise philosophical discourse. (shrink)

At the core of republican thought, on Philip Pettit’s account, lies the conception of freedom as non-domination, as opposed to freedom as noninterference in the liberal sense. I revisit the distinction between liberal and republican freedom and argue that republican freedom incorporates a particular rule-of-law requirement, whereas liberal freedom does not. Liberals may also endorse such a requirement, but not as part of their conception of freedom itself. I offer a formal analysis of this rule-of-law requirement and compare liberal and (...) republican freedom on its basis. While I agree with Pettit that republican freedom has broader implications than liberal freedom, I conclude that we face a trade-off between two dimensions of freedom (scope and robustness) and that it is harder for republicans to solve that trade-off than it is for liberals. Key Words: freedom • republicanism • liberalism • noninterference • non-domination • rule of law • robustness • liberal paradox. (shrink)