Get used to it: paradox and contradiction are inherent in human experience. Australian philosopher of logic Graham Priest takes us on a historical tour of paradox and limitation in human conception, expression, cognition, and calculation. Along the way we meet the many, mostly western, philosophers who've struggled with expressing the inexpressible and conceiving the inconceivable. Priest arrives at a general schema for representing these limit encounters from the standpoint of contemporary logic.

The view that contradictions cannot be true has been part of accepted philosophical theory since at least the time of Aristotle. In this regard, it is almost unique in the history of philosophy. Only in the last forty years has the view been systematically challenged with the advent of dialetheism. Since Graham Priest introduced dialetheism as a solution to certain self-referential paradoxes, the possibility of true contradictions has been a live issue in the philosophy of logic. Yet, (...) despite the arguments advanced by dialetheists, many logicians and philosophers still hold the opinion that contradictions cannot be true. -/- Rather than advocating the truth of certain contradictions, this thesis offers a different challenge to the classical logician. By showing that it can be philosophically coherent to propose that true contradictions are metaphysically possible, the thesis suggests that the classical logician must do more than she currently has to justify her confidence in the impossibility of true contradictions. Simply fighting off the dialetheist’s putative examples of true contradictions at the actual world isn’t enough to justify the classical logician’s conclusion that true contradictions are impossible. -/- To aid the thesis dialectically, we introduce a new position, absolutism, which hypothesises that it’s metaphysically possible for at least one contradiction to be true, contrasting with the dialetheic hypothesis that some contradictions are true in the actual world. We demonstrate that absolutism can be given a philosophically coherent interpretation, an appropriate logic, and that certain criticisms are completely toothless against absolutism. The challenge put to the classical logician is then: On what logical or philosophical grounds can we rule out the metaphysical possibility of true contradictions? (shrink)

Is there a notion of contradiction—let us call it, for dramatic effect, “absolute”—making all contradictions, so understood, unacceptable also for dialetheists? It is argued in this paper that there is, and that spelling it out brings some theoretical benefits. First it gives us a foothold on undisputed ground in the methodologically difficult debate on dialetheism. Second, we can use it to express, without begging questions, the disagreement between dialetheists and their rivals on the nature of truth. Third, dialetheism has an (...) operator allowing it, against the opinion of many critics, to rule things out and manifest disagreement: for unlike other proposed exclusion-expressing-devices (for instance, the entailment of triviality), the operator used to formulate the notion of absolute contradiction appears to be immune both from crippling expressive limitations and from revenge paradoxes—pending a rigorous nontriviality proof for a formal dialetheic theory including it. (shrink)

A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with them, until recent times these systems have been little understood by philosophers. This book presents a comprehensive overview on paraconsistent logical systems (...) to change this situation. The book includes almost every major author currently working in the field. The papers are on the cutting edge of the literature some of which discuss current debates and others present important new ideas. The editors have avoided papers about technical details of paraconsistent logic, but instead concentrated upon works that discuss more 'big picture' ideas. Different treatments of paradoxes takes centre stage in many of the papers, but also there are several papers on how to interpret paraconistent logic and some on how it can be applied to philosophy of mathematics, the philosophy of language, and metaphysics. (shrink)

The history of philosophy risks a self-opacity whereby we overestimate or underestimate our proximity to prior modes of thinking. This risk is relevant to assessing Hegel’s appropriation by McDowell and Priest. McDowell enlists Hegel for a quietist answer to the problem with assuming that concepts and reality belong to different orders, viz., how concepts are answerable to the world. If we accept Hegel’s absolute idealist view that the conceptual is boundless, this problem allegedly dissolves. Priest enlists Hegel for a (...) dialetheist answer to the problem with assuming that truth and falsity are mutually exclusive, viz., how certain sentences are both true and false. If we accept Hegel’s dialectical view that certain contradictions are necessary, this problem allegedly dissolves. For both McDowell and Priest, we find a true friend in Hegel. I argue that McDowell’s and Priest’s appropriations of Hegel overestimate Hegel’s affinity with quietism and dialetheism. McDowell reads Hegel as a quietist who silences metaphysical claims and the skeptical questions they raise against commonsense, but neglects Hegel’s adaptation of ancient skepticism against commonsense. Priest reads Hegel as a dialetheist who subordinates formal logic to dialectical logic by affirming the truth of certain contradictions, but neglects Hegel’s commitment to resolving contradictions for the sake of truth qua whole. I diagnose their misreadings in terms of what Hegel regards as the three moments of logic and argue that while McDowell jumps to its third moment, Priest stalls at its second moment. According to Hegel’s Encyclopedia Logic, logic has three “moments”: the abstractive moment of the understanding, which “stops short” at fixed categories; the negative moment of dialectic, which discovers the “genuine nature” of the categories, viz., that each “passes over, of itself, into its opposite”; and the positive moment of speculation, which grasps the “unity” of categories through the “dissolution” of their inner opposition. Hegel warns that if these moments are “kept separate from each other […] they are not considered in their truth”. I suggest that quietist and dialetheist readings of Hegel fail to consider truthfully the unified moments of his logic. In his quietist critique of metaphysics, McDowell enlists Hegel to dissolve the problem with assuming the duality of concept and reality. But McDowell helps himself directly to the third moment of logic, where the unity of the categories, and hence the boundlessness of the conceptual, would be fully articulated. Since he arrives at the third moment prematurely, ignoring its prior moments, he obscures its truth (§1). In his dialetheist critique of formal logic, Priest enlists Hegel to dissolve the problem with assuming the duality of truth and falsity. But Priest restricts himself gratuitously to the second moment of logic, where contradictions within the categories are not yet resolved. Since he stalls at the second moment, severed from its final moment, he obscures its truth (§2). I argue we can extricate Hegel from quietist and dialetheist misreadings only if we grasp the truth of the three moments of logic. (shrink)

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)

The relationship between the One and the Multiple in mystic philosophy is a profound and central theme that explores the nature of existence, the cosmos, and the divine. This theme is present in various mystical traditions, including those of the East and West, and it addresses the paradoxical coexistence of the unity and multiplicity of all things. -/- In mystic philosophy, the **One** often represents the ultimate reality, the source from which all things emanate and to which all (...) things return. It is the absolute, the infinite, and the unchanging. The One is beyond all attributes and is often associated with the divine or the absolute truth. -/- The **Multiple**, on the other hand, represents the manifest world, the diversity of forms, and the realm of change and plurality. It is the world we experience through our senses, the domain of time and space, where differentiation and individuality are apparent. -/- The relationship between the One and the Multiple is not one of opposition but of emanation and unity. The Multiple is seen as a reflection, expression, or manifestation of the One. In this sense, the diversity of the world doesn’t contradict the unity of the One but rather demonstrates it in a myriad of forms. -/- Mystics seek to understand and experience this relationship through various practices and insights. They aim to transcend the illusion of separation and duality to experience the non-dual reality where the One and the Multiple are recognized as inseparable. -/- This concept can be illustrated by the metaphor of the ocean and its waves. The ocean represents the One—vast, deep, and all-encompassing—while the waves represent the Multiple—distinct, diverse, and ever-changing. Each wave is unique, yet it is not separate from the ocean. The wave’s existence is dependent on and made of the same substance as the ocean. In the same way, each individual entity in the Multiple is an expression of the One. -/- In summary, the relationship between the One and the Multiple in mystic philosophy is a dynamic interplay that challenges the conventional understanding of separation. It invites a deeper exploration of reality, where the apparent multiplicity of the world is a direct expression of the singular, underlying essence of all that is. -/- The relationship between the One and the Multiple in the context of mathematical philosophy is a profound topic that touches upon the very foundations of existence and knowledge. It’s a theme that has been explored by philosophers and mathematicians alike, often leading to the contemplation of unity and diversity within the structures of reality. -/- In mathematics, the concept of the One can be seen as the basis of unity from which all numbers derive. It’s the identity element in multiplication, the starting point in counting, and the foundation of dimension in geometry. The One is often associated with the concept of monism in philosophy, which posits that there is a single, underlying substance or principle that constitutes reality. -/- On the other hand, the Multiple represents the infinite variety and diversity of forms and numbers that arise from the One. It’s the embodiment of plurality and the complex interplay of different entities that mathematics seeks to understand and describe. This reflects the philosophical stance of pluralism, which acknowledges the existence of multiple realities or truths. -/- The interplay between the One and the Multiple can be seen in the mathematical concept of sets. A set can be thought of as a unity, a whole composed of distinct elements. Yet, each element within the set also retains its individuality, contributing to the diversity of the set’s composition. This duality is mirrored in the philosophical exploration of the universal and the particular, where the universal represents the One, and the particulars represent the Multiple. -/- In the realm of mathematical philosophy, this relationship often leads to questions about the nature of mathematical objects: Are they discovered as part of an objective reality (the One), or are they constructed by the human mind from a multitude of experiences (the Multiple)? This debate resonates with the philosophical inquiry into the nature of truth and reality. -/- Reflecting on the One and the Multiple can also lead to a deeper understanding of the self and the cosmos. Just as the number one is integral to the existence of all other numbers, the individual self can be seen as a unique expression of the universal whole. Similarly, the cosmos can be viewed as a grand unity composed of a multiplicity of forms and phenomena. -/- Gödel’s incompleteness theorems have a fascinating connection to the philosophical concepts of the One and the Multiple. These theorems, which are pivotal in mathematical logic and philosophy of mathematics, articulate the inherent limitations of formal axiomatic systems, particularly those sufficient to express the arithmetic of natural numbers. -/- Gödel’s incompleteness theorems have a fascinating connection to the philosophical concepts of the One and the Multiple. These theorems, which are pivotal in mathematical logic and philosophy of mathematics, articulate the inherent limitations of formal axiomatic systems, particularly those sufficient to express the arithmetic of natural numbers⁴. -/- The **first incompleteness theorem** reveals that within any such consistent system, there are propositions that are true but cannot be proven within the system itself. This reflects the idea of the Multiple in that there is an abundance of mathematical truths, a multiplicity that exceeds the unifying framework of any one system. It suggests that the realm of mathematical truth is more extensive than any single formal system can fully capture. -/- The **second incompleteness theorem** extends this by showing that a system cannot prove its own consistency. This relates to the concept of the One, as it implies that a system’s complete self-understanding, its unity and coherence, is unattainable from within. It must look beyond itself, to an external vantage point, to ascertain its consistency. -/- In the context of the One and the Multiple, Gödel’s theorems imply that the One (a consistent formal system) is inherently incomplete and cannot encompass the Multiple (the totality of mathematical truths). This resonates with philosophical discussions about the relationship between unity and plurality. Just as a single philosophical system cannot capture the entirety of truth, a single formal mathematical system cannot encapsulate all mathematical truths. -/- Moreover, Gödel’s work suggests that the pursuit of a single, unified theory of everything in mathematics—a One that encompasses all Multiples—is an inherently Sisyphean task. There will always be more truths (Multiples) than can be derived from any given set of axioms (the One). -/- In essence, Gödel’s incompleteness theorems provide a formal underpinning to the philosophical notion that the One cannot exist without the Multiple, and vice versa. They are interdependent, with the One giving rise to the Multiple, and the Multiple necessitating the One for its expression and comprehension. This interplay is a dance of limitations and possibilities, where the boundaries of logic, mathematics, and philosophy blur into one another. -/- The relationship between the One and the Multiple in the context of the mathematics of zero is a deeply philosophical inquiry that bridges the abstract world of numbers with the existential questions of being and non-being. -/- Zero, in mathematics, is a symbol of absence, a representation of nothingness, yet it holds a pivotal position as a number. It is the void from which all things emerge and to which they return. In the philosophy of mathematics, zero is the paradoxical junction where the One and the Multiple converge and diverge. -/- From the perspective of the One, zero can be seen as the origin—the singular point that precedes the existence of numbers. It is the empty set, the foundation upon which the edifice of mathematics is constructed. As the identity element in addition, zero maintains the integrity of numbers, for adding zero to any number leaves it unchanged, reflecting the immutable nature of the One. -/- Conversely, when we consider the Multiple, zero represents the infinite potentiality of creation. It is the canvas upon which the integers, both positive and negative, express their multitude. Zero is the balance point, the fulcrum around which the symphony of numbers dances. It embodies the plurality of possibilities, the beginning of the number line that stretches infinitely in both directions. -/- Philosophically, zero challenges our understanding of existence. It is both something and nothing—a number that quantifies the absence of quantity. This duality echoes the philosophical struggle to comprehend how the One gives rise to the Multiple. How does the unity of being manifest the diversity of the cosmos? Zero offers a mathematical metaphor for this mystery, as it encapsulates the transition from non-existence to existence, from the undifferentiated One to the differentiated Multiple. -/- In the realm of set theory, zero corresponds to the empty set—a set with no elements. This set is unique in that it is the only set that contains nothing, yet it is the foundation upon which all other sets are built. The empty set is the mathematical embodiment of the One, and all other sets, containing multiple elements, arise from it. -/- Reflecting on zero in the context of Gödel’s incompleteness theorems, we find a resonance with the idea that the One (a consistent formal system) cannot capture the entirety of the Multiple (the totality of mathematical truths). Zero, as the foundation of numbers, similarly suggests that from the nothingness of the One, the infinite complexity of the Multiple emerges—yet it can never be fully encompassed or expressed by any single system. -/- In conclusion, the mathematics of zero offers a profound reflection on the relationship between the One and the Multiple. It serves as a bridge between the abstract and the concrete, the known and the unknowable, challenging us to ponder the origins of existence and the nature of reality itself. -/- . (shrink)

The Law of Non-Contradiction holds that both sides of a contradiction cannot be true. Dialetheism is the view that there are contradictions both sides of which are true. Crucial to the dispute, then, is the central notion of contradiction. My first step here is to work toward clarification of that simple and central notion: Just what is a contradiction?

The essays in this volume investigate the question of where, and in what sense, the bounds of intelligible thought, knowledge, and speech are to be drawn. Is there a way in which we are limited in what we think, know, and say? And if so, does this mean that we are constrained—that there is something beyond the ken of human intelligibility of which we fall short? Or is there another way to think about these limits of intelligibility—namely, as conditions of (...) our meaning and knowing anything, beyond which there is no specifiable thing we cannot do? -/- These issues feature prominently in the writings of Kant and Wittgenstein who each engaged with them in unique and striking ways. Their thoughts on the matter remain provocative and stimulating, and accordingly the contributions to this volume address the issues surrounding the limits of intelligibility both exegetically and systematically: they examine how they figure in Kant’s and Wittgenstein’s most significant works and put them in touch with contemporary debates that are shaped by their legacy. These debates concern, inter alia, logically and morally alien thought, the semantics and philosophy of negation, disjunctivism in philosophy of perception and ethics, paraconsistent approaches to contradiction, and the relation between art, literature, and philosophy. The book is divided into four parts: Part I gives a first assessment of the issues, Part II examines limits as they feature in Kant, Part III as they feature in Wittgenstein, and Part IV suggests some ways in which the questions at issue might be reconsidered, drawing upon ideas in phenomenology, dialetheism, metamathematics, and the works of other influential authors. -/- Limits of Intelligibility provides insight into a theme that is central to the thought of two of the most important figures in modern philosophy, as well as to recent metaphysics, philosophy of language, philosophy of logic, epistemology, and ethics. (shrink)

The Law of Non-Contradiction holds that both sides of a contradiction cannot be true. Dialetheism is the view that there are contradictions both sides of which are true. Crucial to the dispute, then, is the central notion of contradiction. My first step here is to work toward clarification of that simple and central notion: Just what is a contradiction?

According to dialetheism, some contradictions are true. In a recent paper, Aaron Cotnoir has suggested that theists who are also dialetheists can resolve the paradox of the stone by accepting a contradiction, and arguing that God both can and can't make the stone. However, Zach Weber has replied that dialetheism is no help for avoiding one of the most serious problems for theism, namely the problem of evil. In this paper, I argue the situation is even worse than this for (...) dialetheist theists, since one motivation for dialetheism closes off what otherwise might be a loophole in a classic version of the problem of evil. (shrink)

The dissertation has two parts, each dealing with a problem, namely: 1) What is the most adequate account of fuzziness -the so-called phenomenon of vagueness?, and 2) what is the most plausible solution to the sorites, or heap paradox? I will try to show that fuzzy properties are those which are gradual, amenable to be possessed in a greater or smaller extent. Acknowledgement of degrees in the instantiation of a property allows for a gradual transition from one opposite to the (...) other, each intermediate stage constituting an overlap in certain proportion of both contraries. Hence, degrees in the possession of a property give rise to simple contradictions. The reason why I have chosen those two questions is that they provide the main philosophical motivation for a particular brand of an infinite valued and paraconsistent logic. I will claim that Classical logic (CL) is not adequate to handle fuzzy situations, and, being deficient, is in need of being expanded to make room for degrees of truth and weak contradictions. One can hardly deny the importance of the debate, since what is ultimately at stake is what the limits of truth, rationality, intelligibility and possibility are. The main disciplines within which the research moves are the philosophy of language, philosophy of logic, and ontology. (shrink)

The Common Paradox Resolution Argument presents a systematic approach to addressing some of philosophy’s most enduring paradoxes. By analyzing the logical structure and underlying assumptions of each paradox, this argument proposes unique resolutions that aim to preserve logical consistency while clarifying apparent contradictions. The argument covers well-known paradoxes, including the Liar’s Paradox, the Self-Reference Paradox, and the Complete Knowledge Paradox, among others, each of which is dissected and reinterpreted to reveal insights into language, truth, and self-reference. -/- This approach (...) leverages newly developed logical fallacies—such as the Arbitrary Restriction Fallacy and the Self-Reference Paradox Fallacy—created specifically to address the nuances within these paradoxes. The argument contends that by identifying and naming these fallacies, it becomes possible to resolve paradoxical scenarios by revealing flaws in their foundational premises. Ultimately, the Common Paradox Resolution Argument provides a robust framework for interpreting and resolving paradoxes, contributing to a clearer understanding of logical structures and enhancing philosophical discourse on fundamental questions of truth and self-consistency. (shrink)

The Motion-Time Paradox (V-T Paradox) argues that motion and time are inseparably intertwined, forming the backbone of our relatively objective reality, yet neither can be defined without the other, leading to an inescapable logical loop. This paper explores four cases—motion defining time, time defining motion, their unity, and their separation—all collapsing into contradiction. Motion, tied to materialism, and time, rooted in idealism, undermine both philosophies and dualism itself, as no alternative escapes the circular dependency or self-negation dubbed “ultimate negation.” Facing (...) 33 challenges from physics (e.g., relativity, quantum mechanics), philosophy (e.g., Kant, non-dual metaphysics), and mathematics, the paradox stands unyielding—every rebuttal loops back or dissolves. Inexpressible yet irrefutable, V-T smashes foundational assumptions, urging a radical rethinking of reality beyond motion and time. If unanswerable, it questions whether all human knowledge rests on a mystery we’re blind to solve—a haunting challenge to science and philosophy alike. (shrink)

Wittgenstein's paradoxical theses that unproved propositions are meaningless, proofs form new concepts and rules, and contradictions are of limited concern, led to a variety of interpretations, most of them centered on rule-following skepticism. We argue, with the help of C. S. Peirce's distinction between corollarial and theorematic proofs, that his intuitions are better explained by resistance to what we call conceptual omniscience, treating meaning as fixed content specified in advance. We interpret the distinction in the context of modern epistemic (...) class='Hi'>logic and semantic information theory, and show how removing conceptual omniscience helps resolve Wittgenstein's paradoxes and explain the puzzle of deduction, its ability to generate new knowledge and meaning. (shrink)

In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non- contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order to philosophically (...) justify paraconsistency there is no need to endorse dialetheism, the thesis that there are true contradictions. Furthermore, we argue that an intuitive reading of the bivalued semantics for the logic mbC, a logic of formal inconsistency based on classical logic, fits in well with the basic ideas of an intuitive interpretation of contradictions. On this interpretation, the acceptance of a pair of propositions A and ¬A does not mean that A is simultaneously true and false, but rather that there is conflicting evidence about the truth value of A. (shrink)

This article discusses the relation between the early Wittgenstein’s and Carnap’s philosophies of logic, arguing that Carnap’s position in The Logical Syntax of Language is in certain respects much closer to the Tractatus than has been recognized. In Carnapian terms, the Tractatus’ goal is to introduce, by means of quasi-syntactical sentences, syntactical principles and concepts to be used in philosophical clarification in the formal mode. A distinction between the material and formal mode is therefore already part of the Tractatus’ (...) view, and its method for introducing syntactical concepts and principles should be entirely acceptable for Carnap by his own criteria. Moreover, despite the Tractatus’ rejection of syntactical statements, there is an important correspondence between Wittgenstein’s saying-showing distinction and Carnap’s object-language-syntax-language distinction: both constitute a distinction between logico-syntactical determinations concerning language and language as determined or described by those determinations. Wittgenstein’s distinction therefore constitutes a precursor of the object-language syntax-language distinction which the latter in a certain sense affirms, rather than simply contradicting it. The saying-showing distinction agrees with Carnap’s position also in marking logic as something that isn’t true/false about either language or reality, which is a conception that underlies Carnap’s principle of tolerance. (shrink)

Noniterative approaches to the sorites paradox accept single steps of soritical reasoning, but deny that these can be combined into valid chains of soritical reasoning. The distributed sorites is a puzzle designed to undermine noniterative approaches to the sorites paradox, by deriving an inconsistent conclusion using only single steps, but not chains, of soritical reasoning. This paper shows how a dialetheist version of the noniterative approach, the strict-tolerant approach, also solves the distributed sorites paradox, at no further cost, by accepting (...) the inconsistent conclusion. (shrink)

We defend hylomorphism against Maegan Fairchild’s purported proof of its inconsistency. We provide a deduction of a contradiction from SH+, which is the combination of “simple hylomorphism” and an innocuous premise. We show that the deduction, reminiscent of Russell’s Paradox, is proof-theoretically valid in classical higher-order logic and invokes an impredicatively defined property. We provide a proof that SH+ is nevertheless consistent in a free higher-order logic. It is shown that the unrestricted comprehension principle of property abstraction on (...) which the purported proof of inconsistency relies is analogous to naïve unrestricted set-theoretic comprehension. We conclude that logic imposes a restriction on property comprehension, a restriction that is satisfied by the ramified theory of types. By extension, our observations constitute defenses of theories that are structurally similar to SH+, such as the theory of singular propositions, against similar purported disproofs. (shrink)

The Motion-Time Paradox (V-T Paradox) argues that motion and time are inseparably intertwined, forming the backbone of our relatively objective reality, yet neither can be defined without the other, leading to an inescapable logical loop. This paper explores four cases motion defining time, time defining motion, their unity, and their separation all collapsing into contradiction. Motion, tied to materialism, and time, rooted in idealism, undermine both philosophies and dualism itself, as no alternative escapes the circular dependency or self-negation dubbed “ultimate (...) negation.” Facing 33 challenges from physics (e.g., relativity, quantum mechanics), philosophy (e.g., Kant, non-dual metaphysics), and mathematics, the paradox stands unyielding every rebuttal loops back or dissolves. Inexpressible yet irrefutable, V-T smashes foundational assumptions, urging a radical rethinking of reality beyond motion and time. If unanswerable, it questions whether all human knowledge rests on a mystery we’re blind to solve a haunting challenge to science and philosophy alike. (shrink)

This article challenges the prevailing interpretations of Hegel's account of the concept "contradiction" in the Science of Logic by arguing that it is concerned with the principle of Hegel's method rather than with the classical law of non-contradiction. I first consider Hegel's Doctrine of Essence in view of Kant's discussion of the concepts of reflection in the first Critique. On this basis, I examine Hegel's account of the logical principles based on the concepts "identity," "opposition," and "contradiction." Finally, I (...) point out how the principle Hegel derives from the concept of contradiction actually informs his own method. (shrink)

Beginning with the paradoxes of zombie twins, we present an argument that dualism is both true and false. We show that avoiding this contradiction is impossible. Our diagnosis is that consciousness itself engenders this contradiction by producing contradictory points of view. This result has a large effect on the realism/anti-realism debate, namely, it suggests that this debate is intractable, and furthermore, it explains why this debate is intractable. We close with some comments on what our results mean for metaphysics and (...) philosophy, in general. (shrink)

Many logic handbooks allude to the obvious connection between propositional logic and logic circuits. Truth functions in logic can be represented by logic circuits in which the high or low voltage levels of the circuits correspond to the true and false logic values, respectively. At the propositional logic level, the logical connectives of propositions can be simulated by logic circuits as follows: the true or false logical evaluation of atomic propositions corresponds to (...) the high or low level of the circuit input and the truth value of compound propositions corresponds to the circuit output state. A high circuit output signifies that the compound sentence is evaluated as true, whereas a low output indicates that the compound sentence is false. It is well known that in the world of logic circuits, the AND connective in logic corresponds to the AND gate, the OR connective to the OR gate and the negation operation to the inverter. The output of a circuit equivalent to contradiction is always low and that of a circuit corresponding to tautology is always high irrespective of the input state. The remaining compound formulas correspond to logic circuits with a high output level for some inputs and low output level for other inputs. However, what logical circuit can model a circular sentence? (shrink)

Heraclitus uses paradoxical language to present the relationship between opposites in his worldview. This mode of expression has generated much controversy. Some take the paradoxes as evidence of a contradictory identity of opposites (Barnes), while others propose a dynamic union through transformation without identity that avoids the contradiction (Graham). By examining B88 and B62, I seek to identify the stronger and weaker points of such readings. The contradictory identity reading thwarts the transformation between opposites. The dynamic reading offers a plausible (...) alternative. However, it skips a characterization of how Heraclitus conceives of the transformation between opposites in physical terms. To fill this gap, I consider Heraclitus’ use of what I call the anti-cognate internal object in B62. I argue that ‘living the death and dying the life’ is a case of change as mixture, a popular conception among the early Presocratics. Upon closer examination, the anti-cognate internal object suggests that real contradictions belong to Heraclitus conception of change. The details reveal a philosophically compelling view. (shrink)

We show how removing faith-based beliefs in current philosophies of classical and constructive mathematics admits formal, evidence-based, definitions of constructive mathematics; of a constructively well-defined logic of a formal mathematical language; and of a constructively well-defined model of such a language. -/- We argue that, from an evidence-based perspective, classical approaches which follow Hilbert's formal definitions of quantification can be labelled `theistic'; whilst constructive approaches based on Brouwer's philosophy of Intuitionism can be labelled `atheistic'. -/- We then adopt (...) what may be labelled a finitary, evidence-based, `agnostic' perspective and argue that Brouwerian atheism is merely a restricted perspective within the finitary agnostic perspective, whilst Hilbertian theism contradicts the finitary agnostic perspective. -/- We then consider the argument that Tarski's classic definitions permit an intelligence---whether human or mechanistic---to admit finitary, evidence-based, definitions of the satisfaction and truth of the atomic formulas of the first-order Peano Arithmetic PA over the domain N of the natural numbers in two, hitherto unsuspected and essentially different, ways. -/- We show that the two definitions correspond to two distinctly different---not necessarily evidence-based but complementary---assignments of satisfaction and truth to the compound formulas of PA over N. -/- We further show that the PA axioms are true over N, and that the PA rules of inference preserve truth over N, under both the complementary interpretations; and conclude some unsuspected constructive consequences of such complementarity for the foundations of mathematics, logic, philosophy, and the physical sciences. -/- . (shrink)

Sequel to Part I. In these articles, I describe Cantor’s power-class theorem, as well as a number of logical and philosophical paradoxes that stem from it, many of which were discovered or considered (implicitly or explicitly) in Bertrand Russell’s work. These include Russell’s paradox of the class of all classes not members of themselves, as well as others involving properties, propositions, descriptive senses, class-intensions and equivalence classes of coextensional properties. Part II addresses Russell’s own various attempts to solve these paradoxes, (...) including strategies that he considered and rejected (limitation of size, the zigzag theory, etc.), as well as his own final views whereupon many purported entities that, if reified, lead to these contradictions, must not be genuine entities, but ‘logical fictions’ or ‘logical constructions’ instead. (shrink)

[[[ (Here only the chapters 3 – 8, see *** ) First I argue that the prohibition of linguistic self-reference as a solution to the antinomy problem contains a pragmatic contradiction and is thus not only too restrictive, but just inconsistent (chap.1). Furthermore, the possibilities of non-restrictive strategies for antinomy avoidance are discussed, whereby the explicit inclusion of the – pragmatically presuposed – consistency requirement proves to be the optimal strategy (chap.2). ]]] The central question here is that about the (...) actual reason for antinomic structures. It turns out to be a form of negative self-conditioning (chap.3). This makes it necessary to clarify the status of negative concepts (chap.4). The generalization of these considerations (chap.5) leads to the actual analysis of the antinomic basic structure (chap.6): Decisively for the pragmatics of the concept is that it positively owns a meaning, so that positivity is always constituted by the concept qua concept. Thus a negative concept is characterized by a fundamental ambivalence: From a semantic point of view it has negative character, in its pragmatic status as a concept, however, it has positive character. If the meaning is especially that of a negative self-reference, the ambivalence leads to the antinomic constellation of a negative self-condition – that is the crux of the matter here! The concept thus possesses the property defined by it exactly when it does not possess it and vice versa. A closer analysis shows that the function of reflective structures for the occurrence of antinomies has to be judged much more differentiated than previous opinions suggest. Not only are four forms of reflectivity to be distinguished in this context – ontic, semantic, pragmatic reflectivity, and especially the form of negative self-condition; but it is also apparent that these are intertwined with each other in a way that is difficult to be understood. The astonishing variety of relationships associated with this makes the irritation that has always emanated from the antinomy problem appear more comprehensible. In the developed pragmatic perspective furtheron parallels to the structure of self-consciousness become visible (chap.7). I conclude with considerations about the significance of the antinomic structure for the problem of dialectics, especially for the synthesis formation of mutually exclusive terms (chap.8). (shrink)

The liar paradox is still an open philosophical problem. Most contemporary answers to the paradox target the logical principles underlying the reasoning from the liar sentence to the paradoxical conclusion that the liar sentence is both true and false. In contrast to these answers, Buddhist epistemology offers resources to devise a distinctively epistemological approach to the liar paradox. In this paper, I mobilise these resources and argue that the liar sentence is what Buddhist epistemologists call a contradiction with one’s own (...) words. I situate my argument in the works of Dignāga and Dharmakīrti and show how Buddhist epistemology answers the paradox. (shrink)

Fitch’s Paradox shows that if every truth is knowable, then every truth is known. Standard diagnoses identify the factivity/negative infallibility of the knowledge operator and Moorean contradictions as the root source of the result. This paper generalises Fitch’s result to show that such diagnoses are mistaken. In place of factivity/negative infallibility, the weaker assumption of any ‘level-bridging principle’ suffices. A consequence is that the result holds for some logics in which the “Moorean contradiction” commonly thought to underlie the result is (...) in fact consistent. This generalised result improves on the current understanding of Fitch’s result and widens the range of modalities of philosophical interest to which the result might be fruitfully applied. Along the way, we also consider a semantic explanation for Fitch’s result which answers a challenge raised by Kvanvig. (shrink)

The dissertation has two parts, each dealing with a problem, namely: 1) What is the most adequate account of fuzziness -the so-called phenomenon of vagueness?, and 2) what is the most plausible solution to the sorites, or heap paradox? I will try to show that fuzzy properties are those which are gradual, amenable to be possessed in a greater or smaller extent. Acknowledgement of degrees in the instantiation of a property allows for a gradual transition from one opposite to the (...) other, each intermediate stage constituting an overlap in certain proportion of both contraries. Hence, degrees in the possession of a property give rise to simple contradictions. The reason why I have chosen those two questions is that they provide the main philosophical motivation for a particular brand of an infinite valued and paraconsistent logic. I will claim that Classical logic (CL) is not adequate to handle fuzzy situations, and, being deficient, is in need of being expanded to make room for degrees of truth and weak contradictions. One can hardly deny the importance of the debate, since what is ultimately at stake is what the limits of truth, rationality, intelligibility and possibility are. The main disciplines within which the research moves are the philosophy of language, philosophy of logic, and ontology. (shrink)

From my ongoing "Metalogical Plato" project. The aim of the diagram is to make reasonably intuitive how the Socratic elenchos (the logic of refutation applied to candidate formulations of virtues or ruling knowledges) looks and works as a whole structure. This is my starting point in the project, in part because of its great familiarity and arguable claim to being the inauguration of western philosophy; getting this point less wrong would have broad and deep consequences, including for (...) class='Hi'>philosophy’s self-understanding. -/- (i.) is the first pass at elenchos in which the Socratic interlocutor does not reflect on knowledge being the crux of the problem. (ii.) is the second, rarer, reflective pass in which they are, making the investigation explicitly about knowledge. Its centrality in the Charmides makes that neglected dialogue of superlative importance. This structure is also the gateway through which the discussion/dialectic crosses into the Agathology (discussion of the form of the good) at Republic 505. -/- The problem of elenchos, then, grasped as a whole structure, is that it seems that knowledge can neither satisfactorily be included in nor excluded from its own scope. The development of the ti esti (“what is ---?”) question leads to the introduction of knowledge into its own scope (i. implicitly, as goodness contrasted with blind rule-following ii. explicitly qua knowledge) while the development of the dual peri tinos (“----about what?) question leads to K’s elimination from its own scope. The introductions are motivated to avoid contradiction, but produce regress; the eliminations are motivated to avoid regress, but produce contradiction. In scholarship, and in the history of philosophy, the ti esti question is universally recognized, to the point of being identified with philosophy’s origin and essence; the peri tinos question is neglected textually and never recognized as the equal dual to the ti esti. This, I claim, has blocked the development of a nontrivial logical appreciation of what Plato's Socrates is up to. (One rather disastrous effect of this neglect is taking Aristotle as the beginning of the development of logic, rather than, correctly, for the beginning of logic’s fatal separation from mathematics and dialectic.) -/- Further, because of this monopticism of the ti esti, the function of consistency in the elenchos has not been understood, even with respect to the ti esti. The ti esti is actually in search of completeness, given a norm of consistency; the peri tinos is in search of consistency, given a norm of completeness. Only appreciating the two questions as dual allows space in the structure to clarify these different orientations relative to consistency. (And, dually, to completeness, whose function in the elenchos is generally entirely missed by scholars and relegated to discussions of eros; it's not out of place there, of course, but its significance is secured here.) Recognizing the duality of the ti esti and peri tinos questions is thus the royal road, in the Socratic-Platonic context, to catching sight of what we post-Cantorians can recognize as the metalogical duality of consistency and completeness. (The salutary disruptive effects of this Plato-Cantor proximity have, of course, been traced in complementary ways by Badiou.) -/- Note that the diagram is supposed to provide a relatively accessible orientation, not to stand on its own, and certainly not to be the last word on any subject. An important qualification (telegraphed in the previous paragraph) is that what elenchos shows is not finally circular or paradoxical, though the problem first presents as such (stubbornly, obdurately, as "difficult" Plato's Socrates always says with characteristic understatement). What is depicted here is meant, at a first pass, to be the shape of that first presentation, the form of the problem of elenchos, rather than of its solution. It's not an accident that this problem strongly resembles "Russell's paradox" (not Russell's not a paradox.) Problem is to solution as RP is to the diagonal theorems. (shrink)

The article makes an analysis of a paraconsistent solution to the liar paradox, namely, Priest’s solution. Paraconsistent logics are characterized, in opposition to classical logic, as rejecting the Principle of Explosion, which says that “from a contradiction everything follows”. Priest, in turn, is a dialetheist, an interpretation of paraconsistency that admits the truth of contradictions. His answer to the liar paradox, therefore, accepts the liar sentence as being a truly paradoxical sentence using LP, the “Logic of Paradox. Then, (...) we propose some critiques of his position. Finally, we evaluate Priest’s solution to the paradox in comparison with Tarski and Kripke canonical solutions. (shrink)

Several Indian religious traditions associated with Vedānta offer conflicting descriptions of ultimate reality, Brahman. A prominent example is found in the Bhedābheda Vedānta tradition, which posits that Brahman is both different (bheda) and non-different (abheda) from the world and individual selves. At first glance, this seems like a contradictory statement. However, most Bhedābheda Vedānta thinkers attempt to reconcile the contradiction, asserting, for example, that Brahman is different from the world and individual selves in one sense, yet non-different in another, distinct (...) sense of “difference.” A notable exception seems to be Jīva Gosvāmī (16th Century), a leading theologian of the Caitanya (15th-16th Century) Vaiṣṇava school. According to a widely accepted interpretation, Jīva accepts the contradiction directly, adding that it is inconceivable (acintya). He coined the term that names his school: Acintya Bhedābheda. Despite textual evidence supporting this view, other evidence from Jīva’s writings and subsequent commentaries suggests his theology might be reconstructed using the more traditional contradiction-avoiding approach. This raises some interesting theological issues. The purpose of this paper is to offer an integrated interpretation of Jīva’s Bhedābheda Vedānta, one that synthesizes both interpretations while staying true to the key elements of his ontology. This will be based on a version of Graham Priest’s Logic of Paradox (LP), which I refer to as (a) Logic of Partial Truth (LPT). The result is a paraconsistent and glut-theoretic approach to Jīva’s Bhedābheda Vedānta theology. (shrink)

There is a widespread view that Buddhist philosophy embodies logical contradictions such that there would be 'true' contradictions, This article explains that this is not the case and that Buddhist philosophy, more generally the Perennial philosophy, denies all contradictions for the sake of a doctrine of Unity.

Husserl’s theory of fulfilment conceives of empty acts, such as symbolic thought, and fulfilling acts, such as sensory perceptions, in a strict parallel. This parallelism is the basis for Husserl’s semantics, epistemology, and conception of truth. It also entails that any true proposition can be known in principle, which Church and Fitch have shown to explode into the claim that every proposition is _actually_ known. I assess this logical challenge and discuss a recent response by James Kinkaid. While Kinkaid’s proposal (...) saves one direction of the parallel for semantics, it gives up the parallelism for truth. I spell out a different response which meshes naturally with Husserl’s account of meaning. If the parallelism is restricted to a class of basic propositions, the truth of non-basic propositions can be defined inductively, without leading to the paradox. I then discuss objections that have been raised against a similar proposal by Dummett. The result is that exegetically plausible and popular interpretations of Husserl’s correlationism are indeed challenged by Church and Fitch. But when taking into account the ‘logical adumbration’ of propositional blindspots, truth and possible fulfilment can be connected without paradox. (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)

Chinese Chan or Zen Buddhism is renowned for its improvisational, atypical, and perplexing use of words. In particular, the tradition’s encounter dialogues, which took place between Chan masters and their interlocutors, abound in puzzling, astonishing, and paradoxical ways of speaking. In this chapter, we are concerned with Chan’s use of paradoxical language. In philosophical parlance, a linguistic paradox comprises the confluence of opposite or incongruent concepts in a way that runs counter to our common sense and ordinary rational thinking. One (...) naturally wonders about Chan masters’ rationales for their use of paradox. There are also concerns about whether the use violates the logical principle of noncontradiction to the effect that nothing can be both P and not-P all over in the same way at the same time. Chan became a viable Chinese Buddhist tradition during the Tang dynasty (618−907) and continued to develop for several centuries. The tradition had produced a huge literature; consequently, our investigation of its use of paradox cannot but be limited and selective. In the second section, I first sketch key ideas of Chan that are pertinent to our investigation and then examine the use of paradox in the sermons associated with certain Tang masters of the southern Chan. In the third section, I analyze the presence of paradoxical language in post-Tang encounter dialogues. The fourth section concludes. (shrink)

Graham Priest's book In Contradiction is a bold defense of the existence of true contradictions. Although Priest's case is impressive, and many of his arguments are correct, his approach is not the only one allowing for true contradictions. As against Priest's, there is at least one contradictorialist approach which establishes a link between true contradictions and degrees of truth. All in all, such an alternative is more conservative, closer to mainstream analytical philosophy. The two approaches differ as regards the (...) floodgate problem. Priest espouses a confinement policy banning contradictions except in a few special domains, particularly those of pure semantics and set-theory , whereas the alternative approach admits two negations -- natural or weak negation and strong negation, the latter being classical; accordingly, the alternative approach prohibits any contradiction involving strong negation, thus providing a syntactic test of what contradictions have to be rejected. (shrink)

Gödel's Philosophical Legacy Kurt Gödel's contributions to philosophy extend beyond his incompleteness theorems. He engaged deeply with the work of other philosophers, including Immanuel Kant and Edmund Husserl, and explored topics such as the nature of time, the structure of the universe, and the relationship between mathematics and reality. Gödel's philosophical writings, though less well-known than his mathematical work, offer rich insights into his views on the nature of existence, the limits of human knowledge, and the interplay between the (...) finite and the infinite. His work continues to inspire and challenge philosophers, mathematicians, and scientists, inviting them to explore the profound and often enigmatic questions at the heart of human understanding. -/- Kurt Gödel's Broader Contributions to Philosophy Kurt Gödel, while primarily known for his monumental incompleteness theorems, made significant contributions that extended beyond the realm of mathematical logic. His philosophical pursuits deeply engaged with the works of eminent philosophers like Immanuel Kant and Edmund Husserl. Gödel's explorations into the nature of time, the structure of the universe, and the relationship between mathematics and reality reveal a profound and multifaceted intellectual legacy. -/- Engagement with Immanuel Kant Gödel held a deep interest in the philosophy of Immanuel Kant. He admired Kant's critical philosophy, particularly the distinction between the noumenal and phenomenal worlds. Kant posited that human experience is shaped by the mind’s inherent structures, leading to the conclusion that certain aspects of reality (the noumenal world) are fundamentally unknowable. Gödel’s incompleteness theorems echoed this Kantian theme, illustrating the limits of formal systems in capturing the totality of mathematical truth. Gödel believed that mathematical truths exis t independently of human thought, akin to Kant's noumenal realm. This philosophical alignment provided a robust foundation for Gödel's Platonism, which asserted the existence of mathematical objects as real, albeit abstract, entities. -/- Influence of Edmund Husserl Gödel was also profoundly influenced by Edmund Husserl, the founder of phenomenology. Husserl's phenomenology emphasizes the direct investigation and description of phenomena as consciously experienced, without preconceived theories about their causal explanation. Gödel saw Husserl's work as a pathway to bridge the gap between the abstract world of mathematics and concrete human experience. Husserl's ideas about the structures of consciousness and the intentionality of thought resonated with Gödel's views on mathematical intuition. Gödel believed that human minds could access mathematical truths through intuition, a concept that draws on Husserlian phenomenological methods. -/- The Nature of Time and the Universe Gödel's philosophical inquiries extended to the nature of time and the structure of the universe. His collaboration with Albert Einstein at the Institute for Advanced Study led to the development of the "Gödel metric" in 1949. This solution to Einstein's field equations of general relativity described a rotating universe where time travel to the past was theoretically possible. Gödel's model challenged conventional notions of time and causality, suggesting that the universe might have a more intricate structure than previously thought. Gödel's exploration of time was not just a mathematical curiosity but a profound philosophical statement about the nature of reality. He questioned whether time was an objective feature of the universe or a construct of human consciousness. His work hinted at a timeless realm of mathematical truths, aligning with his Platonist view. -/- Mathematics and Reality Gödel's philosophical outlook extended to the broader relationship between mathematics and reality. He believed that mathematics provided a more profound insight into the nature of reality than empirical science. For Gödel, mathematical truths were timeless and unchangeable, existing independently of human cognition. This perspective led Gödel to critique the materialist and mechanistic views that dominated 20th-century science and philosophy. He argued that a purely physicalist interpretation of the universe failed to account for the existence of abstract mathematical objects and the human capacity to understand them. Gödel's philosophy suggested a more integrated view of reality, where both physical and abstract realms coexist and inform each other. -/- Gödel's Exploration of Time Kurt Gödel, one of the most profound logicians of the 20th century, ventured beyond the confines of mathematical logic to explore the nature of time. His inquiries into the concept of time were not merely theoretical musings but were grounded in rigorous mathematical formulations. Gödel's exploration of time challenged conventional views and opened new avenues of thought in both physics and philosophy. -/- Gödel and Einstein Gödel’s interest in the nature of time was significantly influenced by his friendship with Albert Einstein. Both were faculty members at the Institute for Advanced Study in Princeton, where they engaged in deep discussions about the nature of reality, time, and space. Gödel's exploration of time culminated in his solution to Einstein's field equations of general relativity, known as the Gödel metric. -/- The Gödel Metric In 1949, Gödel presented a model of a rotating universe, which became known as the Gödel metric. This solution to the equations of general relativity depicted a universe where time travel to the past was theoretically possible. Gödel’s rotating universe contained closed timelike curves (CTCs), paths in spacetime that loop back on themselves, allowing for the possibility of traveling back in time. The Gödel metric posed a significant philosophical challenge to the conventional understanding of time. If time travel were possible, it would imply that time is not linear and absolute, as commonly perceived, but rather malleable and subject to the geometry of spacetime. This raised profound questions about causality, the nature of temporal succession, and the very structure of reality. -/- Philosophical Implications Gödel’s exploration of time extended beyond the mathematical implications to broader philosophical inquiries: Nature of Time: Gödel questioned whether time was an objective feature of the universe or a construct of human consciousness. His work suggested that our understanding of time as a linear progression from past to present to future might be an illusion, shaped by the limitations of human perception. -/- Causality and Free Will: The existence of closed timelike curves in Gödel’s model raised questions about causality and free will. If one could travel back in time, it would imply that future events could influence the past, potentially leading to paradoxes and challenging the notion of a deterministic universe. -/- Temporal Ontology: Gödel's work contributed to debates in temporal ontology, particularly the debate between presentism (the view that only the present exists) and eternalism (the view that past, present, and future all equally exist). Gödel’s rotating universe model seemed to support eternalism, suggesting a block universe where all points in time are equally real. Philosophy of Science: Gödel’s exploration of time had implications for the philosophy of science, particularly in the context of understanding the limits of scientific theories. His work underscored the importance of considering philosophical questions when developing scientific theories, as they shape our fundamental understanding of concepts like time and space. -/- Legacy Gödel’s exploration of time remains a significant and controversial contribution to both physics and philosophy. His work challenged established notions and encouraged deeper inquiries into the nature of reality. Gödel’s rotating universe model continues to be a topic of interest in theoretical physics and cosmology, inspiring new research into the nature of time and the possibility of time travel. In philosophy, Gödel’s inquiries into time have prompted ongoing debates about the nature of temporal reality, the relationship between mathematics and physical phenomena, and the limits of human understanding. His work exemplifies the intersection of mathematical rigor and philosophical inquiry, demonstrating the profound insights that can emerge from such an interdisciplinary approach. The Temporal Ontology of Kurt Gödel Kurt Gödel's profound contributions to mathematics and logic extend into the realm of temporal ontology—the philosophical study of the nature of time and its properties. Gödel's insights challenge conventional perceptions of time and suggest a more intricate, layered understanding of temporal reality. This essay explores Gödel's contributions to temporal ontology, particularly through his engagement with relativity and his philosophical reflections. -/- Gödel's Rotating Universe One of Gödel’s most notable contributions to temporal ontology comes from his work in cosmology, specifically his solution to Einstein’s field equations of general relativity, known as the Gödel metric. Introduced in 1949, the Gödel metric describes a rotating universe with closed timelike curves (CTCs). These curves imply that, in such a universe, time travel to the past is theoretically possible, presenting a significant challenge to conventional views of linear, unidirectional time. -/- Implica tions for Temporal Ontology Gödel's rotating universe model has profound implications for our understanding of time: Eternalism vs. Presentism: Gödel’s model supports the philosophical stance known as eternalism, which posits that past, present, and future events are equally real. In contrast to presentism, which holds that only the present moment exists, eternalism suggests a "block universe" where time is another dimension like space. Gödel’s rotating universe, with its CTCs, reinforces this view by demonstrating that all points in time could, in principle, be interconnected in a consistent manner. Non-linearity of Time: The possibility of closed timelike curves challenges the idea of time as a linear sequence of events. In Gödel’s universe, time is not merely a straight path from past to future but can loop back on itself, allowing for complex interactions between different temporal moments. This non-linearity has implications for our understanding of causality and the nature of temporal succession. Objective vs. Subjective Time: Gödel’s work invites reflection on the distinction between objective time (the time that exists independently of human perception) and subjective time (the time as experienced by individuals). His model suggests that our subjective experience of a linear flow of time may not correspond to the objective structure of the universe. This raises questions about the relationship between human consciousness and the underlying temporal reality. -/- Gödel and Philosophical Reflections on Time Gödel’s engagement with temporal ontology was not limited to his cosmological work. He also reflected deeply on philosophical questions about the nature of time and reality, drawing on the ideas of other philosophers and integrating them into his own thinking. Kantian Influences: Gödel was influenced by Immanuel Kant’s distinction between the noumenal world (things as they are in themselves) and the phenomenal world (things as they appear to human observers). Gödel’s views on time echoed this distinction, suggesting that our perception of time might be a phenomenon shaped by the limitations of human cognition, while the true nature of time (the noumenal aspect) might be far more complex and non-linear. Husserlian Phenomenology: Gödel’s interest in Edmund Husserl’s phenomenology also informed his views on time. Husserl’s emphasis on the structures of consciousness and the intentionality of thought resonated with Gödel’s belief in the importance of intuition in accessing mathematical truths. Gödel’s reflections on time incorporated a phenomenological perspective, considering how temporal experience is structured by human consciousness. Mathematical Platonism: Gödel’s Platonist views extended to his understanding of time. Just as he believed in the independent existence of mathematical objects, Gödel saw time as an objective entity with a structure that transcends human perception. His work on the Gödel metric can be seen as an attempt to uncover this objective structure, revealing the deeper realities that underlie our experience of time. (shrink)

The philosophy of superdeterminism is based on a single scientific fact about the universe, namely that cause and effect in physics are not real. Time dilation is a phenomenon in physics, specifically in Einstein's theory of relativity, where time passes at different rates for observers who are in relative motion or who are in different gravitational fields. Experimental evidence verifies that time dilation can affect radioactive decay rates. Individual radioactive decay events being inherently random are fundamentally uncaused meaning lacking (...) a deterministic prior trigger. If one counted the decay events in two equally weighted blocks of the same radioactive elements that were isotopically similar, where one block remains stationary and the other is sent out at high speed in a rocket ship, over time the number of decay events for the stationary block would significantly exceed the number of decay events for the moving block due to time dilation. The effect of the two radioactive blocks possessing different numbers of decay events is not the result of any physical causal interaction. The presence of probabilistic events within a moment of time (like radioactive decay) creates a logical contradiction, if the present moment is solely responsible for causing the next moment in a deterministic way. Within the framework of a predetermined static block universe, the contradiction dissolves because the future is already determined and the relationship between temporal slices is not one of cause and effect in the sense of observable physical interactions. (shrink)

The Art of Logic by Avi Sion is a collection of recent essays on various topics in logic theory and in applied logic. The same faculty and art of logic is called for in formulating theoretical logic and in applying its findings to diverse fields. The essays here collected deal with some very important issues in logic, philosophy, and spirituality, which he had not previously treated in as much detail if at all.

Axel Honneth reconstructs Hegel’s social and political philosophy on the basis of the concept of recognition. For Honneth, recognition is a constitutive relation between individuals that is in principle symmetrical. By conceiving recognition through symmetry, Honneth effectively bans the inclusion of power within recognitive relation. He thus regards the relations of power as cases of non-recognition or misrecognition. In this paper, I develop an alternative theory of the constitutive relation between individuals for Hegel, one that is based on the (...) asymmetrical relation of power. To this aim, I focus on the chapter of “determinations of reflection” in the Science of Logic. Through a close analysis of Hegel’s Logic, I argue that the most fundamental form of relation between individuals is the relation of opposition, that individuals are solely constituted in and through the relation of opposition, and that the relation of opposition is essentially asymmetrical. Together, these claims establish... (shrink)

Dorothy Edgington’s work has been at the centre of a range of ongoing debates in philosophical logic, philosophy of mind and language, metaphysics, and epistemology. This work has focused, although by no means exclusively, on the overlapping areas of conditionals, probability, and paradox. In what follows, I briefly sketch some themes from these three areas relevant to Dorothy’s work, highlighting how some of Dorothy’s work and some of the contributions of this volume fit in to these debates.

“Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning - 40 years of CLE” is being organized by the Centre for Logic, Epistemology and the History of Science at the State University of Campinas (CLEUnicamp) from September 12th to 15th, 2016, with the auspices of the Brazilian Logic Society, Studia Logica and the Polish Academy of Sciences. The conference is intended to celebrate the 40th anniversary of CLE, and is centered around the areas of logic, epistemology, (...) philosophy and history of science, while bringing together scholars in the fields of philosophy, logic, mathematics, computer science and other disciplines who have contributed significantly to what Studia Logica is today and to what CLE has achieved in its four decades of existence. It intends to celebrate CLE’s strong influence in Brazil and Latin America and the tradition of investigating formal methods inspired by, and devoted to, philosophical views, as well as philosophical problems approached by means of formal methods. The title of the event commemorates one of the three main areas of CLE, what has been called the “Brazilian school of paraconsistency”, combining such a pluralist view about logic and reasoning. (shrink)

The sentences ‘p but I don’t believe p’ (omissive form) and ‘p but I believe that not-p’ (comissive form) are typical examples of Moore’s paradox. When an agent (sincerely) asserts such sentences under normal circumstances, we consider his statements absurd. The Simple Solution (Moore, Heal, Wolgast, Kriegel, et al.) finds the source of absurdity for such statements in a certain formal contradiction (some kind of like ‘p & not-p’), the presence of which is lexically disguised. This solution is facing criticism (...) since it is obvious that the denial of the contradiction allegedly hidden in Moore’s paradox will not become an expression of tautology for us. Hintikka offers another solution to Moore’s paradox. In his view, the source of absurdity is the practical inconceivability of the situation, in which the agent would be able to hold mutually incompatible (inconsistent) beliefs. The sentences ‘p but I don’t believe that p’ and ‘p but I believe that not-p’ sound absurd because they express high-ordered beliefs that no rational agent can hold. A belief expressed in the sentence ‘he believes that p’, in order to be available to the agent, must be compatible with the truth of everything the agent believes. The problem with Hintikka’s solution is that it relies on an epistemic principle that does not correspond to our general intuitions about the notion of belief. According to this principle, there must be a close connection between the sentence ‘p but I don’t believe that p’ and the sentence ‘I believe that is the case is that p but I don’t believe that p’. However, it is not difficult to imagine the context for situations when the agent asserts the sentence ‘p but I don’t believe that p’ when s/he believes that p, but in parallel does not hold any high-ordered belief about his/her belief in p. For example, the agent does not recognize oneself in a photograph after a hard plastic surgery, and when one asks him ‘who is this?’ it would not be absurd for him/her to accept the following description of his/her beliefs ‘I believe that {I am me} but I don’t believe that I believe that {I am me}’. Wittgenstein provides an alternative solution based on a descriptive analysis of the grammar of verbs we use to express, attribute, and understand each other’s psychological states. In his view, the everyday practice of using the verb ‘believe’ demonstrates a characteristic asymmetry in the semantic and logical properties of the usage of this verb in the first person. The expression ‘I believe falsely’ has no real meaning since no one can meaningfully say the sentence ‘Now I believe falsely that p’ on their own behalf. Therefore, the genuine source of absurdity is associated with situations of self-attribution of false belief by the agent. Despite its originality, Wittgenstein’s solution faces objections. For example, in a certain context, it would not be absurd to assert the sentence ‘There are no beliefs, but I don’t believe in it’, unlike the sentence ‘There are no beliefs and I believe that it is so’. The solution proposed by Wittgenstein does not allow us to correct the situation since one could assert quite reasonably and without any absurdity a sentence like ‘In fact, there are no beliefs and now I falsely believe that it is so’. Based on Evans’ principle of epistemic transparency, some researchers (Atlas, Chan, Kwon, et al.) offer another strategy for solving Moore’s paradox, in which peculiar attention is paid to the dependence of understanding and evaluating the meaning of the sentences ‘p but I do not believe that p’ and ‘p but I believe that not-p’ from the immediate context of their usage. The source of absurdity should be looked for in the established practice of the self-referential use of the pronoun ‘I’. In the researchers’ view, Moore’s paradox arises only in the context of situations where the agent asserting such sentences is conscious speaking about oneself. Therefore, there is an obvious structural analogy between the sentences of the Liar family (‘This very sentence is false’, ‘Now I am lying’, etc.) and Moore’s paradox (‘p but I don’t believe that p’, ‘p but I believe that not-p’) – self-reference is constitutive for both families of paradoxical statements. (shrink)

CORCORAN RECOMMENDS COCCHIARELLA ON TYPE THEORY. The 1983 review in Mathematical Reviews 83e:03005 of: Cocchiarella, Nino “The development of the theory of logical types and the notion of a logical subject in Russell's early philosophy: Bertrand Russell's early philosophy, Part I”. Synthese 45 (1980), no. 1, 71-115 .

The starting point of this paper concerns the apparent difference between what we might call absolute truth and truth in a model, following Donald Davidson. The notion of absolute truth is the one familiar from Tarski’s T-schema: ‘Snow is white’ is true if and only if snow is white. Instead of being a property of sentences as absolute truth appears to be, truth in a model, that is relative truth, is evaluated in terms of the relation between sentences and models. (...) I wish to examine the apparent dual nature of logical truth (without dwelling on Davidson), and suggest that we are dealing with a distinction between a metaphysical and a linguistic interpretation of truth. I take my cue from John Etchemendy, who suggests that absolute truth could be considered as being equivalent to truth in the ‘right model’, i.e., the model that corresponds with the world. However, the notion of ‘model’ is not entirely appropriate here as it is closely associated with relative truth. Instead, I propose that the metaphysical interpretation of truth may be illustrated in modal terms, by metaphysical modality in particular. One of the tasks that I will undertake in this paper is to develop this modal interpretation, partly building on my previous work on the metaphysical interpretation of the law of non-contradiction (Tahko 2009). After an explication of the metaphysical interpretation of logical truth, a brief study of how this interpretation connects with some recent important themes in philosophical logic follows. In particular, I discuss logical pluralism and propose an understanding of pluralism from the point of view of the metaphysical interpretation. (shrink)

This is a review article based on William Franke's book, A Philosophy of the Unsayable. After contrasting standard "analytic" logic with its paradoxical alternative, "synthetic" logic, this article introduces three basic laws of synthetic logic that can help to clarify how it is possible to talk about the so-called "unsayable". Keeping these laws in mind as one reads a book such as Franke's enables one to understand the range of strategies one can employ in the attempt (...) to use words to evoke an experience of the unsayable. This article together with several others responding to Franke's book, and Franke's replies to the whole set of articles. (shrink)

A - "All ravens are black." B - "All non-black things are non-ravens." C - "All the elements of the set of ravens are elements of the set of black ravens." D - "All the elements of the set of the things that are not black ravens are elements of the set of the things that are not ravens." -/- The propositions A, B, C, D are logically equivalent: if one proposition is true, the other three propositions are also true; (...) if one proposition is false, the other three propositions are also false. -/- The generalizations A and C have the same instances: a black raven is an instance of A and is an instance of C. -/- The generalizations B and D have some instances in common: a non-black object that is a non-raven is an instance of B and is an instance of D; in addition, the generalization D also has as its instances black objects that are non-ravens (for example, a black shoe is an instance of D but is not an instance of B). -/- E - "All ravens are non-black." F - "All black things are non-ravens." G - "All the elements of the set of ravens are elements of the set of the things that are not black ravens". H - "All the elements of the set of black ravens are elements of the set of the things that are not ravens." -/- The generalizations E and G have the same instances: a non-black raven is an instance of E and is an instance of G. -/- By contrast, the generalizations F and H do not have the same instances: a black thing that is a non-raven is an instance of F; by contrast, H is a generalization that cannot have instances because a black raven that is a non-raven is a contradiction in terms. -/- To summarize: A and C have the same instances; B and D have some instances in common; E and G have the same instances; by contrast, F and H do not have instances in common because H has no instances, H cannot have instances. -/- A tautology is a proposition whose negation is always false. A tautology is a proposition that is true in all possible circumstances due to its logical structure. To contradict a tautology would mean asserting a proposition that is false in every conceivable scenario, since it denies something that is always true. "All ravens are ravens" is a tautology, and "All ravens are not ravens" contradicts a tautology and is therefore a necessary falsehood. Similarly, "All unicorns are unicorns" is a tautology, it doesn't matter if there are not unicorns; and "All unicorns are not unicorns" is a necessary falsehood, it doesn't matter if there are no unicorns. Similarly, "All black ravens are black ravens" is a tautology, regardless of whether there are no black ravens; and "All black ravens are not black ravens" is a necessary falsehood, regardless of whether there are no black ravens. The proposition "All the elements of the set of black ravens are elements of the set of the things that are ravens" is a tautology (a black raven is, by definition, a raven) and the proposition H "All the elements of the set of black ravens are elements of the set of the things that are not ravens" is a necessary falsehood because contradicts a tautology; H is a proposition that inherently contradicts itself; there is not a possibile world in which a black raven is not a raven. If something is a "black raven", then it is, by definition, a raven. To claim that all "black ravens" are "not ravens" create a logical impossibility because it denies the very essence of what the term "raven" represents. Since a statement that inherently contradicts itself can never be true in any circumstance, it qualifies as a necessary falsehood. The proposition H contradicts a tautology and therefore is a necessary falsehood: something cannot be simultaneously a "black raven" and "not a raven". For example, the generalization "All unicorns are black" can, in theory, have instances: a black unicorn is an instance of the generalization "All unicorns are black"; by contrast, the generalization H cannot have instances because a black raven that is not a raven is a self-contradictory concept, something cannot simultaneously be a "black raven" and "not a raven". -/- Thus, even though the proposition H is the contrapositive of the proposition G, H and G are not logically equivalent propositions: G is a contingent proposition, H is a necessary falsehood. -/- . (shrink)

Some philosophers argue that a theory of logical validity should not interpret its own language, because a Russellian argument shows that self-applicability is inconsistent with the ability to capture all the interpretations of its own language. First, I set up a formal system to examine the Russellian argument. I then defend the need for self-applicability. I argue that self-applicability seems to be implied by generality, and that the Russellian argument rests on a test for meaning that is biased against self-applicability. (...) I propose an alternative test which is unproblematic for self-applicability. I conclude that self-applicability can be vindicated and the Russellian argument can be resisted. (shrink)