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. I also identify similar oversight in the GHZ variant of Bell's theorem, invalidating its claim of having found an inconsistency in the premisses of the argument by EPR for completing quantum mechanics. Conceptually, the oversight in both Bell's theorem and its GHZ variant traces back to the oversight in von Neumann's theorem against hidden variable theories identified by Grete Hermann in the 1930s. (shrink)

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)

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.

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)

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.

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)

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.

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)

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)

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

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)

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 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)

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 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)

If you have enjoyed any of the 7 (seven) other books I have published over 20 years, including literally thousands of pages of mathematical and topological concepts, Python programs and conceptually expanding papers, please consider buying this book for $20.00 on google play books. -/- Introduction: -/- Though the following pages provide extensive exposition and dedicated descriptions of the phenomenological velocity formulas, theory and mystery, I thought it appropriate to write this introduction as a partial explanation for what phenomenal velocity (...) is, and describe, briefly its theory and applications. Phenomenological Velocity is a method for solving for something that ought cancel out with itself, but there are specific implicit forms for this thing that, “ought cancel out with itself,” namely the Lorentz coefficient ought cancel out with itself when applied to the height of a cone derived from the difference between the circumferences of two circles applied to the Pythagorean Theorem, or, more generally, the height implied by application of the Pythagorean theorem to the difference between two arc lengths’ equaling a third arc length. These difference equations are essential to conceptualizing differentiation, and in these further chapters, I demonstrate that the phenomenological velocity is, indeed the conditional derivative in the chapter, “Conditional Integral of Phenomenological Velocity.” The phenomenological velocity algebraic solution to the velocity within the Lorentz coefficient when applied to the height function in such a way that it ought cancel out with itself is both constructive mathematics and it employs the concept of, “bracketing,” - first introduced by Edmund Husserl in his writings on the phenomenological reduction. Phenomenological Velocity’s algebraic solution from the difference between two arc lengths applied to the Pythagorean Theorem to solve for a theoretical height (which is a projected distance in space), employs bracketing, because we, “set aside,” the existence of an undefined solution, namely due to the presence of necessitated complex analytical forms by the architecture of the equation, or the “mathetecture,” of the algebraic form. -/- With respect to theology, the phenomenological velocity is somehow symbolic of the creation itself; symbolic of creation due to the fact that we find the canceling out of the Lorentz coefficient as, “impotent,” non-existent or non-effecting to the mathetecture of the height function. However, via the modus-ponens work around to phenomenological velocity, which in itself does not require the complex field, but embeds implied complex field solutions to the equation while maintaining logical consistency, we find existence from non-existence. This is directly linguistically applicable to the concept of the big-bang, the resurrection of Yeshua the Messiah, and opens analogies for us to draw relationships between the, “fall,” of Adam and Eve as the generation of error, or the introduction of paradox, as we see the phallus representing paradox topologically. -/- The phenomenological velocity is a gestalt concept, relevant to cosmology, because we find that it is the perfect language-form for discussing dark matter. It does, however, require the reader to re-conceive or re-frame rather, some of the fundamental aspects of assumed physical reality like time, experience, solidity of dark matter, etc. We find the hidden dimension of phenomenological velocity to have been an overlooked aspect of mathematical physics by the researchers of Bell’s theorem and undoubtedly a host of other theorems. Thus, raising awareness about the real existence and necessitated reality of phenomenological velocity is in no way an endeavor deserving further procrastination by the scientific community, for doing so would be intellectually dishonest and further the propagation of incomplete or misleading theories on reality. -/- This work details how the Lorentz coefficient, when applied to the height of a cone in such a way as to cancel out with itself, permits the velocity variable to have a solution to it anyway, even though it ought cancel out with itself. This mathe-tecture, so to speak has consequences for complex analysis, and pave the way for, "transcendental relativity," building an adaptive framework for consciousness and physical reality. (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)

In the paper it is demonstrated that Bell's theorem is unproveable.

This paper discusses the extent to which advances in quantum physics can affect ideas of free will and determinism. It questions whether arguments that conclude the existence of free will from quantum physics are as valid as they seem. -/- The paper discusses the validity of Searle’s philosophy of mind, Robert Kane’s parallel processing, and Ted Honderich’s near-determinism, as well as dealing with chaos theory, the relationship between ‘randomness’ and ‘unpredictability,’ and Bell’s theorem, discussing how they can be used (...) to answer the question regarding quantum physics and free will. -/- The paper is tentative towards forming any definitive conclusion due to the ambiguity and confusion surrounding quantum physics but alludes to the idea that quantum randomness not only retracts from universal determinism, but also retracts from human free will, thus theorising a form of universal chaos and unpredictability. (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)

This paper introduces an exact correspondence between a general class of stochastic systems and quantum theory. This correspondence provides a new framework for using Hilbert-space methods to formulate highly generic, non-Markovian types of stochastic dynamics, with potential applications throughout the sciences. This paper also uses the correspondence in the other direction to reconstruct quantum theory from physical models that consist of trajectories in configuration spaces undergoing stochastic dynamics. The correspondence thereby yields a new formulation of quantum theory, alongside the Hilbert-space, (...) path-integral, and quasiprobability formulations. In addition, this reconstruction approach opens up new ways of understanding quantum phenomena like interference, decoherence, entanglement, noncommutative observables, and wave-function collapse. (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.

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.

This paper initiates the reverse mathematics of social choice theory, studying Arrow's impossibility theorem and related results including Fishburn's possibility theorem and the Kirman–Sondermann theorem within the framework of reverse mathematics. We formalise fundamental notions of social choice theory in second-order arithmetic, yielding a definition of countable society which is tractable in RCA0. We then show that the Kirman–Sondermann analysis of social welfare functions can be carried out in RCA0. This approach yields a proof of Arrow's (...) class='Hi'>theorem in RCA0, and thus in PRA, since Arrow's theorem can be formalised as a Π01 sentence. Finally we show that Fishburn's possibility theorem for countable societies is equivalent to ACA0 over RCA0. (shrink)

It is difficult to extract reliable criteria for causal locality from the limited ingredients found in textbook quantum theory. In the end, Bell humbly warned that his eponymous theorem was based on criteria that “should be viewed with the utmost suspicion.” Remarkably, by stepping outside the wave-function paradigm, one can reformulate quantum theory in terms of old-fashioned configuration spaces together with ‘unistochastic’ laws. These unistochastic laws take the form of directed conditional probabilities, which turn out to provide a hospitable (...) foundation for encoding microphysical causal relationships. This unistochastic reformulation provides quantum theory with a simpler and more transparent axiomatic foundation, plausibly resolves the measurement problem, and deflates various exotic claims about superposition, interference, and entanglement. Making use of this reformulation, this paper introduces a new principle of causal locality that is intended to improve on Bell's criteria, and shows directly that systems that remain at spacelike separation cannot exert causal influences on each other, according to that new principle. These results therefore lead to a general hidden-variables interpretation of quantum theory that is arguably compatible with causal locality. (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)

The aim of this paper is to argue that the (alleged) indeterminism of quantum mechanics, claimed by adherents of the Copenhagen interpretation since Born (1926), can be proved from Chaitin's follow-up to Goedel's (first) incompleteness theorem. In comparison, Bell's (1964) theorem as well as the so-called free will theorem-originally due to Heywood and Redhead (1983)-left two loopholes for deterministic hidden variable theories, namely giving up either locality (more precisely: local contextuality, as in Bohmian mechanics) or free (...) choice (i.e. uncorrelated measurement settings, as in 't Hooft's cellular automaton interpretation of quantum mechanics). The main point is that Bell and others did not exploit the full empirical content of quantum mechanics, which consists of long series of outcomes of repeated measurements (idealized as infinite binary sequences): their arguments only used the long-run relative frequencies derived from such series, and hence merely asked hidden variable theories to reproduce single-case Born probabilities defined by certain entangled bipartite states. If we idealize binary outcome strings of a fair quantum coin flip as infinite sequences, quantum mechanics predicts that these typically (i.e. almost surely) have a property called 1-randomness in logic, which is much stronger than uncomputability. This is the key to my claim, which is admittedly based on a stronger (yet compelling) notion of determinism than what is common in the literature on hidden variable theories. (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)

Gender norms can guide our sense of what we feel like we ought to do, even when we don't want them to. Understanding this norm responsiveness is an important part of understanding how oppressive gender systems are sustained. According to a social constructionist position, gender norm responsiveness happens as a result of social training, or socialization. It's often assumed that this training depends on our gender categories—that, for example, those who occupy the category “man” will be responsive to masculine norms, (...) and so on. Call this a category-based view. But trans and gender-nonconforming people are often responsive to gender norms that don't match our gender categories. This is sometimes taken as evidence for the conclusion that normative masculinity and femininity are somehow innate or pre-socialized. I reject this inference. I argue that we should instead dispense with a category-based view, and instead adopt a traits-based view. Gender norms apply to individuals on the basis of the gender-coded traits that they express. A traits-based view represents a social constructionist account of gender norms which leaves room for trans and GNC experiences of normative gender, and thus represents an important step towards creating inclusive theory. (shrink)

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.

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 this article, a possible generalization of the Löb’s theorem is considered. Main result is: let κ be an inaccessible cardinal, then ¬Con( ZFC +∃κ) .

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)

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)

Recently, the concept of "gender identity" has enjoyed a great deal of attention in gender metaphysics. This seems to be motivated by the goal of creating trans-inclusive theory, by explaining trans people's genders. In this paper, we aim to unmotivate this project. Notions of "gender identity" serve important pragmatic purposes for trans people, such as satisfying the curiosity of non-trans people, and, relatedly, securing our access to important goods like legal rights and medical care. However, we argue that this does (...) not mean that "gender identity" is a metaphysically substantial thing that deserves extensive theoretical attention. There are reasons to be skeptical of such a concept. We trace the history of "gender identity," primarily to identify its roots in trans-antagonistic medical theory and its connections to the problematic "wrong-body" model--a legacy that has pathologized and flattened trans experience. Moreover, we argue that trans people primarily use "gender identity" to explain ourselves to non-trans people, rather than to discuss ourselves among ourselves. Thus, we urge theorists to resist the urge to substantiate gender identity. Instead, we encourage the development of new and better concepts, ones that attend to the lived realities of trans community and the flourishing gender terms and practices that are constructed there. If these lived realities are taken seriously, there is no need to “explain” trans people’s genders; we can simply see them as they are. (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)

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)

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)

Clive Bell was not an ethicist. He was an aesthetician, known for his very strong formalist views, according to which art has nothing to do with ethics and politics. At least that is the textbook description of his general stance. ‘Art and war’ is a relatively unknown piece by him that has been ignored within art history partly because the relation between art on the one hand and ethics and politics on the other is much more complex here.

There is an extensive literature in social choice theory studying the consequences of weakening the assumptions of Arrow's Impossibility Theorem. Much of this literature suggests that there is no escape from Arrow-style impossibility theorems unless one drastically violates the Independence of Irrelevant Alternatives (IIA). In this paper, we present a more positive outlook. We propose a model of comparing candidates in elections, which we call the Advantage-Standard (AS) model. The requirement that a collective choice rule (CCR) be rationalizable by (...) the AS model is in the spirit of but weaker than IIA; yet it is stronger than what is known in the literature as weak IIA (two profiles alike on x, y cannot have opposite strict social preferences on x and y). In addition to motivating violations of IIA, the AS model makes intelligible violations of another Arrovian assumption: the negative transitivity of the strict social preference relation P. While previous literature shows that only weakening IIA to weak IIA or only weakening negative transitivity of P to acyclicity still leads to impossibility theorems, we show that jointly weakening IIA to AS rationalizability and weakening negative transitivity of P leads to no such impossibility theorems. Indeed, we show that several appealing CCRs are AS rationalizable, including even transitive CCRs. (shrink)

This essay deals with Gödel's Theorems in relationship to Philosophy of Science; firstly, in outlining Ludwig Wittgenstein's position on the limits of philosophical truth that we can derive from Gödel (and how this in turn impacts modern-philosophical conceptions of science), and secondly, the deeper uncertainty about consciousness that Gödel's theorems point to, most notably elucidated by Sir Roger Penrose.

A Husserlian phenomenological approach to logic treats concepts in terms of their experiential meaning rather than in terms of reference, sets of individuals, and sentences. The present article applies such an approach in turn to the reasoning operative in various paradoxes: the simple Liar, the complex Liar paradoxes, the Grelling-type paradoxes, and Gödel’s Theorem. It finds that in each case a meaningless statement, one generated by circular definition, is treated as if were meaningful, and consequently as either true or (...) false, although in fact it is neither. The situation is further complicated by the fact that the sentence used to express the meaningless statement is ambiguous, and may also be used to express a meaningful statement. The paradoxes result from a failure to distinguish between the two meanings the sentence may have. (shrink)

The previous two parts of the paper demonstrate that the interpretation of Fermat’s last theorem (FLT) in Hilbert arithmetic meant both in a narrow sense and in a wide sense can suggest a proof by induction in Part I and by means of the Kochen - Specker theorem in Part II. The same interpretation can serve also for a proof FLT based on Gleason’s theorem and partly similar to that in Part II. The concept of (probabilistic) measure (...) of a subspace of Hilbert space and especially its uniqueness can be unambiguously linked to that of partial algebra or incommensurability, or interpreted as a relation of the two dual branches of Hilbert arithmetic in a wide sense. The investigation of the last relation allows for FLT and Gleason’s theorem to be equated in a sense, as two dual counterparts, and the former to be inferred from the latter, as well as vice versa under an additional condition relevant to the Gödel incompleteness of arithmetic to set theory. The qubit Hilbert space itself in turn can be interpreted by the unity of FLT and Gleason’s theorem. The proof of such a fundamental result in number theory as FLT by means of Hilbert arithmetic in a wide sense can be generalized to an idea about “quantum number theory”. It is able to research mathematically the origin of Peano arithmetic from Hilbert arithmetic by mediation of the “nonstandard bijection” and its two dual branches inherently linking it to information theory. Then, infinitesimal analysis and its revolutionary application to physics can be also re-realized in that wider context, for example, as an exploration of the way for physical quantity of time (respectively, for time derivative in any temporal process considered in physics) to appear at all. Finally, the result admits a philosophical reflection of how any hierarchy arises or changes itself only thanks to its dual and idempotent counterpart. (shrink)

Tennenbaum's Theorem yields an elegant characterisation of the standard model of arithmetic. Several authors have recently claimed that this result has important philosophical consequences: in particular, it offers us a way of responding to model-theoretic worries about how we manage to grasp the standard model. We disagree. If there ever was such a problem about how we come to grasp the standard model, then Tennenbaum's Theorem does not help. We show this by examining a parallel argument, from a (...) simpler model-theoretic result. (shrink)

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

Leibniz proposed the ‘Most Determined Path Principle’ in seventeenth century. According to it, ‘ease’ of travel is the end purpose of motion. Using this principle and his calculus method he demonstrated Snell’s Laws of reflection and refraction. This method shows that light follows extremal (local minimum or maximum) time path in going from one point to another, either directly along a straight line path or along a broken line path when it undergoes reflection or refraction at plane or spherical (concave (...) or convex) surfaces. The extremal time path avoided the criticism that Fermat’s least time path was subjected to, by Cartesians who cited examples of reflections at spherical surfaces where light took the path of longest time. Thereby it became the standard method of demonstration of Snell’s Laws. Ptolemy’s theorem is a fundamental theorem in geometry. A special case of it offers a method of finding the minimum sum of the two distances of a point from two given fixed points. We show in this paper that Leibniz’s calculus proof of Snell’s Laws violates Ptolemy’s theorem, whereby Leibniz’s proof becomes invalid. (shrink)

I argue that Composition as Identity blocks the plural version of Cantor's Theorem, and that therefore the plural version of Cantor's Theorem can no longer be uncritically appealed to. As an example, I show how this result blocks a recent argument by Hawthorne and Uzquiano.

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.