Recent suggestions to supply quantum mechanics (QM) with realistic foundations by reformulating it in light of quantum information theory (QIT) are examined and are found wanting by pointing to a basic conceptual problem that QIT itself ignores, namely, the measurement problem. Since one cannot ignore the measurement problem and at the same time pretend to be a realist, as they stand, the suggestions to reformulate QM in light of QIT are nothing but instrumentalism in disguise.

A remarkable theorem by Clifton, Bub and Halvorson (2003) (CBH) characterizes quantum theory in terms of information--theoretic principles. According to Bub (2004, 2005) the philosophical significance of the theorem is that quantum theory should be regarded as a ``principle'' theory about (quantum) information rather than a ``constructive'' theory about the dynamics of quantum systems. Here we criticize Bub's principle approach arguing that if the mathematical formalism of quantum mechanics remains intact then there is no escape route from solving the measurement (...) problem by constructive theories. We further propose a (Wigner--type) thought experiment that we argue demonstrates that quantum mechanics on the information--theoretic approach is incomplete. (shrink)

Drawing on feminist and queer critiques that see violence as constitutive of identities, this essay points to subject-positions whose construction is necessarily conditioned by exercising violence. Focusing on settler colonialism, I reverse the optics of the first set of critiques: rather than seeing the self as taking form through the injuries she suffers, I try to understand selves that are structurally constituted by causing injury to others. This analysis refuses the assumption that violence is in conflict with (liberal) identity, and (...) that, therefore, the endurance of violence of liberal states/societies is dependent upon mechanisms of active blindness (or denial, deferral, and other forms of dissociation). I argue that this assumption, which is shared by many critiques of violence, fails to perceive that people can desire the violent arrangements supporting their communities. They therefore fail to address political settings wherein violence is an affirmative element of political identities. (shrink)

Loop quantum gravity predicts that spatial geometry is fundamentally discrete. Whether this discreteness entails a departure from exact Lorentz symmetry is a matter of dispute that has generated an interesting methodological dilemma. On one hand one would like the theory to agree with current experiments, but, so far, tests in the highest energies we can manage show no such sign of departure. On the other hand one would like the theory to yield testable predictions, and deformations of exact Lorentz symmetry (...) in certain yet– to–be–tested regimes may have phenomenological consequences. Exposing their shortcomings, here I discuss two arguments that exemplify this dilemma, and compare them to other cases from the history of physics that share their symptoms. (shrink)

Combining physics, mathematics and computer science, quantum computing and its sister discipline of quantum information have developed in the past few decades from visionary ideas to two of the most fascinating areas of quantum theory. General interest and excitement in quantum computing was initially triggered by Peter Shor (1994) who showed how a quantum algorithm could exponentially “speed-up” classical computation and factor large numbers into primes far more efficiently than any (known) classical algorithm. Shor’s algorithm was soon followed by several (...) other algorithms that aimed to solve combinatorial and algebraic problems, and in the years since theoretical study of quantum systems serving as computational devices has achieved tremendous progress. Common belief has it that the implementation of Shor’s algorithm on a large scale quantum computer would have devastating consequences for current cryptography protocols which rely on the premise that all known classical worst-case algorithms for factoring take time exponential in the length of their input (see, e.g., Preskill 2005). Consequently, experimentalists around the world are engaged in attempts to tackle the technological difficulties that prevent the realisation of a large scale quantum computer. But regardless whether these technological problems can be overcome (Unruh 1995; Ekert and Jozsa 1996; Haroche and Raimond 1996), it is noteworthy that no proof exists yet for the general superiority of quantum computers over their classical counterparts. -/- The philosophical interest in quantum computing is manifold. From a social-historical perspective, quantum computing is a domain where experimentalists find themselves ahead of their fellow theorists. Indeed, quantum mysteries such as entanglement and nonlocality were historically considered a philosophical quibble, until physicists discovered that these mysteries might be harnessed to devise new efficient algorithms. But while the technology for harnessing the power of 50–100 qubits (the basic unit of information in the quantum computer) is now within reach (Preskill 2018), only a handful of quantum algorithms exist, and the question of whether these can truly outperform any conceivable classical alternative is still open. From a more philosophical perspective, advances in quantum computing may yield foundational benefits. For example, it may turn out that the technological capabilities that allow us to isolate quantum systems by shielding them from the effects of decoherence for a period of time long enough to manipulate them will also allow us to make progress in some fundamental problems in the foundations of quantum theory itself. Indeed, the development and the implementation of efficient quantum algorithms may help us understand better the border between classical and quantum physics (Cuffaro 2017, 2018a; cf. Pitowsky 1994, 100), and perhaps even illuminate fundamental concepts such as measurement and causality. Finally, the idea that abstract mathematical concepts such as computability and complexity may not only be translated into physics, but also re-written by physics bears directly on the autonomous character of computer science and the status of its theoretical entities—the so-called “computational kinds”. As such it is also relevant to the long-standing philosophical debate on the relationship between mathematics and the physical world. (shrink)

We live within political systems that increasingly seek to control movement, organized around both the desire and ability to determine who is permitted to enter what sorts of spaces, from gated communities to nation-states. In _Movement and the Ordering of Freedom_, Hagar Kotef examines the roles of mobility and immobility in the history of political thought and the structuring of political spaces. Ranging from the writings of Locke, Hobbes, and Mill to the sophisticated technologies of control that circumscribe the (...) lives of Palestinians in the Occupied West Bank, this book shows how concepts of freedom, security, and violence take form and find justification via “regimes of movement.” Kotef traces contemporary structures of global mobility and resistance to the schism in liberal political theory, which embodied the idea of “liberty” in movement while simultaneously regulating mobility according to a racial, classed, and gendered matrix of exclusions. (shrink)

This paper examines research on three hypnotic phenomena: suggested amnesia, suggested analgesia, and “trance logic.” For each case a social-psychological interpretation of hypnotic behavior as a voluntary response strategy is compared with the traditional special-process view that “good” hypnotic subjects have lost conscious control over suggestion-induced behavior. I conclude that it is inaccurate to describe hypnotically amnesic subjects as unable to recall the material they have been instructed to forget. Although amnesics present themselves as unable to remember, they in fact (...) retain control over retrieval processes and accommodate their recall (or lack of it) to the social demands of the test situation. Hypnotic suggestions of analgesia do not produce a dissociation of pain from phenomenal awareness. Nonhypnotic suggestions of analgesia and distractor tasks that deflect attention from the'noxious stimuli are as effective as hypnotic suggestions in producing reductions in reported pain. Moreover, when appropriately motivated, subjects low in hypnotic suggestibility report pain reductions as large as those reported by highly suggestible hypnotically analgesic subjects. Finally, the data fail to support the view that a tolerance for logical incongruity (i.e., trance logic) uniquely characterizes hypnotic responding. So-called trance-logic-governed responding appears to reflect the attempts of “good” subjects to meet implicit demands to report accurately what they experience. (shrink)

In the present article I discuss, in confrontation with the most recent studies on Husserl’s phenomenology of acting and willing, the taxonomy of action that is collected in the volume ‘_Wille und Handlung_’ of the Husserliana edition _Studien zur Struktur des Bewussteins_. In so doing, I first present Husserl’s universal characterization of action (_Handlung_) as a volitional process (_willentlicher Vorgang_). Then, after clarifying what it means for a process to have a character of volitionality (_Willentlichkeit_), I illustrate the various types (...) of actions, which Husserl distinguishes as ‘straightforward’ (_schlicht_) or ‘deciding’ (_entscheidend_), ‘primary’ (_primär_) or ‘secondary’ (_sekundär_), ‘inner’ (_innere_) or ‘outer’ (_äußere_), ‘immediate’ (_unmittelbar_) or mediate (_mittelbar_), ‘simple’ (_einfach_) or ‘compound’ (_zusammengesetzt_). Finally, I consider Husserl’s discussion of the direction and foundation of action. (shrink)

It is occasionally claimed that the important work of philosophers, physicists, and mathematicians in the nineteenth and in the early twentieth centuries made Kant’s critical philosophy of geometry look somewhat unattractive. Indeed, from the wider perspective of the discovery of non-Euclidean geometries, the replacement of Newtonian physics with Einstein’s theories of relativity, and the rise of quantificational logic, Kant’s philosophy seems “quaint at best and silly at worst”.1 While there is no doubt that Kant’s transcendental project involves his own conceptions (...) of Newtonian physics, Euclidean geometry and Aristotelian logic, the issue at stake is whether the replacement of these conceptions collapses Kant’s philosophy into an unfortunate embarrassment.2 Thus, in evaluating the debate over the contemporary relevance of Kant’s philosophical project one is faced with the following two questions: (1) Are there any contradictions between the scientific developments of our era and Kant’s philosophy? (2) What is left from the Kantian legacy in light of our modern conceptions of logic, geometry and physics? Within this broad context, this paper aims to evaluate the Kantian project vis à vis the discovery and application of non-Euclidean geometries. Many important philosophers have evaluated Kant’s philosophy of geometry throughout the last century,3 but opinions with regard to the impact of non-Euclidean geometries on it diverge. In the beginning of the century there was a consensus that the Euclidean character of space should be considered as a consequence of the Kantian project, i.e., of the metaphysical view of space and of the synthetic a priori character of geometry. The impact of non-Euclidean geometries was then thought as undermining the Kantian project since it implied, according to positivists such.. (shrink)

A book on the notion of fundamental length, covering issues in the philosophy of math, metaphysics, and the history and the philosophy of modern physics, from classical electrodynamics to current theories of quantum gravity. Published (2014) in Cambridge University Press.

In the present article, I introduce Husserl’s analyses of ‘natural causality’ and ‘volitional causality’, which are collected in the volume ‘Wille und Handlung’ of the Husserliana edition Studien zur Struktur des Bewußtseins. My aim is to show that Husserl’s insight into these phenomena enables us to understand more clearly both the specificity of, and the relation between, the motivational nexus belonging to the sphere of the will in contrast with the causal laws of nature. In light of this understanding, in (...) the last part of the article I reflect on whether and to what extent there is, in fact, an ontological and epistemological compatibility between volitional causality and natural causality. (shrink)

We propose a new interpretation of objective deterministic chances in statistical physics based on physical computational complexity. This notion applies to a single physical system (be it an experimental set--up in the lab, or a subsystem of the universe), and quantifies (1) the difficulty to realize a physical state given another, (2) the 'distance' (in terms of physical resources) from a physical state to another, and (3) the size of the set of time--complexity functions that are compatible with the physical (...) resources required to reach a physical state from another. (shrink)

An analysis of the two routes through which one may disentangle a quantum system from a measuring apparatus, hence protect the state vector of a single quantum system from being disturbed by the measurement, reveals several loopholes in the argument from protective measurement to the reality of the state vector of a single quantum system.

Huw Price (1996, 2002, 2003) argues that causal-dynamical theories that aim to explain thermodynamic asymmetry in time are misguided. He points out that in seeking a dynamical factor responsible for the general tendency of entropy to increase, these approaches fail to appreciate the true nature of the problem in the foundations of statistical mechanics (SM). I argue that it is Price who is guilty of misapprehension of the issue at stake. When properly understood, causal-dynamical approaches in the foundations of SM (...) offer a solution for a different problem; a problem that unfortunately receives no attention in Price’s celebrated work. (shrink)

Recent suggestions to supply quantum mechanics (QM) with realistic foundations by reformulating it in light of quantum information theory (QIT) are examined and are found wanting by pointing to a basic conceptual problem that QIT itself ignores, namely, the measurement problem. Since one cannot ignore the measurement problem and at the same time pretend to be a realist, as they stand, the suggestions to reformulate QM in light of QIT are nothing but instrumentalism in disguise.

In quantum computing, where algorithms exist that can solve computational problems more efficiently than any known classical algorithms, the elimination of errors that result from external disturbances or from imperfect gates has become the ...

This article examines the cultural ways in which traditional Judaism understands the relationship between an individual and Divinity. The article shows that this understanding has deep gendered dimensions. Grounded in feminist critiques of theology, as well as in Jewish studies and cultural studies, the article shows that the conceptualization of God-person relationship, in both Orthodox and Kaballic Jewish streams, is based on a hierarchical division to three different spaces. These spaces are: Mitzvah, Grace, and Desire or Will. The Mitzvah is (...) perceived to be the highest space and is represented as 'manly'. The intermediate space-Grace-is represented as a 'good woman' or as 'mother'. This space is characterized by a sacred yearning, as well as by lack of stability and continuity, paralysis, and even death. The lowest space is the space of Desire and personal will, which is culturally represented by a child or a whore-woman. This space is characterized by an attitude of disregard, resistance and fear. The article demonstrates how this cultural division of Divinity in to three, contradicts the declared Jewish position that God/divinity is 'One, Sole and Unique', and points at the inherent need of genderless conceptualization of Divinity in Judaism. (shrink)

One defining feature of the Hindu religious worldviews is a belief in the impermanence of the body and its perception as a source of suffering due to a misguided attachment of the self to its corporeal manifestation. This view is expressed in several important traditions, including classical yoga, which perceives the physical body as an impediment to attaining liberation and irrelevant in the state of liberation.However, the perception of the physical body in liberation is going through ontological changes in early (...) medieval Haṭhayoga texts. The dichotomy between embodied and disembodied states of the body when one is liberated is the focus of this article. In several medieval yoga texts dating between the eleventh and the fifteenth centuries, the ontological immortal state of living liberation is more similar to physical death. Often the exact text holds both views of embodied and disembodied states simultaneously with no overt inconsistency. I argue that these tensions and contradictions can be explained in two ways: by looking at the assessed timeline of the texts and by reflecting on their sectarian and social origin. (shrink)

Bernoulli’s 1713 golden theorem is viewed retrospectively in the context of modern model-based frequentist inference that revolves around the concept of a prespecified statistical model Mθx\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{M}}_{{{\varvec{\uptheta}}}} \left( {\mathbf{x}} \right)$$\end{document}, defining the inductive premises of inference. It is argued that several widely-accepted claims relating to the golden theorem and frequentist inference are either misleading or erroneous: (a) Bernoulli solved the problem of inference ‘from probability to frequency’, and thus (b) the golden theorem (...) cannot justify an approximate Confidence Interval (CI) for the unknown parameter θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\theta$$\end{document}, (c) Bernoulli identified the probability PA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$P\left( A \right)$$\end{document} with the relative frequency 1n∑k=1nxk\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\frac{1}{n}\sum\nolimits_{k = 1}^{n} {x_{k} }$$\end{document} of event A as a result of conflating f(x0|θ)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$f({\mathbf{x}}_{0} |\theta )$$\end{document} with f(θ|x0),\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$f(\theta |{\mathbf{x}}_{0} ),$$\end{document} where x0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf{x}}_{0}$$\end{document} denotes the observed data, and (d) the same ‘swindle’ is currently perpetrated by the p value testers. In interrogating the claims (a)–(d), the paper raises several foundational issues that are particularly relevant for statistical induction as it relates to the current discussions on the replication crises and the trustworthiness of empirical evidence, arguing that: [i] The alleged Bernoulli swindle is grounded in the unwarranted claim θ^nx0≃θ∗,\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\hat{\theta }_{n} \left( {{\mathbf{x}}_{0} } \right) \simeq \theta^{*},$$\end{document} for a large enough n, where θ^nX\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\hat{\theta }_{n} \left( {\mathbf{X}} \right)$$\end{document} is an optimal estimator of the true value θ∗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\theta^{*}$$\end{document} of θ. [ii] Frequentist error probabilities are not conditional on hypotheses (H0 and H1) framed in terms of an unknown parameter θ since θ is neither a random variable nor an event. [iii] The direct versus inverse inference problem is a contrived and misplaced charge since neither conditional distribution f(x0|θ)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$f({\mathbf{x}}_{0} |\theta )$$\end{document} and f(θ|x0)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$f(\theta |{\mathbf{x}}_{0} )$$\end{document} exists (formally or logically) in model-based (Mθx\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{M}}_{{{\varvec{\uptheta}}}} \left( {\mathbf{x}} \right)$$\end{document}) frequentist inference. (shrink)

In "Heidegger and Criticism: Retrieving the Cultural Politics of Destruction", William Spanos examines the controversy, both in Europe and the United States, surrounding Heidegger and recent disclosures about his Nazi past. Not intended as a defense or apology for Heidegger's thought, Spanos instead affirms the importance of Heidegger's "antihumanist" interrogation of the modern age, its globalization of technology, and its neo-imperialist politics. The attack on Heidegger's "antihumanistic" discourse (by "liberal humanists" who have imported the European debate into the United States) (...) aligns ideologically with the ongoing policing operations of William Bennett, Allan Bloom, E.D. Hirsch, Roger Kimball, Dinesh D'Souza, and others in the spheres of higher education and cultural production. Throughout his arguments, Spanos focuses not so much on Heidegger the historical subject, as on the transformative cultural and political discourses and practices, implicit in and enabled by Heidegger's interrogations of Being and Time, that have led to the contemporary emergence of the multiplicity of resistant "Others" colonized by hegemonic discursive formations. All the while he reminds us that Heidegger's philosophic interrogations eventually generate a diverse body of transgressive writing and an oppositional intellectual climate in the West. Spanos is author of "Repetitions: the Postmodern Occasion in Literature and Culture" (1987) and "The End of Education: Toward Posthumanism" (Minnesota, 1992), and the editor of "Martin Heidegger and the Question in Literature" (1980) and the co-editor of "The Question of Textuality: Strategies of Reading in Contemporary American Criticism" (1982). This book is intended for those in the fields of philosophy, literary theory, political theory. (shrink)

Assesses the limits and possibilities of humanism for engaging with issues of pressing political and cultural concern. In his book The End of Education: Toward Posthumanism, William V. Spanos critiqued the traditional Western concept of humanism, arguing that its origins are to be found not in ancient Greece’s love of truth and wisdom, but in the Roman imperial era, when those Greek values were adapted in the service of imperialism on a deeply rooted, metaphysical level. Returning to that question of (...) humanism in the context of the United States’ war on terror in the post-9/11 era, Toward a Non-humanist Humanism points out the dehumanizing dynamics of Western modernity in which the rule of law is increasingly made flexible to defend against threats both real and potential. Spanos considers and assesses the work of thinkers such as Giorgio Agamben, Alain Badiou, Judith Butler, Jacques Rancière, and Slavoj Žižek as humanistic reformers and concludes with an effort to imagine a different kind of humanism—a non-humanist humanism—in which the old binary of friend versus foe gives way to a coming community without ethnic, cultural, or sexual divisions. William V. Spanos is Distinguished Professor Emeritus of English and Comparative Literature at Binghamton University, State University of New York. He is the author of many books, including American Exceptionalism in the Age of Globalization: The Specter of Vietnam and Herman Melville and the American Calling: The Fiction after Moby-Dick, 1851–1857, both also published by SUNY Press. (shrink)

Looking at one site, the Israeli checkpoints in the occupied Palestinian territory, this article seeks to understand the mechanisms by which violence can present itself as justifiable (or justified), even when it materializes within frames presumably set to annul it. We look at the checkpoints as a condensed microcosmos operating within two such frames. One is the prolonged Israeli-Palestinian ‘peace process’ (the checkpoints became a primary technology of control in the period following the beginning of the peace process), and the (...) other is regulatory power (disciplinary and biopower), which in the Foucauldian framework presumably sidelines the violent form which sovereign power takes. We argue that the checkpoints, which dissect the Palestinian occupied territories into dozens of enclaves and which are one of the most effective and destructive means of control within the current stage of occupation, can be seen as more than obstacles in the way of Palestinian movement; we suggest that they also function as corrective technologies that are meant to fail. It is with this failure that violence can appear as justified. In order to show the operation of this embedded failure, we examine one mechanism operating within the checkpoints: ‘the imaginary line’. The imaginary line is both a component within, and an emblem of a mode of control that constantly undoes itself in order to summon violence. Since it is never visibly marked in the physical space, the imaginary line is bound to be unintentionally crossed, thereby randomly rendering Palestinians as ‘transgressors’ of the rule and thus facilitating eruptions of violence by the soldiers stationed at the checkpoints. This article proposes an analysis of this hidden demarcation of space in order to question the different relations between subjects and power which it both assumes and constitutes. (shrink)

Rayleigh and Ramsay discovered the inert gas argon in the atmospheric air in 1895 using a carefully designed sequence of experiments guided by an informal statistical analysis of the resulting data. The primary objective of this article is to revisit this remarkable historical episode in order to make a case that the error‐statistical perspective can be used to bring out and systematize (not to reconstruct) these scientists' resourceful ways and strategies for detecting and eliminating error, as well as dealing with (...) Duhemian ambiguities and underdetermination problems as they arose in the context of their local research settings. *Received December 2009; revised January 2010. †To contact the author, please write to: Department of Economics, 3016 Pamplin Hall, Virginia Tech, Blacksburg, VA 24061; e‐mail: [email protected]. (shrink)

I discuss the philosophical implications that the rising new science of quantum computing may have on the philosophy of computer science. While quantum algorithms leave the notion of Turing-Computability intact, they may re-describe the abstract space of computational complexity theory hence militate against the autonomous character of some of the concepts and categories of computer science.

A recent attempt to compute a (recursion‐theoretic) noncomputable function using the quantum adiabatic algorithm is criticized and found wanting. Quantum algorithms may outperform classical algorithms in some cases, but so far they retain the classical (recursion‐theoretic) notion of computability. A speculation is then offered as to where the putative power of quantum computers may come from.

Despite the widespread use of key concepts of the Neyman–Pearson (N–P) statistical paradigm—type I and II errors, significance levels, power, confidence levels—they have been the subject of philosophical controversy and debate for over 60 years. Both current and long-standing problems of N–P tests stem from unclarity and confusion, even among N–P adherents, as to how a test's (pre-data) error probabilities are to be used for (post-data) inductive inference as opposed to inductive behavior. We argue that the relevance of error probabilities (...) is to ensure that only statistical hypotheses that have passed severe or probative tests are inferred from the data. The severity criterion supplies a meta-statistical principle for evaluating proposed statistical inferences, avoiding classic fallacies from tests that are overly sensitive, as well as those not sensitive enough to particular errors and discrepancies. Introduction and overview 1.1 Behavioristic and inferential rationales for Neyman–Pearson (N–P) tests 1.2 Severity rationale: induction as severe testing 1.3 Severity as a meta-statistical concept: three required restrictions on the N–P paradigm Error statistical tests from the severity perspective 2.1 N–P test T(): type I, II error probabilities and power 2.2 Specifying test T() using p-values Neyman's post-data use of power 3.1 Neyman: does failure to reject H warrant confirming H? Severe testing as a basic concept for an adequate post-data inference 4.1 The severity interpretation of acceptance (SIA) for test T() 4.2 The fallacy of acceptance (i.e., an insignificant difference): Ms Rosy 4.3 Severity and power Fallacy of rejection: statistical vs. substantive significance 5.1 Taking a rejection of H0 as evidence for a substantive claim or theory 5.2 A statistically significant difference from H0 may fail to indicate a substantively important magnitude 5.3 Principle for the severity interpretation of a rejection (SIR) 5.4 Comparing significant results with different sample sizes in T(): large n problem 5.5 General testing rules for T(), using the severe testing concept The severe testing concept and confidence intervals 6.1 Dualities between one and two-sided intervals and tests 6.2 Avoiding shortcomings of confidence intervals Beyond the N–P paradigm: pure significance, and misspecification tests Concluding comments: have we shown severity to be a basic concept in a N–P philosophy of induction? (shrink)

This article tells the story of Ed Fredkin, a pilot, programmer, engineer, hardware designer and entrepreneur, whose work inside and outside academia has influenced major developments in computer science and in the foundations of theoretical physics for the past fifty years.

I discuss a rarely mentioned correspondence between Einstein and Swann on the constructive approach to the special theory of relativity, in which Einstein points out that the attempts to construct a dynamical explanation of relativistic kinematical effects require postulating a fundamental length scale in the level of the dynamics. I use this correspondence to shed light on several issues under dispute in current philosophy of spacetime that were highlighted recently in Harvey Brown’s monograph Physical Relativity, namely, Einstein’s view on the (...) distinction between principle and constructive theories, and the consequences of pursuing the constructive approach in the context of spacetime theories. r 2008 Elsevier Ltd. All rights reserved. (shrink)

A recent proposal to solve the halting problem with the quantum adiabatic algorithm is criticized and found wanting. Contrary to other physical hypercomputers, where one believes that a physical process “computes” a (recursive-theoretic) non-computable function simply because one believes the physical theory that presumably governs or describes such process, believing the theory (i.e., quantum mechanics) in the case of the quantum adiabatic “hypercomputer” is tantamount to acknowledging that the hypercomputer cannot perform its task.

In the present article, I address the issue of categorial representative contents, which, according to Husserl’s phenomenological theory, make knowledge possible by providing fullness to intuitive categorial acts. First, I discuss Husserl’s assertion that he no longer approves of his theory of categorial representation developed in Logical Investigations. I argue that the influential interpretation of Husserl’s self-criticism advanced by Dieter Lohmar is unfortunately misleading, as Husserl does not actually claim that categorial representatives are contents of reflection belonging to the realm (...) of inner sensibility, as Lohmar contends. After offering an alternative view of Husserl’s authentic position in Logical Investigations, I examine other possible reasons for his later dissatisfaction. These reasons relate to Husserl’s changing views on the role of categorial representatives in empty thinking acts—necessarily involved in cognition—and the necessity of spontaneously repeating the passive synthesis between the intentional matters that function as categorial representatives in the predicative activity yielding knowledge. (shrink)

Quantum computers are hypothetical quantum information processing (QIP) devices that allow one to store, manipulate, and extract information while harnessing quantum physics to solve various computational problems and do so putatively more efficiently than any known classical counterpart. Despite many ‘proofs of concept’ (Aharonov and Ben–Or 1996; Knill and Laflamme 1996; Knill et al. 1996; Knill et al. 1998) the key obstacle in realizing these powerful machines remains their scalability and susceptibility to noise: almost three decades after their conceptions, experimentalists (...) still struggle to maintain useful quantum coherence in QIP devices with more than a pair of qubits (e.g., Blatt and Wineland 2008). This slow progress has prompted debates on the feasibility of quantum computers, yet the quantum information community has dismissed the skepticism as “ideology” (Aaronson 2004), claiming that the obstacles are merely technological (Kaye et al. 2007, 240). In a recent paper (Hagar 2009) I’ve argued that such a skepticism with respect to the feasibility of quantum computers need not be deemed ideological at all, and that the aforementioned ‘proofs of concept’ are physically suspect. Using analogies from the foundations of classical statistical mechanics (SM), I’ve also argued that instead of active error correction, the appropriate framework for debating the feasibility of large–scale, fault–tolerant and computationally superior quantum computers should be the project of error avoidance: rather than trying to constantly ‘cool down’ the QIP device and prevent its thermalization, one should try to locate those regions in the device’s state space which are thermodynamically ‘abnormal’, i.e., those regions in the device’s state space which resist thermalization regardless of external noise. This paper is intended as a further contribution to the debate on the feasibility of large–scale, fault–tolerant and computationally superior quantum computers. Relying again on analogies from the foundations of classical SM, it suggests a skeptical conjecture and frames it in the ‘passive’, error avoidance, context.. (shrink)

This article calls into question the charge that frequentist testing is susceptible to the base-rate fallacy. It is argued that the apparent similarity between examples like the Harvard Medical School test and frequentist testing is highly misleading. A closer scrutiny reveals that such examples have none of the basic features of a proper frequentist test, such as legitimate data, hypotheses, test statistics, and sampling distributions. Indeed, the relevant error probabilities are replaced with the false positive/negative rates that constitute deductive calculations (...) based on known probabilities among events. As a result, the ampliative dimension of frequentist induction—learning from data about the underlying data-generating mechanism—is missing. *Received August 2009; revised January 2010. †To contact the author, please write to: Department of Economics, Virginia Tech, Blacksburg, VA 24061; e-mail: [email protected]. (shrink)

The article revisits the large n problem as it relates to the Jeffreys-Lindley paradox to compare the frequentist, Bayesian, and likelihoodist approaches to inference and evidence. It is argued that what is fallacious is to interpret a rejection of as providing the same evidence for a particular alternative, irrespective of n; this is an example of the fallacy of rejection. Moreover, the Bayesian and likelihoodist approaches are shown to be susceptible to the fallacy of acceptance. The key difference is that (...) in frequentist testing the severity evaluation circumvents both fallacies but no such principled remedy exists for the other approaches. (shrink)

In this article I will explore some mythological and ritual aspects related to a pair of trees, the aśvattha and the śamī. In India, since the time of the Vedic culture, these two trees have often been the protagonists of myths and rituals in which they are conceived of as a couple. In various contemporary religious contexts, one finds dendrolatric practices (vanaspatipūjā), which sometimes result in the celebration of actual tree marriages (vr̥kṣa vivāha), whereby trees grow by intertwining with each (...) other. The aśvattha and the śamī, though in today's context separately, are also subject to dendrogamic practices. In particular, the aśvattha is subject to a gender-shift whereby in some contexts, though traditionally regarded as the male tree, it acquires a female role within the couple. This phenomenon finds a parallel in various myths and rituals handed down in the Vedic texts. In fact, the araṇis, that is, the two sticks that were rubbed together during the ritual of lighting the fire, were made from the wood of the two trees. The analysis of the symbolic values linked to the coupling of the two araṇis and the many variants that this motif generated allows us to highlight, on a mythical level, the emergence of a sexuality that is not necessarily heteronormative. These versions, in fact, lead us to reflect on an arboreal nature that alludes to a sexuality that bypasses and transcends the gender binary and accounts for the fluidity found in certain contemporary arboreal ‘marriages. (shrink)

One of the recurrent problems in the foundations of physics is to explain why we rarely observe certain phenomena that are allowed by our theories and laws. In thermodynamics, for example, the spontaneous approach towards equilibrium is ubiquitous yet the time-reversal-invariant laws that presumably govern thermal behaviour in the microscopic level equally allow spontaneous departure from equilibrium to occur. Why are the former processes frequently observed while the latter are almost never reported? Another example comes from quantum mechanics where the (...) formalism, if considered complete and universally applicable, predicts the existence of macroscopic superpositions—monstrous Schr¨odinger cats—and these are never observed: while electrons and atoms enjoy the cloudiness of waves, macroscopic objects are always localized to definite positions. (shrink)

Haṭhayoga texts, influential in the development of modern posture-based yoga, offer a conceptual framework intertwining physical cultivation, health, and soteriological aims. This article explores two interconnected inquiries regarding early Haṭhayoga texts: How do they conceptualize health, and how do they perceive the relationship between health and soteriology? These investigations illuminate the place of health in early yoga texts within Hindu traditions prior to its global recognition. This article reveals that early _haṭha_ texts present a holistic approach to health, highlighting the (...) interconnectedness of curing the mind and healing the body. This process entails not only eradicating physical diseases but also the transcendence of all forms of suffering. The transformative process of eliminating the misleading self-identity (_ahaṁkāra_) is pivotal, leading directly to health. This relationship extends beyond metaphorical comparisons of healing ignorance and suffering. This ontological framework proposes a harmonious integration between the material and soteriological realms, viewing the healthy body as a physical manifestation of the divine essence. Thus, the emergence of the biomedical discourse surrounding yoga in modern times did not occur autonomously. Haṭhayoga, with its roots dating back to the beginning of the second millennium CE, played a crucial role in shaping this historical transformation. (shrink)

In this article, I analyze the working principle and associated concepts of the method of eidetic variation as illustrated by Husserl in Experience and Judgment. In so doing, I scrutinize the very specific sense in which, for Husserl, variation must be free in order to have intuition of a universal as pure, that is, as having a priori validity. I then discuss Husserl’s problematic claim that, even if totally free, the eidetic variation is actually not sufficient to achieve purity. The (...) reason for its insufficiency, I argue, must be sought in the habits of phantasy. To this aim, I first undertake a phenomenological analysis of the essence of these habits as passive tendencies of the phantasizing ego. Then, I show that they hinder the intuition of the universal as pure by contaminating the purity of the free possibilities to be varied. Finally, I discuss whether habits of phantasy can be put out of play and whether, depending on the realizability of such a task, the whole method of eidetic variation, and, in relation to it, the possibility of a priori knowledge advocated by Husserl is to be put into question. (shrink)

For model-based frequentist statistics, based on a parametric statistical model ${{\cal M}_\theta }$, the trustworthiness of the ensuing evidence depends crucially on the validity of the probabilistic assumptions comprising ${{\cal M}_\theta }$, the optimality of the inference procedures employed, and the adequateness of the sample size to learn from data by securing –. It is argued that the criticism of the postdata severity evaluation of testing results based on a small n by Rochefort-Maranda is meritless because it conflates [a] misuses (...) of testing with [b] genuine foundational problems. Interrogating this criticism reveals several misconceptions about trustworthy evidence and estimation-based effect sizes, which are uncritically embraced by the replication crisis literature. (shrink)