A Further Review of the Incompatibility between Classical Principles and Quantum Postulates

The traditional “realist” conception of physics, according to which human concepts, laws and theories can grasp the essence of a reality in our absence, seems incompatible with quantum formalism and it most fruitful interpretation. The proof rests on the violation by quantum mechanical formalism of some fundamental principles of the classical ontology. We discuss if the conception behind Einstein’s idea of a reality in our absence, could be still maintained and at which price. We conclude that quantum mechanical formalism is not formulated on those terms, leaving for a separated paper the discussion about the terms in which it could be formulated and the onto-epistemological implications it might have.     

The Generalised Liar Paradox: A Quantum Model and Interpretation

The formalism of abstracted quantum mechanics is applied in a model of the generalized Liar Paradox. Here, the Liar Paradox, a consistently testable configuration of logical truth properties, is considered a dynamic conceptual entity in the cognitive sphere (Aerts, Broekaert, &; Smets, [Foundations of Science 1999, 4, 115–132; International Journal of Theoretical Physics, 2000, 38, 3231–3239]; Aerts and colleagues[Dialogue in Psychology, 1999, 10; Proceedings of Fundamental Approachs to Consciousness, Tokyo ’99; Mind in Interaction]. Basically, the intrinsic contextuality of the truth-value of the Liar Paradox is appropriately covered by the abstracted quantum mechanical approach. The formal details of the model are explicited here for the generalized case. We prove the possibility of constructing a quantum model of the m-sentence generalizations of the Liar Paradox. This includes (i) the truth–falsehood state of the m-Liar Paradox can be represented by an embedded 2m-dimensional quantum vector in a (2m) ^m -dimensional complex Hilbert space, with cognitive interactions corresponding to projections, (ii) the construction of a continuous ‘time’ dynamics is possible: typical truth and falsehood value oscillations are described by Schrödinger evolution, (iii) Kirchoff and von Neumann axioms are satisfied by introduction of ‘truth-value by inference’ projectors, (iv) time invariance of unmeasured state.     

Quantum Superpositions and the Representation of Physical Reality Beyond Measurement Outcomes and Mathematical Structures

In this paper we intend to discuss the importance of providing a physical representation of quantum superpositions which goes beyond the mere reference to mathematical structures and measurement outcomes. This proposal goes in the opposite direction to the project present in orthodox contemporary philosophy of physics which attempts to “bridge the gap” between the quantum formalism and common sense “classical reality”—precluding, right from the start, the possibility of interpreting quantum superpositions through non-classical notions. We will argue that in order to restate the problem of interpretation of quantum mechanics in truly ontological terms we require a radical revision of the problems and definitions addressed within the orthodox literature. On the one hand, we will discuss the need of providing a formal redefinition of superpositions which captures explicitly their contextual character. On the other hand, we will attempt to replace the focus on the measurement problem, which concentrates on the justification of measurement outcomes from “weird” superposed states, and introduce the superposition problem which focuses instead on the conceptual representation of superpositions themselves. In this respect, after presenting three necessary conditions for objective physical representation, we will provide arguments which show why the classical (actualist) representation of physics faces severe difficulties to solve the superposition problem. Finally, we will also argue that, if we are willing to abandon the (metaphysical) presupposition according to which ‘Actuality = Reality’, then there is plenty of room to construct a conceptual representation for quantum superpositions.     

Why Axiomatize?

Axiomatization is uncommon outside mathematics, partly for being often viewed as embalming, partly because the best-known axiomatizations have serious shortcomings, and partly because it has had only one eminent champion, namely David Hilbert (Math Ann 78:405–415, 1918). The aims of this paper are (a) to describe what will be called dual axiomatics, for it concerns not just the formalism, but also the meaning (reference and sense) of the key concepts; and (b) to suggest that every instance of dual axiomatics presupposes some philosophical view or other. To illustrate these points, a theory of solidarity will be crafted and axiomatized, and certain controversies in both classical and quantum physics, as well as in the philosophy of mind, will be briefly discussed. The upshot of this paper is that dual axiomatics, unlike the purely formal axiomatics favored by the structuralists school, is not a luxury but a tool helping resolve some scientific controversies.     

The Observer Effect

Founding our analysis on the Geneva-Brussels approach to the foundations of physics, we provide a clarification and classification of the key concept of observation. An entity can be observed with or without a scope. In the second case, the observation is a purely non-invasive discovery process; in the first case, it is a purely invasive process, which can involve either creation or destruction aspects. An entity can also be observed with or without a full control over the observational process. In the latter case, the observation can be described by a symmetry breaking mechanism, through which a specific deterministic observational process is selected among a number of potential ones, as explained in Aerts’ hidden measurement approach. This is what is called a product test, or product observation, whose consequences are that outcomes can only be predicted in probabilistic terms, as it is the case in typical quantum measurements. We also show that observations can be about intrinsic (stable) properties of the observed entity, or about relational (ephemeral) properties between the observer and observed entities; also, they can be about intermediate properties, neither purely classical, nor purely quantum. Our analysis allows us to propose a general conceptual characterization of quantum measurements, as observational processes involving three aspects: (1) product observations, (2) pure creation aspects and (3) ephemeral relational properties. We also discuss the important concept of non-spatiality and emphasize some of the differences and similarities between quantum and classical/relativistic observations.     

Objects and Processes in Mathematical Practice

In this paper it is argued that the fundamental difference of the formal and the informal position in the philosophy of mathematics results from the collision of an object and a process centric perspective towards mathematics. This collision can be overcome by means of dialectical analysis, which shows that both perspectives essentially depend on each other. This is illustrated by the example of mathematical proof and its formal and informal nature. A short overview of the employed materialist dialectical approach is given that rationalises mathematical development as a process of model production. It aims at placing more emphasis on the application aspects of mathematical results. Moreover, it is shown how such production realises subjective capacities as well as objective conditions, where the latter are mediated by mathematical formalism. The approach is further sustained by Polanyi’s theory of problem solving and Stegmaier’s philosophy of orientation. In particular, the tool and application perspective illuminates which role computer-based proofs can play in mathematics.     

Perceiving the Infinite and the Infinitesimal World: Unveiling and Optical Diagrams in Mathematics

Many important concepts of the calculus are difficult to grasp, and they may appear epistemologically unjustified. For example, how does a real function appear in “small” neighborhoods of its points? How does it appear at infinity? Diagrams allow us to overcome the difficulty in constructing representations of mathematical critical situations and objects. For example, they actually reveal the behavior of a real function not “close to” a point (as in the standard limit theory) but “in” the point. We are interested in our research in the diagrams which play an optical role –microscopes and “microscopes within microscopes”, telescopes, windows, a mirror role (to externalize rough mental models), and an unveiling role (to help create new and interesting mathematical concepts, theories, and structures). In this paper we describe some examples of optical diagrams as a particular kind of epistemic mediator able to perform the explanatory abductive task of providing a better understanding of the calculus, through a non-standard model of analysis. We also maintain they can be used in many other different epistemological and cognitive situations.     

Quantum Nonlocality and the Challenge to Scientific Realism

In this essay I examine various aspects of the nearcentury-long debate concerning the conceptualfoundations of quantum mechanics and the problems ithas posed for physicists and philosophers fromEinstein to the present. Most crucial here is theissue of realism and the question whether quantumtheory is compatible with any kind of realist orcausal-explanatory account which goes beyond theempirical-predictive data. This was Einstein's chiefconcern in the famous series of exchanges with NielsBohr when he refused to accept the truth orcompleteness of a doctrine (orthodox QM) which ruledsuch questions to be strictly inadmissible. I discussthe later history of quantum-theoretical debate withparticular reference to the issue of nonlocality,i.e., the phenomenon of superluminal(faster-than-light) interaction betweenwidely-separated particles. Then I show how thestandard `Copenhagen' interpretation of QM hasinfluenced current anti-realist orontological-relativist approaches to philosophy ofscience. Indeed, there are clear signs that somephilosophers have retreated from a realist positionvery largely in response to just these problems. So itis important to ask exactly why – on what scientificor philosophical grounds – any preferred alternative(causal-realist) construal should have been ruled outas a matter of orthodox QM wisdom. Moreconstructively, my paper presents various arguments infavour of one such alternative, the `hidden-variables'theory developed since the early 1950s by David Bohmand consistently marginalised by proponents of theCopenhagen doctrine.     

Memory and Geometry in Bruno: Some Analogies

In 1588 the Italian philosopher Giordano Bruno wrote a treatise against the mathematicians and philosophers of his time (Articuli centum et sexaginta adversus huius tempestatis mathematicos atque philosophos), which he dedicated to the emperor Rudolph II. The ‘oddities’ thus presented to the emperor, as an alternative to sixteenth-century mathematics, have been studied from both a mathematical and a philosophical point of view. In addition to the philosophical approach, this article indicates analogies between the Nolan’s geometry and his art of memory. Bearing in mind that Bruno was a teacher in the ars memoriae, the manner in which mnemonic aspects are woven into his mathematical thinking is brought out.     

Leibniz’s Theory of Space

In this paper I offer a fresh interpretation of Leibniz’s theory of space, in which I explain the connection of his relational theory to both his mathematical theory of analysis situs and his theory of substance. I argue that the elements of his mature theory are not bare bodies (as on a standard relationalist view) nor bare points (as on an absolutist view), but situations. Regarded as an accident of an individual body, a situation is the complex of its angles and distances to other co-existing bodies, founded in the representation or state of the substance or substances contained in the body. The complex of all such mutually compatible situations of co-existing bodies constitutes an order of situations, or instantaneous space. Because these relations of situation change from one instant to another, space is an accidental whole that is continuously changing and becoming something different, and therefore a phenomenon. As Leibniz explains to Clarke, it can be represented mathematically by supposing some set of existents hypothetically (and counterfactually) to remain in a fixed mutual relation of situation, and gauging all subsequent situations in terms of transformations with respect to this initial set. Space conceived in terms of such allowable transformations is the subject of Analysis Situs. Finally, insofar as space is conceived in abstraction from any bodies that might individuate the situations, it encompasses all possible relations of situation. This abstract space, the order of all possible situations, is an abstract entity, and therefore ideal.     

Additive Biclustering: A Comparison of One New and Two Existing ALS Algorithms

The additive biclustering model for two-way two-mode object by variable data implies overlapping clusterings of both the objects and the variables together with a weight for each bicluster (i.e., a pair of an object and a variable cluster). In the data analysis, an additive biclustering model is fitted to given data by means of minimizing a least squares loss function. To this end, two alternating least squares algorithms (ALS) may be used: (1) PENCLUS, and (2) Baier’s ALS approach. However, both algorithms suffer from some inherent limitations, which may hamper their performance. As a way out, based on theoretical results regarding optimally designing ALS algorithms, in this paper a new ALS algorithm will be presented. In a simulation study this algorithm will be shown to outperform the existing ALS approaches.     

Points of View Beyond Models: Towards a Formal Approach to Points of View as Access to the World

According to Vázquez and Liz (Found Sci 16(4): 383–391, 2011), Points of View (PoV) can be considered in two different ways. On the one hand, they can be explained following the model of propositional attitudes. This model assumes that the internal structure of a PoV is constituted by a subject, a set of contents, and a set of relations between the subject and those contents. On the other hand, we can analyze points of view taking as a model the notions of location and access. If we choose to follow the second approach, instead of the first one, the internal structure of a PoV is not directly addressed, and the emphasized features of PoV are related to the function that PoV are intended to have. That is, PoV are directly identified by their role and they can solely be understood as ways of accessing the world that bring some kind of perspective about it. Having this in mind, we would like to propose a notation that explains how to understand such access as a sort of models (that can allow the creation of concepts), independently of whether the precise PoV under consideration is impersonal or non-impersonal, its kind of content, and its subjective or objective character. First, we will present an account of some previous approaches to the study of points of view. Then, we will analyze what kind of structure the world is assumed to posses and how the access to it is possible. Third, we will develop a notation that explains PoV as qualitative dimensions by means of which it is possible to valuate objects and states of the world.     

From Permanence to Total Availability: A Quantum Conceptual Upgrade

We consider the classical concept of time of permanence and observe that its quantum equivalent is described by a bona fide self-adjoint operator. Its interpretation, by means of the spectral theorem, reveals that we have to abandon not only the idea that quantum entities would be characterizable in terms of spatial trajectories but, more generally, that they would possess the very attribute of spatiality. Consequently, a permanence time shouldn’t be interpreted as a “time” in quantum mechanics, but as a measure of the total availability of a quantum entity in participating to a process of creation of a spatial localization.     

The Intentionality of Formal Systems

One of the most interesting and entertaining philosophical discussions of the last few decades is the discussion between Daniel Dennett and John Searle on the existence of intrinsic intentionality. Dennett denies the existence of phenomena with intrinsic intentionality. Searle, however, is convinced that some mental phenomena exhibit intrinsic intentionality. According to me, this discussion has been obscured by some serious misunderstandings with regard to the concept ‘intrinsic intentionality’. For instance, most philosophers fail to realize that it is possible that the intentionality of a phenomenon is partly intrinsic and partly observer relative. Moreover, many philosophers are mixing up the concepts ‘original intentionality’ and ‘intrinsic intentionality’. In fact, there is, in the philosophical literature, no strict and unambiguous definition of the concept ‘intrinsic intentionality’. In this article, I will try to remedy this. I will also try to give strict and unambiguous definitions of the concepts ‘observer relative intentionality’, ‘original intentionality’, and ‘derived intentionality’. These definitions will be used for an examination of the intentionality of formal mathematical systems. In conclusion, I will make a comparison between the (intrinsic) intentionality of formal mathematical systems on the one hand, and the (intrinsic) intentionality of human beings on the other hand.     

Mathematics as a Quasi-Empirical Science

The present paper aims at showing that there are times when set theoretical knowledge increases in a non-cumulative way. In other words, what we call ‘set theory’ is not one theory which grows by simple addition of a theorem after the other, but a finite sequence of theories T ₁, ..., T _n in which T _i+1, for 1 ≤ i < n, supersedes T _i . This thesis has a great philosophical significance because it implies that there is a sense in which mathematical theories, like the theories belonging to the empirical sciences, are fallible and that, consequently, mathematical knowledge has a quasi-empirical nature. The way I have chosen to provide evidence in favour of the correctness of the main thesis of this article consists in arguing that Cantor–Zermelo set theory is a Lakatosian Mathematical Research Programme (MRP).     

Scientific Discovery: Between Incommensurability of Paradigms and Historical Continuity

Discoveries in physics imply two elements. The firstone is the belief that formal tools, already foundedin the framework of existing mathematical theories,may offer the solution to a puzzling anomaly. Thesecond one is the ability to assign a physical meaningto the adopted formalism, and to consider all itstheoretical implications.Discussing an historical case where the adoption of aparticular formalism represents the real motor of thecreative intuition, we mean to delineate scientificdiscovery both as a discontinuous change with respectto previous achievements and as a linear process ofknowledge enrichment.On March 1948, during the Pocono conference thatfollowed the one held in Shelter Island, Feynmananalysed the electron-photon interaction formulatingit in terms of the Lagrangian formalism. Thedevelopment of Feynman's idea draws attention to thepoint that novel theoretical discoveries may be theresult of applying existing formal tools. They may bethe result of giving different interpretations toprevious scientific thinking (according to thehermeneutical point that not even scientific textshave a single, absolute meaning but are given amultiplicity of possible readings by different peoplein different contexts).     

Schwinger and the Ontology of Quantum Field Theory

An epistemological interpretation of quantum mechanics hinges on the claim that the distinctive features of quantum mechanics can be derived from some distinctive features of an observational basis. Old and new variations of this theme are listed. The program has a limited success in non-relativistic quantum mechanics. The crucial issue is how far it can be extended to quantum field theory without introducing significant ontological postulates. A C*-formulation covers algebraic quantum field theory, but not the standard model. Julian Schwinger’s anabatic methodology extended a strict measurement-based formulation of quantum mechanics through field theory. His extension also excluded the quark hypothesis and the standard model. Quarks and local gauge invariance are postulates that go beyond the limits of an epistemological interpretation of quantum mechanics. The ontological significance ascribed to these advances depends on the role accorded ontology.