A uniquely integrative work, this volume provides a much needed compilation of primary source material to researchers from basic neuroscience, psychology, developmental science, neuroimaging, neuropsychology and theoretical biology. * The ...

Presenting the history of space-time physics, from Newton to Einstein, as a philosophical development DiSalle reflects our increasing understanding of the connections between ideas of space and time and our physical knowledge. He suggests that philosophy's greatest impact on physics has come about, less by the influence of philosophical hypotheses, than by the philosophical analysis of concepts of space, time and motion, and the roles they play in our assumptions about physical objects and physical measurements. This way (...) of thinking leads to interpretations of the work of Newton and Einstein and the connections between them. It also offers ways of looking at old questions about a priori knowledge, the physical interpretation of mathematics, and the nature of conceptual change. Understanding Space-Time will interest readers in philosophy, history and philosophy of science, and physics, as well as readers interested in the relations between physics and philosophy. (shrink)

Reviewed Works:Murray G. Bell, J. Streprans, S. Watson, Spaces of Ideals of Partial Functions.Alan Dow, Compact Spaces of Countable Tightness in the Cohen Model.Peter J. Nyikos, Classes of Compact Sequential Spaces.Franklin D. Tall, Topological Problems for Set-Theorists.

Our aim in this paper is to take quite seriously Heinz Post’s claim that the non-individuality and the indiscernibility of quantum objects should be introduced right at the start, and not made a posteriori by introducing symmetry conditions. Using a different mathematical framework, namely, quasi-set theory, we avoid working within a label-tensor-product-vector-space-formalism, to use Redhead and Teller’s words, and get a more intuitive way of dealing with the formalism of quantum mechanics, although the underlying logic should be (...) modified. We build a vector space with inner product, the Q-space, using the non-classical part of quasi-set theory, to deal with indistinguishable elements. Vectors in Q-space refer only to occupation numbers and permutation operators act as the identity operator on them, reflecting in the formalism the fact of unobservability of permutations. Thus, this paper can be regarded as a tentative to follow and enlarge Heinsenberg’s suggestion that new phenomena require the formation of a new “closed” (that is, axiomatic) theory, coping also with the physical theory’s underlying logic and mathematics. (shrink)

We present a mathematical approach to defeasible reasoning based on arguments. This approach integrates the notion of specificity introduced by Poole and the theory of warrant presented by Pollock. The main contribution of this paper is a precise, well-defined system which exhibits correct behavior when applied to the benchmark examples in the literature. It aims for usability rather than novelty. We prove that an order relation can be introduced among equivalence classes of arguments under the equi-specificity relation. We also (...) prove a theorem that ensures the termination of the process of finding the justified facts. Two more lemmas define a reduced search space for checking specificity. In order to implement the theoretical ideas, the language is restricted to Horn clauses for the evidential context. The language used to represent defeasible rules has been restricted in a similar way. The authors intend this work to unify the various existing approaches to argument-based defeasible reasoning. (shrink)

In recent years, the ideas of the mathematician Bernhard Riemann have come to the fore as one of Deleuze's principal sources of inspiration in regard to his engagements with mathematics, and the history of mathematics. Nevertheless, some relevant aspects and implications of Deleuze's philosophical reception and appropriation of Riemann's thought remain unexplored. In the first part of the paper I will begin by reconsidering the first explicit mention of Riemann in Deleuze's work, namely, in the second chapter of Bergsonism. In (...) this context, as I intend to show first, Deleuze's synthesis of some key features of the Riemannian theory of multiplicities is entirely dependent, both textually and conceptually, on his reading of another prominent figure in the history of mathematics: Hermann Weyl. This aspect has been largely underestimated, if not entirely neglected. However, as I attempt to bring out in the second part of the paper, reframing the understanding of Deleuze's philosophical engagement with Riemann's mathematics through the Riemann–Weyl conjunction can allow us to disclose some unexplored aspects of Deleuze's further elaboration of his theory of multiplicities and profound confrontation with contemporary science. This finally permits delineation of a correlation between Deleuze's plane of immanence and the contemporary physico-mathematical space of fundamental interactions. (shrink)

Taking as its point of departure the question of light vis-à-vis the question of being in Derrida's work, this article discusses Derrida's radical conceptions of khoral spatiality and alterity, by linking his first book on Edmund Husserl's “The Origin of Geometry” and his early critique of Emmanuel Levinas to his exploration of the ethico-political problematics, in part, again, via Levinas, in his latest works. The article also considers Derrida's reading of Kafka in “Before the Law,” decisive for his analysis of (...) the problematics in question and for our understanding of the relationships between “geometry and democracy.” These relationships, the article argues, are an essential concern of much of Derrida's work and of our culture, from the pre-Socratics on. (shrink)

The work addresses the problem of the relationship between science and philosophy in the work of Hermann Weyl. The author begins by discussing Weylls Gottingen tradition. Contrary to standard accounts of this tradition, Edmund Husserl and Georg Cantor are included. The influence of this tradition on Weyl is then illustrated by an examination of Weyl's early philosophy of mathematics. Here Weyl attempts to use Husserl's early phenomenology to amalgamate the thought of Felix Klein, David Hilbert and Cantor. Weyl's "phenomenological period," (...) in which he wrote The Continuum and Space-Time-Matter, is then discussed in detail. The work reveals that for Weyl, philosophy and science, guided by the same telos to construct an objective picture of the world, are involved in a dialectic in which each serves as a corrective and limitation of the other. (shrink)

Hume's discussion of the idea of space in his Treatise on Human Nature is fundamental to an understanding of his treatment of such central issues as the existence of external objects, the unity of the self, the relation between certainty and belief, and abstract ideas. Marina Frasca-Spada's rich and original study examines this difficult part of Hume's philosophical writings and connects it to eighteenth-century works in natural philosophy, mathematics and literature. Focusing on Hume's discussions of the infinite divisibility of (...) extension, the origin of the idea of space, geometry, and the notion of a vacuum, she shows that the central questions of Hume's 'science of human nature' - what does the 'science of human nature' reveal about the mind and its operations? what is experience? - underlie all of these discussions. Her analysis points the way to a reassessment of the central current interpretative problems in Hume studies. (shrink)

The basic purpose of this essay, the first of an intended pair, is to interpret standard von Neumann quantum theory in a framework of iterated measure algebraic truth for mathematical (and thus mathematical-physical) assertions — a framework, that is, in which the truth-values for such assertions are elements of iterated boolean measure-algebras (cf. Sections 2.2.9, 5.2.1–5.2.6 and 5.3 below).The essay itself employs constructions of Takeuti's boolean-valued analysis (whose origins lay in work of Scott, Solovay, Krauss and others) to (...) provide a metamathematical interpretation of ideas sometimes considered disparate, heuristic, or simply ill-defined: the collapse of the wave function, for example; Everett's many worlds'-construal of quantum measurement; and a natural product space of contextual (nonlocal) hidden variables. (shrink)

Previous work has shown that the Complex Conceptual Spaces − Single Observation Mathematical framework is a useful tool for event characterization. This mathematical framework is developed on the basis of Conceptual Spaces and uses integer linear programming to find the needed similarity values. The work of this paper is focused primarily on space event characterization. In particular, the focus is on the ranking of threats for malicious space events such as a kinetic kill. To make the (...) Conceptual Spaces framework work, the similarity values between the contents of observations on the one hand and the properties of the entities observed on the other needs to be found. This paper shows how to exploit Dempster-Shafer theory to implement a statistical approach for finding these similarities values. This approach will allow a user to identify the uncertainty involved in similarity value data, which can later be propagated through the developed mathematical model in order for the user to know the overall uncertainty in the observation-to-concept mappings needed for space event characterization. (shrink)

Physics is not just mathematics. This seems trivial, but poses difficult and interesting questions. In this paper we analyse a particular discrepancy between non-relativistic quantum mechanics and ‘classical’ space and time. We also suggest, but not discuss, the case of the relativistic QM. In this work, we are more concerned with the notion of space and its mathematical representation. The mathematics entails that any two spatially separated objects are necessarily different, which implies that they are discernible —we (...) say that the space is T2, or “Hausdorff”, or yet “separable”. But when enters QM, sometimes the systems need to be taken as completely indistinguishable, so that there is no way to tell which system is which, and this holds even in the case of fermions. But in the NST setting, it seems that we can always give an identity to them by means of their individuation, which seems to be contra the quantum physical situation, where individuation does not entail identity. Here we discuss this topic by considering a case study and conclude that, taking into account the quantum case, that is, when physics enter the discussion, even NST cannot be used to say that the systems do have identity. This case study seems to be relevant for a more detailed discussion on the interplay between physical theories and their underlying mathematics, in a simple way apparently never realized before. (shrink)

Hume’s discussion of space, time, and mathematics at T 1.2 appeared to many earlier commentators as one of the weakest parts of his philosophy. From the point of view of pure mathematics, for example, Hume’s assumptions about the infinite may appear as crude misunderstandings of the continuum and infinite divisibility. I shall argue, on the contrary, that Hume’s views on this topic are deeply connected with his radically empiricist reliance on phenomenologically given sensory images. He insightfully shows that, (...) class='Hi'>working within this epistemological model, we cannot attain complete certainty about the continuum but only at most about discrete quantity. Geometry, in contrast to arithmetic, cannot be a fully exact science. A number of more recent commentators have offered sympathetic interpretations of Hume’s discussion aiming to correct the older tendency to dismiss this part of the Treatise as weak and confused. Most of these commentators interpret Hume as anticipating the contemporary idea of a finite or discrete geometry. They view Hume’s conception that space is composed of simple indivisible minima as a forerunner of the conception that space is a discretely (rather than continuously) ordered set. This approach, in my view, is helpful as far as it goes, but there are several important features of Hume’s discussion that are not sufficiently appreciated. I go beyond these recent commentators by emphasizing three of Hume’s most original contributions. First, Hume’s epistemological model invokes the “confounding” of indivisible minima to explain the appearance of spatial continuity. Second, Hume’s sharp contrast between the perfect exactitude of arithmetic and the irremediable inexactitude of geometry reverses the more familiar conception of the early modern tradition in pure mathematics, according to which geometry (the science of continuous quantity) has its own standard of equality that is independent from and more exact than any corresponding standard supplied by algebra and arithmetic (the sciences of discrete quantity). Third, Hume has a developed explanation of how geometry (traditional Euclidean geometry) is nonetheless possible as an axiomatic demonstrative science possessing considerably more exactitude and certainty that the “loose judgements” of the vulgar. (shrink)

Proof requires a dialogue between agents to clarify obscure inference steps, fill gaps, or reveal implicit assumptions in a purported proof. Hence, argumentation is an integral component of the discovery process for mathematical proofs. This work presents how argumentation theories can be applied to describe specific informal features in the development of proof-events. The concept of proof-event was coined by Goguen who described mathematical proof as a public social event that takes place in space and time. This (...) new meta-methodological concept is designed to cover not only “traditional” formal proofs but all kinds of proofs and inference steps, including incomplete or purported proofs. Our approach attempts to make proof-events more comprehensive to express the complete trajectory of a mathematical proof-event until the ultimate validation of the proving outcome. Thus, we advance an extended version of proof-event calculus which is built on argumentation theories designed to capture the internal and external structure of collaborative mathematical practice and highlight the relationship between proof, human reasoning, and cognitive processes. In addition, another area in which argumentation can make a significant contribution is dealing with the defeasible knowledge of the Web which is a product of its open and ubiquitous nature. This approach seems to be sufficient for the presentation of Web-based proving processes as manifested in the case of the Mini-Polymath 4 project. (shrink)

Mathematics is everywhere and yet its objects are nowhere. There may be five apples on the table but the number five itself is not to be found in, on, beside or anywhere near the apples. So if not in space and time, where are numbers and other mathematical objects such as perfect circles and functions? And how do we humans discover facts about them, be it Pythagoras’ Theorem or Fermat’s Last Theorem? The metaphysical question of what numbers are (...) and the epistemological question of how we know about them are central to the philosophy of mathematics. These and related philosophical questions are of particular interest because of mathematics’ unusual status. Mathematics is exceptional in that, on the one hand, it appears unhesitatingly true—no one doubts that 2 + 3 = 5—but on the other, as just noted, it is not about the physical world. This ambivalent status is what gives the philosophy of mathematics its special interest. The philosophy of mathematics is also one of the oldest academic fields, more or less coeval with philosophy itself. But contemporary philosophy of mathematics is rather different from its pre-twentieth-century antecedents, largely for three reasons. The first is that since the seventeenth century, mathematics has become integral to science. Science has over the past few centuries become increasingly mathematical, and indeed the fundamental science of nature, physics, is today recognised as a branch of applied mathematics. The second is that mathematics underwent a transformation in the course of nineteenth century: having started the century as a rather traditional-looking science of quantity it emerged a hundred years later a radically transformed abstract theory of structure. The final factor in the transformation of the philosophy of mathematics is the rise of modern logic. Developed by Frege, Cantor and others in the late nineteenth century, modern logic pervades contemporary mathematics, philosophy and computer science, and has had an immeasurable effect on the philosophy of mathematics. These volumes will collect the major works in this major field, with a focus on the last few decades. The anthology will include technical work, which interprets philosophically significant mathematical results or subfields of mathematics, as well as purely philosophical writing, aimed at those without advanced mathematics. The collection should be of interest to both philosophers and mathematicians, as well as to anyone who is susceptible to wondering what the main intellectual tool used in science, economics and finance, and indeed everyday life is ultimately about. (shrink)

Continuous functions on the unit interval are relatively tame from the logical and computational point of view. A similar behaviour is exhibited by continuous functions on compact metric spaces equipped with a countable dense subset. It is then a natural question what happens if we omit the latter ‘extra data’, i.e., work with ‘unrepresented’ compact metric spaces. In this paper, we study basic third-order statements about continuous functions on such unrepresented compact metric spaces in Kohlenbach’s higher-order Reverse Mathematics. We establish (...) that some (very specific) statements are classified in the (second-order) Big Five of Reverse Mathematics, while most variations/generalisations are not provable from the latter, and much stronger systems. Thus, continuous functions on unrepresented metric spaces are ‘wild’, though ‘more tame’ than (slightly) discontinuous functions on the reals. (shrink)

In previous work we gave a mathematical foundation, referred to as DisCoCat, for how words interact in a sentence in order to produce the meaning of that sentence. To do so, we exploited the perfect structural match of grammar and categories of meaning spaces. Here, we give a mathematical foundation, referred to as DisCoCirc, for how sentences interact in texts in order to produce the meaning of that text. First we revisit DisCoCat. While in DisCoCat all meanings are (...) fixed as states, in DisCoCirc word meanings correspond to a type, or system, and the states of this system can evolve. Sentences are gates within a circuit which update the variable meanings of those words. Like in DisCoCat, word meanings can live in a variety of spaces e.g. propositional, vectorial, or cognitive. The compositional structure are string diagrams representing information flows, and an entire text yields a single string diagram in which word meanings lift to the meaning of the entire text. While the developments in this paper are independent of a physical embodiment, both the compositional formalism and suggested meaning model are highly quantum-inspired, and implementation on a quantum computer would come with a range of benefits. We also praise Jim Lambek for his role in mathematical linguistics in general, and the development of the DisCo program more specifically. (shrink)

The aim of this book is to give an account of Einstein's work without introducing anything very technical in the way of mathematics, physics, or philosophy.

Platonism is the most pervasive philosophy of mathematics. Indeed, it can be argued that an inarticulate, half-conscious Platonism is nearly universal among mathematicians. The basic idea is that mathematical entities exist outside space and time, outside thought and matter, in an abstract realm. In the more eloquent words of Edward Everett, a distinguished nineteenth-century American scholar, "in pure mathematics we contemplate absolute truths which existed in the divine mind before the morning stars sang together, and which will continue (...) to exist there when the last of their radiant host shall have fallen from heaven." In What is Mathematics, Really?, renowned mathematician Rueben Hersh takes these eloquent words and this pervasive philosophy to task, in a subversive attack on traditional philosophies of mathematics, most notably, Platonism and formalism. Virtually all philosophers of mathematics treat it as isolated, timeless, ahistorical, inhuman. Hersh argues the contrary, that mathematics must be understood as a human activity, a social phenomenon, part of human culture, historically evolved, and intelligible only in a social context. Mathematical objects are created by humans, not arbitrarily, but from activity with existing mathematical objects, and from the needs of science and daily life. Hersh pulls the screen back to reveal mathematics as seen by professionals, debunking many mathematical myths, and demonstrating how the "humanist" idea of the nature of mathematics more closely resembles how mathematicians actually work. At the heart of the book is a fascinating historical account of the mainstream of philosophy--ranging from Pythagoras, Plato, Descartes, Spinoza, and Kant, to Bertrand Russell, David Hilbert, Rudolph Carnap, and Willard V.O. Quine--followed by the mavericks who saw mathematics as a human artifact, including Aristotle, Locke, Hume, Mill, Peirce, Dewey, and Lakatos. In his epilogue, Hersh reveals that this is no mere armchair debate, of little consequence to the outside world. He contends that Platonism and elitism fit well together, that Platonism in fact is used to justify the claim that "some people just can't learn math." The humanist philosophy, on the other hand, links mathematics with geople, with society, and with history. It fits with liberal anti-elitism and its historical striving for universal literacy, universal higher education, and universal access to knowledge and culture. Thus Hersh's argument has educational and political ramifications. Written by the co-author of The Mathematical Experience, which won the American Book Award in 1983, this volume reflects an insider's view of mathematical life, based on twenty years of doing research on advanced mathematical problems, thirty-five years of teaching graduates and undergraduates, and many long hours of listening, talking to, and reading philosophers. A clearly written and highly iconoclastic book, it is sure to be hotly debated by anyone with a passionate interest in mathematics or the philosophy of science. (shrink)

Since the early days of physics, space has called for means to represent, experiment, and reason about it. Apart from physicists, the concept of space has intrigued also philosophers, mathematicians and, more recently, computer scientists. This longstanding interest has left us with a plethora of mathematical tools developed to represent and work with space. Here we take a special look at this evolution by considering the perspective of Logic. From the initial axiomatic efforts of Euclid, we (...) revisit the major milestones in the logical representation of space and investigate current trends. In doing so, we do not only consider classical logic, but we indulge ourselves with modal logics. These present themselves naturally by providing simple axiomatizations of different geometries, topologies, space-time causality, and vector spaces. (shrink)

We formulate Suppes predicates for various kinds of space-time: classical Euclidean, Minkowski's, and that of General Relativity. Starting with topological properties, these continua are mathematically constructed with the help of a basic algebra of events; this algebra constitutes a kind of mereology, in the sense of Lesniewski. There are several alternative, possible constructions, depending, for instance, on the use of the common field of reals or of a non-Archimedian field (with infinitesimals). Our approach was inspired by the work of (...) Whitehead (1919), though our philosophical stance is completely different from his. The structures obtained are idealized constructs underlying extant, physical space-time. (shrink)

This book offers a reconstruction of the debate on non-Euclidean geometry in neo-Kantianism between the second half of the nineteenth century and the first decades of the twentieth century. Kant famously characterized space and time as a priori forms of intuitions, which lie at the foundation of mathematical knowledge. The success of his philosophical account of space was due not least to the fact that Euclidean geometry was widely considered to be a model of certainty at his (...) time. However, such later scientific developments as non-Euclidean geometries and Einstein’s general theory of relativity called into question the certainty of Euclidean geometry and posed the problem of reconsidering space as an open question for empirical research. The transformation of the concept of space from a source of knowledge to an object of research can be traced back to a tradition, which includes such mathematicians as Carl Friedrich Gauss, Bernhard Riemann, Richard Dedekind, Felix Klein, and Henri Poincaré, and which finds one of its clearest expressions in Hermann von Helmholtz’s epistemological works. Although Helmholtz formulated compelling objections to Kant, the author reconsiders different strategies for a philosophical account of the same transformation from a neo-Kantian perspective, and especially Hermann Cohen’s account of the aprioricity of mathematics in terms of applicability and Ernst Cassirer’s reformulation of the a priori of space in terms of a system of hypotheses. This book is ideal for students, scholars and researchers who wish to broaden their knowledge of non-Euclidean geometry or neo-Kantianism. (shrink)

Lakatos’ (Lakatos, 1976) model of mathematical conceptual change has been criticized for neglecting the diversity of dynamics exhibited by mathematical concepts. In this work, I will propose a pluralist approach to mathematical change that re-conceptualizes Lakatos’ model of proofs and refutations as an ideal dynamic that mathematical concepts can exhibit to different degrees with respect to multiple dimensions. Drawing inspiration from Godfrey-Smith’s (Godfrey-Smith, 2009) population-based Darwinism, my proposal will be structured around the notion of a conceptual (...) population, the opposition between Lakatosian and Euclidean populations, and the spatial tools of the Lakatosian space. I will show how my approach is able to account for the variety of dynamics exhibited by mathematical concepts with the help of three case studies. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:66. ' HUME ON SPACE AND GEOMETRY * : A REJOINDER TO FLEW ' S 'ONE RESERVATION '.? Flew' s reservation about my assertion that the Enquiry contains no significant revision of the Treatise conception of geometry as a body of necessary and synthetic knowledge, appears to involve two charges. Firstly, he alleges that I dismiss but offer no substantial argument against his own view that the Enquiry (...) restores pure geometry "to its place alongside the other two elements of the trinity ". Secondly, he thinks that I have committed a serious sin of omission in failing to take into consideration a certain passage in the Enquiry (page 31, section 27) which, in his opinion, constitutes "a quite decisive reason" for supposing that Hume abandoned the Treatise position, in that it contains an account of applied mathematics, a subject on which the Treatise is silent. To the charge of omission I plead guilty, and I shall presently seek to remedy this defect and to state why I do not share Flew' s view of the significance of the said passage. To the former charge I am not so ready to plead guilty, and I shall counter-charge that Flew has failed not only to do justice to my proposed reading of Enquiry page 25, section 20, but also to provide clear and convincing support for his own. One difficulty encountered in answering Flew lies in understanding whether or not his claim about the status of geometry as a pure science in the Enquiry is put forward independently of his interpretation of E31. As originally presented in Hume's Philosophy of Belief this appears to be the case, and if so, on what evidence does it rest? 2 In his book, Flew' s statement about Hume replacing pure geometry alongside arithmetic and algebra follows directly upon a paragraph in which he comments that Hume's references to geometrical propositions at E25 signify "an important advance from the position of the Treatise". For whereas the status of perfect precision and certainty was 67. there withheld from geometry (T71), Hume now speaks of the certainty and evidence of the propositions of Euclidean geometry, and declares such propositions to be discoverable by the mere operation of thought, without dependence on what is anywhere existent in the universe. (E25) Now, I argued at some length in my paper (pp. 21-24) that Hume is prepared to grant scientific status to geometry in the Enquiry because he has come to regard its certainty as that proper to a mathematics of space. He has abandoned the Treatise contrast between an ideal or theoretical standard of equality, viewed therein as necessary to geometry considered as a science proper, and the merely sensible standard of equality upon which geometry as practised depends. It should not be forgotten that Hume recognises two kinds of certainty where "Relations of Ideas" are concerned, intuitive and demonstrative. Since he fails to provide any detail of the place of each of these in mathematics, the door is left open for speculation along the lines followed in pp. 28-29 of my paper. For there is nothing in?25 which implies that the certainty of all geometrical propositions is of the same kind, or that the process of geometrical demonstration is of the same logical nature as demonstrative reasoning in arithmetic and algebra. In his comment on my position Flew makes no reference to my proposed reason why Hume classes geometry as a science in the Enquiry.· Yet, even if this reclassification does mark an advance of a kind, the fact remains that E25 does not furnish incontrovertible evidence for that advance which Flew thinks he finds there. Nor, therefore, is it conclusive against my assertion that Hume in both works regards the propositions of geometry as necessary and synthetic truths. Given that Flew does not wish to deny the inclusion of a synthetic element even in the Enquiry account of mathematics (see H. P. B. pp. 64-66), I find it difficult to see why he supposes that the logical status of the propositions of geometry is different in the Enquiry from that in the Treatise, since in the latter too they are held 68. to be truths which depend... (shrink)

The theory of branching space-times, put forward by Belnap, considers indeterminism as local in space and time. In the axiomatic foundations of that theory, so-called choice points mark the points at which the possible future can turn out in different ways. Working under the assumption of choice points is suitable for many applications, but has an unwelcome topological consequence that makes it difficult to employ branching space-times to represent a range of possible physical space-times. Therefore (...) it is interesting to develop a branching space-times theory without choice points. This is what we set out to do in this paper, providing new foundations for branching space-times in terms of choice sets rather than choice points. After motivating and developing the resulting theory in formal detail, we show that it is possible to translate structures of one style into structures of the other style and vice versa. This result shows that the underlying idea of indeterminism as the branching of spatio-temporal histories is robust with respect to different implementations, making a choice between them a matter of expediency rather than of principle. (shrink)

The scientific study of consciousness, also referred to as consciousness science, is a young scientific field devoted to understanding how conscious experiences and the brain relate. It comprises a host of theories, experiments, and analyses that aim to investigate the problem of consciousness empirically, theoretically, and conceptually. This thesis addresses some of the questions that arise in these investigations from a formal and mathematical perspective. These questions concern theories of consciousness, experimental paradigms, methodology, and artificial consciousness. -/- Regarding theories (...) of consciousness, the thesis contributes to the understanding of the mathematical structure that some of the formal theories in the field propose. The work presented here targets the theory of consciousness known as Integrated Information Theory (IIT) and the neuroscientific theory known as Predictive Processing Theory or Free Energy Principle in its Active Inference form (AI-PP). The thesis provides axiomatic definitions of the mathematical structures that constitute these theories, and uses these definitions to address some of the open questions surrounding the theories. For AI-PP, this includes a rigorous derivation of the formula for Active Inference via Free Energy minimisation and a proof of compositionality of Free Energy. For IIT, this includes resolutions of some of the criticisms of IIT's formal scope and applications, but also the identification of new issues that concern the formalism and its derivation. When possible, the definitions are provided in the mathematical framework of category theory. -/- Regarding experiments, the thesis addresses the main paradigm for testing and falsifying theories of consciousness currently applied in the field. This paradigm consists of comparing the conscious experience that a theory predicts with the conscious experience that is inferred from behavioural data or report by use of measures of consciousness. The thesis provides a formal model of this paradigm and shows that under a certain condition—if inference and prediction are independent—, any minimally informative theory of consciousness can always be falsified. This is deeply problematic since the field’s reliance on report or behaviour to infer conscious experiences, in conjunction with the general structure of most contemporary theories of consciousness, implies such independence. This observation provides the exact formal underpinning of the well-known unfolding argument. The thesis analyses the origin of the problem and identifies precisely which changes are required to avoid this problem in future research. The thesis furthermore shows that the problem of falsifying theories of consciousness, and of empirical comparisons of theories of consciousness more generally, follows from a pervasive closure paradigm in consciousness science, that consists of taking a neuroscientific account of the brain as input to a theory of consciousness, so as to explain what consciousness is, without allowing for modifications or adaptations of the neuroscientific account that would accommodate consciousness as part of the brain's functioning. As is shown in the thesis, this paradigm has implications that point to a fundamental need of revision. -/- Regarding methodological and conceptual questions, the thesis contributes to the foundations of structural research in consciousness science. Structural research aims to use mathematical structures or mathematical spaces, instead of verbal descriptions or simple categorisations, to represent conscious experiences scientifically, for example when building theories of consciousness, or when exploring new empirical avenues to measure consciousness. Despite considerable advances in this realm, there was, prior to this thesis, no explicit definition of what a mathematical structure of conscious experience should be; that is, how the attribution of mathematical structure to conscious experiences should be systematically understood. Perhaps the most important contribution of this thesis to the field is to propose such a definition. The definition, a structural concept, extends existing approaches wherever available, and provides a basis for developing a common formal language to study consciousness, bridging developments as far apart as psychophysics and phenomenology. In addition, and independently of this proposal, the thesis offers a critical analysis of which metaphysical premises need to be presumed in structural research, whether the use of particular formal tools (such as structure-preserving mappings or homomorphisms) is justified, and how structural theories of consciousness could otherwise be built in the first place. An attempt to expand the results from consciousness to more general problems in philosophy of science is made in the context of the well-known Newman problem. -/- Regarding the question of artificial consciousness—can AI feel?—, the thesis contributes two results that take the form of no-go theorems, as known from physics. The first no-go theorem shows that if consciousness is relevant for the temporal evolution of a system's states—if it is dynamically relevant—, then contemporary AI systems cannot be conscious. That is because AI systems run on CPUs, GPUs, TPUs or other processors which have been designed and verified to adhere to computational dynamics that systematically preclude or suppress deviations. The second no-go theorem is situated in the context of computational functionalism, a view which posits that consciousness is a computation. The theorem shows that if computational functionalism holds true, consciousness cannot be a Turing computation. Rather, it must be a novel type of computation that has recently been proposed by Geoffrey Hinton, called mortal computation. -/- This thesis is part of a global effort to pioneer a mathematical perspective in consciousness science, now called Mathematical Consciousness Science. The hope behind the research carried out in this PhD is to illustrate the power and usefulness of mathematical approaches in different areas of consciousness science, and in doing so, to lay the foundations for future mathematical work that complements and supports empirical and theoretical work in the further development of this exciting field. (shrink)

We count apples and divide a cake so that each guest gets an equal piece; we weigh galaxies and use Hilbert spaces to make amazingly accurate predictions about spectral lines. It would seem that we have no difficulty in applying mathematics to the world; yet the role of mathematics in its various applications is surprisingly elusive. Eugene Wigner has gone so far as to say that “the enormous usefulness of mathematics in the natural sciences is something bordering on the mysterious (...) and that there is no rational explanation for it” (1960, p. 223). The issue is not much discussed under the heading “applied mathematics,” yet it is pivotal to several philosophical debates. In recent years three rather general questions have been central: (1) Just how does mathematics “hook onto” the world? This is the main concern of a rather technical branch of philosophy of science known as measurement theory (see measurement). (2) Are some of the objects referred to in various theories merely mathematical objects, or do they have some other status? This problem often comes up in the philosophy of the special sciences. For example, do space‐time and the quantum state exist in their own right, separate from their mathematical representations; or are they nothing but mathematical entities? (3) Is mathematics essential for science? Following Hartry Field's work, this has become a focal point in the debate between realists and nominalists in the philosophy of mathematics. (shrink)

Objective. Conceptualization of the definition of space as a semantic unit of language consciousness. -/- Materials & Methods. A structural-ontological approach is used in the work, the methodology of which has been tested and applied in order to analyze the subject matter area of psychology, psycholinguistics and other social sciences, as well as in interdisciplinary studies of complex systems. Mathematical representations of space as a set of parallel series of events (Alexandrov) were used as the initial theoretical (...) basis of the structural-ontological analysis. In this case, understanding of an event was considered in the context of the definition adopted in computer science – a change in the object properties registered by the observer. -/- Results. The negative nature of space realizes itself in the subject-object structure, the components interaction of which is characterized by a change – a key property of the system under study. Observer’s registration of changes is accompanied by spatial focusing (situational concretization of the field of changes) and relating of its results with the field of potentially distinguishable changes (subjective knowledge about «changing world»). The indicated correlation performs the function of space identification in terms of recognizing its properties and their subjective significance, depending on the features of the observer`s motivational sphere. As a result, the correction of the actual affective dynamics of the observer is carried out, which structures the current perception of space according to principle of the semantic fractal. Fractalization is a formation of such a subjective perception of space, which supposes the establishment of semantic accordance between the situational field of changes, on the one hand, and the worldview, as well as the motivational characteristics of the observer, on the other. -/- Conclusions. Performed structural-ontological analysis of the system formed by the interaction of the perceptual function of the psyche and the semantic field of the language made it possible to conceptualize the space as a field of changes potentially distinguishable by the observer, structurally organized according to the principle of the semantic fractal. The compositional features of the fractalization process consist in fact that the semantic fractal of space is relevant to the product of the difference between the situational field of changes and the field of potentially distinguishable changes, adjusted by the current configuration of the observer`s value-needs hierarchy and reduced by his actual affective dynamics. (shrink)

Newton's use of mathematics in mechanics was justified by him from his neo-platonician conception of the physical world that was going along with his «absolute, true and mathematical concepts» such as space, time, motion, force, etc. But physics, afterwards, although it was based on newtonian dynamics, meant differently the legitimacy of being mathematized, and this difference can be seen already in the works of eighteenth century «Geometers» such as Euler, Clairaut and d'Alembert (and later on Lagrange, Laplace and (...) others). Despite their inheritance of Newton's achievements, they understood differently the meaning and use of mathematical quantities for physics, in a way that was more neutral to metaphysics. The continental reception and assimilation of Newton's Principia had indeed occured as its budding onto Leibniz' calculus and a cartesian conception of rationality (spread in particular by the malebranchist disciples of Leibniz). This new thought of the legitimacy of mathematization is clearly at variance with Descartes' identification of physics with geometry, but it nevertheless can be traced back to Descartes' conception of magnitudes, as it was developed and analyzed from the notion of dimension in his Regulæ ad directionem ingenii (in particular, rule 14). This idea can be followed afterwards with further philosophical or mathematical specifications through authors such as Kant, Riemann and others. This inquiry into the original thought of magnitudes, and of physical magnitudes conceived through mathematization, leads us to suggest an extension of meaning for the concept of physical magnitude that puts emphasis on its relational and structural aspects rather than restraining it to a simple «numerically valued» acception. Such a broadening would have immediate implications on our comprehension of «non classical» aspects of contemporary physics in the quantum area and in dynamical systems. (shrink)

This essay is an attempt to take stock of what has been done by those who have worked on the foundations of mathematics and to suggest, very inadequately in so short a space, what may be a satisfactory approach to this subject for one who is not an expert in it. The subject is one that neither mathematicians nor philosophers can any longer afford to ignore, but in the technicalities of which they may not be very interested.

All spaces are assumed to be separable and metrizable. We show that, assuming the Axiom of Determinacy, every zero-dimensional homogeneous space is strongly homogeneous (i.e. all its non-empty clopen subspaces are homeomorphic), with the trivial exception of locally compact spaces. In fact, we obtain a more general result on the uniqueness of zero-dimensional homogeneous spaces which generate a given Wadge class. This extends work of van Engelen (who obtained the corresponding results for Borel spaces), complements a result of van (...) Douwen, and gives partial answers to questions of Terada and Medvedev. (shrink)

Although the name of Immanuel Kant has survived in the history of culture as the name of one of the greatest philosophers of modern times, Kant's role as a scientist is also very important. His work in the field of cosmology and physics is directly related to philosophy. Kant's development of the transcendental method was a direct result of thinking about the relationship between mathematics and experiment. Transcendentalism and Kant's theory of subjectivity continue the development of physics from Galileo to (...) Newton and Leibniz. This is especially true of his theory of space and time. All this should have turned transcendental aesthetics into a turning point in the development of mathematical natural science. However, in practice, the alienation of the natural sciences from philosophy has only intensified. An analysis of the scientific revolution at the beginning of the 20th century shows the enormous role of Kant's ideas in it in repulsing scientists from Kantianism. Weinert, a researcher of the relationship of 20th century physics to Kant's philosophy, shows that Einstein, being a Kantian as a philosopher, opposed Kantianism as a physicist. He enthusiastically accepted the Kantian idea of the autonomy of theoretical knowledge, but did not accept the concept a priori. An approach in which experience and theory do not precede each other, but are in constant interaction, is defined in the article as experimental transcendentalism. With the methodological difference between physics and philosophy, the concept of space and time in modern physics has a deep similarity with the transcendental doctrine. The definition of the qualitative structure of space (Analysis Situs), including the theoretical substantiation of its three dimensions, was the subject of reflections of scientists from Galileo, Leibniz and Kant to Einstein and Poincaré. (shrink)

We formulate Suppes predicates for various kinds of space-time: classical Euclidean, Minkowski's, and that of General Relativity. Starting with topological properties, these continua are mathematically constructed with the help of a basic algebra of events; this algebra constitutes a kind of mereology, in the sense of Lesniewski. There are several alternative, possible constructions, depending, for instance, on the use of the common field of reals or of a non-Archimedian field. Our approach was inspired by the work of Whitehead, though (...) our philosophical stance is completely different from his. The structures obtained are idealized constructs underlying extant, physical space-time. (shrink)

Beyond Peaceful Coexistence: The Emergence of Space, Time and Quantum brings together leading academics in mathematics and physics to address going beyond the 'peaceful coexistence' of space-time descriptions (local and continuous ones) and quantum events (discrete and non-commutative ones). Formidable challenges waiting beyond the Standard Model require a new semantic consistency within the theories in order to build new ways of understanding, working and relating to them. The original A. Shimony meaning of the peaceful coexistence (the collapse (...) postulate and non-locality) appear to be just the tip of the iceberg in relation to more serious fundamental issues across physics as a whole. Chapters in this book present perspectives on emergent, discrete, geometrodynamic and topological approaches, as well as a new interpretative spectrum of quantum theories after Copenhagen, discrete time theories, time-less approaches and 'super-fluid' pictures of space-time. As well as stimulating further research among established theoretical physicists, the book can also be used in courses on the philosophy and mathematics of theoretical physics. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:The Journal of Aesthetic Education 37.1 (2003) 1-12 [Access article in PDF] Art and Mathematics in Education Richard Hickman and Peter Huckstep We begin by asking a simple question: To what extent can art education be related to mathematics education? One reason for asking this is that there is, on the one hand, a significant body of claims that assert that mathematics is an art, and, on the other, (...) work in art that has a mathematical basis. Observations of these kinds are not trivial. They have significant implications for the teaching of these areas of the curriculum in at least two ways. First, there is the methodological issue of the extent to which we should teach mathematics and art separately, and second, the teleological question of why they appear in the curriculum at all. So the relationship between the nature of mathematics and art, perceived or real, bears down on questions of the individuation and the justification of these disciplines, or, in other words, upon pedagogy and purpose. Although in principle both the pedagogy and the purpose of any discipline are distinct, there are important connections between them, as we shall draw out.As far as mathematics goes, it has been stressed that the purposes of even rudimentary aspects of mathematics such as counting do need to be made explicit to pupils. 1 What have been seen as errors in understanding are internally linked with pupils' ideas of the purposes of counting. Anna Sierpinska discusses a similar situation within the broader aspect of what she calls "theory" in higher mathematics. 2 More generally, John Passmore, in his analysis of pupils' understanding includes the case where a pupil sees no need to understand since he or she cannot understand the point of learning the subject. 3 If the purposes of art and mathematics are strikingly similar then there is reason to suppose that certain pedagogical approaches that [End Page 1] follow from this will improve understanding of both mathematics and art, and therefore understanding of reasons for engaging in math-based and art-based activities.In schools we see what appears to be some evidence of connections between art and mathematics in cross-curricular work, such as that described in Jacqueline Cossentino and David Schaffer. 4 Apart from providing much-needed motivation, an important value of this approach toward mathematics is that it can illuminate pupils' understanding of some of its purpose by, at the very least, allowing them to recognize instances of mathematics at work, often in unsuspecting contexts. In particular, by facilitating some transference of knowledge pupils can appreciate the so-called "power" of mathematics in its widespread application to the world of artefacts produced by themselves and others.Can we go further than displaying connections between these disciplines? Can we treat mathematics itself as art? In particular, can we suppose that pupils can make mathematics just as they can make artefacts? Some writers seem to imply this by invoking the notion of creativity as a common property between the two disciplines. 5 Leaving aside the ironic sense of creativity in, for example, the case of "creative accountancy" pupils must indeed "make" sense of mathematics and they must originate mathematical assertions of their own that have not been directly taught. In both respects mathematics is similar to the learning of a language. Further than this, we value pupils' inventiveness in their approaches to areas of mathematics, calculations for example.The linking of mathematics and art via creativity has its most persuasive force in the change of attitude toward axiomatic foundations. 6 The story is familiar: for centuries Euclidean geometry was (wrongly) supposed to offer truths of the actual space in which we lived, since its axioms were thought to be confirmed by our intuitions of space. However, when it was found that consistent and useful axiomatic systems could be constructed by making certain alterations to these axioms, it became clear that mathematics was not simply discovered. It involved a significant measure of creativity. Yet one thing is clear: the sense that children make of mathematics, the original utterances they make... (shrink)

Several promising approaches have been developed to represent conscious experience in terms of mathematical spaces and structures. What is missing, however, is an explicit definition of what a ‘mathematical structure of conscious experience’ is. Here, we propose such a definition. This definition provides a link between the abstract formal entities of mathematics and the concreta of conscious experience; it complements recent approaches that study quality spaces, qualia spaces, or phenomenal spaces; and it provides a general method to identify (...) and investigate structures of conscious experience. We hope that ultimately this work provides a basis for developing a common formal language to study consciousness. (shrink)

The work of George Smith has illuminated how Newton’s scientific method, and its use in constructing the theory of universal gravitation, introduced an entirely new sense of what it means for a theory to be supported by evidence. This new sense goes far beyond Newton’s well known dissatisfaction with hypothetico-deductive confirmation, and his preference for conclusions that are derived from empirical premises by means of mathematical laws of motion. It was a sense of empirical success that George was especially (...) well placed to identify and to understand, through his experience as an engineer specializing in failure analysis. For Newton, to understand how well his theory was supported by evidence, he had to anticipate, as far as possible, all the ways in which it might be wrong. This paper explores how Newton's empirical method shaped his thinking about space, time, and the relativity of motion. (shrink)

This work is a conceptual analysis of certain recent developments in the mathematical foundations of Classical and Quantum Mechanics which have allowed to formulate both theories in a common language. From the algebraic point of view, the set of observables of a physical system, be it classical or quantum, is described by a Jordan-Lie algebra. From the geometric point of view, the space of states of any system is described by a uniform Poisson space with transition probability. (...) Both these structures are here perceived as formal translations of the fundamental twofold role of properties in Mechanics: they are at the same time quantities and transformations. The question becomes then to understand the precise articulation between these two roles. The analysis will show that Quantum Mechanics can be thought as distinguishing itself from Classical Mechanics by a compatibility condition between properties-as-quantities and properties-as-transformations. -/- Moreover, this dissertation shows the existence of a tension between a certain "abstract way" of conceiving mathematical structures, used in the practice of mathematical physics, and the necessary capacity to specify particular states or observables. It then becomes important to understand how, within the formalism, one can construct a labelling scheme. The “Chase for Individuation” is the analysis of different mathematical techniques which attempt to overcome this tension. In particular, we discuss how group theory furnishes a partial solution. (shrink)

Einstein said that the most incomprehensible thing about the universe is that it is comprehensible. But was he right? Can the quantum theory of fields and Einstein's general theory of relativity, the two most accurate and successful theories in all of physics, be united in a single quantum theory of gravity? Two of the world's most famous physicists - Stephen Hawking and Roger Penrose - disagree. Here they explain their positions in a work based on six lectures with a final (...) debate, all originally presented at the Isaac Newton Institute for Mathematical Sciences at the University of Cambridge. (shrink)

We investigate the use of coalgebra to represent quantum systems, thus providing a basis for the use of coalgebraic methods in quantum information and computation. Coalgebras allow the dynamics of repeated measurement to be captured, and provide mathematical tools such as final coalgebras, bisimulation and coalgebraic logic. However, the standard coalgebraic framework does not accommodate contravariance, and is too rigid to allow physical symmetries to be represented. We introduce a fibrational structure on coalgebras in which contravariance is represented by (...) indexing. We use this structure to give a universal semantics for quantum systems based on a final coalgebra construction. We characterize equality in this semantics as projective equivalence. We also define an analogous indexed structure for Chu spaces, and use this to obtain a novel categorical description of the category of Chu spaces. We use the indexed structures of Chu spaces and coalgebras over a common base to define a truncation functor from coalgebras to Chu spaces. This truncation functor is used to lift the full and faithful representation of the groupoid of physical symmetries on Hilbert spaces into Chu spaces, obtained in our previous work, to the coalgebraic semantics. (shrink)

Category Theory has developed rapidly. This book aims to present those ideas and methods which can now be effectively used by Mathe­ maticians working in a variety of other fields of Mathematical research. This occurs at several levels. On the first level, categories provide a convenient conceptual language, based on the notions of category, functor, natural transformation, contravariance, and functor category. These notions are presented, with appropriate examples, in Chapters I and II. Next comes the fundamental idea of (...) an adjoint pair of functors. This appears in many substantially equivalent forms: That of universal construction, that of direct and inverse limit, and that of pairs offunctors with a natural isomorphism between corresponding sets of arrows. All these forms, with their interrelations, are examined in Chapters III to V. The slogan is "Adjoint functors arise everywhere". Alternatively, the fundamental notion of category theory is that of a monoid -a set with a binary operation of multiplication which is associative and which has a unit; a category itself can be regarded as a sort of general­ ized monoid. Chapters VI and VII explore this notion and its generaliza­ tions. Its close connection to pairs of adjoint functors illuminates the ideas of universal algebra and culminates in Beck's theorem characterizing categories of algebras; on the other hand, categories with a monoidal structure lead inter alia to the study of more convenient categories of topological spaces. (shrink)

This paper is dedicated to Prof. Dr. Günter Asser, whose work in founding this journal and maintaining it over many difficult years has been a major contribution to the activities of the mathematical logic community.At first sight it appears highly unlikely that Urysohn's Lemma has any significant constructive content. However, working in the context of an apartness space and using functions whose values are a generalisation of the reals, rather than real numbers, enables us to produce a (...) significant constructive version of that lemma. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Ideas 62.2 (2001) 193-210 [Access article in PDF] Zeno Against Mathematical Physics Trish Glazebrook Galileo wrote in The Assayer that the universe "is written in the language of mathematics," and therein both established and articulated a foundational belief for the modern physicist. 1 That physical reality can be interpreted mathematically is an assumption so fundamental to modern physics that chaos and super-strings are (...) examples of physical theories developed on the basis of success in mathematics. The mathematics came first, then the physical theory. Quantum theory is an awkward and similar case in point. Despite the fact that there is much agreement among physicists about the mathematical theory, its physical interpretation remains a matter of controversy. There are several interpretations, all of which challenge our everyday assumptions about reality. This led Bohr in 1935 to call for "a radical revision of our attitude towards the problem of physical reality." 2 Arthur Fine, originally a staunch defender of realist interpretations of quantum theory, saw the success of Bohr's Copenhagen interpretation as the end of Einsteinian realism, and subsequently Fine declared that "realism is well and truly dead." 3 Mathematical operators simply do not correspond with real entities in any conceivable way.Ilkka Niiniluoto has argued convincingly, however, that realism is alive and well in quantum theory. 4 The problem is that Bohr is right: quantum theory can be considered to concern the real only upon radical revision of ordinary conceptions of reality. Quantum theory does not describe the real in any meaningful sense of "the real." Rather, it is mathematical projection: ideal rather than real. [End Page 193]Aristotle did not hold that the physicist deciphers nature mathematically. He distinguished the physicist from the mathematician at Physics 2.2 by analogy to the definitions of "snub nose" and "curved." 5 The definition of "snub nose" requires the mention of a nose, that is, of matter which is inseparable from motion, whereas "curved" and other mathematical concepts like " 'odd' and 'even', 'straight'... 'number,' 'line,' and 'figure,' " which are separable from matter and from motion, are investigated by the mathematician. 6 Aristotle claims that physics is different from mathematics because the mathematician investigates physical lines, but not qua physical, and the physicist investigates mathematical lines "but qua physical, not qua mathematical." 7A peculiar consequence of my argument is that it establishes a common principle between two thinkers whose beliefs are otherwise so fundamentally in opposition. Zeno's paradoxes are commonly read as a denial of motion. For Aristotle, that move is axiomatic to the physicist. At 185a15 he considers arguments against this assumption outside the realm of objections to which the physicist must reply. If I am right that Zeno's paradoxes of motion challenge the very notion of mathematical physics, then he and Aristotle agree, contra Galileo, that the universe is not written in the language of mathematics. They simply come to this point from opposite directions, Zeno from an Eleatic thesis that physical reality is illusion, Aristotle from the natural scientist's pragmatic commitment to a truth about nature.I intend to use Zeno's paradoxes of motion to argue that the application of mathematical concepts to the physical world results in paradox. Zeno's arguments are limited within mathematics to geometry. This paper is accordingly a beginning from which I hope more work can be done later. Furthermore, Zeno's paradoxes are standardly read as directed against anyone who disagrees with Parmenides' thesis that there is but one thing which is motionless and indivisible. The paradoxes achieve this end by means of a reductio against the possibility of dividing space and time. That there are four paradoxes is accordingly explicable by the fact that there are four possibilities for the divisibility of space and time. The Achilles argues against the possibility that space and time are both infinitely divisible; the Dichotomy, against the infinite divisibility of space and finite divisibility of time; the Arrow, against the infinite divisibility of time and the finite divisibility of space; and finally, the Stadium shows that time and space cannot both... (shrink)

Modern color science finds its birth in the middle of the nineteenth century. Among the chief architects of the new color theory, the name of the polymath Hermann von Helmholtz stands out. A keen experimenter and profound expert of the latest developments of the fields of physiological optics, psychophysics, and geometry, he exploited his transdisciplinary knowledge to define the first non-Euclidean line element in color space, i.e., a three-dimensional mathematical model used to describe color differences in terms of (...) color distances. Considered as the first step toward a metrically significant model of color space, his work inaugurated researches on higher color metrics, which describes how distance in the color space translates into perceptual difference. This paper focuses on the development of Helmholtz’s mathematical derivation of the line element. Starting from the first experimental evidence which opened the door to his reflections about the geometry of color space, it will be highlighted the pivotal role played by the studies conducted by his assistants in Berlin, which provided precious material for the elaboration of the final model proposed by Helmholtz in three papers published between 1891 and 1892. Although fallen into oblivion for about three decades, Helmholtz’s masterful work was rediscovered by Schrödinger and, since the 1920s, it has provided the basis for all subsequent studies on the geometry of color spaces up to the present time. (shrink)

It is commonly believed that the epistemology of mathematics must be different from the epistemology of science because their objects are different in kind, i.e. metaphysically different. In this chapter, I want to suggest that some careful work must be done before we can take the distinction between physical and mathematical objects for granted. This distinction has traditionally been drawn by making reference to location, causal powers, detectability in principle, and change in properties. By analysing the ontology of theoretical (...) physics, I wish to show that some physical objects, like quantum particles as they are described by D. Bohm, are as much mathematical as physical, for they do not seem to be located in space and time, and they are as incomplete as mathematical objects. The upshot of this discussion is to address those who are realists about physical objects and anti‐realists about mathematical objects, and, more importantly, to suggest that mathematical realists should not assume that a realist epistemology should be radically different from ordinary scientific epistemology. (shrink)

In his monumental 1687 work, _Philosophiae Naturalis Principia Mathematica_, known familiarly as the _Principia_, Isaac Newton laid out in mathematical terms the principles of time, force, and motion that have guided the development of modern physical science. Even after more than three centuries and the revolutions of Einsteinian relativity and quantum mechanics, Newtonian physics continues to account for many of the phenomena of the observed world, and Newtonian celestial dynamics is used to determine the orbits of our space (...) vehicles. This authoritative, modern translation by I. Bernard Cohen and Anne Whitman, the first in more than 285 years, is based on the 1726 edition, the final revised version approved by Newton; it includes extracts from the earlier editions, corrects errors found in earlier versions, and replaces archaic English with contemporary prose and up-to-date mathematical forms. Newton's principles describe acceleration, deceleration, and inertial movement; fluid dynamics; and the motions of the earth, moon, planets, and comets. A great work in itself, the _Principia_ also revolutionized the methods of scientific investigation. It set forth the fundamental three laws of motion and the law of universal gravity, the physical principles that account for the Copernican system of the world as emended by Kepler, thus effectively ending controversy concerning the Copernican planetary system. The translation-only edition of this preeminent work is truly accessible for today's scientists, scholars, and students. (shrink)

We extend the hierarchy of finite-dimensional Ellentuck spaces to infinite dimensions. Using uniform barriers [Formula: see text] on [Formula: see text] as the prototype structures, we construct a class of continuum many topological Ramsey spaces [Formula: see text] which are Ellentuck-like in nature, and form a linearly ordered hierarchy under projections. We prove new Ramsey-classification theorems for equivalence relations on fronts, and hence also on barriers, on the spaces [Formula: see text], extending the Pudlák–Rödl theorem for barriers on the Ellentuck (...) space. The inspiration for these spaces comes from continuing the iterative construction of the forcings [Formula: see text] to the countable transfinite. The [Formula: see text]-closed partial order [Formula: see text] is forcing equivalent to [Formula: see text], which forces a non-p-point ultrafilter [Formula: see text]. This work forms the basis for further work classifying the Rudin–Keisler and Tukey structures for the hierarchy of the generic ultrafilters [Formula: see text]. (shrink)

The problem of how mathematics and physics are related at a foundational level is of interest. The approach taken here is to work towards a coherent theory of physics and mathematics together by examining the theory experiment connection. The role of an implied theory hierarchy and use of computers in comparing theory and experiment is described. The main idea of the paper is to tighten the theory experiment connection by bringing physical theories, as mathematical structures over C, the complex (...) numbers, closer to what is actually done in experimental measurements and computations. The method replaces C by C n which is the set of pairs, R n,I n, of n figure rational numbers in some basis. The properties of these numbers are based on those of numerical measurement outcomes for continuous variables. A model of space and time based on R n is discussed. The model is scale invariant with regions of constant step size interrupted by exponential jumps. A method of taking the limit n→∞ to obtain locally flat continuum-based space and time is outlined. Also R n based space is invariant under scale transformations. These correspond to expansion and contraction of space relative to a flat background. The location of the origin, which is a space and time singularity, does not change under these transformations. Some properties of quantum mechanics, based on C n and on R n space are briefly investigated. (shrink)

Zalamea’s book is as original as it is belated. It is indeed surprising, if we give it a moment’s thought, just how greatly behind schedule philosophical reflection on contemporary mathematics lags, especially considering the momentous changes that took place in the second half of the twentieth century. Zalamea compares this situation with that of the philosophy of physics: he mentions D’Espagnat’s work on quantum mechanics, but we could add several others who, in the last few decades, have elaborated an extremely (...) timely philosophy of contemporary physics (see for example Bitbol 2000; Bitbol et al. 2009). As was the case in biology, philosophy – since Kant’s crucial observations in the Critique of Judgment, at least – has often “run ahead” of life sciences, exploring and opening up a space for reflections that are not derived from or integrated with its contemporary scientific practice. Some of these reflections are still very much auspicious today. And indeed, some philosophers today are saying something truly new about biology... (shrink)