The purpose of this paper is to show that the mathematics of quantum mechanics is the mathematics of set partitions linearized to vector spaces, particularly in Hilbert spaces. That is, the math of QM is the Hilbert space version of the math to describe objective indefiniteness that at the set level is the math of partitions. The key analytical concepts are definiteness versus indefiniteness, distinctions versus indistinctions, and distinguishability versus indistinguishability. The key machinery to go from indefinite to more definite (...) states is the partition join operation at the set level that prefigures at the quantum level projective measurement as well as the formation of maximally-definite state descriptions by Dirac’s Complete Sets of Commuting Operators. This development is measured quantitatively by logical entropy at the set level and by quantum logical entropy at the quantum level. This follow-the-math approach supports the Literal Interpretation of QM—as advocated by Abner Shimony among others which sees a reality of objective indefiniteness that is quite different from the common sense and classical view of reality as being “definite all the way down”. (shrink)

Mi objetivo es discutir las principales dificultades que Frank P. Ramsey encontró en Principia Mathematica y la solución que, vía el Tractatus Logico-Philosophicus, propuso al respecto. Sostengo que las principales dificultades que Ramsey encontró en Principia Mathematica están, todas, relacionadas con que Russell y Whitehead desatendieron la forma lógica de las proposiciones matemáticas, las cuales, según Ramsey, deben ser tautológicas.

This book brings together papers from a conference that took place in the city of L'Aquila, 4–6 April 2019, to commemorate the 10th anniversary of the earthquake that struck on 6 April 2009. Philosophers and scientists from diverse fields of research debated the problem that, on 6 April 1922, divided Einstein and Bergson: the nature of time. For Einstein, scientific time is the only time that matters and the only time we can rely on. Bergson, however, believes that scientific time (...) is derived by abstraction, even in the sense of extraction, from a more fundamental time. The plurality of times envisaged by the theory of Relativity does not, for him, contradict the philosophical intuition of the existence of a single time. But how do things stand today? What can we say about the relationship between the quantitative and qualitative dimensions of time in the light of contemporary science? What do quantum mechanics, biology and neuroscience teach us about the nature of time? The essays collected here take up the question that pitted Einstein against Bergson, science against philosophy, in an attempt to reverse the outcome of their monologue in two voices, with a multilogue in several voices. (shrink)

I propose that an irreducible property of physical space — consistency — is the origin of logic. I propose that an inconsistent space is inconceivable and that this inconceivability can be recognized as the force behind logical propositions. The implications of this argument are briefly explored and then applied to address two paradoxes: Zeno of Elea’s paradox regarding the race between Achilles and the Tortoise, and Lewis Carroll’s paradox regarding the Tortoise’s conversation with Achilles after the race. I conclude that (...) Achilles would have won on both accounts, in the race and the argument, by invoking the consistency of space as the foundation of both movement across space and logical argument. (shrink)

As is well known, the late Husserl warned against the dangers of reifying and objectifying the mathematical models that operate at the heart of our physical theories. Although Husserl’s worries were mainly directed at Galilean physics, the first aim of our paper is to show that many of his critical arguments are no less relevant today. By addressing the formalism and current interpretations of quantum theory, we illustrate how topics surrounding the mathematization of nature come to the fore naturally. Our (...) second aim is to consider the program of reconstructing quantum theory, a program that currently enjoys popularity in the field of quantum foundations. We will conclude by arguing that, seen from this vantage point, certain insights delivered by phenomenology and quantum theory regarding perspectivity are remarkably concordant. Our overall hope with this paper is to show that there is much room for mutual learning between phenomenology and modern physics. (shrink)

What is the source of logical and mathematical truth? This book revitalizes conventionalism as an answer to this question. Conventionalism takes logical and mathematical truth to have their source in linguistic conventions. This was an extremely popular view in the early 20th century, but it was never worked out in detail and is now almost universally rejected in mainstream philosophical circles. Shadows of Syntax is the first book-length treatment and defense of a combined conventionalist theory of logic and mathematics. It (...) argues that our conventions, in the form of syntactic rules of language use, are perfectly suited to explain the truth, necessity, and a priority of logical and mathematical claims, as well as our logical and mathematical knowledge. (shrink)

The aim of this doctoral dissertation is to closely explore the nature of Einstein’s block universe and to tease out its implications for the nature of time and human freedom. Four questions, in particular, are central to this dissertation, and set out the four dimensions of this philosophical investigation: (1) Does the block universe view of time follow inevitably from the theory of special relativity? (2) Is there room for the passage of time in the block universe? (3) Can we (...) distinguish past from future in the block universe? (4) Is there room for human freedom in the block universe? Although the answer of most philosophers would be yes, triple no, my own answer, controversially, is no, triple yes. -/- I thereby challenge the status quo with respect to each of these metaphysical questions, and argue that none of these questions can be answered from looking at physics alone. Physics may constrain our metaphysics, but it certainly does not settle it. What is needed in order to answer these questions, are additional metaphysical assumptions that fall outside the scope of modern physics. My primary goal in this dissertation, therefore, is not to settle the debates on the nature of time and human freedom, but to clarify them by expliciting the metaphysical assumptions that are otherwise left implicit. (shrink)

The present paper introduces a simple framework for modeling the relationship between environmental states, perceptual states, and action. The framework represents situations where an agent’s perceptual state forms the basis for choosing an action, and what action the agent performs determines the agent’s payoff, as a function of the environmental conditions in which the action is performed. The framework is used as the basis for a simulation study of the sorts of correspondence between perceptual and environmental states that are important (...) for successful navigation of the world. Some of the results are surprising and conflict with long held views about the kind of perception-to-environment correspondence that is important for knowledge of the world. The results also raise doubts concerning the view that our perceptual states provide a basis for knowledge of the real structure of the external world. (shrink)

The Timaeus is the dialogue that was for many centuries the most influential of Plato’s works. Among its readers we find Descartes, Boyle, Kepler and Heisenberg. In the first division of Timaeus Plato deals with the theory of celestial motion, in the second he presents us with the first mathematical theory of the structure of matter. Here, in a gigantic step forward with respect to the preceding Democritean atomistic theory with its unalterable micro-entities, he introduces the intertransformability of elementary corpuscles (...) and with that the first “chemical” reactions in history. Plato’s geometrical interpretation of Empedocles’ elements and his geometrical atomism is described at the molecular, atomic and sub-atomic level. The “chemical” reactions reported in Timaeus are written in the enlightening chemical symbolism, analogies with modern chemistry are noticed throughout. (shrink)

According to Kant, the axioms of intuition, i.e. space and time, must provide an organization of the sensory experience. However, this first orderliness of empirical sensations seems to depend on a kind of faculty pertaining to subjectivity, rather than to the encounter of these same intuitions with the real properties of phenomena. Starting from an analysis of some very significant developments in mathematical and theoretical physics in the last decades, in which intuition played an important role, we argue that nevertheless (...) intuition comes into play in a fundamentally different way to that which Kant had foreseen: in the form of a formal or “categorical” yet not sensible intuition. We show further that the statement that our space is mathematically three-dimensional and locally Euclidean by no means follows from a supposed a priori nature of the sensible or subjective space as Kant claimed. In fact, the three-dimensional space can bear many different geometrical and topological structures, as particularly the mathematical results of Milnor, Smale, Thurston and Donaldson demonstrated. On the other hand, it has been stressed that even the phenomenological or perceptual space, and especially the visual system, carries a very rich geometrical organization whose structure is essentially non-Euclidean. Finally, we argue that in order to grasp the meaning of abstract geometric objects, as n-dimensional spaces, connections on a manifold, fiber spaces, module spaces, knotted spaces and so forth, where sensible intuition is essentially lacking and where therefore another type of mathematical idealization intervenes, we need to develop a new form of intuition. (shrink)

This paper discusses the relevance of supertask computation for the determinacy of arithmetic. Recent work in the philosophy of physics has made plausible the possibility of supertask computers, capable of running through infinitely many individual computations in a finite time. A natural thought is that, if supertask computers are possible, this implies that arithmetical truth is determinate. In this paper we argue, via a careful analysis of putative arguments from supertask computations to determinacy, that this natural thought is mistaken: supertasks (...) are of no help in explaining arithmetical determinacy. (shrink)

In his attempt to put forward an empiricist version of structuralism, van Fraassen develops an approach to scientific representation and models which has been the object of several critiques. Here we cover the “Loss of Reality Objection”, namely, that reality itself would play no role in science if science could only refer to mathematical models. We examine and dismiss the solution offered by van Fraassen. Finally, we offer an alternative solution path.

The concept of time is examined using the second law of thermodynamics that was recently formulated as an equation of motion. According to the statistical notion of increasing entropy, flows of energy diminish differences between energy densities that form space. The flow of energy is identified with the flow of time. The non-Euclidean energy landscape, i.e. the curved space–time, is in evolution when energy is flowing down along gradients and levelling the density differences. The flows along the steepest descents, i.e. (...) geodesics are obtained from the principle of least action for mechanics, electrodynamics and quantum mechanics. The arrow of time, associated with the expansion of the Universe, identifies with grand dispersal of energy when high-energy densities transform by various mechanisms to lower densities in energy and eventually to ever-diluting electromagnetic radiation. Likewise, time in a quantum system takes an increment forwards in the detection-associated dissipative transformation when the stationary-state system begins to evolve pictured as the wave function collapse. The energy dispersal is understood to underlie causality so that an energy gradient is a cause and the resulting energy flow is an effect. The account on causality by the concepts of physics does not imply determinism; on the contrary, evolution of space–time as a causal chain of events is non-deterministic. (shrink)

One of the key features of modern mathematics is the adoption of the abstract method. Our goal in this paper is to propose an explication of that method that is rooted in the history of the subject.

I argue that absolutism, the view that absolutely unrestricted quantification is possible, is to blame for both the paradoxes that arise in naive set theory and variants of these paradoxes that arise in plural logic and in semantics. The solution is restrictivism, the view that absolutely unrestricted quantification is not possible. -/- It is generally thought that absolutism is true and that restrictivism is not only false, but inexpressible. As a result, the paradoxes are blamed, not on illicit quantification, but (...) on the logical conception of set which motivates naive set theory. The accepted solution is to replace this with the iterative conception of set. -/- I show that this picture is doubly mistaken. After a close examination of the paradoxes in chapters 2--3, I argue in chapters 4 and 5 that it is possible to rescue naive set theory by restricting quantification over sets and that the resulting restrictivist set theory is expressible. In chapters 6 and 7, I argue that it is the iterative conception of set and the thesis of absolutism that should be rejected. (shrink)

Esta enciclopédia abrange, de uma forma introdutória mas desejavelmente rigorosa, uma diversidade de conceitos, temas, problemas, argumentos e teorias localizados numa área relativamente recente de estudos, os quais tem sido habitual qualificar como «estudos lógico-filosóficos». De uma forma apropriadamente genérica, e apesar de o território teórico abrangido ser extenso e de contornos por vezes difusos, podemos dizer que na área se investiga um conjunto de questões fundamentais acerca da natureza da linguagem, da mente, da cognição e do raciocínio humanos, bem (...) como questões acerca das conexões destes com a realidade não mental e extralinguística. A razão daquela qualificação é a seguinte: por um lado, a investigação em questão é qualificada como filosófica em virtude do elevado grau de generalidade e abstracção das questões examinadas (entre outras coisas); por outro, a investigação é qualificada como lógica em virtude de ser uma investigação logicamente disciplinada, no sentido de nela se fazer um uso intenso de conceitos, técnicas e métodos provenientes da disciplina de lógica. O agregado de tópicos que constitui a área de estudos lógico-filosóficos é já visível, pelo menos em parte, no Tractatus Logico-Philosophicus de Ludwig Wittgenstein, uma obra publicada em 1921. E uma boa maneira de ter uma ideia sinóptica do território disciplinar abrangido por esta enciclopédia, ou pelo menos de uma porção substancial dele, é extrair do Tractatus uma lista dos tópicos mais salientes aí discutidos; a lista incluirá certamente tópicos do seguinte género, muitos dos quais se podem encontrar ao longo desta enciclopédia: factos e estados de coisas; objectos; representação; crenças e estados mentais; pensamentos; a proposição; nomes próprios; valores de verdade e bivalência; quantificação; funções de verdade; verdade lógica; identidade; tautologia; o raciocínio matemático; a natureza da inferência; o cepticismo e o solipsismo; a indução; as constantes lógicas; a negação; a forma lógica; as leis da ciência; o número. (shrink)

It is often thought that consciousness has a qualitative dimension that cannot be tracked by science. Recently, however, some philosophers have argued that this worry stems not from an elusive feature of the mind, but from the special nature of the concepts used to describe conscious states. Marc Champagne draws on the neglected branch of philosophy of signs or semiotics to develop a new take on this strategy. The term “semiotics” was introduced by John Locke in the modern period – (...) its etymology is ancient Greek, and its theoretical underpinnings are medieval. Charles Sanders Peirce made major advances in semiotics, so he can act as a pipeline for these forgotten ideas. Most philosophers know Peirce as the founder of American pragmatism, but few know that he also coined the term “qualia,” which is meant to capture the intrinsic feel of an experience. Since pragmatic verification and qualia are now seen as conflicting commitments, Champagne endeavors to understand how Peirce could (or thought he could) have it both ways. The key, he suggests, is to understand how humans can insert distinctions between features that are always bound. Recent attempts to take qualities seriously have resulted in versions of panpsychism, but Champagne outlines a more plausible way to achieve this. So, while semiotics has until now been the least known branch of philosophy ending in –ics, his book shows how a better understanding of that branch can move one of the liveliest debates in philosophy forward. (shrink)

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

This paper explicates Husserl’s usage of what he calls “radical Besinnung” in Formale und transzendentale Logik. Husserl introduces radical Besinnung as his method in the introduction to FTL. Radical Besinnung aims at criticizing the practice of formal sciences by means of transcendental phenomenological clarification of its aims and presuppositions. By showing how Husserl applies this method to the history of formal sciences down to mathematicians’ work in his time, the paper explains in detail the relationship between historical critical Besinnung and (...) transcendental phenomenology. Ultimately the paper suggests that radical Besinnung should be viewed as a general methodological framework within which transcendental phenomenological descriptions are used to criticize historically given goal-directed practices. (shrink)

One of the leading concerns animating current philosophy of mind is that, no matter how good a scientific account is, it will leave out what its like to be conscious. The challenge has thus been to study or at least explain away that qualitative dimension. Pursuant with that aim, I investigate how philosophy of signs in the Peircean tradition can positively reshape ongoing debates. Specifically, I think the account of iconic or similarity-based reference we find in semiotic theory offers a (...) more promising variant of the phenomenal concept strategy. Philosophers who endorse this strategy think that the difficulties we have fitting conscious qualia into a scientific picture may owe to the peculiar nature of indexical concepts. They point to the fact that, when we try to convey the feel of our experiences, we employ context-dependent gestures and/or utterances that are indexed to perspectives unique to each person. However, according to the theory I defend, there are three ways signs can refer, namely by convention, causal contact, and similarity. Since similarity is not reducible to proximity, I argue that a theory of reference that turns on shared quality can bypass some of the implausible consequences that plague indexical accounts. In the first chapter, I describe the apparatus needed to make sense of this claim. In the second chapter, I present my account of iconic reference. In the third chapter, I justify my reliance on a distinction that is less than real yet more than nominal. In the fourth chapter, I sketch a trinitarian metaphysics well-suited to house the foregoing account of qualia. (shrink)

This paper proposes a reading of the history of equivalence in mathematics. The paper has two main parts. The first part focuses on a relatively short historical period when the notion of equivalence is about to be decontextualized, but yet, has no commonly agreed-upon name. The method for this part is rather straightforward: following the clues left by the others for the ‘first’ modern use of equivalence. The second part focuses on a relatively long historical period when equivalence is experienced (...) in context. The method for this part is to strip the ideas from their set-theoretic formulations and methodically examine the variations in the ways equivalence appears in some prominent historical texts. The paper reveals several critical differences in the conceptions of equivalence at different points in history that are at variance with the standard account of the mathematical notion of equivalence encompassing the concepts of equivalence relation and equivalence class. (shrink)

Brentano’s theory of continuity is based on his account of boundaries. The core idea of the theory is that boundaries and coincidences thereof belong to the essence of continua. Brentano is confident that he developed a full-fledged, boundary-based, theory of continuity1; and scholars often concur: whether or not they accept Brentano’s take on continua they consider it a clear contender. My impression, on the contrary, is that, although it is infused with invaluable insights, several aspects of Brentano’s account of continuity (...) remain inchoate. To be clear, the theory of boundaries on which it relies, as well as the account of ontological dependence that Brentano develops alongside his theory of boundaries, constitute splendid achievements. However, the passage from the theory of boundaries to the account of continuity is rather sketchy. This paper pinpoints some chief problems raised by this transition, and proposes some solutions to them which, if not always faithful to the letter of Brentano’s account of continua, are I believe faithful to its spirit. §1 presents Brentano’s critique of the mathematical account of the continuous. §2 introduces Brentano’s positive account of continua. §3 raises three worries about Brentano’s account of continuity. §4 proposes a Neo-Brentanian approach to continua that handles these worries. (shrink)

Deux choses sont en contact s'il n'y a rien entre elles (ni volume, ni ligne, ni point) et qu'elles ne se chevauchent pas (en un volume, un ligne ou un point). Le contact est la limite de proximité des choses : si deux choses sont en contact, deux autres choses ne peuvent être pas être plus près l'une de l'autre sans se pénétrer.

Cancer research is experiencing ‘paradigm instability’, since there are two rival theories of carcinogenesis which confront themselves, namely the somatic mutation theory and the tissue organization field theory. Despite this theoretical uncertainty, a huge quantity of data is available thanks to the improvement of genome sequencing techniques. Some authors think that the development of new statistical tools will be able to overcome the lack of a shared theoretical perspective on cancer by amalgamating as many data as possible. We think instead (...) that a deeper understanding of cancer can be achieved by means of more theoretical work, rather than by merely accumulating more data. To support our thesis, we introduce the analytic view of theory development, which rests on the concept of plausibility, and make clear in what sense plausibility and probability are distinct concepts. Then, the concept of plausibility is used to point out the ineliminable role played by the epistemic subject in the development of statistical tools and in the process of theory assessment. We then move to address a central issue in cancer research, namely the relevance of computational tools developed by bioinformaticists to detect driver mutations in the debate between the two main rival theories of carcinogenesis. Finally, we briefly extend our considerations on the role that plausibility plays in evidence amalgamation from cancer research to the more general issue of the divergences between frequentists and Bayesians in the philosophy of medicine and statistics. We argue that taking into account plausibility-based considerations can lead to clarify some epistemological shortcomings that afflict both these perspectives. (shrink)

This paper is a contribution to a book symposium on my book Experiencing Time. I reply to comments on the book by Natalja Deng, Geoffrey Lee and Bradford Skow. Although several chapters of the book are discussed, the main focus of my reply is on Chapters 2 and 6. In Chapter 2 I argue that the putative mind-independent passage of time could not be experienced, and from this I develop an argument against the A-theory of time. In Chapter 6 I (...) offer one part of an explanation of why we are disposed to think that time passes, relating to the supposedly ‘dynamic’ quality of experienced change. Deng, Lee, and Skow’s comments help me to clarify several issues, add some new thoughts, and make a new distinction that was needed, and I acknowledge, as I did in the book, that certain arguments in Chapter 6 are not conclusive; but I otherwise concede very little regarding the main claims and arguments defended in the book. (shrink)

This thesis considers the following problem: What methods should the epistemology of science use to gain insight into the structure and behaviour of scientific knowledge and method in actual scientific practice? After arguing that the elucidation of epistemological and methodological phenomena in science requires a method that is rooted in formal methods, I consider two alternative methods for epistemology of science. One approach is the classical approaches of the syntactic and semantic views of theories. I show that typical approaches of (...) this sort are inadequate and inaccurate in their representation of scientific knowledge by showing how they fail to account for and misrepresent important epistemological structure and behaviour in science. The other method for epistemology of science I consider is modeled on the methods used to construct valid models of natural phenomena in applied mathematics. This new epistemological method is itself a modeling method that is developed through the detailed consideration of two main examples of theory application in science: double pendulum systems and the modeling of near-Earth objects to compute probability of future Earth impact. I show that not only does this new method accurately represent actual methods used to apply theories in applied mathematics, it also reveals interesting structural and behavioural patterns in the application process and gives insight into what underlies the stability of methods of application. I therefore conclude that for epistemology of science to develop fully as a scientific discipline it must use methods from applied mathematics, not only methods from pure mathematics and metamathematics as traditional formal epistemology of science has done. (shrink)

Attempts to ‘naturalize’ phenomenology challenge both traditional phenomenology and traditional approaches to cognitive science. They challenge Edmund Husserl’s rejection of naturalism and his attempt to establish phenomenology as a foundational transcendental discipline, and they challenge efforts to explain cognition through mainstream science. While appearing to be a retreat from the bold claims made for phenomenology, it is really its triumph. Naturalized phenomenology is spearheading a successful challenge to the heritage of Cartesian dualism. This converges with the reaction against Cartesian thought (...) within science itself. Descartes divided the universe between res cogitans, thinking substances, and res extensa, the mechanical world. The latter won with Newton and we have, in most of objective science since, literally lost our mind, hence our humanity. Despite Darwin, biologists remain children of Newton, and dream of a grand theory that is epistemologically complete and would allow lawful entailment of the evolution of the biosphere. This dream is no longer tenable. We now have to recognize that science and scientists are within and part of the world we are striving to comprehend, as proponents of endophysics have argued, and that physics, biology and mathematics have to be reconceived accordingly. Interpreting quantum mechanics from this perspective is shown to both illuminate conscious experience and reveal new paths for its further development. In biology we must now justify the use of the word “function”. As we shall see, we cannot prestate the ever new biological functions that arise and constitute the very phase space of evolution. Hence, we cannot mathematize the detailed becoming of the biosphere, nor write differential equations for functional variables we do not know ahead of time, nor integrate those equations, so no laws “entail” evolution. The dream of a grand theory fails. In place of entailing laws, a post-entailing law explanatory framework is proposed in which Actuals arise in evolution that constitute new boundary conditions that are enabling constraints that create new, typically unprestatable, Adjacent Possible opportunities for further evolution, in which new Actuals arise, in a persistent becoming. Evolution flows into a typically unprestatable succession of Adjacent Possibles. Given the concept of function, the concept of functional closure of an organism making a living in its world, becomes central. Implications for patterns in evolution include historical reconstruction, and statistical laws such as the distribution of extinction events, or species per genus, and the use of formal cause, not efficient cause, laws. (shrink)

This paper presents Minimal Information Structural Realism. MISR claims that information is an ontologically and epistemologically objective physical entity1 and is perceived as, but not identical to, organization, form, or structure of nature. There is a relatively significant body of literature claiming that the essential, if not fundamental, element of nature is information. Authors differ on the precise description of information conceived this way. However, they do agree that it would be a forming element in nature, a factor responsible for (...) patterns observed in reality, apprehended through order, organization or structures. To express the fundamental ontological role of information in nature, a new kind of structural realism, or rather information structural realism, is needed. This paper is proposing exactly this in the form of minimal information structural realism. The basic claim of MISR is that information is a foundation of reality and it is perceived or apprehended through patterns or structures. This claim embodies basic intuitions regarding the role of information in nature. MISR is not associated with the structural realism SR of the ontic or epistemic kinds, and is only remotely related to the concept of information structural realism defined by Floridi. (shrink)

This paper is concerned with the problem of experimental error. The prevalent view that experimental errors can be dismissed as a tiresome but trivial blemish on the method of experimentation is criticized. It is stressed that the occurrence of errors in experiments constitutes a permanent feature of the attempt to test theories in the physical world, and this feature deserves proper attention. It is suggested that a classification of types of experimental error may be useful as a heuristic device in (...) studying the nature of these errors. However, the standard classification of systematic and random errors is mathematically based does not focus on the causes of the errors, their origins, or the contexts in which they arise. A new typology of experimental errors is therefore proposed whose criterion is epistemological. This typology reflects the various stages that can be discerned in the execution of an experiment, each stage constituting a category of a certain type of experimental error. The proposed classification consists of four categories which are illustrated by historical cases. (shrink)

In light of the Special Theory of Relativity and the Minkowski creation of ‘spacetime’, the universe is taken to be a four-dimensional entity which postulates bodies as existing within a temporally extended reality. The Special Theory of Relativity’s implications liken the nature of the universe to a ‘block’ within which all events coexist equally in spacetime. Such a view strikes against the very essence of presentism, which holds that all that exists is the instantaneous state of objects in the present (...) moment. With respect to the present moment, events have a clear division into the past or future, however such regions do not exist in reality and the universe is a three-dimensional entity. The consequences of a four-dimensional universe are disturbing to say the least for our everyday human experience, with once objective facts about reality becoming dependent upon an observer’s relative motion and the debate over the extent of true free will in a Block Universe. This paper will look at arguments which seek to rescue the presentist view in light of Special Relativity so such four-dimensionalist implications do not have to be accepted. Two approaches will be considered. The first accepts that presentism is incompatible with Special Relativity, and seeks to show that the theory is ultimately false. The second holds that it is the Block Universe interpretation of Special Relativity that is wrong, and a version of presentism can be reconciled with Special Relativity. The paper will expound and critically examine both of these approaches to review whether the case for the three-dimensionalist and a fundamental passage of time can be made. (shrink)

This paper, written in Romanian, compares fictionalism, nominalism, and neo-Meinongianism as responses to the problem of objectivity in mathematics, and then motivates a fictionalist view of objectivity as invariance.

An ontology of Leibnizian relationalism, consisting in distance relations among sparse matter points and their change only, is well recognized as a serious option in the context of classical mechanics. In this paper, we investigate how this ontology fares when it comes to general relativistic physics. Using a Humean strategy, we regard the gravitational field as a means to represent the overall change in the distance relations among point particles in a way that achieves the best combination of being simple (...) and being informative. (shrink)

It seems obvious that phenomenally conscious experience is something of great value, and that this value maps onto a range of important ethical issues. For example, claims about the value of life for those in a permanent vegetative state, debates about treatment and study of disorders of consciousness, controversies about end-of-life care for those with advanced dementia, and arguments about the moral status of embryos, fetuses, and non-human animals arguably turn on the moral significance of various facts about consciousness. However, (...) though work has been done on the moral significance of elements of consciousness, such as pain and pleasure, little explicit attention has been devoted to the ethical significance of consciousness. In this book Joshua Shepherd presents a systematic account of the value present within conscious experience. This account emphasizes not only the nature of consciousness, but the importance of items within experience such as affect, valence, and the complex overall shape of particular valuable experiences. Shepherd also relates this account to difficult cases involving non-humans and those with disorders of consciousness, arguing that the value of consciousness influences and partially explains the degree of moral status a being possesses, without fully determining it. The upshot is a deeper understanding of both the moral importance of phenomenal consciousness and its relations to moral status. This book will be of great interest to philosophers and students of ethics, bioethics, philosophy of psychology, philosophy of mind and cognitive science. (shrink)

Since the pioneering work of Birkhoff and von Neumann, quantum logic has been interpreted as the logic of (closed) subspaces of a Hilbert space. There is a progression from the usual Boolean logic of subsets to the "quantum logic" of subspaces of a general vector space--which is then specialized to the closed subspaces of a Hilbert space. But there is a "dual" progression. The notion of a partition (or quotient set or equivalence relation) is dual (in a category-theoretic sense) to (...) the notion of a subset. Hence the Boolean logic of subsets has a dual logic of partitions. Then the dual progression is from that logic of partitions to the quantum logic of direct-sum decompositions (i.e., the vector space version of a set partition) of a general vector space--which can then be specialized to the direct-sum decompositions of a Hilbert space. This allows the logic to express measurement by any self-adjoint operators rather than just the projection operators associated with subspaces. In this introductory paper, the focus is on the quantum logic of direct-sum decompositions of a finite-dimensional vector space (including such a Hilbert space). The primary special case examined is finite vector spaces over ℤ₂ where the pedagogical model of quantum mechanics over sets (QM/Sets) is formulated. In the Appendix, the combinatorics of direct-sum decompositions of finite vector spaces over GF(q) is analyzed with computations for the case of QM/Sets where q=2. (shrink)

Particle indistinguishability has always been considered a purely quantum mechanical concept. In parallel, indistinguishable particles have been thought to be entities that are not properly speaking objects at all. I argue, to the contrary, that the concept can equally be applied to classical particles, and that in either case particles may (with certain exceptions) be counted as objects even though they are indistinguishable. The exceptions are elementary bosons (for example photons).

Classical physics and quantum physics suggest two meta-physical types of reality: the classical notion of a objectively definite reality with properties "all the way down," and the quantum notion of an objectively indefinite type of reality. The problem of interpreting quantum mechanics is essentially the problem of making sense out of an objectively indefinite reality. These two types of reality can be respectively associated with the two mathematical concepts of subsets and quotient sets which are category-theoretically dual to one another (...) and which are developed in two dual mathematical logics, the usual Boolean logic of subsets and the more recent logic of partitions. Our sense-making strategy is "follow the math" by showing how the mathematics of set partitions can be transported in a natural way to complex vector spaces where it yields the mathematical machinery of QM. And then we show how the machinery of QM can be transported the other way down to set-like vector spaces over ℤ₂ yielding a rather fulsome "toy" or pedagogical model of "quantum mechanics over sets." In this way, we try to make sense out of objective indefiniteness and thus to interpret quantum mechanics. (shrink)

Barbour shows that time does not exist in the physical world, and similar conclusions are reached by others such as Deutsch, Davies and Woodward. Every possible configuration of a physical environment simply exists in the universe. The system is objectively static. Observation, however, is an inherently transtemporal phenomenon, involving actual or effective change of the configuration, collapse. Since, in a static environment, all possible configurations exist, transtemporal reality is of the logical type of a movie. The frame of a movie (...) film is of one logical type, an element of a set of frames, the movie, itself of a second logical type. In a static no-collapse universe, the configurations are of the first logical type, transtemporal reality of the second. To run, the movie requires iteration, a third logical type. Phenomenal consciousness is subjectively experienced as of this third logical type with regard to physical configurations. Everett's formulation clearly describes the transtemporal reality of an observer, which follows the physical in the linear dynamics, but departs from it on observation, giving rise to the the appearance of collapse, and the alternation of dynamics defined in the standard von Neumann-Dirac formulation. Since there is no physical collapse, his formulation is disputed. Given an iterator of the third logical type, the appearance of collapse is simply evidence of iteration. Chalmers demonstrates that phenomenal consciousness is of this logical type, an emergent property of the unitary system as a whole. Given an iterative function of this nature, one contextual to the physical configurations, paradoxes of time are resolved. Subjectively, meaning from the perspective of the iterative process, time passes in an objectively static universe, and the appearance of collapse is effected. (shrink)

This is an attempt to interpret the history of mechanism vs. vitalism in relation to the changing framework of culture and to show the interrelation between both these views and experimental science. After the scientific revolution of the seventeenth century, causal mechanism of classical physics provided the framework for the study of nature. The teleological and holistic properties of life, however, which are incompatible with this theory yielded — as a result both of internal developments within biology and of a (...) general reaction against dogmatic rationalism — to a vitalistic interpretation of life which ascribed a mysterious force to living organisms. It will be shown that both mechanism and vitalism are related to the experimental climate of the time in which they were popular. The controversy has now lost its raison d'être as a result of the development of the theory of systems and of a better understanding of the chemistry and evolution of life. (shrink)

The paper explores the view that in mathematics, in particular where the infinite is involved, the application of classical logic to statements involving the infinite cannot be taken for granted. L. E. J. Brouwer’s well-known rejection of classical logic is sketched, and the views of David Hilbert and especially Hermann Weyl, both of whom used classical logic in their mathematical practice, are explored. We inquire whether arguments for a critical view can be found that are independent of constructivist premises and (...) consider the entanglement of logic and mathematics. This offers a convincing case regarding second-order logic, but for first-order logic, it is not so clear. Still, we ask whether we understand the application of logic to the higher infinite better than we understand the higher infinite itself. (shrink)

This paper argues that Carnap's project in the Aufbau is best considered as an attempt to determine the conditions for both objectivity and understanding, thus aiming at refuting the skeptical contention that objectivity and understanding are incompossible ideals of science.

This paper shows how the classical finite probability theory (with equiprobable outcomes) can be reinterpreted and recast as the quantum probability calculus of a pedagogical or "toy" model of quantum mechanics over sets (QM/sets). There are two parts. The notion of an "event" is reinterpreted from being an epistemological state of indefiniteness to being an objective state of indefiniteness. And the mathematical framework of finite probability theory is recast as the quantum probability calculus for QM/sets. The point is not to (...) clarify finite probability theory but to elucidate quantum mechanics itself by seeing some of its quantum features in a classical setting. (shrink)

Classical physics and quantum physics suggest two meta-physical types of reality: the classical notion of a objectively definite reality with properties "all the way down," and the quantum notion of an objectively indefinite type of reality. The problem of interpreting quantum mechanics (QM) is essentially the problem of making sense out of an objectively indefinite reality. These two types of reality can be respectively associated with the two mathematical concepts of subsets and quotient sets (or partitions) which are category-theoretically dual (...) to one another and which are developed in two mathematical logics, the usual Boolean logic of subsets and the more recent logic of partitions. Our sense-making strategy is "follow the math" by showing how the logic and mathematics of set partitions can be transported in a natural way to Hilbert spaces where it yields the mathematical machinery of QM--which shows that the mathematical framework of QM is a type of logical system over ℂ. And then we show how the machinery of QM can be transported the other way down to the set-like vector spaces over ℤ₂ showing how the classical logical finite probability calculus (in a "non-commutative" version) is a type of "quantum mechanics" over ℤ₂, i.e., over sets. In this way, we try to make sense out of objective indefiniteness and thus to interpret quantum mechanics. (shrink)

I argue that we find the articulation of a problem concerning bodily agency in the early works of the Merleau-Ponty which he explicates as analogous to what he explicitly calls the problem of perception. The problem of perception is the problem of seeing how we can have the object given in person through it perspectival appearances. The problem concerning bodily agency is the problem of seeing how our bodily movements can be the direct manifestation of a person’s intentions in the (...) world. In both cases what, according to Merleau-Ponty, obscures a recognition of the phenomenon in question is a conception of our bodily capacities, i.e. our sensibility and our motility, which reduces these to the workings of mechanisms that are blind to meaning. I argue that both the problem concerning perception and the problem concerning bodily agency can be properly called transcendental. The problem of perception is transcendental because it concerns the very intelligibility of appearances and judgements with empirical content. The problem of bodily agency is transcendental in the sense that it concerns the very intelligibility of our bodily capacity to carry out intentions and by implication the intelligibility of our intentions as such. (shrink)

It is often thought that there is little that seems more obvious from experience than that time objectively passes, and that time is, in this respect, quite unlike space. Yet nothing in the physical picture of the world seems to correspond to the idea of such an objective passage of time. In this paper, I discuss some attempts to explain this apparent conflict between appearance and reality. I argue that existing attempts to explain the conflict as the result of a (...) perceptual illusion fail, and that it is, in fact, the nature of memory, rather than perception, that explains why we are inclined to think of time as passing. I also offer a diagnosis as to why philosophers have sometimes been tempted to think that an objective passage of time seems to figure directly in perceptual experience, even though it does not. (shrink)

Combinations of molecules, of biological individuals, or of chemical processes can produce effects that are not simply attributable to the constituents. Such non-redundant causality warrants recognition of those coherences as ontologically significant whenever that efficacy is relevant. With respect to such interaction, the effective coherence is more real than are the components. This ontological view is a variety of structural realism and is also a kind of process philosophy. The designation ‘process structural realism’ (PSR) seems appropriate.

This thesis offers a naturalist revision of Alain Badiou’s philosophy. This goal is pursued through an encounter of Badiou’s mathematical ontology and theory of truth with contemporary trends in philosophy of mathematics and philosophy of science. I take issue with Badiou’s inability to elucidate the link between the empirical and the ontological, and his residual reliance on a Heideggerian project of fundamental ontology, which undermines his own immanentist principles. I will argue for both a bottom-up naturalisation of Badiou’s philosophical approach (...) to mathematics and a top-down naturalisation. Articulating my particular understanding of what realism and naturalism should commit us to, I propose a creative fusion of Badiou’s attention to metamathematical results with a structural-informational metaphysics, proposing a ‘matherialism’ uniting the more daring speculative insights of the former with the naturalist and empiricist commitments motivating the latter. (shrink)

Detlefsen (1986) reads Hilbert's program as a sophisticated defense of instrumentalism, but Feferman (1998) has it that Hilbert's program leaves significant ontological questions unanswered. One such question is of the reference of individual number terms. Hilbert's use of admittedly "meaningless" signs for numbers and formulae appears to impair his ability to establish the reference of mathematical terms and the content of mathematical propositions (Weyl (1949); Kitcher (1976)). The paper traces the history and context of Hilbert's reasoning about signs, which illuminates (...) Hilbert's account of mathematical objectivity, axiomatics, idealization, and consistency. (shrink)