One of the Bell's assumptions in the original derivation of his inequalities was the hypothesis of locality, i.e., the absence of the in uence of two remote measuring instruments on one another. That is why violations of these inequalities observed in experiments are often interpreted as a manifestation of the nonlocal nature of quantum mechanics, or a refutation of a local realism. It is well known that the Bell's inequality was derived in its traditional form, without resorting to the hypothesis (...) of locality and without the introduction of hidden variables, the only assumption being that the probability distributions are nonnegative. This can therefore be regarded as a rigorous proof that the hypothesis of locality and the hypothesis of existence of the hidden variables not relevant to violations of Bell's inequalities. The physical meaning of the obtained results is examined. Physical nature of the violation of the Bell inequalities is explained under new EPR-B nonlocality postulate.We show that the correlations of the observables involved in the Bohm{Bell type experiments can be expressed as correlations of classical random variables. The revisited Bell type inequality in canonical notatons reads <AB>+<A′B>+<AB′>-<A′B′>≤6. (shrink)

This book is devoted to the presentation of the new quantum mechanical formalism based on the probability representation of quantum states. In the 20s and 30s it became evident that some properties in quantum mechanics can be assigned only to the quantum mechanical system, but not necessarily to its constituents. This led Einstein, Podolsky and Rosen (EPR) to their remarkable 1935 paper where they concluded that quantum mechanics is not a complete theory of nature (EPR paradox). In order to (...) avoid the contradiction which arises from instantaneous action at a distance mentioned above we introduce an extension of the canonical relativity by using measure algebra of physical events in Minkowski space-time. The canonical QM formalism is extended by additional new postulate of EPRB nonlocality for continuous and discrete observables, chapter I. The postulate of EPRB nonlocality is supported by new quantum mechanical formalism based on the probability representation of quantum states. Chapter II is devoted to the new quantum mechanical formalism based on the probability representation of quantum states. Chapter III is devoted to the Einstein's 1927 gedanken experiment resolution. Chapter IV is devoted to the EPR paradox resolution. Chapter V is devoted to the EPR-B paradox resolution. Chapter VI is devoted to the Schrödinger's cat (measured spin) paradox resolution. Chapter VII is devoted to the Bell inequalities revisited. Remind that the canonical arguments which were presented by many authors, namely, that violations of Bell type inequalities signal us that the classical Kolmogorovian model of probability is inapplicable to quantum phenomena. We claimed that the canonical assumption, under which Bell type inequalities were derived, is not supported by real physical nature of the EPRB experiments. The fundamental physical nature violations of the canonical Bell type inequalities explained by Postulate of EPR-Nonlocality and Heisenberg noise-disturbance uncertainty relations. (shrink)

After identifying in Part I [1] a conceptual confusion (TCC), a Reality preconception (TRP1), and a fallacious dichotomy (TFD), the famous EPR/EPRB [2] [3] [4] [5] [6] argument for correlated ‘particles’ is now studied in the light of the Ontic Probability Interpretation of Quantum Theory (QT/TOPI). Another Reality preconception (TRP2) is found, showing that EPR used and ignored QT predictions in a single paralogism. Employing TFD and TRP2, EPR unveiled a contradiction veiled in its premises. By removing nonlocality from QT’s (...) Ontology [1] by fiat, EPR preordained its incompleteness. The Petitio Principii fallacy was at work from the outset. Einstein surmised the proper solution to his incompleteness/nonlocality dilemma in 1949 [7], but never abandoned his philosophical stance [8]. It is concluded that there are no definitions of Reality: we have to accept that Reality may not conform to our prejudices and, if an otherwise successful theory predicts what we do not believe in, no gedankenexperiment will help because our biases may slither through. Only actual experiments could assist in solving Einstein’s dilemma, as has been proven in the last 50 years. Notwithstanding, EPR is one of the most influential papers in history and has immensely sparked both conceptual and technological progress. Part III of this series further develops QT/TOPI, while scrutinizing the mythical ‘Schrödinger’s Cat’, as well as the ‘Basis’ and ‘Measurement’ pseudo-problems [9]. Part IV introduces QR/TOPI: a new theory that solves the century-old problem of integrating Special Relativity with Quantum Theory [10]. (shrink)

I point out a sign mistake in the GHZ variant of Bell's theorem, invalidating the GHZ's claim that the premisses of the EPR argument are inconsistent for systems of more than two particles in entangled quantum states.

Ignited by Einstein and Bohr a century ago, the philosophical struggle about Reality is yet unfinished, with no signs of a swift resolution. Despite vast technological progress fueled by the iconic Einstein/Podolsky/Rosen paper (EPR) [1] [2] [3], the intricate link between ontic and epistemic aspects of Quantum Theory (QT) has greatly hindered our grip on Reality and further progress in physical theory. Fallacies concealed by tortuous logical negations made EPR comprehension much harder than it could have been had Einstein written (...) it himself in German. EPR is plagued with preconceptions about what a physical property is, the 'Uncertainty Principle', and the Principle of Locality. Numerous interpretations of QT vis à vis Reality exist and are keenly disputed [4] [5] [6] [7] [8] [9] [10] [11]. This is the first of a series of articles arguing for a novel physical interpretation I call ‘The Ontic Probability Interpretation’ (TOPI). A gradual explanation of TOPI is given intertwined with a meticulous logico-philosophical scrutiny of EPR, with Part I focusing on the meaning of Einstein’s ‘incompleteness’ claim for QT: a conceptual confusion, a preconception about Reality, and a flawed dichotomy are shown to be severe obstacles for the EPR argument to succeed. Part II completes the analysis, proving EPR claim of ‘incompleteness’ for QT is fallacious [12]. Part III further develops TOPI, while scrutinizing the mythical ‘Schrödinger’s Cat’, as well as the ‘Basis’ and ‘Measurement’ pseudo-problems [13]. Part IV introduces QR/TOPI: a new theory that solves the century-old problem of integrating Special Relativity with Quantum Theory [14]. (shrink)

We present an axiomatization of non-relativistic Quantum Mechanics for a system with an arbitrary number of components. The interpretation of our system of axioms is realistic and objective. The EPR paradox and its relation with realism is discussed in this framework. It is shown that there is no contradiction between realism and recent experimental results.

Physical systems can store information and their informational properties are governed by the laws of information. In particular, the amount of information that a physical system can convey is limited by the number of its degrees of freedom and their distinguishable states. Here we explore the properties of the physical systems with absolutely one degree of freedom. The central point in these systems is the tight limitation on their information capacity. Discussing the implications of this limitation we demonstrate that such (...) systems exhibit a number of features, such as randomness, no-cloning, and non-commutativity, which are peculiarities attributed to quantum mechanics (QM). After demonstrating many astonishing parallels to quantum behavior, we postulate an interpretation of quantum physics as the physics of systems with a single degree of freedom. We then show how a number of other quantum conundrum can be understood by considering the informational properties of the systems and also resolve the EPR paradox. In the present work, we assume that the formalism of the QM is correct and well-supported by experimental verification and concentrate on the interpretational aspects of the theory. (shrink)

Two physical "paradoxes" (the paradox of twins in special relativity and that of Einstein, Podolsky, and Rosen in quantum mechanics) are considered philosophically from a common viwepoint. Its essence is the unification of "measurement" and "motion". an idea for the generalization of the concept of reference fram is suggested.

TABLE OF CONTENTS: Introduction; de Broglie's paradox.; Quantum theory of distant particles; The EPR paradox; Einstein locality and Bell's inequality; Recent research on Bell's inequality; General consequences of Einstein locality; Nonloeality and relativity; Time-symmetric theories; The Bohm-Aharonov hypothesis; Experiments on Einstein locality; Reduction of the wave packet; Measurements, reality and consciousness; Conclusions.

In 1935, Einstein, Podolsky and Rosen (EPR) originated the famous “EPR paradox” [1]. This argument concerns two spatially separated particles which have both perfectly correlated positions and momenta, as is predicted possible by quantum mechanics. The EPR paper spurred investigations into the nonlocality of quantum mechanics, leading to a direct challenge of the philosophies taken for granted by most physicists.The EPR conclusion was based on the assumption of local realism, and thus the EPR argument pinpoints a contradiction between local (...) realism and the completeness of quantum mechanics. Einstein’s 1927 gedanken experiment by using the probability representation of quantum states explained successfully. (shrink)

We review our approach to quantum mechanics adding also some new interesting results. We start by giving proof of two important theorems on the existence of the A(Si) and i,±1 N Clifford algebras. This last algebra gives proof of the von Neumann basic postulates on the quantum measurement explaining thus in an algebraic manner the wave function collapse postulated in standard quantum theory. In this manner we reach the objective to expose a self-consistent version of quantum mechanics. In detail we (...) realize a bare bone skeleton of quantum mechanics recovering all the basic foundations of this theory on an algebraic framework. We give proof of the quantum like Heisenberg uncertainty relations using only the basic support of the Clifford algebra. In addition we demonstrate the well known phenomenon of quantum Mach Zender interference using the same algebraic framework, as well as we give algebraic proof of quantum collapse in some cases of physical interest by direct application of the theorem that we derive to elaborate the i,±1 N algebra. We also discuss the problem of time evolution of quantum systems as well as the changes in space location, in momentum and the linked invariance principles. We are also able to re-derive the basic wave function of standard quantum mechanics by using only the Clifford algebraic approach. In this manner we obtain a full exposition of standard quantum mechanics using only the basic axioms of Clifford algebra. We also discuss more advanced features of quantum mechanics. In detail, we give demonstration of the Kocken-Specher theorem, and also we give an algebraic formulation and explanation of the EPR paradox only using the Clifford algebra. By using the same approach we also derive Bell inequalities. Our formulation is strongly based on the use of idempotents that are contained in Clifford algebra. Their counterpart in quantum mechanics is represented by the projection operators that, as it is well known, are interpreted as logical statements, following the basic von Neumann results. Von Neumann realized a matrix logic on the basis of quantum mechanics. Using the Clifford algebra we are able to invert such result. According to the results previously obtained by Orlov in 1994, we are able to give proof that quantum mechanics derives from logic. We show that indeterminism and quantum interference have their origin in the logic. Therefore, it seems that we may conclude that quantum mechanics, as it appears when investigated by the Clifford algebra, is a two-faced theory in the sense that it looks from one side to “matter per se”, thus to objects but simultaneously also to conceptual entities. We advance the basic conclusion of the paper: There are stages of our reality in which we no more can separate the logic ( and thus cognition and thus conceptual entity) from the features of “matter per se”. In quantum mechanics the logic, and thus the cognition and thus the conceptual entity-cognitive performance, assume the same importance as the features of what is being described. We are at levels of reality in which the truths of logical statements about dynamic variables become dynamic variables themselves so that a profound link is established from its starting in this theory between physics and conceptual entities. Finally, in this approach there is not an absolute definition of logical truths. Transformations , and thus … “redefinitions”…. of truth values are permitted in such scheme as well as the well established invariance principles, clearly indicate . (shrink)

In 1922, Thoralf Skolem introduced the term of «relativity» as to infinity от set theory. Не demonstrated Ьу Zermelo 's axiomatics of set theory (incl. the axiom of choice) that there exists unintended interpretations of anу infinite set. Тhus, the notion of set was also «relative». We сan apply his argurnentation to Gödel's incompleteness theorems (1931) as well as to his completeness theorem (1930). Then, both the incompleteness of Реапо arithmetic and the completeness of first-order logic tum out to bе (...) also «relative» in Skolem 's sense. Skolem 's «relativity» argumentation of that kind сan bе applied to а vету wide range of problems and one сan spoke of the relativity of discreteness and continuity or, of finiiteness and infinity, or, of Cantor 's kinds of infinities, etc. The relativity of Skolemian type helps us for generaIizing Einstein 's principle of relativity from the invariance of the physical laws toward diffeomorphisms to their invariance toward anу morphisms (including and especiaIly the discrete ones). Such а kind of generalization from diffeomorphisms (then, the notion of velocity always makes sense) to anу kind of morphism (when 'velocity' mау оr maу not make sense) is an extension of the general Skolemian type оГ relativity between discreteness and continuity от between finiteness and infinity. Particularly, the Lorentz invariance is not valid in general because the notion of velocity is limited to diffeomorphisms. [п the case of entanglement, the physical interaction is discrete0. 'Velocity" and consequently, the 'Lorentz invariance'"do not make sense. Тhat is the simplest explanation ofthe argurnent EPR, which tums into а paradox оnJу if the universal validity of 'velocity' and 'Lогелtz invariance' is implicitly accepted. (shrink)

Recent experiments allowed concluding that Bell-type inequalities are indeed violated thus it is important to understand what it means and how can we explain the existence of strong correlations between outcomes of distant measurements. Do we have to announce that: Einstein was wrong, Nature is nonlocal and nonlocal correlations are produced due to the quantum magic and emerge, somehow, from outside space-time? Fortunately such conclusions are unfounded because if supplementary parameters describing measuring instruments are correctly incorporated in a theoretical model (...) then Bell-type inequalities may not be proven .We construct a simple probabilistic model explaining these correlations in a locally causal way. In our model measurement outcomes are neither predetermined nor produced in irreducibly random way. We explain in detail why, contrary to the general belief; an introduction of setting dependent parameters does not restrict experimenters’ freedom of choice. Since the violation of Bell-type inequalities does not allow concluding that Nature is nonlocal and that quantum theory is complete thus the Bohr-Einstein quantum debate may not be closed. The continuation of this debate is not only important for a better understanding of Nature but also for various practical applications of quantum phenomena. (shrink)

Twenty-first century science faces a dilemma. Two of its well-verified foundation stones - relativity and quantum theory - have proven inconsistent. Resolution of the conflict has resisted improvements in experimental precision leaving some to believe that some fundamental understanding in our world-view may need modification or even radical reform. Employment of the wave-front model of electrodynamics, as a propagation process with a Markov property, may offer just such a clarification.

As is well known, Einstein was dissatisfied with the foundation of quantum theory and sought to find a basis for it that would have satisfied his need for a causal explanation. In this paper this abandoned idea is investigated. It is found that it is mathematically not dead at all. More in particular: a quantum mechanical U(1) gauge invariant Dirac equation can be derived from Einstein's gravity field equations. We ask ourselves what it means for physics, the history of physics (...) and for the actual discussion on foundations. (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)

Two strategies to infinity are equally relevant for it is as universal and thus complete as open and thus incomplete. Quantum mechanics is forced to introduce infinity implicitly by Hilbert space, on which is founded its formalism. One can demonstrate that essential properties of quantum information, entanglement, and quantum computer originate directly from infinity once it is involved in quantum mechanics. Thus, thеse phenomena can be elucidated as both complete and incomplete, after which choice is the border between them. A (...) special kind of invariance to the axiom of choice shared by quantum mechanics is discussed to be involved that border between the completeness and incompleteness of infinity in a consistent way. The so-called paradox of Albert Einstein, Boris Podolsky, and Nathan Rosen is interpreted entirely in the same terms only of set theory. Quantum computer can demonstrate especially clearly the privilege of the internal position, or “observer”, or “user” to infinity implied by Henkin’s proposition as the only consistent ones as to infinity. (shrink)

The article is devoted to quantum information (including its subdomains, namely: quantum communication, quantum computer, quantum cryptography), and its philosophical meaning. Paradox EPR, Bell’s inequality, phenomena of teleportation are discussed of a philosophical point of view. Quantum mechanical nonlocal correlations are interpreted as topological inseparabilities. Information is considered both as a fundamental physical quantity and as a philosophical category.

The paper addresses Leon Hen.kin's proposition as a " lighthouse", which can elucidate a vast territory of knowledge uniformly: logic, set theory, information theory, and quantum mechanics: Two strategies to infinity are equally relevant for it is as universal and t hus complete as open and thus incomplete. Henkin's, Godel's, Robert Jeroslow's, and Hartley Rogers' proposition are reformulated so that both completeness and incompleteness to be unified and thus reduced as a joint property of infinity and of all infinite sets. (...) However, only Henkin's proposition equivalent to an internal position to infinity is consistent . This can be retraced back to set theory and its axioms, where that of choice is a key. Quantum mechanics is forced to introduce infinity implicitly by Hilbert space, on which is founded its formalism. One can demonstrate that some essential properties of quantum information, entanglement, and quantum computer originate directly from infinity once it is involved in quantum mechanics. Thus, these phenomena can be elucidated as both complete and incomplete, after which choice is the border between them. A special kind of invariance to the axiom of choice shared by quantum mechanics is discussed to be involved that border between the completeness and incompleteness of infinity in a consistent way. The so-called paradox of Albert Einstein, Boris Podolsky, and Nathan Rosen is interpreted entirely in the same terms only of set theory. Quantum computer can demonstrate especially clearly the privilege of the internal position, or " observer'' , or "user" to infinity implied by Henkin's proposition as the only consistent ones as to infinity. An essential area of contemporary knowledge may be synthesized from a single viewpoint. (shrink)

La mécanique quantique est une théorie physique contemporaine réputée pour ses défis au sens commun et ses paradoxes. Depuis bientôt un siècle, plusieurs interprétations de la théorie ont été proposées par les physiciens et les philosophes, offrant des images quantiques du monde, ou des ontologies, radicalement différentes. L'existence d'un hasard fondamental, ou d'une multitude de mondes en-dehors du nôtre, dépend ainsi de l'interprétation adoptée. Après avoir discuté de la définition de l'interprétation d'une théorie physique, ce livre présente trois principales interprétations (...) quantiques, empiriquement équivalentes : l'interprétation dite orthodoxe, l'interprétation de Bohm, et l'interprétation des mondes multiples. Des textes d'Albert & Galchen, ainsi que de Mermin, présentent le concept de non-localité et invitent à une analyse de l'argument d'Einstein-Podolsky-Rosen et du théorème de Bell. (shrink)

This paper takes up Huw Price׳s challenge to develop a retrocausal toy model of the Bell-EPR experiment. I develop three such models which show that a consistent, local, hidden-variables interpretation of the EPR experiment is indeed possible, and which give a feel for the kind of retrocausation involved. The first of the models also makes clear a problematic feature of retrocausation: it seems that we cannot interpret the hidden elements of reality in a retrocausal model as possessing determinate dispositions to (...) affect the outcome of experiments. This is a feature which Price has embraced, but Gordon Belot has argued that this feature renders retrocausal interpretations “unsuitable for formal development”, and the lack of such determinate dispositions threatens to undermine the motivation for hidden-variables interpretations in the first place. But Price and Belot are both too quick in their assessment. I show that determinate dispositions are indeed consistent with retrocausation. What is more, I show that the ontological economy allowed by retrocausation holds out the promise of a classical understanding of spin and polarization. (shrink)

Benardete paradoxes involve a beginningless set each member of which satisfies some predicate just in case no earlier member satisfies it. Such paradoxes have been wielded on behalf of arguments for the impossibility of an infinite past. These arguments often deploy patchwork principles in support of their key linking premise. Here I argue that patchwork principles fail to justify this key premise.

The famous EPR article of 1935 challenged the completeness of quantum mechanics and spurred decades of theoretical and experimental research into the foundations of quantum theory. A crowning achievement of this research is the demonstration that nature cannot in general consist in noncontextual pre-measurement properties that uniquely determine possible measurement outcomes, through experimental violations of Bell inequalities and Kochen-Specker theorems. In this article, I reconstruct an argument from Niels Bohr’s writings that the reality of the Einstein-Planck-de Broglie relations alone implies (...) that no such properties can exist for momentum and position measurements, show how this argument responds to the challenge of EPR on general physical grounds, and advance that this reconstruction shows that and how Bohr’s “complementarity” is a view of the objective content and logic of quantum theory. (shrink)

We examine two competing solutions to Benardete paradoxes: causal finitism, according to which nothing can have infinitely many causes, and the unsatisfiable pair diagnosis (UPD), according to which such paradoxes are logically impossible and no metaphysical thesis need be adopted to avoid them. We argue that the UPD enjoys notable theoretical advantages over causal finitism. Causal finitists, however, have levelled two main objections to the UPD. First, they urge that the UPD requires positing a ‘mysterious force’ that prevents paradoxes from (...) arising. Since such a force is implausible, the UPD is in trouble. Second, they employ recombination or patchwork principles to argue that paradoxical situations would be possible if causal finitism were false. Since such situations are not possible, causal finitism is true, and so a substantive metaphysical thesis is needed to avoid the paradoxes. We argue that the UPD proponent can successfully respond to these objections. (shrink)

Neil Tennant was the first to propose a proof-theoretic criterion for paradoxicality, a framework in which a paradox, formalized through natural deduction, is derived from an unacceptable conclusion that employs a certain form of id est inferences and generates an infinite reduction sequence. Tennant hypothesized that any derivation in natural deduction that formalizes a genuine paradox would meet this criterion, and he argued that while the liar paradox is genuine, Russell's paradox is not. -/- The present (...) paper delves into Tennant's conjecture for genuine paradoxes and suggests that to validate the conjecture, one of two issues must be addressed. The first issue is the need for a philosophical consensus on the identification of a genuine paradox in an informal sense. The second issue is the requirement for a uniform approach to formalize paradoxes in natural deduction. If either of these issues is addressed, the conjecture could be validated, or at the very least, it could hold philosophical importance in delineating the proof-theoretic features of paradoxicality. (shrink)

The paradox of pain refers to the idea that the folk concept of pain is paradoxical, treating pains as simultaneously mental states and bodily states. By taking a close look at our pain terms, this paper argues that there is no paradox of pain. The air of paradox dissolves once we recognize that pain terms are polysemous and that there are two separate but related concepts of pain rather than one.

There are infinitely many ways the world might be, and there may well be infinitely many people in it. These facts raise moral paradoxes. We explore a conflict between two highly attractive principles: a Pareto principle that says that what is better for everyone is better overall, and a statewise dominance principle that says that what is sure to turn out better is better on balance. We refine and generalize this paradox, showing that the problem is faced by many (...) theories of interpersonal aggregation besides utilitarianism, and by many decision theories besides expected value theory. Considering the range of consistent responses, we find all of them to be quite radical. (shrink)

The paper argues that on three out of eight possible hypotheses about the EPR experiment we can construct novel and realistic decision problems on which (a) Causal Decision Theory and Evidential Decision Theory conflict (b) Causal Decision Theory and the EPR statistics conflict. We infer that anyone who fully accepts any of these three hypotheses has strong reasons to reject Causal Decision Theory. Finally, we extend the original construction to show that anyone who gives any of the three hypotheses any (...) non-zero credence has strong reasons to reject Causal Decision Theory. However, we concede that no version of the Many Worlds Interpretation (Vaidman, in Zalta, E.N. (ed.), Stanford Encyclopaedia of Philosophy 2014) gives rise to the conflicts that we point out. (shrink)

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

The liberal international legal order faces a legitimacy crisis today that becomes visible with the recent anti-internationalist turn, the rise of populism and the recent Russian invasion of Ukraine. Either its authority or legitimacy has been tested many times over the last three decades. The article argues that this anti-internationalist trend may be read as a reaction against the neoliberal form taken by international law, not least over the last three decades. In uncovering the intricacies of international law’s legitimacy crisis, (...) the article uncovers the paradox of global constitutionalism: that its need to adopt a sectoral form of integration may cause a legitimacy gap/deficit because international authorities, resting their legitimacy primarily on instrumental grounds, may face problems in compensating for the legitimacy deficit caused by the erosion of domestic sovereignty and extending their legitimacy to non-instrumental grounds. This paradox has one necessary structural and two contingent content-related implications for domestic democracies: (1) it necessarily narrows down the regulatory space of nation-states; and this may in turn (2) impair democratic stability and solidarity, and (3) provide a fertile ground for populism. Drawing on Raz’s service conception, the article focuses on the interaction between international and domestic authorities and highlights the problematic aspects of the neoliberal constitutionalization of international law. (shrink)

Fitch's knowability paradox shows that for each unknown truth there is also an unknowable truth, a result which has been thought both odd in itself and at odds with views which impose epistemic constraints on truth and/or meaningfulness. Here a solution is considered which has received little attention in the debate but which carries prima facie plausibility. The decidability solution is to accept that Fitch sentences are unknowably true but deny the significance of this on the grounds that Fitch (...) sentences are nevertheless decidable. The decidability solution is particularly attractive for those whose primary concern is an epistemic constraint on meaningfulness (‘verificationists’). For those whose main concern is truth (‘anti-realists’), the situation is more complex: Melia takes the solution to exonerate anti-realism completely; Williamson sees it as completely irrelevant. The truth lies between these two extremes: there is one broad anti-realist commitment to which the solution does not apply, but there is also one, the “fundamental tenet” of anti-realism according to Dummett, to which it does. (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)

Can agents rationally inquire into things that they know? On my view, the answer is yes. Call this view the Compatibility Thesis. One challenge to this thesis is to explain why assertions like “I know that p, but I’m wondering whether p” sound odd, if not Moore-Paradoxical. In response to this challenge, I argue that we can reject one or both premises that give rise to it. First, we can deny that inquiry requires interrogative attitudes. Second, we can deny the (...) ignorance norm, on which agents are not permitted to both know and have interrogative attitudes, such as wondering. I argue that there are compelling reasons to deny the former and reasons to question the latter. Both options pave the way for further work on further inquiry. (shrink)

We begin by showing that every theory of the value of uncertain prospects must have one of three unpalatable properties. _Reckless_ theories recommend giving up a sure thing, no matter how good, for an arbitrarily tiny chance of enormous gain; _timid_ theories permit passing up an arbitrarily large potential gain to prevent a tiny increase in risk; _non-transitive_ theories deny the principle that, if A is better than B and B is better than C, then A must be better than (...) C. Having set up this trilemma, we study its horns. Non-transitivity has been much discussed; we focus on drawing out the costs and benefits of recklessness and timidity when it comes to axiology, decision theory, and normative uncertainty. (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)

How can we think or say what is not? If we equate what-is-not with nothing, then a thought of nothing is no thought at all; if we don’t, we are condemned to admit that what-is-not is, seemingly incurring self-refutation. In this paper, I address this paradox through the lenses of Parmenides, Plato, Russell, and the early Wittgenstein.

This paper presents the Paradoxical Theorem, which states that no imperfect being can determine the truth or falsity of any statement with absolute perfection. We then apply the theorem to itself for any imperfect being, which leads to a self-referential paradox.

Supererogatory acts—good deeds “beyond the call of duty”—are a part of moral common sense, but conceptually puzzling. I propose a unified solution to three of the most infamous puzzles: the classic Paradox of Supererogation (if it’s so good, why isn’t it just obligatory?), Horton’s All or Nothing Problem, and Kamm’s Intransitivity Paradox. I conclude that supererogation makes sense if, and only if, the grounds of rightness are multi-dimensional and comparative.

Counterfactuals are somewhat tolerant. Had Socrates been at least six feet tall, he need not have been exactly six feet tall. He might have been a little taller—he might have been six one or six two. But while he might have been a little taller, there are limits to how tall he would have been. Had he been at least six feet tall, he would not have been more than a hundred feet tall, for example. Counterfactuals are not just tolerant, (...) then, but bounded. This paper presents a surprising paradox: If counterfactuals are tolerant and bounded, then we can prove a flat contradiction using natural rules of inference. Something has to go then. But what? (shrink)

The present work outlines a logical and philosophical conception of propositions in relation to a group of puzzles that arise by quantifying over them: the Russell-Myhill paradox, the Prior-Kaplan paradox, and Prior's Theorem. I begin by motivating an interpretation of Russell-Myhill as depending on aboutness, which constrains the notion of propositional identity. I discuss two formalizations of of the paradox, showing that it does not depend on the syntax of propositional variables. I then extend to propositions a (...) modal predicative response to the paradoxes articulated by an abstraction principle for propositions. On this conception, propositions are “shadows” of the sentences that express them. Modal operators are used to uncover the implicit relation of dependence that characterizes propositions that are about propositions. The benefits of this approach are shown by application to other intensional puzzles. The resulting view is an alternative to the plenitudinous metaphysics of impredicative comprehension principles. (shrink)

I distinguish paradoxes and hypodoxes among the conundrums of time travel. I introduce ‘hypodoxes’ as a term for seemingly consistent conundrums that seem to be related to various paradoxes, as the Truth-teller is related to the Liar. In this article, I briefly compare paradoxes and hypodoxes of time travel with Liar paradoxes and Truth-teller hypodoxes. I also discuss Lewis’ treatment of time travel paradoxes, which I characterise as a Laissez Faire theory of time travel. Time travel paradoxes are impossible according (...) to Laissez Faire theories, while it seems hypodoxes are possible. (shrink)

I offer a new, limited solution to divine hiddenness based on a particular epistemic paradox: sometimes, knowing about a desired outcome or relevant features of that desired outcome would prevent the outcome in question from occurring. I call these cases epistemically self-defeating situations. This solution, in essence, says that divine hiddenness or silence is a necessary feature of at least some morally excellent or desirable states of affairs. Given the nature of the paradox, an omniscient being cannot completely (...) eliminate hiddenness, just as an omnipotent being cannot create a rock so heavy that they cannot lift it. Epistemically self-defeating situations provide an undercutting defeater for the assumption that any nonresistant nonbeliever could always, at any time, be in conscious relationship with a perfectly loving God. Thankfully, silence is a temporary feature of epistemically self-defeating situations: once the outcome is achieved, agents can know in full. (shrink)

$${{{\mathcal {F}}}}$$ -systems are useful digraphs to model sentences that predicate the falsity of other sentences. Paradoxes like the Liar and the one of Yablo can be analyzed with that tool to find graph-theoretic patterns. In this paper we studied this general model consisting of a set of sentences and the binary relation ‘ $$\ldots $$ affirms the falsity of $$\ldots $$ ’ among them. The possible existence of non-referential sentences was also considered. To model the sets of all the (...) sentences that can jointly be valued as true we introduced the notion of conglomerate, the existence of which guarantees the absence of paradox. Conglomerates also enabled us to characterize referential contradictions, i.e., sentences that can only be false under a classical valuation due to the interactions with other sentences in the model. A Kripke-style fixed-point characterization of groundedness was offered, and complete (meaning that every sentence is deemed either true or false) and consistent (meaning that no sentence is deemed true and false) fixed points were put in correspondence with conglomerates. Furthermore, argumentation frameworks are special cases of $$\mathcal{F}$$ -systems. We showed the relation between local conglomerates and admissible sets of arguments and argued about the usefulness of the concept for the argumentation theory. (shrink)

This is a one page handout reconstructing the paradox and identifying four solutions in the literature, as well as some concerns about them.

I present a paradoxical combination of desires. I show why it's paradoxical, and consider ways of responding. The paradox saddles us with an unappealing trilemma: either we reject the possibility of the case by placing surprising restrictions on what we can desire, or we deny plausibly constitutive principles linking desires to the conditions under which they are satisfied, or we revise some bit of classical logic. I argue that denying the possibility of the case is unmotivated on any reasonable (...) way of thinking about mental content, and rejecting those desire-satisfaction principles leads to revenge paradoxes. So the best response is a non-classical one, according to which certain desires are neither determinately satisfied nor determinately not satisfied. Thus, theorizing about paradoxical propositional attitudes helps constrain the space of possibilities for adequate solutions to semantic paradoxes more generally. (shrink)

This paper gives a definition of self-reference on the basis of the dependence relation given by Leitgeb (2005), and the dependence digraph by Beringer & Schindler (2015). Unlike the usual discussion about self-reference of paradoxes centering around Yablo's paradox and its variants, I focus on the paradoxes of finitary characteristic, which are given again by use of Leitgeb's dependence relation. They are called 'locally finite paradoxes', satisfying that any sentence in these paradoxes can depend on finitely many sentences. I (...) prove that all locally finite paradoxes are self-referential in the sense that there is a directed cycle in their dependence digraphs. This paper also studies the 'circularity dependence' of paradoxes, which was introduced by Hsiung (2014). I prove that the locally finite paradoxes have circularity dependence in the sense that they are paradoxical only in the digraph containing a proper cycle. The proofs of the two results are based directly on König's infinity lemma. In contrast, this paper also shows that Yablo's paradox and its nested variant are non-self-referential, and neither McGee's paradox nor the omega-cycle liar paradox has circularity dependence. (shrink)

Alternate Universes: Religion assumes the other world after death: paradise, hell, nirvana, karma.. Our world is incomplete, because there is truer universe, replicating Plato: behind something is something.. till the true idea - last judgment, karma.. R. Descartes's "I think, therefore I am", is independent of Plato. I'm thinking, regardless of there is truer idea or not. As I'm thinking, I can realize my first idea was false (eg. solving a math problem), and then the Plato's truer idea reappears. Plato (...) and Descartes precede each other as chicken and egg.. Paradox of Religion: Religions' rules (e.g. don't lie) increase chances of future paradise. Hume's: "A" preceding "B" doesn't need to cause "B" turns to: Expectation of "B" can cause "A" NOW Believers expect paradise to forever delay it. Paradise can paradoxically occur only by deviation from the religion... Exhibited in Holland Park, W8 6LU, The Ice House between 18. Oct - 3. Nov. 2013. (shrink)

It is widely accepted that there is what has been called a non-hypocrisy norm on the appropriateness of moral blame; roughly, one has standing to blame only if one is not guilty of the very offence one seeks to criticize. Our acceptance of this norm is embodied in the common retort to criticism, “Who are you to blame me?”. But there is a paradox lurking behind this commonplace norm. If it is always inappropriate for x to blame y for (...) a wrong that x has committed, then all cases in which x blames x (i.e. cases of self-blame) are rendered inappropriate. But it seems to be ethical common-sense that we are often, sadly, in position (indeed, excellent, privileged position) to blame ourselves for our own moral failings. And thus we have a paradox: a conflict between the inappropriateness of hypocritical blame, and the appropriateness of self-blame. We consider several ways of resolving the paradox, and contend none is as defensible as a position that simply accepts it: we should never blame ourselves. In defending this startling position, we defend a crucial distinction between self-blame and guilt. (shrink)

I use the principle of truth-maker maximalism to provide a new solution to the semantic paradoxes. According to the solution, AUS, its undecidable whether paradoxical sentences are grounded or ungrounded. From this it follows that their alethic status is undecidable. We cannot assert, in principle, whether paradoxical sentences are true, false, either true or false, neither true nor false, both true and false, and so on. AUS involves no ad hoc modification of logic, denial of the T-schema's validity, or obvious (...) revenge. (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)