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)

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)

Priority pluralism, perdurantism and that temporal gunk – where some interval of time is gunky iff every interval of it has a proper subinterval – is at least metaphysically possible, are three commonly held views in contemporary metaphysics. However, there cannot be a temporally gunky world where objects perdure, and where there are mereological simples. Given that – as I will argue – pluralists should be committed to atomism, and cannot plausibly revise their view to accommodate temporal gunk if they (...) are perdurantists, pluralism is incompatible with the combination of temporal gunk and perdurantism. Therefore, priority pluralism, perdurantism and the possibility of temporal gunk are jointly incompatible, and at least one of these views must be false. Subsequently, it means that at least one of the following views must be true: priority monism or metaphysical infinitism; endurantism; and/or that time is atomistic. The triad's inconsistency, then, has some interesting metaphysical implications. (shrink)

Weyl's tile argument purports to show that there are no natural distance functions in atomistic space that approximate Euclidean geometry. I advance a response to this argument that relies on a new account of distance in atomistic space, called "the mixed account," according to which local distances are primitive and other distances are derived from them. Under this account, atomistic space can approximate Euclidean space (and continuous space in general) very well. To motivate this account as a genuine solution to (...) Weyl's tile argument, I argue that this account is no less natural than the standard account of distance in continuous space. I also argue that the mixed account has distinctive advantages over Forrest's (1995) account in response to Weyl's tile argument, which can be considered as a restricted version of the mixed account. (shrink)

Absolutism about mass claims that mass ratios obtain in virtue of absolute masses. Comparativism denies this. Dasgupta, Oxford studies in metaphysics, Oxford University Press, Oxford, 2013) argues for comparativism about mass, in the context of Newtonian Gravity. Such an argument requires proving that comparativism is empirically adequate. Dasgupta equates this to showing that absolute masses are undetectable, and attempts to do so. This paper develops an argument by Baker to the contrary: absolute masses are in fact empirically meaningful, that is (...) detectable. Additionally, it is argued that the requirement of empirical adequacy should not be cashed out in terms of undetectability in the first place. The paper closes by sketching the possible strategies that remain for the comparativist. Along the way a framework is developed that is useful for thinking about these issues: Ozma games—how could one explain to an alien civilisation what an absolute mass is? (shrink)

When did the concept of model begin to be used in mathematics? This question appears at first somewhat surprising since “model” is such a standard term now in the discourse on mathematics and “modelling” such a standard activity that it seems to be well established since long. The paper shows that the term— in the intended epistemological meaning—emerged rather recently and tries to reveal in which mathematical contexts it became established. The paper discusses various layers of argumentations and reflections in (...) order to unravel and reach the pertinent kernel of the issue. The specific points of this paper are the difference in the epistemological concept to the usually discussed notions of model and the difference between conceptions implied in mathematical practices and their becoming conscious in proper reflections of mathematicians. (shrink)

In this paper we address a deeply interesting debate that took place at the end of the last millennia between David Mermin, Adan Cabello and Michiel Seevinck, regarding the meaning of relationalism within quantum theory. In a series of papers, Mermin proposed an interpretation in which quantum correlations were considered as elements of physical reality. Unfortunately, the very young relational proposal by Mermin was too soon tackled by specially suited no-go theorems designed by Cabello and Seevinck. In this work we (...) attempt to reconsider Mermin's program from the viewpoint of the Logos Categorical Approach to QM. Following Mermin's original proposal, we will provide a redefinition of quantum relation which not only can be understood as a preexistent element of physical reality but is also capable to escape Cabello’s and Seevinck's no-go-theorems. In order to show explicitly that our notion of ontological quantum relation is safe from no-go theorems we will derive a non-contextuality theorem. We end the paper with a discussion regarding the physical meaning of quantum relationalism. (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)

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

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)

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)

When dealing with a certain class of physical systems, the mathematical characterization of a generic system aims to describe the phase portrait of all its possible states. Because they are defined only up to isomorphism, the mathematical objects involved are “schematic structures”. If one imposes the condition that these mathematical definitions completely capture the physical information of a given system, one is led to a strong requirement of individuation for physical states. However, we show there are not enough qualitatively distinct (...) properties in an abstract Hilbert space to fulfill such a requirement. It thus appears there is a fundamental tension between the physicist’s purpose in providing a mathematical definition of a mechanical system and a feature of the basic formalism used in the theory. We will show how group theory provides tools to overcome this tension and to define physical properties. (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)

In this contribution, I comment on Raffaella Campaner’s defense of explanatory pluralism in psychiatry (in this volume). In her paper, Campaner focuses primarily on explanatory pluralism in contrast to explanatory reductionism. Furthermore, she distinguishes between pluralists who consider pluralism to be a temporary state on the one hand and pluralists who consider it to be a persisting state on the other hand. I suggest that it would be helpful to distinguish more than those two versions of pluralism – different understandings (...) of explanatory pluralism both within philosophy of science and psychiatry – namely moderate/temporary pluralism, anything goes pluralism, isolationist pluralism, integrative pluralism and interactive pluralism. Next, I discuss the pros and cons of these different understandings of explanatory pluralism. Finally, I raise the question of how to implement or operationalize explanatory pluralism in scientific practice; how to structure the “genuine dialogue” or shape “the pluralistic attitude” Campaner is referring to. As tentative answers, I explore a question-based framework for explanatory pluralism as well as social-epistemological procedures for interaction among competing approaches and explanations. (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)

Accelerating Turing machines have attracted much attention in the last decade or so. They have been described as “the work-horse of hypercomputation” (Potgieter and Rosinger 2010: 853). But do they really compute beyond the “Turing limit”—e.g., compute the halting function? We argue that the answer depends on what you mean by an accelerating Turing machine, on what you mean by computation, and even on what you mean by a Turing machine. We show first that in the current literature the term (...) “accelerating Turing machine” is used to refer to two very different species of accelerating machine, which we call end-stage-in and end-stage-out machines, respectively. We argue that end-stage-in accelerating machines are not Turing machines at all. We then present two differing conceptions of computation, the internal and the external, and introduce the notion of an epistemic embedding of a computation. We argue that no accelerating Turing machine computes the halting function in the internal sense. Finally, we distinguish between two very different conceptions of the Turing machine, the purist conception and the realist conception; and we argue that Turing himself was no subscriber to the purist conception. We conclude that under the realist conception, but not under the purist conception, an accelerating Turing machine is able to compute the halting function in the external sense. We adopt a relatively informal approach throughout, since we take the key issues to be philosophical rather than mathematical. (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.

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)

Scientific knowledge should not only be true, it should be as objective as possible. It should refer to a reality independent of any subject. What can we use as a criterion of objectivity? Intersubjectivity (i.e., intersubjective understandability and intersubjective testability) is necessary, but not sufficient. Other criteria are: independence of reference system, independence of method, non-conventionality. Is there some common trait? Yes, there is: invariance under some specified transformations. Thus, we say: A proposition is objective only if its truth is (...) invariant against a change in the conditions under which it was formulated. We give illustrations from geometry, perception, neurobiology, relativity theory, and quantum theory. Such an objectivist position has many advantages. (shrink)

The objective of this article is to provide a formalism to deal with the special theory of relativity (STR, in short) as riewed by Reichenbach, according to which STR involves an ineradicableconventionality of simultaneity. One of the two postulates of STR asserts that, in empty space, the one-way speed of light relative to inertial frames is constant. Experimental evidence, however, is related to the constancy of the round-trip speed of light and has no bearing on one-way speeds. Following Reichenbach's viewpoint, (...) we relax the second postulate of STR, abandoning the constancy of the one-way speed of light to the more realistic one asserting the constancy of the round-trip speed of light. This, in turn, results in a formalism to deal with Reichenbach's special theory of relativity (RSTR, in short) in which the two one-way speeds of light in empty space, C±, in the two senses of a round-trip are arbitrarily selected in such a way that their harmonic mean is the measurable round-trip speed of light, c. Experimentally, RSTR and STR are indistinguishable and, hence, represent the same physical theory. It is only the formalism that we use to deal with STR which is extended in RSTR to accommodate the immeasurability of one-way velocities. The usefulness of the proposed formalism to study special relativity is demonstrated. (shrink)

This paper offers a new interpretation for Wittgenstein`s treatment of mathematical identities. As it is widely known, Wittgenstein`s mature philosophy of mathematics includes a general rejection of abstract objects. On the other hand, the traditional interpretation of mathematical identities involves precisely the idea of a single abstract object – usually a number –named by both sides of an equation.

In his 1927 Analysis of Matter and elsewhere, Russell argued that we can successfully infer the structure of the external world from that of our explanatory schemes. While nothing guarantees that the intrinsic qualities of experiences are shared by their objects, he held that the relations tying together those relata perforce mirror relations that actually obtain (these being expressible in the formal idiom of the Principia Mathematica). This claim was subsequently criticized by the Cambridge mathematician Max Newman as true but (...) trivial, insofar as from a closed body of observations (or “Ramsey sentence”) one can always generate other equally-satisfactory networks of relations, provided they respect the original set’s cardinality. Since any model thus generated will be empirically adequate, “[t]he defence is therefore driven back from the fairly safe fictitious-real classification to the much less tenable ‘trivial’ and ‘important’” (Newman 1928). Given the definitional rigour afforded by the initial appeal to isomorphism (via one-to-one correspondences in extension), the received assessment, shared by Russell himself, is that retreating to a pragmatic adjudication would betoken a fatal blow. However, I suggest that reliance on “importance” can be avoided if we incorporate an impersonal criterion of diachronic precedence. When collecting observations, an ordinality emerges alongside the cardinality which gives that underived structure an irrevocable epistemological privilege. Hence, I argue that, all other things being equal, any construct parasitic on an antecedent theory ought to be regarded as inferior/dispensable, since it was generated by an algorithm lacking the world-involving pedigree of its host structure. (shrink)

The article explores the strategy of reconciliation of the idea of objective flow of time with science. In the first part of my paper, I analyze different conceptions of the passage of time and ponder on how we should understand it. The second part is de-voted to the problem whether there is the passage of time in science.

In a series of recent papers, Simon Saunders, Fred Muller, and Michael Seevinck have collectively argued, against the folklore, that some nontrivial version of Leibniz’s principle of the identity of indiscernibles is upheld in quantum mechanics. They argue that all particles—fermions, paraparticles, anyons, even bosons—may be weakly discerned by some physical relation. Here I show that their arguments make illegitimate appeal to nonsymmetric, that is, permutation-noninvariant, quantities and that therefore their conclusions do not go through. However, I show that alternative, (...) symmetric quantities may be found to do the required work. I conclude that the Saunders-Muller-Seevinck heterodoxy can be saved. (shrink)

I argue for a four dimensional, non-dynamical view of space-time, where becoming is not an intrinsic property of reality. This view has many features in common with the Parmenidean conception of the universe. I discuss some recent objections to this position and I offer a comparison of the Parmenidean space-time with an interpretation of Heraclitus’ thought that presents no major antagonism.

Husserl left many unpublished drafts explaining (or trying to) his views on spatial representation and geometry, such as, particularly, those collected in the second part of Studien zur Arithmetik und Geometrie (Hua XXI), but no completely articulate work on the subject. In this paper, I put forward an interpretation of what those views might have been. Husserl, I claim, distinguished among different conceptions of space, the space of perception (constituted from sensorial data by intentionally motivated psychic functions), that of physical (...) geometry (or idealized perceptual space), the space of the mathematical science of physical nature (in which science, not only raw perception has a word) and the abstract spaces of mathematics (free creations of the mathematical mind), each of them with its peculiar geometrical structure. Perceptual space is proto-Euclidean and the space of physical geometry Euclidean, but mathematical physics, Husserl allowed, may find it convenient to represent physical space with a non-Euclidean structure. Mathematical spaces, on their turn, can be endowed, he thinks, with any geometry mathematicians may find interesting. Many other related questions are addressed here, in particular those concerning the a priori or a posteriori character of the many geometric features of perceptual space (bearing in mind that there are at least two different notions of a priori in Husserl, which we may call the conceptual and the transcendental a priori). I conclude with an overview of Weyl’s ideas on the matter, since his philosophical conceptions are often traceable back to his former master, Husserl. (shrink)

Karl Popper is famous for having proposed that science advances by a process of conjecture and refutation. He is also famous for defending the open society against what he saw as its arch enemies – Plato and Marx. Popper’s contributions to thought are of profound importance, but they are not the last word on the subject. They need to be improved. My concern in this book is to spell out what is of greatest importance in Popper’s work, what its failings (...) are, how it needs to be improved to overcome these failings, and what implications emerge as a result. The book consists of a collection of essays which dramatically develop Karl Popper’s views about natural and social science, and how we should go about trying to solve social problems. Criticism of Popper’s falsificationist philosophy of natural science leads to a conception of science that I call aim-oriented empiricism. This makes explicit metaphysical theses concerning the comprehensibility and knowability of the universe that are an implicit part of scientific knowledge – implicit in the way science excludes all theories that are not explanatory, even those that are more successful empirically than accepted theories. Aim-oriented empiricism has major implications, not just for the academic discipline of philosophy of science, but for science itself. Popper generalized his philosophy of science of falsificationism to arrive at a new conception of rationality – critical rationalism – the key methodological idea of Popper’s profound critical exploration of political and social issues in his The Open Society and Its Enemies, and The Poverty of Historicism. This path of Popper, from scientific method to rationality and social and political issues is followed here, but the starting point is aim-oriented empiricism rather than falsificationism. Aim-oriented empiricism is generalized to form a conception of rationality I call aim-oriented rationalism. This has far-reaching implications for political and social issues, for the nature of social inquiry and the humanities, and indeed for academic inquiry as a whole. The strategies for tackling social problems that arise from aim-oriented rationalism improve on Popper’s recommended strategies of piecemeal social engineering and critical rationalism, associated with Popper’s conception of the open society. This book thus sets out to develop Popper’s philosophy in new and fruitful directions. The theme of the book, in short, is to discover what can be learned from scientific progress about how to achieve social progress towards a better world. (shrink)

Saunders' recent arguments in favour of the weak discernibility of (certain) quantum particles seem to be grounded in the 'generalist' view that science only provides general descriptions of the worlIn this paper, I introduce the ‘generalist’ perspective and consider its possible justification and philosophical basis; and then look at the notion of weak discernibility. I expand on the criticisms formulated by Hawley (2006) and Dieks and Veerstegh (2008) and explain what I take to be the basic problem: that the properties (...) invoked by Saunders cannot be pointed to as ‘individuators’ of otherwise indiscernible (and thus numerically identical) entities because their ontological status remains underdetermined by the evidence and the established interpretation of the theory. In addition to to this, I suggest that Saunders does not deal adequately with bosons, and cannot do so exactly because he subscribes to PII and the generalist picture. The last part of the paper contains a critical examination of the claim (or at least implicit assumption) that the generalist picture should be regarded as obviously compelling by the modern-day empiricist. (shrink)

This book proposes to identify three long-term structures in causal reasoning - in particular, in terms of the relationship between cause and identity - that appear to be of value in categorizing and organizing various trends in philosophical thought.<br>Such conceptual schemes involve a host of philosophical dilemmas (such as the problem of relativism), which are examined in the first chapter. A number of naturalistic and transcendental approaches to this problem are also analysed.<br>In particular, the book attempts to construct a theoretical (...) basis for Foucault's tripartite classification of epistemological structures in European thought.<br>The final chapter attempts to buttress the above schema by extending the analysis from cause and identity to growth, change, and stability, critiquing certain ideas of Foucault and Heidegger, as well as examining the contemporary thought of process philosophy and complexity theory.<br><br>Contents<br><br>Contents: Plurality and Causality - What is a Paradigm? - Paradigms and Causal Structure - Universality and Mathesis Universalis - Temporality and Visibility - Classical and Modern Probability Theory - The Environment and Non-Monotonicity - The Marburg School and the Limit Concept; Foucault's concept of 'Man' - Nineteenth Century Philosophy of Science - A Dynamic Model - Foucault and the Birth of the Clinic - Process, Growth and Complexity - Time and History. (shrink)

Objectively, time does not pass, physics reveals no such phenomenon. While subjectively we find ourselves at a specific point in time, 'now', and we appear to pass from moment to moment, physics can accommodate neither of these concepts, thus there is no explanation of subjective transtemporal reality, or how an observation could possibly be made. A solution to the puzzle is proposed based on an analysis of the logical type of the system required to explain such subjective experience. Relativity requires (...) that we consider the dimension of time on a par with the spatial dimensions, thus making a block universe inevitable. The concept of change can be recovered by considering a sequence of definitions of the block universe, and thus the passage of time can be considered to be the change of this definition, resulting in a sequence of block universes as transtemporal reality. However, the unitary wave function must subsume all possible block universes, all possibilities exist 'already', thus there is no becoming. As Barbour explains, each moment in time is a complete definition of the state of the whole four-dimensional universe, the sequence of states being static like the frames of a movie on the film. Since nothing passes from moment to moment it appears impossible that there could be any such thing as time that passes; this would require something of different logical type to the moments to account for such a phenomenon, and the moments are all that exist. What would be required is something that is to the moments as the projector is to the movie, something that contains all the moments and iterates the sequence. Clearly only the unitary system as a whole contains all the moments of any given sequence. Additionally, the only possible expression of the necessary logical type for an iterator is an emergent property of the system as a whole; only the system as a whole is of the correct logical type to change the functional frame of reference from one block universe to another, giving rise to the appearance of collapse described by Everett. Objectively this transtemporal process is the collapse dynamics, subjectively it is phenomenal consciousness passing through time. (shrink)

The desire to understand the mathematics of living systems is increasing. The widely held presupposition that the mathematics developed for modeling of physical systems as continuous functions can be extended to the discrete chemical reactions of genetic systems is viewed with skepticism. The skepticism is grounded in the issue of scientific invariance and the role of the International System of Units in representing the realities of the apodictic sciences. Various formal logics contribute to the theories of biochemistry and molecular biology (...) and genetics. Various paths of extension are invoked in these formal logics in order to express the information of biological apodicticism. Symbolizing the appropriate notations for invariant relations and for biological extensions of relations is fundamental to the exact generating functions of discrete algebraic biology. Aspects of philosophical perspectives of the relation scientific number systems are contrasted. The deep distinction between physical motion and biological motion is expressed in terms the roles of Aristotelian causes. The interior motion within perplex numbers is contrasted with the exterior motion of physical systems. The need for a new mathematics for biology is suggested. (shrink)

In this manuscript, published here for the first time, Tarski explores the concept of logical notion. He draws on Klein's Erlanger Programm to locate the logical notions of ordinary geometry as those invariant under all transformations of space. Generalizing, he explicates the concept of logical notion of an arbitrary discipline.

Whitehead’s cosmology centers on the self-creation of actual occasions that perish as they come to be, but somehow do combine to constitute societies that are persistent agents and/or patients. “Instance Ontology” developed by D.W. Mertz concerns unification of relata into facts of relatedness by specific intensions. These two conceptual systems are similar in that they both avoid the substance-property distinction: they differ in their understanding of how basic units combine to constitute complex unities. “Process Structural Realism” (PSR) draws from both (...) of these approaches in developing an account of how combinations of processes may produce ontologically significant coherences. When a group of processes achieves such closure that a set of states recurs continually, the effects of that coherence differ from what would occur in the absence of that closure. Such altered effectiveness is an attribute of the system as a whole, and would have consequences. This indicates that the network of processes, as a unit, has ontological significance. The closed network of processes, together with the conditions that prevail, constitute the form of definiteness of the coherence. That form continues to obtain as long as the coherence persists. Constituents contribute to, rather than share, that characteristic. Aspects of some recent research in systems biology, microeconomics, and social psychology illustrate the application of PSR. (shrink)

In this paper, I start with the opposition between the Husserlian project of a phenomenology of the experience of time, started in 1905, and the mathematical and physical theory of time as it comes out of Einstein’s special theory of relativity in the same year. Although the contrast between the two approaches is apparent, my aim is to show that the original program of Husserl’s time theory is the constitution of an objective time and a time of the world, starting (...) from the intuitive giveness of time, i.e., from time as it appears. To show this, I stress the structural similarity between Husserl’s original question of time and the problem of a phenomenology of space constitution as it was first developed in the his manuscripts from the nineteenth century, in which we find the threefold question of the origin of our representation of space, of the geometrization of intuitive space, and of the constitution of transcendent world space. Finally, I reconsider some of Husserl’s main theses about the phenomenological constitution of objective time in light of the main results of special relativity time-theory, introducing several corrections to central assumptions that underlie Husserl’s theory of time. (shrink)