En este ensayo respondo negativamente a la pregunta del título al sostener que el enunciado “La suma de los ángulos internos de un triángulo es igual a 180°” es contingentemente verdadero. Para ello, intento refutar la tesis de Ramsey de que las verdades geométricas necesariamente son verdades necesarias, así como la tesis de Kripke de que no puede haber proposiciones matemáticas contingentemente verdaderas. Además, recurriendo a la concepción fregeana sobre lo a priori y lo a posteriori, sostengo que hay verdades (...) geométricas que pueden ser a priori sin tener que serlo. -/- . (shrink)

This article brings time and theology together constructively in response to a pressing problem for the doctrine of personal salvation. The problem arises within the physics and metaphysics of time, as these support a so-called temporal B-theory in which time does not pass and reality is comprised of a block universe. Within this static temporal metaphysic, objective change is highly problematized. Yet salvation requires an objective change from fallenness to redemption. So, how can we understand a salvation-transformation in the block (...) universe? In other words, can sinners really change? I argue that on a B-theory of time, a salvation-transformation is best understood as a form of qualitative, phenomenological, and subjective change, rather than a robust ontological change. I conclude that the individual's transformation from fallen to saved is one of mind-dependent becoming. So, sinners can change. But, in this lifetime, that change can only be subjective. (shrink)

The Received View of particles in quantum mechanics is that they are indistinguishable entities within their kinds and that, as a consequence, they are not individuals in the metaphysical sense and self-identity does not meaningfully apply to them. Nevertheless cardinality does apply, in that one can have n> 1 such particles. A number of authors have recently argued that this cluster of claims is internally contradictory: roughly, that having more than one such particle requires that the concepts of distinctness and (...) identity must apply after all. A common thread here is that the notion of identity is too fundamental to forego in any metaphysical account. I argue that this argument fails. I then argue that the failure of individuality and identity applies also to macroscopic physical objects, that the problems cannot be constrained to apply only within the microscopic realm. (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)

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)

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

Ebbhinghaus, H., J. Flum, and W. Thomas. 1984. Mathematical Logic. New York, NY: Springer-Verlag. Forster, T. Typescript. The significance of Yablo’s paradox without self-reference. Available from http://www.dpmms.cam.ac.uk. Gold, M. 1965. Limiting recursion. Journal of Symbolic Logic 30: 28–47. Karp, C. 1964. Languages with Expressions of Infinite Length. Amsterdam.

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)

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)

Negation is widely thought to be uniquely captured by the usual extensional Boolean connective in the setting of classical logic. However, there has been recent interest in a modal approach to negation. This essay examines the problem of modal negation with an Husserlian phenomenological lens. I argue that the Husserlian approach to negation contains an ambiguity which points to a pluralism about negation. On this view, negation begins its life as a modal notion with nonclassical properties, and the question of (...) classical negation is a question of its demodalization. I reconstruct a phenomenological legitimation of the demodalization, but I remain skeptical about its wider prospects. Nevertheless, the phenomenological-modal approach to negation answers the skepticism about the very possibility of debates about negation and gives valuable insight into the fundamental nature of the problem. The argument should be of interest both to those who are specifically interested in Husserl's logic and the relationship of phenomenology to intuitionistic (and other nonclassical) logics, as well as to philosophers of logic more generally interested in obtaining different angles on the problem of negation from a systematic perspective. (shrink)

By inserting the dialogue between Einstein, Schlick and Reichenbach into a wider network of debates about the epistemology of geometry, this paper shows that not only did Einstein and Logical Empiricists come to disagree about the role, principled or provisional, played by rods and clocks in General Relativity, but also that in their lifelong interchange, they never clearly identified the problem they were discussing. Einstein’s reflections on geometry can be understood only in the context of his ”measuring rod objection” against (...) Weyl. On the contrary, Logical Empiricists, though carefully analyzing the Einstein–Weyl debate, tried to interpret Einstein’s epistemology of geometry as a continuation of the Helmholtz–Poincaré debate by other means. The origin of the misunderstanding, it is argued, should be found in the failed appreciation of the difference between a “Helmholtzian” and a “Riemannian” tradition. The epistemological problems raised by General Relativity are extraneous to the first tradition and can only be understood in the context of the latter, the philosophical significance of which, however, still needs to be fully explored. (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.

In a recent article, van Fraassen has taken issue with the use to which Perrin’s experiments on Brownian motion have been put by philosophers, especially those defending scientific realism. He defends an alternative position by analysing the details of Perrin’s case in its historical context. In this reply, I argue that van Fraassen has not done the job well enough and I extend and in some respects attempt to correct his claims by close attention to the historical details.

This paper develops a novel interpretation of Kant's argument from incongruent counterparts to the effect that the representations of space and time are intuitions rather than concepts. When properly understood, the argument anticipates the contemporary position whereby the meaning of indexicals cannot be captured by descriptive contents.

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.

The concept of indiscernibility in a structure is analysed with the aim of emphasizing that in asserting that two objects are indiscernible, it is useful to consider these objects as members of (the domain of) a structure. A case for this usefulness is presented by examining the consequences of this view to the philosophical discussion on identity and indiscernibility in quantum theory.

If p(x 1 ,...,x n ) and q(x 1 ,...,x n ) are two logically equivalent propositions then p(π (x 1 ),...,π (x n )) and q(π (x 1 ),...,π (x n )) are also logically equivalent where π is an arbitrary permutation of the elementary constituents x 1 ,...,x n . In Quantum Logic the invariance of logical equivalences breaks down. It is proved that the distribution rules of classical logic are in fact equivalent to the meta-linguistic rule of (...) universal substitution and that the more restrictive structure of the substitution group of Quantum Logic prevents us from defining truth in a classical fashion. These observations lead to a more profound understanding of the Logic of Quantum Mechanics and of the role that symmetry principles play in that theory. (shrink)

A theory of temporal passage is put forward which is "objective" in the sense that time flow characterizes the universe independently of the existence of conscious beings. The theory differs from Grunbaum's "mind-dependence" theory, and is designed to avoid Grunbaum's criticisms of an earlier theory of Reichenbach's. The representation of temporal becoming is accomplished by the introduction of indeterministic universe-models; each model representing the universe at a time. The models depict the past as a single four-dimensional manifold, and the future (...) as a branched structure of such manifolds. Time flow is relativistic in that it manifests itself in a frame-dependent (but not observer-dependent) way. The indeterministic character of the universe-models is mirrored in a "temporal" theory of truth which rejects the principle of bivalence, and suitable semantics are provided for this theory. Finally, an account of physical law is given which defines it in terms of physical possibility, rather than vice versa. (shrink)

Standard quantum mechanics unquestionably violates the separability principle that classical physics (be it point-like analytic, statistical, or field-theoretic) accustomed us to consider as valid. In this paper, quantum nonseparability is viewed as a consequence of the Hilbert-space quantum mechanical formalism, avoiding thus any direct recourse to the ramifications of Kochen-Specker’s argument or Bell’s inequality. Depending on the mode of assignment of states to physical systems – unit state vectors versus non-idempotent density operators – we distinguish between strong/relational and weak/deconstructional forms (...) of quantum nonseparability. The origin of the latter is traced down and discussed at length, whereas its relation to the all important concept of potentiality in forming a coherent picture of the puzzling entangled interconnections among spatially separated systems is also considered. Finally, certain philosophical consequences of quantum non-separability concerning the nature of quantum objects, the question of realism in quantum mechanics, and possible limitations in revealing the actual character of physical reality in its entirety are explored. (shrink)

In this paper, I argue that Heisenberg's mature philosophy of quantum mechanics must be understood in the context of his epistemological project to reinterpret and redefine Kant's notion of the a priori. After discussions with Weizsäcker and Hermann in Leipzig in the 1930s, Heisenberg attempted to ground his interpretation of quantum mechanics on what might be termed a 'practical' transformation of Kantian philosophy. Taking as his starting point, Bohr's doctrine of the indispensability of classical concepts, Heisenberg argued that concepts such (...) as space, time and causality can be regarded as 'practically a priori', in so far as they remain the conditions for the possibility of experience and even of 'objective reality', though they are not universal and necessary in a strictly Kantian sense. We cannot avoid using classical concepts in the description of experiments in quantum theory, despite the fact that there are limits to their applicability. Such concepts are, for Heisenberg, historically contingent, yet indispensable in our time, because we have no other language through which we can describe and conceive of the interaction between 'object' and 'measuring device'. (shrink)

An objective and relational theory of local time is expounded and its philosophical implications are discussed in Sect. 2. In Sect. 3 certain physical and metaphysical questions concerning time are taken up in the light of that theory. The basic concepts of the theory are those of event, reference frame, chronometric scale, and time function. These are subject to four axioms: existence of events, frames and scales; time is a real valued function; the set of events is compact; and any (...) duration can be subdivided into two contiguous durations. Several theorems are derived, among them the one of the asymmetry of time. And a number of concepts are defined, such as those of time order, instant, and time coordinate. It is argued that the theory, though untestable, belongs to the background of a number of scientific theories. It is also shown that it includes all relational theories of time. The usual confusion between the asymmetry of time and the direction of irreversible processes is clarified. Time reversal is interpreted either as a purely formal operation or as a convenient way of describing motion reversed processes. Time orders are shown to be both relative and objective, apart from the choice of the positive direction, which is conventional. The various attempts to define the direction of time in terms of irreversible processes are shown to be logically untenable and methodologically undesirable. A number of metaphysical questions, such as the one of the reality and the fundamental character of time, are tackled. Finally the occasion is seized to extoll the advantages of systematization over both ordinary language discussions and open context analyses. (shrink)

The way of thinking of mathematicians and chemists in their respective disciplines seems to have very different levels of abstractions. While the firsts are involved in the most abstract of all sciences, the seconds are engaged in a practical, mainly experimental discipline. Therefore, it is surprising that many luminaries of the mathematics universe have studied chemistry as their main subject. Others have started studying chemistry before swapping to mathematics or have declared some admiration and even love for this discipline. Here (...) I reveal some of these mathematicians who were involved in chemistry from a biographical perspective. Then, I analyze what these remarkable mathematicians and statisticians could have learned while studying chemical subjects. I found analogies between code-breaking and molecular structure elucidation, inspiration for statistics in quantitative analytical chemistry, and on the role of topology in the study of some organic molecules. I also analyze some parallelisms between the way of thinking of organic chemists and mathematicians in terms of the use of backward analysis, search for patterns, and use of pictures in their respective researches. (shrink)

The article focuses on the unifying and explanatory power of the selective realism defended by Anjan Chakravartty. Our main aim is twofold. First, we critically analyse the purported synthesis between entity realism and structural realism offered by the author. We give reasons to think that this unification is an inconvenient marriage. In the second step, we deal with certain controversial aspects of the intended unification among three metaphysical concepts: causation, laws of nature and natural kinds. After pointing out that Chakravartty’s (...) conception of laws is a plausible view that a scientific realist might endorse, we contend, on the contrary, that the concept of natural kind is dispensable in the framework of Chakravartty’s realism. (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)

It has been suggested that puzzles in the interpretation of quantum mechanics motivate consideration of entities that are numerically distinct but do not stand in a relation of identity with themselves or non-identity with others. Quite apart from metaphysical concerns, I argue that talk about such entities is either meaningless or not about such entities. It is meaningless insofar as we attempt to take the foregoing characterization literally. It is meaningful, however, if talk about entities without identity is taken as (...) elliptical for either nominal or predicative use of a special class of mass terms. (shrink)

This monograph offers a fresh perspective on the applicability of mathematics in science. It explores what mathematics must be so that its applications to the empirical world do not constitute a mystery. In the process, readers are presented with a new version of mathematical structuralism. The author details a philosophy of mathematics in which the problem of its applicability, particularly in physics, in all its forms can be explained and justified. Chapters cover: mathematics as a formal science, mathematical ontology: what (...) does it mean to exist, mathematical structures: what are they and how do we know them, how different layers of mathematical structuring relate to each other and to perceptual structures, and how to use mathematics to find out how the world is. The book simultaneously develops along two lines, both inspired and enlightened by Edmund Husserl’s phenomenological philosophy. One line leads to the establishment of a particular version of mathematical structuralism, free of “naturalist” and empiricist bias. The other leads to a logical-epistemological explanation and justification of the applicability of mathematics carried out within a unique structuralist perspective. This second line points to the “unreasonable” effectiveness of mathematics in physics as a means of representation, a tool, and a source of not always logically justified but useful and effective heuristic strategies. (shrink)

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 have been several previous attempts to develop a quantum-like model with the base field of ℂ replaced by ℤ₂. Since there are no inner products on vector spaces over finite fields, the problem is to define the Dirac brackets and the probability calculus. The previous attempts (...) all required the brackets to take values in ℤ₂. But the usual QM brackets <ψ|ϕ> give the "overlap" between states ψ and ϕ, so for subsets S,T⊆U, the natural definition is <S|T>=|S∩T| (taking values in the natural numbers). This allows QM/sets to be developed with a full probability calculus that turns out to be a non-commutative extension of classical Laplace-Boole finite probability theory. The pedagogical model is illustrated by giving simple treatments of the indeterminacy principle, the double-slit experiment, Bell's Theorem, and identical particles in QM/Sets. A more technical appendix explains the mathematics behind carrying some vector space structures between QM over ℂ and QM/Sets over ℤ₂. (shrink)

This article deals with empty spacetime and the question of its physical reality. By “empty spacetime” we mean a collection of bare spacetime points, the remains of ridding spacetime of all matter and fields. We ask whether these geometric objects—themselves intrinsic to the concept of field—might be observable through some physical test. By taking quantum-mechanical notions into account, we challenge the negative conclusion drawn from the diffeomorphism invariance postulate of general relativity, and we propose new foundational ideas regarding the possible (...) observation—as well as conceptual overthrow—of this geometric ether. (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.

A scientific theory offers models for the phenomena in its domain; these models involve theoretical quantities, and a model's structure is the set of relations it imposes on these quantities. A fundamental demand in scientific practice is for those quantities to be clearly and feasibly related to measurement. This demand for empirical grounding can be articulated by displaying the theory-dependent criteria for a procedure to count as a measurement and for identifying the quantity it measures.

We analyze the geometric foundations of classical Yang-Mills theory by studying the relationships between internal relativity, locality, global/local invariance, and background independence. We argue that internal relativity and background independence are the two independent defining principles of Yang-Mills theory. We show that local gauge invariance -heuristically implemented by means of the gauge argument- is a direct consequence of internal relativity. Finally, we analyze the conceptual meaning of BRST symmetry in terms of the invariance of the gauge fixed theory under general (...) local gauge transformations. (shrink)

In a recent PSA paper (2001a) as well as some other papers ((1995), (2000), (2001b)) and a book chapter (1999, ch. 7), Stathis Psillos raised a number of objections against structural realism. The aim of this paper is threefold: 1) to evaluate part of Psillos’ offence on the Russellian version of epistemic structural realism (ESR for short), 2) to elaborate more fully what Russellian ESR involves, and 3) to suggest improvements where it is indeed failing.

A variety of ideas arising in decoherence theory, and in the ongoing debate over Everett's relative-state theory, can be linked to issues in relativity theory and the philosophy of time, specifically the relational theory of tense and of identity over time. These have been systematically presented in companion papers (Saunders 1995; 1996a); in what follows we shall consider the same circle of ideas, but specifically in relation to the interpretation of probability, and its identification with relations in the Hilbert Space (...) norm. The familiar objection that Everett's approach yields probabilities different from quantum mechanics is easily dealt with. The more fundamental question is how to interpret these probabilities consistent with the relational theory of change, and the relational theory of identity over time. I shall show that the relational theory needs nothing more than the physical, minimal criterion of identity as defined by Everett's theory, and that this can be transparently interpreted in terms of the ordinary notion of the chance occurrence of an event, as witnessed in the present. It is in this sense that the theory has empirical content. (shrink)

To what extent can constructive mathematics based on intuitionistc logic recover the mathematics needed for spacetime physics? Certain aspects of this important question are examined, both technical and philosophical. On the technical side, order, connectivity, and extremization properties of the continuum are reviewed, and attention is called to certain striking results concerning causal structure in General Relativity Theory, in particular the singularity theorems of Hawking and Penrose. As they stand, these results appear to elude constructivization. On the philosophical side, it (...) is argued that any mentalist-based radical constructivism suffers from a kind of neo-Kantian apriorism. It would be at best a lucky accident if objective spacetime structure mirrored mentalist mathematics. the latter would seem implicitly committed to a Leibnizian relationist view of spacetime, but is it doubtful if implementation of such a view would overcome the objection. As a result, an anti-realist view of physics seems forced on the radical constructivist. (shrink)

Husserl argues in the Crisis that the prevalent tradition of positive science in his time had a philosophical core, called by him "Galilean science", that mistook the quest for objective theory with the quest for truth. Husserl is here referring to Gottingen science of the Golden Years. For Husserl, theory "grows" out of the "soil" of the prescientific, that is, pretheoretical, life-world. Scientific truth finally is to be sought not in theory but rather in the pragmatic-perceptual praxes of measurement. Husserl (...) is faulted for taking measuring processes to be "infinitely perfectible". The dependence of new scientific phenomena on the existence of prior "prescientific" inductive praxis is analyzed, also Husserl's residual objectivism and failure to appreciate the hermeneutic character of measurement. Though not a scientific (theory-)realist, neither was he an instrumentalist, but he was a scientific (phenomena-)realist. (shrink)

We have two aims in this paper. The first is to provide the reader with a critical guide to recent work on relativity and persistence by Balashov, Gilmore and others. Much of this work investigates whether endurantism can be sustained in the context of relativity. Several arguments have been advanced that aim to show that it cannot. We find these unpersuasive, and will add our own criticisms to those we review. Our second aim, which complements the first, is to demarcate (...) the most defensible form of relativistic endurantism. A recurring theme of this paper is that even those philosophers who do worry about relativity have not taken it seriously enough. (shrink)

Hermann Weyl as a founding father of field theory in relativistic physics and quantum theory always stressed the internal logic of mathematical and physical theories. In line with his stance in the foundations of mathematics, Weyl advocated a constructivist approach in physics and geometry. An attempt is made here to present a unified picture of Weyl's conception of space-time theories from Riemann to Minkowski. The emphasis is on the mathematical foundations of physics and the foundational significance of a constructivist philosophical (...) point of view. I conclude with some remarks on Weyl's broader philosophical views. (shrink)

Hempel's high probability requirement asserts that any rationally acceptable answer to the question 'Why did event X occur?' must offer information which shows that X was to be expected at least with reasonable probability. Salmon rejected this requirement in his S-R model. This led to a series of paradoxical consequences, such as the assertion that an explanation of an event can both lower its probability and make it arbitrarily low, and the assertion that the explanation of an outcome would have (...) qualified as an explanation of its non-occurrence as well. We argue that if inductive explanations are to be seen as generalizations of the causal-deterministic model, or if they are to be seen as satisfying the requirement--fulfilled by the D-N model--that explanations ought to identify certain features of the universe that are nomically responsible for the explanadum event, then the high probability requirement seems to be unacceptable. If this is so, a realistically inspired theory of inductive explanation will be committed to the paradoxes that follow from Salmon's model. (shrink)

This paper examines in detail two paths that lead to Structural Realism, viz. a substantive philosophical position which asserts that only the structure of the world is knowable. The upward path is any attempt to begin with empiricist premises and reach a sustainable realist position. The downward path is any attempt to start from realist premises and construct a weaker realist position. This paper unravels and criticizes the metaphysical presuppositions of both paths to SR. It questions its very possibility as (...) a substantive—and viable—realist thesis. (shrink)

And the first step of the Peripatetick argument is that, where Aristotle proveth the integrity and perfection of the World, telling us, that it is not a simple line, nor a bare superficies, but a body adorned with Longitude, Latitude and Profundity; and because there are no more dimensions but these three; the World having them, hath all, and having all, is to be concluded perfect. And again, that by simple length, that magnitude is constituted, which is called a line, (...) to which adding breadth, there is formed a Superficies, and yet further adding the altitude or profundity, there results the Body, and after these three the dimensions there is no passing farther, so that in these three the integrity, and to so speak, totality is terminated, which I might but with justice have required Aristotle to have proved to me by necessary consequences, the rather in regard he was able to do it very plainly and speedily. *Received 9. iii. 54. (shrink)

Weyl famously argued that if space were discrete, then Euclidean geometry could not hold even approximately. Since then, many philosophers have responded to this argument by advancing alternative accounts of discrete geometry that recover approximately Euclidean space. However, they have missed an importantly flawed assumption in Weyl’s argument: physical geometry is determined by fundamental spacetime structures independently from dynamical laws. In this paper, I aim to show its falsity through two rigorous examples: random walks in statistical physics and quantum mechanics.

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)

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)