Bell’s theorem has fascinated physicists and philosophers since his 1964 paper, which was written in response to the 1935 paper of Einstein, Podolsky, and Rosen. Bell’s theorem and its many extensions have led to the claim that quantum mechanics and by inference nature herself are nonlocal in the sense that a measurement on a system by an observer at one location has an immediate effect on a distant entangled system. Einstein was repulsed by such “spooky action at a (...) distance” and was led to question whether quantum mechanics could provide a complete description of physical reality. In this paper I argue that quantum mechanics does not require spooky action at a distance of any kind and yet it is entirely reasonable to question the assumption that quantum mechanics can provide a complete description of physical reality. The magic of entangled quantum states has little to do with entanglement and everything to do with superposition, a property of all quantum systems and a foundational tenet of quantum mechanics. (shrink)

In this short survey article, I discuss Bell’s theorem and some strategies that attempt to avoid the conclusion of non-locality. I focus on two that intersect with the philosophy of probability: (1) quantum probabilities and (2) superdeterminism. The issues they raised not only apply to a wide class of no-go theorems about quantum mechanics but are also of general philosophical interest.

I demonstrate that Bell's theorem is based on circular reasoning and thus a fundamentally flawed argument. It unjustifiably assumes the additivity of expectation values for dispersion-free states of contextual hidden variable theories for non-commuting observables involved in Bell-test experiments, which is tautologous to assuming the bounds of ±2 on the Bell-CHSH sum of expectation values. Its premises thus assume in a different guise the bounds of ±2 it sets out to prove. Once this oversight is ameliorated from (...) class='Hi'>Bell's argument by identifying the impediment that leads to it and local realism is implemented correctly, the bounds on the Bell-CHSH sum of expectation values work out to be ±2√2 instead of ±2, thereby mitigating the conclusion of Bell's theorem. Consequently, what is ruled out by any of the Bell-test experiments is not local realism but the linear additivity of expectation values, which does not hold for non-commuting observables in any hidden variable theories to begin with. (shrink)

The perception of reality by biosystems is based on different, and in certain respects more effective, principles than those utilized by the more formal procedures of science. As a result, what appears as random pattern to the scientific method can be meaningful pattern to a living organism. The existence of this complementary perception of reality makes possible in principle effective use by organisms of the direct interconnections between spatially separated objects shown to exist in the work of J. S. Bell.

In this essay a quantum-dualistic, perspectival and synchronistic interpretation of quantum mechanics is further developed in which the classical world-from-decoherence which is perceived (decoherence) and the perceived world-in-consciousness which is classical (collapse) are not necessarily identified. Thus, Quantum Reality or "{\it unus mundus}" is seen as both i) a physical non-perspectival causal Reality where the quantum-to-classical transition is operated by decoherence, and as ii) a quantum linear superposition of all classical psycho-physical perspectival Realities which are governed by synchronicity as well (...) as causality (corresponding to classical first-person observes who actually populate the world). This interpretation is termed the Nietzsche-Jung-Pauli interpretation and is a re-imagining of the Wigner-von Neumann interpretation which is also consistent with some reading of Bohr's quantum philosophy. (shrink)

Non-commuting quantities and hidden parameters – Wave-corpuscular dualism and hidden parameters – Local or nonlocal hidden parameters – Phase space in quantum mechanics – Weyl, Wigner, and Moyal – Von Neumann’s theorem about the absence of hidden parameters in quantum mechanics and Hermann – Bell’s objection – Quantum-mechanical and mathematical incommeasurability – Kochen – Specker’s idea about their equivalence – The notion of partial algebra – Embeddability of a qubit into a bit – Quantum computer is not Turing machine (...) – Is continuality universal? – Diffeomorphism and velocity – Einstein’s general principle of relativity – „Mach’s principle“ – The Skolemian relativity of the discrete and the continuous – The counterexample in § 6 of their paper – About the classical tautology which is untrue being replaced by the statements about commeasurable quantum-mechanical quantities – Logical hidden parameters – The undecidability of the hypothesis about hidden parameters – Wigner’s work and и Weyl’s previous one – Lie groups, representations, and psi-function – From a qualitative to a quantitative expression of relativity − psi-function, or the discrete by the random – Bartlett’s approach − psi-function as the characteristic function of random quantity – Discrete and/ or continual description – Quantity and its “digitalized projection“ – The idea of „velocity−probability“ – The notion of probability and the light speed postulate – Generalized probability and its physical interpretation – A quantum description of macro-world – The period of the as-sociated de Broglie wave and the length of now – Causality equivalently replaced by chance – The philosophy of quantum information and religion – Einstein’s thesis about “the consubstantiality of inertia ant weight“ – Again about the interpretation of complex velocity – The speed of time – Newton’s law of inertia and Lagrange’s formulation of mechanics – Force and effect – The theory of tachyons and general relativity – Riesz’s representation theorem – The notion of covariant world line – Encoding a world line by psi-function – Spacetime and qubit − psi-function by qubits – About the physical interpretation of both the complex axes of a qubit – The interpretation of the self-adjoint operators components – The world line of an arbitrary quantity – The invariance of the physical laws towards quantum object and apparatus – Hilbert space and that of Minkowski – The relationship between the coefficients of -function and the qubits – World line = psi-function + self-adjoint operator – Reality and description – Does a „curved“ Hilbert space exist? – The axiom of choice, or when is possible a flattening of Hilbert space? – But why not to flatten also pseudo-Riemannian space? – The commutator of conjugate quantities – Relative mass – The strokes of self-movement and its philosophical interpretation – The self-perfection of the universe – The generalization of quantity in quantum physics – An analogy of the Feynman formalism – Feynman and many-world interpretation – The psi-function of various objects – Countable and uncountable basis – Generalized continuum and arithmetization – Field and entanglement – Function as coding – The idea of „curved“ Descartes product – The environment of a function – Another view to the notion of velocity-probability – Reality and description – Hilbert space as a model both of object and description – The notion of holistic logic – Physical quantity as the information about it – Cross-temporal correlations – The forecasting of future – Description in separable and inseparable Hilbert space – „Forces“ or „miracles“ – Velocity or time – The notion of non-finite set – Dasein or Dazeit – The trajectory of the whole – Ontological and onto-theological difference – An analogy of the Feynman and many-world interpretation − psi-function as physical quantity – Things in the world and instances in time – The generation of the physi-cal by mathematical – The generalized notion of observer – Subjective or objective probability – Energy as the change of probability per the unite of time – The generalized principle of least action from a new view-point – The exception of two dimensions and Fermat’s last theorem. (shrink)

In this text the ancient philosophical question of determinism (“Does every event have a cause ?”) will be re-examined. In the philosophy of science and physics communities the orthodox position states that the physical world is indeterministic: quantum events would have no causes but happen by irreducible chance. Arguably the clearest theorem that leads to this conclusion is Bell’s theorem. The commonly accepted ‘solution’ to the theorem is ‘indeterminism’, in agreement with the Copenhagen interpretation. Here it is (...) recalled that indeterminism is not really a physical but rather a philosophical hypothesis, and that it has counterintuitive and far-reaching implications. At the same time another solution to Bell’s theorem exists, often termed ‘superdeterminism’ or ‘total determinism’. Superdeterminism appears to be a philosophical position that is centuries and probably millennia old: it is for instance Spinoza’s determinism. If Bell’s theorem has both indeterministic and deterministic solutions, choosing between determinism and indeterminism is a philosophical question, not a matter of physical experimentation, as is widely believed. If it is impossible to use physics for deciding between both positions, it is legitimate to ask which philosophical theories are of help. Here it is argued that probability theory – more precisely the interpretation of probability – is instrumental for advancing the debate. It appears that the hypothesis of determinism allows to answer a series of precise questions from probability theory, while indeterminism remains silent for these questions. From this point of view determinism appears to be the more reasonable assumption, after all. (shrink)

Quantum theory offers mathematical descriptions of measurable phenomena with great facility and accuracy, but it provides absolutely no understanding of why any particular quantum outcome is observed. It is the province of genuine explanations to tell us how things actually work—that is, why such descriptions hold and why such predictions are true. Quantum theory is long on the what, both mathematically and observationally, but almost completely silent on the how and the why. What is even more interesting is that, in (...) some sense, this state of affairs seems to be a necessary consequence of the empirical adequacy of quantum descriptions. One of the most noteworthy achievements of quantum theory is the accurate prediction of phenomena that, on pain of experimental contradiction, have no physical explanation. It is the purpose of this essay to make clear why quantum mechanics and quantum field theory are complete physical descriptions that describe the metaphysical incompleteness of the physical world, then to press the negative implications of this fact for naturalistic metaphysics. (shrink)

We show that the respective oversights in the von Neumann's general theorem against all hidden variable theories and Bell's theorem against their local-realistic counterparts are homologous. When latter oversight is rectified, the bounds on the CHSH correlator work out to be ±2√2 instead of ±2.

Philosophers who defend a person’s right, under certain circumstances, to end his own life or to have a physician end it for him typically appeal both to respect for patient autonomy and to considerations of beneficence. Neither autonomy alone nor beneficence alone can ground a persuasive case for euthanasia. I argue, however, that the standard argument for euthanasia is unsound. It is not possible to combine the principles of autonomy and beneficence in such a way as to justify euthanasia for (...) those who request it and are either incurably ill, in irremediable pain, or fearful of future incapacity, while excluding both involuntary euthanasia and assisted death for those who request it despite being neither incurably ill, in irremediable pain nor fearful of future incapacity. (shrink)

Bell inequalities are usually derived by assuming locality and realism, and therefore violations of the Bell-CHSH inequality are usually taken to imply violations of either locality or realism, or both. But, after reviewing an oversight by Bell, in the Corollary below we derive the Bell-CHSH inequality by assuming only that Bob can measure along vectors b and b' simultaneously while Alice measures along either a or a', and likewise Alice can measure along vectors a and a' simultaneously while Bob measures (...) along either b or b', without assuming locality. The violations of the Bell-CHSH inequality therefore only mean impossibility of measuring along b and b' simultaneously. (shrink)

What can be more fascinating than experimental metaphysics, to quote one of Abner Shimony’s enlightening expressions? Bell inequalities are at the heart of the study of nonlocality. I present a list of open questions, organised in three categories: fundamental; linked to experiments; and exploring nonlocality as a resource. New families of inequalities for binary outcomes are presented.

This paper critically engages Philip Mirowki's essay, "The scientific dimensions of social knowledge and their distant echoes in 20th-century American philosophy of science." It argues that although the cold war context of anti-democratic elitism best suited for making decisions about engaging in nuclear war may seem to be politically and ideologically motivated, in fact we need to carefully consider the arguments underlying the new rational choice based political philosophies of the post-WWII era typified by Arrow's impossibility theorem. A distrust (...) of democratic decision-making principles may be developed by social scientists whose leanings may be toward the left or right side of the spectrum of political practices. (shrink)

In the chapter “Emancipatory Engagement with Oppression: The Perils of Identity in Feminist and Anti-Racist Politics” Oda Davanger argues against basing emancipatory struggles on identity categories. According to Davanger, conceptualizing oppression in terms of different axes, i.e. identity categories, can be harmful to feminist philosophy and ideology since it contri- butes to upholding whiteness and maleness as norms and there- fore fails to “dismantle the system of domination”. In opposition to different versions of identity politics and the analytical and political (...) concept of intersectionality, Davanger complements bell hooks’ notion of imperialist white supremacist capitalist patriarchy with a post-structuralist perspective. Davanger’s answer to feminist and anti-racist struggles based on identity categories is a politics that is built around an “abstract and alienated desire” that makes possible engaging in the struggle for a world without oppression based on identity, regardless of individuals’ own experience of oppression. (shrink)

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)

Contrary to Bell’s theorem it is demonstrated that with the use of classical probability theory the quantum correlation can be approximated. Hence, one may not conclude from experiment that all local hidden variable theories are ruled out by a violation of inequality result.

Abstract: In this paper, the definition of triple Aboodh transform of fractional order α, where α ϵ [0, 1], is introduced for functions which are fractional differentiable. We also present several properties of this transform. Furthermore, some main theorems and their proofs are discussed.

The problem of measurement in economic models and the possibility of their quantum-mechanical description are considered. It is revealed that the apparent paradox of such a description is associated with a priori requirement of conformity of the model to all the alternatives of free choice of the observer. The measurement of the state of a trader on a stock exchange is formally defined as his responses to the proposals of sale at a fixed price. It is shown that an analogue (...) of Bell's inequalities for this measurement model is violated at the most general assumptions related to the strategy of the trader and requires a quantummechanical description of the dynamics of his condition. In the framework of the theory of weak continuous quantum measurements, the equation of stock price dynamics and the quantum-mechanical generalization of the F. Black and M. Scholes model for pricing options are obtained. The fundamental distinctions between the obtained model and the classical one are discussed. (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)

This paper has three main goals. First, to motivate a puzzle about how ignorance-expressing terms like maybe and if interact: they iterate, and when they do they exhibit scopelessness. Second, to argue that there is an ambiguity in our theoretical toolbox, and that exposing that opens the door to a solution to the puzzle. And third, to explore the reach of that solution. Along the way, the paper highlights a number of pleasing properties of two elegant semantic theories, explores some (...) meta-theoretic properties of dynamic notions of meaning, dips its toe into some hazardous waters, and offers characterization theorems for the space of meanings an indicative conditional can have. (shrink)

Abstract— In this paper, we introduce the definition of triple Aboodh transform, some properties for the transform are presented. Furthermore, several theorems dealing with the properties of the triple Aboodh transform are proved. In addition, we use this transform to solve partial differential equations with integer and non-integer orders.

Mathematics equivalent to Bell's derivation of the inequalities, also allows a local hidden variables explanation for the correlation between distant measurements.

Nobody claims to be a proponent of white feminism, but according to the critique presented in this article, many in fact are. I argue that feminism that does not take multiple axes of oppression into account is bad in three ways: it strategically undermines solidarity between women; it risks inconsistency by advocating justice and equality for some women but not all; and it impedes the ultimate function of feminism function by employing epistemological “master’s tools” that stand in antithesis to feminist (...) emancipatory work. In investigating ethnocentrism in feminism, I develop the idea of latent ethnocentrism, which occupies the space between meaning that is generated from reference to the self and overt racism. I identify an epistemological prong in the ethnocentrism charge against feminism, where I draw on bell hooks’ interlocking axes-model of oppression to answer why the ethnocentrism problem is important for feminism and what its underlying epistemological causes are. I draw on Uma Narayan’s destabilization of cultural dualisms to argue that they do not serve emancipatory agendas. There is a mutually constitutive relation between language that informs our understanding, on the one hand, and the political agendas that produce this language to sustain the male and the western norm as center, on the other hand. I call this circular and reciprocally reinforcing mechanism the episteme-politic. I conclude that the ethnocentrism problem is not merely an issue of strategy or feminist consistency but of shooting oneself in the foot by uncritically accepting patriarchal concepts for feminist politics. (shrink)

The paper discusses this year’s Nobel Prize in physics for experiments of entanglement “establishing the violation of Bell inequalities and pioneering quantum information science” in a much wider, including philosophical context legitimizing by the authority of the Nobel Prize a new scientific area out of “classical” quantum mechanics relevant to Pauli’s “particle” paradigm of energy conservation and thus to the Standard model obeying it. One justifies the eventual future theory of quantum gravitation as belonging to the newly established quantum information (...) science. Entanglement, involving non-Hermitian operators for its rigorous description, non-unitarity as well as nonlocal and superluminal physical signals “spookily” (by Einstein’s flowery epithet) synchronizing and transferring some nonzero action at a distance, can be considered to be quantum gravity so that its local counterpart to be Einstein’s gravitation according to general relativity therefore pioneering an alternative pathway to quantum gravitation different from the “secondary quantization” of the Standard model. So, the experiments of entanglement once they have been awarded by the Nobel Prize launch particularly the relevant theory of quantum gravitation grounded on “quantum information science” thus granted to be nonclassical quantum mechanics in the shared framework of the generalized quantum mechanics obeying rather quantum-information conservation than only energy conservation. The concept of “dark phase” of the universe naturally linked to the very well confirmed “dark matter” and “dark energy” and opposed to its “light phase” inherent to classical quantum mechanics and the Standard model obeys quantum-information conservation, after which reversible causality or the mutual transformation of energy and information are valid. The mythical Big Bang after which energy conservation holds universally is to be replaced by an omnipresent and omnitemporal medium of decoherence of the dark and nonlocal phase into the light and local phase. The former is only an integral image of the latter and borrowed in fact rather from religion than from science. Physical, methodological and proper philosophical conclusions follow from that paradigm shift heralded by this year’s Nobel Prize in physics. For example, the scientific theory of thinking should originate from the dark phase of the universe, as well: probably only approximately modeled by neural networks physically belonging to the light phase thoroughly. A few crucial philosophical sequences follow from the break of Pauli’s paradigm: (1) the establishment of the “dark” phase of the universe as opposed to its “light” phase, only to which the Cartesian dichotomy of “body” and “mind” is valid; (2) quantum information conservation as relevant to the dark phase, furthermore generalizing energy conservation as to its light phase, productively allowing for physical entities to appear “ex nihilo”, i.e., from the dark phase, in which energy and time are yet inseparable from each other; (3) reversible causality as inherent to the dark phase; (4) the interpretation of gravitation only mathematically: as an interpretation of the incompleteness of finiteness to infinity, for example, following the Gödel dichotomy (“either contradiction or incompleteness”) about the relation of arithmetic to set theory; (5) the restriction of the concept of hierarchy only to the light phase; (6) the commensurability of both physical extremes of a quantum and the universe as a whole in the dark phase obeying quantum information conservation and akin to Nicholas of Cusa’s philosophical and theological worldview. (shrink)

This paper sets mathematics among the sciences, despite not being empirical, because it studies relations of various sorts, like the sciences. Each empirical science studies the relations among objects, which relations determining which science. The mathematical science studies relations as such, regardless of what those relations may be or be among, how relations themselves are related. This places it at the extreme among the sciences with no objects of its own (A Subject with no Object, by J.P. Burgess and G. (...) Rosen). Examples are discussed. The historical development of written mathematics from algorithms on clay tablets to theorems with proofs is said to show that application of algorithms to specific problems and theorems to scientific objects is like allegorical interpretation. Mathematics fits into the modern scientific context because the sciences, beginning with Galileo, have been constructed in imitation of mathematics. Viewing mathematics this way does not solve any ontological problems, but it does show how mathematics avoids them. Epistemological problems, insuperable for object realism, are simplified. For example, we have access to relations among any objects that we can consider objectively, first physical objects and then mathematical objects of greater and greater abstraction. (shrink)

We propose a natural definition of what it means in a constructive context for a Banach space to be reflexive, and then prove a constructive counterpart of the Milman-Pettis theorem that uniformly convex Banach spaces are reflexive.

Shows how, as a consequence of the Arrow Impossibility Theorem, objectivity in grading is chimerical, given a sufficiently knowledgeable teacher (of his students, not his subject) in a sufficiently small class. -/- PDF available from JStor only; permission to post full version previously granted by journal editors and publisher expired. -/- Unpublished reply posted gratis.

We extend the framework of Inductive Logic to Second Order languages and introduce Wilmers' Principle, a rational principle for probability functions on Second Order languages. We derive a representation theorem for functions satisfying this principle and investigate its relationship to the first order principles of Regularity and Super Regularity.

The monistic worldview aims at a uniform description of nature based on scientific models. Quantum physical systems are mutually part of the other quantum physical systems. An aperture distributes the subsystems and the wave front in all possible ways. The system only takes one of the possible paths, as measurements show. Conclusion from Bell's theorem: Before the quantum physical measurement, there is no point-like location in the universe where all the information that explains the measurement is available. Distributed (...) information is possible. Movement of the particle and measuring process are deterministic. The oscillation between location uncertainty and momentum uncertainty leads photons to determine their own location at short intervals. The uncertainty principle focuses the systems. The fields of the surrounding matter influence the location of the new formation. The effect of all fields is based on a common mechanism. (shrink)

Majority cycling and related social choice paradoxes are often thought to threaten the meaningfulness of democracy. But deliberation can prevent majority cycles – not by inducing unanimity, which is unrealistic, but by bringing preferences closer to single-peakedness. We present the first empirical test of this hypothesis, using data from Deliberative Polls. Comparing preferences before and after deliberation, we find increases in proximity to single-peakedness. The increases are greater for lower versus higher salience issues and for individuals who seem to have (...) deliberated more versus less effectively. They are not merely a byproduct of increased substantive agreement. Our results both refine and support the idea that deliberation, by increasing proximity to single-peakedness, provides an escape from the problem of majority cycling. (shrink)

Whether it was John Searle’s Chinese Room argument (Searle, 1980) or Roger Penrose’s argument of the non-computable nature of a mathematician’s insight – an argument that was based on Gödel’s Incompleteness theorem (Penrose, 1989), we have always had skeptics that questioned the possibility of realizing strong Artificial Intelligence (AI), or what has become known by Artificial General Intelligence (AGI). But this new book by Landgrebe and Smith (henceforth, L&S) is perhaps the strongest argument ever made against strong AI. It (...) is a very extensive review of what building a mind essentially amounts to drawing on insights and results from biology, physics, linguistics, computability, philosophy, and mathematics. (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)

In this paper I argue for an association between impurity and explanatory power in contemporary mathematics. This proposal is defended against the ancient and influential idea that purity and explanation go hand-in-hand (Aristotle, Bolzano) and recent suggestions that purity/impurity ascriptions and explanatory power are more or less distinct (Section 1). This is done by analyzing a central and deep result of additive number theory, Szemerédi’s theorem, and various of its proofs (Section 2). In particular, I focus upon the radically (...) impure (ergodic) proof due to Furstenberg (Section 3). Furstenberg’s ergodic proof is striking because it utilizes intuitively foreign and infinitary resources to prove a finitary combinatorial result and does so in a perspicuous fashion. I claim that Furstenberg’s proof is explanatory in light of its clear expression of a crucial structural result, which provides the “reason why” Szemerédi’s theorem is true. This is, however, rather surprising: how can such intuitively different conceptual resources “get a grip on” the theorem to be proved? I account for this phenomenon by articulating a new construal of the content of a mathematical statement, which I call structural content (Section 4). I argue that the availability of structural content saves intuitive epistemic distinctions made in mathematical practice and simultaneously explicates the intervention of surprising and explanatorily rich conceptual resources. Structural content also disarms general arguments for thinking that impurity and explanatory power might come apart. Finally, I sketch a proposal that, once structural content is in hand, impure resources lead to explanatory proofs via suitably understood varieties of simplification and unification (Section 5). (shrink)

In response to recent work on the aggregation of individual judgments on logically connected propositions into collective judgments, it is often asked whether judgment aggregation is a special case of Arrowian preference aggregation. We argue for the converse claim. After proving two impossibility theorems on judgment aggregation (using "systematicity" and "independence" conditions, respectively), we construct an embedding of preference aggregation into judgment aggregation and prove Arrow’s theorem (stated for strict preferences) as a corollary of our second result. Although we (...) thereby provide a new proof of Arrow’s theorem, our main aim is to identify the analogue of Arrow’s theorem in judgment aggregation, to clarify the relation between judgment and preference aggregation, and to illustrate the generality of the judgment aggregation model. JEL Classi…cation: D70, D71.. (shrink)

In quantum mechanics, the wavefunction predicts probabilities of possible measurement outcomes, but not which individual outcome is realised in each run of an experiment. This suggests that it describes an ensemble of states with different values of a hidden variable. Here, we analyse this idea with reference to currently known theorems and experiments. We argue that the ψ-ontic/epistemic distinction fails to properly identify ensemble interpretations and propose a more useful definition. We then show that all local ψ-ensemble interpretations which reproduce (...) quantum mechanics violate Statistical Independence. Theories with this property are commonly referred to as superdeterministic or retrocausal. Finally, we explain how this interpretation helps make sense of some otherwise puzzling phenomena in quantum mechanics, such as the delayed choice experiment, the Elitzur-Vaidman bomb detector, and the Extended Wigner's Friends Scenario. (shrink)

This paper shows how the classical finite probability theory (with equiprobable outcomes) can be reinterpreted and recast as the quantum probability calculus of a pedagogical or toy model of quantum mechanics over sets (QM/sets). There have been several previous attempts to develop a quantum-like model with the base field of ℂ replaced by ℤ₂. Since there are no inner products on vector spaces over finite fields, the problem is to define the Dirac brackets and the probability calculus. The previous attempts (...) all required the brackets to take values in ℤ₂. But the usual QM brackets <ψ|ϕ> give the "overlap" between states ψ and ϕ, so for subsets S,T⊆U, the natural definition is <S|T>=|S∩T| (taking values in the natural numbers). This allows QM/sets to be developed with a full probability calculus that turns out to be a non-commutative extension of classical Laplace-Boole finite probability theory. The pedagogical model is illustrated by giving simple treatments of the indeterminacy principle, the double-slit experiment, Bell's Theorem, and identical particles in QM/Sets. A more technical appendix explains the mathematics behind carrying some vector space structures between QM over ℂ and QM/Sets over ℤ₂. (shrink)

We note that a plural version of logicism about arithmetic is suggested by the standard reading of Hume's Principle in terms of `the number of Fs/Gs'. We lay out the resources needed to prove a version of Frege's principle in plural, rather than second-order, logic. We sketch a proof of the theorem and comment philosophically on the result, which sits well with a metaphysics of natural numbers as plural properties.

The meaning of Lorentz contraction in special relativity and its connection with Bell’s spaceships parable is discussed. The motion of Bell’s spaceships is then compared with the accelerated motion of a rigid body. We have tried to write this in a simple form that could be used to correct students’ misconceptions due to conflicting earlier treatments.

Using a ‘reformulation of Bell’s theorem’, Waegell and McQueen (2020) argue that any empirically adequate theory that is local and does not involve retro-causation or fine-tuning must be a many-worlds theory. They go on to analyze several prominent many-worlds interpretations and conclude that non-separable many-worlds theories whose ontology is given by the wavefunction involve superluminal causation, while separable many-worlds theories (e.g. Waegell, 2021; Deutsch and Hayden 2000) do not. I put forward three claims. (A) I challenge their argument for (...) relying on a non-trivial, unquestioned assumption about elements of reality which allows Healey’s approach (Healey, 2017b) to evade their claim. In an attempt to respond to (A), Waegell and McQueen may restrict their claim to theories which satisfy such an assumption, however, I also argue that (B) their argument fails to prove even the so weakened claim, as exemplified by theories that are both non-separable and local. Finally, (C) by arguing for the locality of the decoherence-based Everettian approach (Wallace, 2012) I refute Waegell and McQueen’s claim that wavefunction-based ontologies, and more generally non-separable ontologies, involve superluminal causation. I close with some doubtful remarks about separable Everettian interpretations as compared to non-separable ones. (shrink)

The violation of Bell’s inequality has shown that quantum theory and relativity are in tension: reality is nonlocal. Nonetheless, many have argued that GRW-type theories are to be preferred to pilot-wave theories as they are more compatible with relativity: while relativistic pilot-wave theories require a preferred slicing of space-time, foliation-free relativistic GRW-type theories have been proposed. In this paper I discuss various meanings of ‘relativistic invariance,’ and I show how GRW-type theories, while being more relativistic in one sense, are less (...) relativistic in another. If so, the initial claim that GRW-type theories have a greater compatibility with relativity is unwarranted: both type of theories violate relativity, one way or another. (shrink)

This paper addresses a particular interpretation of quantum mechanics, i.e. superdeterminism. In short, superdeterminism i) takes the world to be fundamentally deterministic, ii) postulates hidden variables, and iii) contra Bell, saves locality at the cost of violating the principle of statistical independence. Superdeterminism currently enjoys little support in the physics and philosophy communities. Many take it to posit the ubiquitous occurrence of hard-to-digest conspiratorial and coincidental events; others object that violating the principle of statistical independence implies the death of the (...) scientific methodology. In this paper, we offer a defense to these and other objections. To counter the conspiracy objection, we draw upon the philosophical literature on time travel, and conclude that the picture of the world offered by the superdeterminist does not need to be particularly surprising or conspiratorial. We then move on to other recent objections, in particular those that focus on the methodology of science and the nature of the physical laws compatible with superdeterminism. A key ingredient of our arguments is that the principle of statistical independence may be violated in theory, but valid for practical purposes. Our overarching goal is to offer a defense of superdeterminism with respect to its main objections, so that it can earn its keep as a legitimate contender among the possible interpretations of quantum mechanics. (shrink)

Mathematical instrumentalism construes some parts of mathematics, typically the abstract ones, as an instrument for establishing statements in other parts of mathematics, typically the elementary ones. Gödel’s second incompleteness theorem seems to show that one cannot prove the consistency of all of mathematics from within elementary mathematics. It is therefore generally thought to defeat instrumentalisms that insist on a proof of the consistency of abstract mathematics from within the elementary portion. This article argues that though some versions of mathematical (...) instrumentalism are defeated by Gödel’s theorem, not all are. By considering inductive reasons in mathematics, we show that some mathematical instrumentalisms survive the theorem. (shrink)

In this article, a possible generalization of the Löb’s theorem is considered. Main result is: let κ be an inaccessible cardinal, then ¬Con( ZFC +∃κ) .

It has been known for a few years that no more than Pi-1-1 comprehension is needed for the proof of "Frege's Theorem". One can at least imagine a view that would regard Pi-1-1 comprehension axioms as logical truths but deny that status to any that are more complex—a view that would, in particular, deny that full second-order logic deserves the name. Such a view would serve the purposes of neo-logicists. It is, in fact, no part of my view that, (...) say, Delta-3-1 comprehension axioms are not logical truths. What I am going to suggest, however, is that there is a special case to be made on behalf of Pi-1-1 comprehension. Making the case involves investigating extensions of first-order logic that do not rely upon the presence of second-order quantifiers. A formal system for so-called "ancestral logic" is developed, and it is then extended to yield what I call "Arché logic". (shrink)

Riker (1982) famously argued that Arrow’s impossibility theorem undermined the logical foundations of “populism”, the view that in a democracy, laws and policies ought to express “the will of the people”. In response, his critics have questioned the use of Arrow’s theorem on the grounds that not all configurations of preferences are likely to occur in practice; the critics allege, in particular, that majority preference cycles, whose possibility the theorem exploits, rarely happen. In this essay, I argue (...) that the critics’ rejoinder to Riker misses the mark even if its factual claim about preferences is correct: Arrow’s theorem and related results threaten the populist’s principle of democratic legitimacy even if majority preference cycles never occur. In this particular context, the assumption of an unrestricted domain is justified irrespective of the preferences citizens are likely to have. (shrink)

Introduction to mathematical logic. Part 2.Textbook for students in mathematical logic and foundations of mathematics. Platonism, Intuition, Formalism. Axiomatic set theory. Around the Continuum Problem. Axiom of Determinacy. Large Cardinal Axioms. Ackermann's Set Theory. First order arithmetic. Hilbert's 10th problem. Incompleteness theorems. Consequences. Connected results: double incompleteness theorem, unsolvability of reasoning, theorem on the size of proofs, diophantine incompleteness, Loeb's theorem, consistent universal statements are provable, Berry's paradox, incompleteness and Chaitin's theorem. Around Ramsey's theorem.

The paper discusses Hilbert mathematics, a kind of Pythagorean mathematics, to which the physical world is a particular case. The parameter of the “distance between finiteness and infinity” is crucial. Any nonzero finite value of it features the particular case in the frameworks of Hilbert mathematics where the physical world appears “ex nihilo” by virtue of an only mathematical necessity or quantum information conservation physically. One does not need the mythical Big Bang which serves to concentrate all the violations of (...) energy conservation in a “safe”, maximally remote point in the alleged “beginning of the universe”. On the contrary, an omnipresent and omnitemporal medium obeying quantum information conservation rather than energy conservation permanently generates action and thus the physical world. The utilization of that creation “ex nihilo” is accessible to humankind, at least theoretically, as long as one observes the physical laws, which admit it in their new and wider generalization. One can oppose Hilbert mathematics to Gödel mathematics, which can be identified as all the standard mathematics until now featureable by the Gödel dichotomy of arithmetic to set theory: and then, “dialectic”, “intuitionistic”, and “Gödelian” mathematics within the former, according to a negative, positive, or zero value of the distance between finiteness and infinity. A mapping of Hilbert mathematics into pseudo-Riemannian space corresponds, therefore allowing for gravitation to be interpreted purely mathematically and ontologically in a Pythagorean sense. Information and quantum information can be involved in the foundations of mathematics and linked to the axiom of choice or alternatively, to the field of all rational numbers, from which the pair of both dual and anti-isometric Peano arithmetics featuring Hilbert arithmetic are immediately inferable. Noether’s theorems (1918) imply quantum information conservation as the maximally possible generalization of the pair of the conservation of a physical quantity and the corresponding Lie group of its conjugate. Hilbert mathematics can be interpreted from their viewpoint also after an algebraic generalization of them. Following the ideas of Noether’s theorem (1918), locality and nonlocality can be realized both physically and mathematically. The “light phase of the universe” can be linked to the gap of mathematics and physics in the Cartesian organization of cognition in Modernity and then opposed to its “dark phase”, in which physics and mathematics are merged. All physical quantities can be deduced from only mathematical premises by the mediation of the most fundamental physical constants such as the speed of light in a vacuum, the Planck and gravitational constants once they have been interpreted by the relation of locality and nonlocality. (shrink)

Is a logicist bound to the claim that as a matter of analytic truth there is an actual infinity of objects? If Hume’s Principle is analytic then in the standard setting the answer appears to be yes. Hodes’s work pointed to a way out by offering a modal picture in which only a potential infinity was posited. However, this project was abandoned due to apparent failures of cross-world predication. We re-explore this idea and discover that in the setting of the (...) potential infinite one can interpret first-order Peano arithmetic, but not second-order Peano arithmetic. We conclude that in order for the logicist to weaken the metaphysically loaded claim of necessary actual infinities, they must also weaken the mathematics they recover. (shrink)

About a British Academy collection of papers on Bayes' famous theorem.

In his recent article Christopher Gauker (2001) has presented a thoughtprovoking argument against deflationist theories of truth. More exactly, he attacks what he calls ‘T-schema deflationism’, that is, the claim that a theory of truth can simply take the form of certain instances of the T-schema.