The idea behind this special theme journal issue was to continue the work we have started with the INBIOSA initiative (www.inbiosa.eu) and our small inter-disciplinary scientific community. The result of this EU funded project was a white paper (Simeonov et al., 2012a) defining a new direction for future research in theoretical biology we called Integral Biomathics and a volume (Simeonov et al., 2012b) with contributions from two workshops and our first international conference in this field in 2011. The initial impulse (...) for this effort was given a year earlier by a publication of one of the guest editors of this issue (Simeonov, 2010) in this journal. This time we wish to provide a broader forum and more space to elaborate in detail some of the most interesting concepts we have encountered in our discussions, as well as to invite some new contributions of particular interest in the field. Another goal we had in mind was to collect and review as many provocative perspectives as possible on the same key topic we are interested before making a decision to follow a more focused notion that would lead to a funded research program. Therefore we welcomed the generous suggestion of Professor Denis Noble, FRS, who is also editor of this journal to prepare a special theme issue entitled: “Can biology create a profoundly new mathematics and computation?” It has taken a while to invite and collect the contributions. Most of them had a couple of revision cycles and adjustments after having been thoroughly discussed with colleagues, incl. the editors of this issue. We think that the result we have obtained at the end is a satisfactory one, since we succeeded to integrate a diversity of original, but sometimes controversial and mutually excluding concepts organized within chapters of a self-contained volume. The task of compiling all this was not easy at all. Despite our efforts to position the articles of different authors and themes in a way allowing their easy comprehension and relation to each other within the individual chapters, some of them still require a sort of introduction to dissolve possible ambiguities. This is what we are going to do in the following few paragraphs with the hope that the reader (and some of the authors) would excuse our failures. (shrink)

Attempts to lay a foundation for the sciences based on modern mathematics are questioned. In particular, it is not clear that computer science should be based on set-theoretic mathematics. Set-theoretic mathematics has difficulties with its own foundations, making it reasonable to explore alternative foundations for the sciences. The role of computation within an alternative framework may prove to be of great potential in establishing a direction for the new field of computer science.Whitehead''s theory of reality is re-examined as a foundation (...) for the sciences. His theory does not simply attempt to add formal rigor to the sciences, but instead relies on the methods of the biological and social sciences to construct his world-view. Whitehead''s theory is a rich source of notions that are intended to explain every element of experience. It is a product of Whitehead''s earlier attempt to provide a mathematical foundation for the physical sciences and is still consistent with modern physics. (shrink)

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but (...) have been expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor Mario Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians. Contributions were made from leading Brazilian logicians and their Latin-American and European colleagues. All papers were selected by a careful refereeing processs and were revised and (...) updated by their authors for publication in this volume. There are three sections: Advances in Logic, Advances in Theoretical Computer Science, and Advances in Philosophical Logic. Well-known specialists present original research on several aspects of model theory, proof theory, algebraic logic, category theory, connections between logic and computer science, and topics of philosophical logic of current interest. Topics interweave proof-theoretical, semantical, foundational, and philosophical aspects with algorithmic and algebraic views, offering lively high-level research results. (shrink)

This chapter explores some fundamental consequences of the correspondence between physical process and computations. Most physical questions may be answerable only through irreducible amounts of computation. Those that concern idealized limits of infinite time, volume, or numerical precision can require arbitrarily long computations, and so be considered formally undecidable. The behavior of a physical system may always be calculated by simulating explicitly each step in its evolution. Much of theoretical physics has, however, been concerned with devising shorter methods of (...) calculation that reproduce the outcome without tracing each step. Computational irreducibility is common among the systems investigated in mathematics and computation theory, but it may well be the exception rather than the rule, since most physical questions may be answerable only through irreducible amounts of computation. (shrink)

I characterize Bishop's constructive mathematics as an alternative to classical mathematics, which makes use of the actual infinity. From the history an accurate investigation of past physical theories I obtianed some ones - mainly Lazare Carnot's mechanics and Sadi Carnot's thermodynamics - which are alternative to the dominant theories - e.g. Newtopn's mechanics. The way to link together mathematics to theoretical physics is generalized and some general considerations, in particualr on the geoemtry in theoretical physics, are obtained.that.

I would like to start with a historical question or, more precisely, a question pertaining to the history of science itself. It is a widely accepted idea that Aristotelism has been an obstacle to the emergence of modern physical science, and this was for at least two reasons. The first one is the cognitive role Aristotle is supposed to have attributed to perception. Instead of considering perception as an origin of error, Aristotle thinks that our senses provide us with a (...) reliable image of the external world. The perceptive knowledge is a kind of knowledge in its own right, and the theoretical knowledge is, in fact, the continuation of the perceptive knowledge in some way. The second reason is the presumed inability of the Aristotelian philosophers to apply mathematics to the physical world. This was a formidable obstacle because modern physics came to be but as a mathematical physics. Aristotelianism had therefore to be, so to speak, superseded by the Platonic movement that originated in Florence around Ficino in order to give modern physics the conditions of its appearance. Galileo had to say that “Nature is written with mathematical letters” and Descartes that “our senses do not teach us what things are, but to what extent they are useful or harmful to us”. Alexandre Koyré is right to consider Galilean physics to be basically Platonic. The theoretical justification Aristotle offers for the impossibility of a convergence between mathematics and physics seems to be based on some fundamental features of his philosophy, i.e. he rejects the Platonic conception of a unique science, encompassing all things, and replaces it with the doctrine of the incommunicability of genera, whose corollary is that there is but one science for each genus. (shrink)

Mathematical models are a well established tool in most natural sciences. Although models have been neglected by the philosophy of science for a long time, their epistemological status as a link between theory and reality is now fairly well understood. However, regarding the epistemological status of mathematical models in the social sciences, there still exists a considerable unclarity. In my paper I argue that this results from specific challenges that mathematical models and especially computer simulations face in (...) the social sciences. The most important difference between the social sciences and the natural sciences with respect to modeling is that in the social sciences powerful and well confirmed background theories (like Newtonian mechanics, quantum mechanics or the theory of relativity in physics) do not exist in the social sciences. Therefore, an epistemology of models that is formed on the role model of physics may not be appropriate for the social sciences. I discuss the challenges that modeling faces in the social sciences and point out their epistemological consequences. The most important consequences are that greater emphasis must be placed on empirical validation than on theoretical validation and that the relevance of purely theoretical simulations is strongly limited. (shrink)

The drastically increasing availability ofmodern computers coupled with the equally drasticallylower cost of a given amount of computer power inrecent years has resulted in the evolution of thetraditional experimental/theoretical dichotomy inchemistry into anexperimental/theoretical/computational trichotomy. This trichotomy can be schematically represented by atriangle with experimental,theoretical, and computational chemistry at the threevertices. The ET and EC edges of the ETC triangledepict the uses of theoretical and computationalchemistry, respectively, to predict and interpretexperimental results. The TC edge depicts therelationship between theoretical and (...) computationalchemistry. Mathematics plays an increasing role in allaspects of chemistry, particularly theoreticalchemistry, and has led to the evolution of thediscipline of mathematical chemistry. Research inmathematical chemistry can be considered to lie on achemistry-mathematics continuum depending on therelative depths of the underlying chemistry andmathematics. Examples of the author's own researchlying near each end of the chemistry-mathematicscontinuum include his work on applications of graphtheory and topology in inorganic coordination andcluster chemistry lying near the chemistry end and hiswork on chirality algebra lying near the mathematicsend. The general points in this essay are illustratedby an analysis of the roles of computational andtheoretical chemistry in developing an understandingof structure and bonding in deltahedral boranes andrelated carboranes. This work has allowed extensionof the concept of aromaticity from two dimensions asin benzene and other planar hydrocarbons to the thirddimension in deltahedral boranes. (shrink)

This unique volume introduces and discusses the methods of validating computer simulations in scientific research. The core concepts, strategies, and techniques of validation are explained by an international team of pre-eminent authorities, drawing on expertise from various fields ranging from engineering and the physical sciences to the social sciences and history. The work also offers new and original philosophical perspectives on the validation of simulations. Topics and features: introduces the fundamental concepts and principles related to the validation of computer simulations, (...) and examines philosophical frameworks for thinking about validation; provides an overview of the various strategies and techniques available for validating simulations, as well as the preparatory steps that have to be taken prior to validation; describes commonly used reference points and mathematical frameworks applicable to simulation validation; reviews the legal prescriptions, and the administrative and procedural activities related to simulation validation; presents examples of best practice that demonstrate how methods of validation are applied in various disciplines and with different types of simulation models; covers important practical challenges faced by simulation scientists when applying validation methods and techniques; offers a selection of general philosophical reflections that explore the significance of validation from a broader perspective. This truly interdisciplinary handbook will appeal to a broad audience, from professional scientists spanning all natural and social sciences, to young scholars new to research with computer simulations. Philosophers of science, and methodologists seeking to increase their understanding of simulation validation, will also find much to benefit from in the text. (shrink)

Combining physics, mathematics and computer science, quantum computing and its sister discipline of quantum information have developed in the past few decades from visionary ideas to two of the most fascinating areas of quantum theory. General interest and excitement in quantum computing was initially triggered by Peter Shor (1994) who showed how a quantum algorithm could exponentially “speed-up” classical computation and factor large numbers into primes far more efficiently than any (known) classical algorithm. Shor’s algorithm was soon followed by (...) several other algorithms that aimed to solve combinatorial and algebraic problems, and in the years since theoretical study of quantum systems serving as computational devices has achieved tremendous progress. Common belief has it that the implementation of Shor’s algorithm on a large scale quantum computer would have devastating consequences for current cryptography protocols which rely on the premise that all known classical worst-case algorithms for factoring take time exponential in the length of their input (see, e.g., Preskill 2005). Consequently, experimentalists around the world are engaged in attempts to tackle the technological difficulties that prevent the realisation of a large scale quantum computer. But regardless whether these technological problems can be overcome (Unruh 1995; Ekert and Jozsa 1996; Haroche and Raimond 1996), it is noteworthy that no proof exists yet for the general superiority of quantum computers over their classical counterparts. -/- The philosophical interest in quantum computing is manifold. From a social-historical perspective, quantum computing is a domain where experimentalists find themselves ahead of their fellow theorists. Indeed, quantum mysteries such as entanglement and nonlocality were historically considered a philosophical quibble, until physicists discovered that these mysteries might be harnessed to devise new efficient algorithms. But while the technology for harnessing the power of 50–100 qubits (the basic unit of information in the quantum computer) is now within reach (Preskill 2018), only a handful of quantum algorithms exist, and the question of whether these can truly outperform any conceivable classical alternative is still open. From a more philosophical perspective, advances in quantum computing may yield foundational benefits. For example, it may turn out that the technological capabilities that allow us to isolate quantum systems by shielding them from the effects of decoherence for a period of time long enough to manipulate them will also allow us to make progress in some fundamental problems in the foundations of quantum theory itself. Indeed, the development and the implementation of efficient quantum algorithms may help us understand better the border between classical and quantum physics (Cuffaro 2017, 2018a; cf. Pitowsky 1994, 100), and perhaps even illuminate fundamental concepts such as measurement and causality. Finally, the idea that abstract mathematical concepts such as computability and complexity may not only be translated into physics, but also re-written by physics bears directly on the autonomous character of computer science and the status of its theoretical entities—the so-called “computational kinds”. As such it is also relevant to the long-standing philosophical debate on the relationship between mathematics and the physical world. (shrink)

There exists a growing literature on the so-called physical Church-Turing thesis in a relativistic spacetime setting. The physical Church-Turing thesis is the conjecture that no computing device that is physically realizable can exceed the computational barriers of a Turing machine. By suggesting a concrete implementation of a beyond-Turing computer in a spacetime setting, Istvan Nemeti and Gyula David have shown how an appreciation of the physical Church-Turing thesis necessitates the confluence of mathematical, computational, physical, and indeed cosmological (...) ideas. In this essay, I will honour Istvan's seventieth birthday, as well as his longstanding interest in, and his seminal contributions to, this field going back to as early as 1987 by modestly proposing how the concrete implementation in Nemeti and D\'avid might be complemented by a quantum-information-theoretic communication protocol between the computing device and the logician who sets the beyond-Turing computer a task such as determining the consistency of Zermelo-Fraenkel set theory. This suggests that even the foundations of quantum theory and, ultimately, quantum gravity may play an important role in determining the validity of the physical Church-Turing thesis. (shrink)

Climatology is a paradigmatic complex systems science. Understanding the global climate involves tackling problems in physics, chemistry, economics, and many other disciplines. I argue that complex systems like the global climate are characterized by certain dynamical features that explain how those systems change over time. A complex system's dynamics are shaped by the interaction of many different components operating at many different temporal and spatial scales. Examining the multidisciplinary and holistic methods of climatology can help us better understand the (...) nature of complex systems in general. -/- Questions surrounding climate science can be divided into three rough categories: foundational, methodological, and evaluative questions. "How do we know that we can trust science?" is a paradigmatic foundational question (and a surprisingly difficult one to answer). Because the global climate is so complex, questions like "what makes a system complex?" also fall into this category. There are a number of existing definitions of `complexity,' and while all of them capture some aspects of what makes intuitively complex systems distinctive, none is entirely satisfactory. Most existing accounts of complexity have been developed to work with information-theoretic objects (signals, for instance) rather than the physical and social systems studied by scientists. -/- Dynamical complexity, a concept articulated in detail in the first third of the dissertation, is designed to bridge the gap between the mathematics of contemporary complexity theory (in particular the formalism of "effective complexity" developed by Gell-Mann and Lloyd [2003]) and a more general account of the structure of science generally. Dynamical complexity provides a physical interpretation of the formal tools of mathematical complexity theory, and thus can be used as a framework for thinking about general problems in the philosophy of science, including theories, explanation, and lawhood. -/- Methodological questions include questions about how climate science constructs its models, on what basis we trust those models, and how we might improve those models. In order to answer questions about climate modeling, it's important to understand what climate models look like and how they are constructed. Climate model families are significantly more diverse than are the model families of most other sciences (even sciences that study other complex systems). Existing climate models range from basic models that can be solved on paper to staggeringly complicated models that can only be analyzed using the most advanced supercomputers in the world. I introduce some of the central concepts in climatology by demonstrating how one of the most basic climate models might be constructed. I begin with the assumption that the Earth is a simple featureless blackbody which receives energy from the sun and releases it into space, and show how to model that assumption formally. I then gradually add other factors (e.g. albedo and the greenhouse effect) to the model, and show how each addition brings the model's prediction closer to agreement with observation. After constructing this basic model, I describe the so-called "complexity hierarchy" of the rest of climate models, and argue that the sense of "complexity" used in the climate modeling community is related to dynamical complexity. -/- With a clear understanding of the basics of climate modeling in hand, I then argue that foundational issues discussed early in the dissertation suggest that computation plays an irrevocably central role in climate modeling. "Science by simulation" is essential given the complexity of the global climate, but features of the climate system--the presence of non-linearities, feedback loops, and chaotic dynamics--put principled limits on the effectiveness of computational models. This tension is at the root of the staggering pluralism of the climate model hierarchy, and suggests that such pluralism is here to stay, rather than an artifact of our ignorance. Rather than attempting to converge on a single "best fit" climate model, we ought to embrace the diversity of climate models, and view each as a specialized tool designed to predict and explain a rather narrow range of phenomena. Understanding the climate system as a whole requires examining a number of different models, and correlating their outputs. This is the most significant methodological challenge of climatology. -/- Climatology's role contemporary political discourse raises an unusually high number of evaluative questions for a physical science. The two leading approaches to crafting policy surrounding climate change center on mitigation (i.e. stopping the changes from occurring) and adaptation (making post hoc changes to ameliorate the harm caused by those changes). Crafting an effective socio-political response to the threat of anthropogenic climate change, however, requires us to integrate multiple perspectives and values: the proper response will be just as diverse and pluralistic as the climate models themselves, and will incorporate aspects of both approaches. I conclude by offering some concrete recommendations about how to integrate this value pluralism into our socio-political decision making framework. (shrink)

A proposition is associated in classical mechanics with a subset of phase space, in quantum logic with a projection in Hilbert space, and in both cases with a 2-valued observable or test. A theoretical statement typically assigns a probability to such a pure test. However, since a pure test is an idealization not realizable experimentally, it is necessary — to give such a statement a practical meaning — to describe how it can be approximated by feasible tests. This gives rise (...) to a search for a formal representation of feasible tests, which leads via mixed tests (weighted means of pure tests) to vague tests (convex sets of mixed tests). A model is described in which the latter form a continuous lattice; the pure and mixed tests are the maximal elements and the feasible tests form a basis. Each type of test has its own logic; this is illustrated by the passage from mixed tests to pure tests, which corresponds to the transition from L to classical logic. (shrink)

Wolfgang Pauli referred to him as 'my discovery,' Robert Oppenheimer described him as 'one of the most gifted theorists' and Niels Bohr found him enormously stimulating. Who was the man in question, Gunnar Källén (1926-1968)? His appearance in the physics sky was like a shooting star. His contributions to the scientific debate caused excitement among young and old. Similar to his friend and mentor, Wolfgang Pauli, he demanded honesty and rigor in physics - a distinct dividing line between (...) fact and speculation. In his obituary, Arthur S. Wightman would write: 'Gunnar Källén was a proud continuer of the tradition in quantum field theory established by Wolfgang Pauli. His papers on quantum electrodynamics in the period 1950-1954 carried the non-perturbative approach to quantum electrodynamics forward to a point beyond which very little essential progress has been made up to the present day. At the time I was trying to puzzle out the grammar of the language of quantum field theory, and here was Källén already writing poetry in the language!'. In addition to being a remarkable scientist, Källén had a very interesting personality, well worth exploring. In her book, physicist Cecilia Jarlskog traces both the personal and scientific trajectory of this unsung hero of the early days of high-energy physics and quantum field theory. A number of invited contributions by members of the Källén family and distinguished researchers from the field, all of them personally acquainted with Källén, combine to form an authentic portrait of the researcher and the man. Last but not least, the reader will become acquainted with some aspects of the history of particle physics in those days, as related by Källén and those who corresponded with him. A commented selection of his most important and not easily accessible papers is included as an added bonus for specialists. (shrink)

This is a comprehensive discussion of complexity as it arises in physical, chemical, and biological systems, as well as in mathematical models of nature. Common features of these apparently unrelated fields are emphasised and incorporated into a uniform mathematical description, with the support of a large number of detailed examples and illustrations. The quantitative study of complexity is a rapidly developing subject with special impact in the fields of physics, mathematics, information science, and biology. Because of the (...) variety of the approaches, no comprehensive discussion has previously been attempted. This book will be of interest to graduate students and researchers in physics (nonlinear dynamics, fluid dynamics, solid-state, cellular automata, stochastic processes, statistical mechanics and thermodynamics), mathematics (dynamical systems, ergodic and probability theory), information and computer science (coding, information theory and algorithmic complexity), electrical engineering and theoretical biology. (shrink)

The central claim of this paper is that computer simulation provides (though not exclusively) a qualitatively new and different methodology for the physical sciences, and that this methodology lies somewhere intermediate between traditional theoretical physical science and its empirical methods of experimentation and observation. In many cases it involves a new syntax which gradually replaces the old, and it involves theoretical model experimentation in a qualitatively new and interesting way. Scientific activity has thus reached a new milestone somewhat comparable to (...) the milestones that started the empirical approach (Galileo) and the deterministic mathematical approach to dynamics (the old syntax of Newton and Laplace). Computer simulation is consequently of considerable philosophical interest. In view of further technical developments in the near future, computer experts suggest that we are at present only at the very beginning of this new era. (shrink)

In the age of digitization, the world seems to be reducible to a digital computer. However, mathematically, modern quantum field theories do not only depend on discrete, but also continuous concepts. Ancient debates in natural philosophy on atomism versus the continuum are deeply involved in modern research on digital and computational physics. This example underlines that modern physics, in the tradition of Newton’s Principia Mathematica Philosophiae Naturalis, is a further development of natural philosophy with the rigorous methods (...) of mathematics, measuring, and computing. We consider fundamental concepts of natural philosophy with mathematical and computational methods and ask for their ontological and epistemic status. The following article refers to the author’s book, “The Digital and the Real World. Computational Foundations of Mathematics, Science, Technology, and Philosophy.”. (shrink)

The distinction between mathematical and physical objects has probably played a greater role shaping the philosophy of mathematics than the distinction between observable and theoretical entities has had in defining the philosophy of science. All the major movements in the philosophy of mathematics may be seen as attempts to free mathematics of an abstract ontology or to come to terms with it. The reasons are epistemic. Most philosophers of mathematics believe that the abstractaess of mathematical objects introduces special (...) difficulties in accounting for our ability to know them, to refer to them and even to entertain beliefs about them. These difficulties—supposedly absent even in the case of the most theoretical physical objects—make mathematical objects especially problematic and philosophically unattractive.Few have questioned this epistemic thesis or the ontic distinction it presupposes. LaVerne Shelton (1980) challenged the abstract-concrete distinction some years ago in an unpublished APA address. (shrink)

This much-needed book provides a thorough account of temporal logic, one of the most important areas of logic in computer science today. The book begins with a solid introduction to semantical and axiomatic approaches to temporal logic. It goes on to cover predicate temporal logic, meta-languages, general theories of axiomatization, many dimensional systems, propositional quantifiers, expressive power, Henkin dimension, temporalization of other logics, and decidability results. With its inclusion of cutting-edge results and unifying methodologies, this book is an indispensable reference (...) for both the pure logician and the theoretical computer scientist. (shrink)

Motivated by the analogy which holds within the context of discovery between mathematics and physics, we aim to show that there is a connection between two fields within the context of justification too. Based on the careful analysis of examples from science (especially within the domain of physics) we suggest that the logic of scientific research, which might appear as enumerative induction, is deduction, and we propose it to be universal generalization inference rule. Our main argument closely follows (...) the analysis of the structure of physical theory proposed by theoretical physicist Eugene P. Wigner. (shrink)

For more than a century the notion of a pre-established harmony between the mathematical and physical sciences has played an important role not only in the rhetoric of mathematicians and theoretical physicists, but also as a doctrine guiding much of their research. Strongly mathematized branches of physics, such as the vortex theory of atoms popular in Victorian Britain, were not unknown in the nineteenth century, but it was only in the environment of fin-de-siècle Germany that the idea of (...) a pre-established harmony really took off and became part of the mathematicians’ ideology. Important historical figures were in this respect David Hilbert, Hermann Minkowski and, somewhat later, Albert Einstein. Roughly similar ideas can be found also among British theorists, among whom Arthur Eddington, Arthur Milne, and Paul Dirac are singled out. Although largely limited to the period 1870–1940, the paper also considers Max Tegmark’s recent hypothesis of the universe being a one-to-one reflection of mathematical structures. (shrink)

C.F Gauss’s computational work in number theory attracted renewed interest in the twentieth century due to, on the one hand, the edition of Gauss’s Werke, and, on the other hand, the birth of the digital electronic computer. The involvement of the U.S. American mathematicians Derrick Henry Lehmer and Daniel Shanks with Gauss’s work is analysed, especially their continuation of work on topics as arccotangents, factors of n2 + a2, composition of binary quadratic forms. In general, this strand in Gauss’s (...) reception is part of a more general phenomenon, i.e. the influence of the computer on mathematics and one of its effects, the reappraisal of mathematical exploration. (shrink)

Reverse mathematics studies which subsystems of second order arithmetic are equivalent to key theorems of ordinary, non-set-theoretic mathematics. The main philosophical application of reverse mathematics proposed thus far is foundational analysis, which explores the limits of different foundations for mathematics in a formally precise manner. This paper gives a detailed account of the motivations and methodology of foundational analysis, which have heretofore been largely left implicit in the practice. It then shows how this account can be fruitfully applied in the (...) evaluation of major foundational approaches by a careful examination of two case studies: a partial realization of Hilbert’s program due to Simpson [1988], and predicativism in the extended form due to Feferman and Schütte. -/- Shore [2010, 2013] proposes that equivalences in reverse mathematics be proved in the same way as inequivalences, namely by considering only omega-models of the systems in question. Shore refers to this approach as computational reverse mathematics. This paper shows that despite some attractive features, computational reverse mathematics is inappropriate for foundational analysis, for two major reasons. Firstly, the computable entailment relation employed in computational reverse mathematics does not preserve justification for the foundational programs above. Secondly, computable entailment is a Pi-1-1 complete relation, and hence employing it commits one to theoretical resources which outstrip those available within any foundational approach that is proof-theoretically weaker than Pi-1-1-CA0. (shrink)

Making Sense of Inner Sense 'Terra cognita' is terra incognita. It is difficult to find someone not taken abackand fascinated by the incomprehensible but indisputable fact: there are material systems which are aware of themselves. Consciousness is self-cognizing code. During homo sapiens's relentness and often frustrated search for self-understanding various theories of consciousness have been and continue to be proposed. However, it remains unclear whether and at what level the problems of consciousness and intelligent thought can be resolved. Science's greatest (...) challenge is to answer the fundamental question: what precisely does a cognitive state amount to in physical terms? Albert Einstein insisted that the fundamental ideas of science are essentially simple and can be expressed in a language comprehensible to everyone. When one thinks about the complexities which present themselves in modern physics and even more so in the physics of life, one may wonder whether Einstein really meant what he said. Are we to consider the fundamental problem of the mind, whose understanding seems to lie outside the limits of the mind, to be essentially simple too? Knowledge is neither automatic nor universally deductive. Great new ideas are typically counterintuitive and outrageous, and connecting them by simple logical steps to existing knowledge is often a hard undertaking. The notion of a tensor was needed to provide the general theory of relativity; the notion of entropy had to be developed before we could get full insight into the laws of thermodynamics; the notice of information bit is crucial for communication theory, just as the concept of a Turing machine is instrumental in the deep understanding of a computer. To understand something, consciousness must reach an adequate intellectual level, even more so in order to understand itself. Reality is full of unending mysteries, the true explanation of which requires very technical knowledge, often involving notions not given directly to intuition. Even though the entire content and the results of this study are contained in the eight pages of the mathematical abstract, it would be unrealistic and impractical to suggest that anyone can gain full insight into the theory that presented here after just reading abstract. In our quest for knowledge we are exploring the remotest areas of the macrocosm and probing the invisible particles of the microcosm, from tiny neutrinos and strange quarks to black holes and the Big Bang. But the greatest mystery is very close to home: the greatest mystery is human consciousness. The question before us is whether the logical brain has evolved to a conceptual level where it is able to understand itself. (shrink)

ArgumentThis paper investigates the conceptual treatment and mathematical modeling of force in Newton's Principia. It argues that, contrary to currently dominant views, Newton's concept of force is best understood as a physico-mathematical construct with theoretical underpinnings rather than a “mathematical construct” or an ontologically “neutral” concept. It uses various philosophical and historical frameworks to clarify interdisciplinary issues in the history of science and draws upon the distinction between axiomatic systems in mathematics and physics, as well as (...) discovery patterns in science. It also dwells on Newton's “philosophy” of mathematics, described here in terms of mathematical naturalism. This philosophy considers mathematical quantities to be physically significant quantities whose motions are best mapped by geometry. It then shows that to understand the epistemic status of force in the Principia, it is important to scrutinize both Newton's mathematical justificatory strategies and his background assumptions about force – without constructing, however, an overarching metaphysical framework for his science. Finally, the paper studies scientific attempts to redefine or eliminate force from science during the period between Newton and Laplace. From a philosophical standpoint, the paper implicitly suggests that questions about the reality of force be distinguished from questions about the validity of force, and that both sets of questions be distinguished from questions about the utility of the concept of force in science. (shrink)

John von Neumann (1903-1957) was undoubtedly one of the scientific geniuses of the 20th century. The main fields to which he contributed include various disciplines of pure and applied mathematics, mathematical and theoretical physics, logic, theoretical computer science, and computer architecture. Von Neumann was also actively involved in politics and science management and he had a major impact on US government decisions during, and especially after, the Second World War. There exist several popular books on his personality and (...) various collections focusing on his achievements in mathematics, computer science, and economy. Strangely enough, to date no detailed appraisal of his seminal contributions to the mathematical foundations of quantum physics has appeared. Von Neumann's theory of measurement and his critique of hidden variables became the touchstone of most debates in the foundations of quantum mechanics. Today, his name also figures most prominently in the mathematically rigorous branches of contemporary quantum mechanics of large systems and quantum field theory. And finally - as one of his last lectures, published in this volume for the first time, shows - he considered the relation of quantum logic and quantum mechanical probability as his most important problem for the second half of the twentieth century. The present volume embraces both historical and systematic analyses of his methodology of mathematical physics, and of the various aspects of his work in the foundations of quantum physics, such as theory of measurement, quantum logic, and quantum mechanical entropy. The volume is rounded off by previously unpublished letters and lectures documenting von Neumann's thinking about quantum theory after his 1932 Mathematical Foundations of Quantum Mechanics. The general part of the Yearbook contains papers emerging from the Institute's annual lecture series and reviews of important publications of philosophy of science and its history. (shrink)

My life as a quantum physicist / M. Nakahara -- A review on operator quantum error correction - Dedicated to Professor Mikio Nakahara on the occasion of his 60th birthday / C.-K. Li, Y.-T. Poon and N.-S. Sze -- Implementing measurement operators in linear optical and solid-state qubits / Y. Ota, S. Ashhab and F. Nori -- Fast and accurate simulation of quantum computing by multi-precision MPS: Recent development / A. Saitoh -- Entanglement properties of a quantum lattice-gas model on (...) square and triangular ladders / S. Tanaka, R. Tamura and H. Katsura -- On signal amplification from weak-value amplification / Y. Shikano -- Topological protection of quantum information / K. Fujii -- Quantum annealing with antiferromagnetic fluctuations for mean-field models / Y. Seki and H. Nishimori -- A method to change phase transition nature - Toward annealing methods / R. Tamura and S. Tanaka -- Computational analysis of the first stage of the photosynthetic system, the light-dependent reaction, by quantum chemical simulation method / M. Tada-Umezaki -- Two-qubit gate operation on selected nearest neighboring qubits in a neutral atom quantum computer / E. Hosseini Lapasar... [et al.] -- A simple operator quantum error correction scheme avoiding fully correlated errors / C. Bagnasco, Y. Kondo and M. Nakahara -- Black hole predictability, classical and quantum / A. Ishibashi -- Classical field simulation of finite-temperature Bose gases / T. Sato -- Atomic quantum simulations of lattice gauge theory: Effect of gauge symmetry breaking / K. Kasamatsu, I. Ichinose and T. Matsui -- Recursive construction of noiseless subsystem for qudits / U. Gungordu... [et al.] -- Composite quantum gates for precise quantum control / M. Bando... [et al.] -- New formulation of statistical mechanics using thermal pure quantum states / S. Sugiura and A. Shimizu -- Thermodynamics in unitary time evolution / T. N. Ikeda -- Second law of thermodynamics with QC-mutual information / T. Sagawa. (shrink)

From the theoretical discussions, transdisciplinarity starts to have practical consequences in the development of programs that include consortia of universities, bringing together a large variety of professionnals who set ambitious goals, such as the Human Genome Project in the past decade, and also the Human Brain Project for this decade. We intend to present an approach in the spirit of the new paradigms of knowledge in the Human Brain Project generous program started earlier this year in Europe. A possible transdisciplinary (...) approach on brain functions and structure is to bring a valuable, significant and innovative, unconventional contribution to the theory of multi-scale topics of the HBP project. More precisely, we intend to develop the subproject Mathematical and Theoretical Foundations of Brain Research within the HBP project. Our approach aims at exploring brain function from the perspective of the theories which influenced the last decade researches in Physics and Mathematics, such as the fractal theory, chaos and the dynamics of the nonlinear systems, in order to formulate new theories regarding brain mechanisms. We bring together models and new theories based on a principled approach to nonlinear reality. We wish to develop a new paradigm for assessing brain function, the theory of complex systems, which requires a revolutionary attitude, by rethinking how brain works and it is biologically structured. By this approach, we intend to study not only the corpuscular, but also the wave part of the matter. (shrink)

When we are concerned with the logical form of a computation and its formal properties, then it can be theoretically described in terms of mathematical and logical functions and relations between abstract entities. However, actual computation is realised by some physical process, and the latter is of course subject to physical laws and the laws of thermodynamics in particular. An issue that has been the subject of much controversy is that of whether or not there are any systematic connections (...) between the logical properties of computations considered abstractly and the thermodynamical properties of their concrete physical realizations. Landauer [R. Landauer, Irreversibility and heat generation in the computing process, IBM Journal of Research and Development 5 183–191. Reprinted in Leff and Rex ] proposed such a general connection, known as Landauer’s Principle. To resolve this matter an analysis of the notion of the implementation of a computation by a physical system is clearly required. Another issue that calls for an analysis of implementation is that of realism about computation. The account of implementation presented here is based on the notion of an L-machine. This is a hybrid physical-logical entity that combines a physical device, a specification of which physical states of that device correspond to various logical states, and an evolution of that device which corresponds to the logical transformation L. The most general form of Landauer’s Principle can be precisely stated in terms of L-machines, namely that the logical irreversibility of L implies the thermodynamic irreversibility of every corresponding L-machine. (shrink)

The contributions gathered here demonstrate how categorical ontology can provide a basis for linking three important basic sciences: mathematics, physics, and philosophy. Category theory is a new formal ontology that shifts the main focus from objects to processes. The book approaches formal ontology in the original sense put forward by the philosopher Edmund Husserl, namely as a science that deals with entities that can be exemplified in all spheres and domains of reality. It is a dynamic, processual, and non-substantial (...) ontology in which all entities can be treated as transformations, and in which objects are merely the sources and aims of these transformations. Thus, in a rather surprising way, when employed as a formal ontology, category theory can unite seemingly disparate disciplines in contemporary science and the humanities, such as physics, mathematics and philosophy, but also computer and complex systems science. (shrink)

This book aims to provide an overview of several topics in advanced Differential Geometry and Lie Group Theory, all of them stemming from mathematical problems in supersymmetric physical theories. It presents a mathematical illustration of the main development in geometry and symmetry theory that occurred under the fertilizing influence of supersymmetry/supergravity. The contents are mainly of mathematical nature, but each topic is introduced by historical information and enriched with motivations from high energy physics, which help the (...) reader in getting a deeper comprehension of the subject. (shrink)

The book starts with the assumption that vagueness is a fundamental property of this world. From a philosophical account of vagueness via the presentation of alternative mathematics of vagueness, the subsequent chapters explore how vagueness manifests itself in the various exact sciences: physics, chemistry, biology, medicine, computer science, and engineering.

The Computational Theory of Mind (CTM) holds that cognitive processes are essentially computational, and hence computation provides the scientific key to explaining mentality. The Representational Theory of Mind (RTM) holds that representational content is the key feature in distinguishing mental from non-mental systems. I argue that there is a deep incompatibility between these two theoretical frameworks, and that the acceptance of CTM provides strong grounds for rejecting RTM. The focal point of the incompatibility is the fact that representational (...) content is extrinsic to formal procedures as such, and the intended interpretation of syntax makes no difference to the execution of an algorithm. So the unique 'content' postulated by RTM is superfluous to the formal procedures of CTM. And once these procedures are implemented in a physical mechanism, it is exclusively the causal properties of the physical mechanism that are responsible for all aspects of the system's behaviour. So once again, postulated content is rendered superfluous. To the extent that semantic content may appear to play a role in behaviour, it must be syntactically encoded within the system, and just as in a standard computational artefact, so too with the human mind/brain - it's pure syntax all the way down to the level of physical implementation. Hence 'content' is at most a convenient meta-level gloss, projected from the outside by human theorists, which itself can play no role in cognitive processing. (shrink)

Every branch of mathematics has its subject matter, and one of the distinguishing features of logic is that so many of its fundamental objects of study are rooted in language. The subject deals with terms, expressions, formulas, theorems, and proofs. When we speak about these notions informally, we are talking about things that can be written down and communicated with symbols. One of the goals of mathematical logic is to introduce formal definitions that capture our intuitions about such objects (...) and enable us to reason about them precisely. At the most basic level, syntactic objects can be viewed as strings of symbols. For concreteness, we can identify symbols with particular set-theoretic objects, but for most purposes, it doesn't matter what they are; all that is needed is that they are distinct from one another. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, (...) undecidable propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. Chapters 8-12 provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

The phenomenon of consciousness has always been a central question for philosophers and scientists. Emerging in the past decade are new approaches to the understanding of consciousness in a scientific light. This book presents a series of essays by leading thinkers giving an account of the current ideas prevalent in the scientific study of consciousness. The value of the book lies in the discussion of this interesting though complex subject from different points of view ranging from physics, computer science (...) to the cognitive sciences. Reviews of controversial ideas related to the philosophy of mind from western and eastern sources including classical Indian first person methodologies provide a breadth of coverage that has seldom been attempted in a book before. Additionally, chapters relating to the new approaches in computational modelling of higher order cognitive function and consciousness are included. The book is of great value for established as well as young researchers from a wide cross-section of interdisciplinary scientific backgrounds, aiming to pursue research in this field, as well as an informed public. * Presents the latest developments in the scientific study of consciousness * Critically reviews different theoretical and philosophical explanations related to the subject * An important book for both students and researchers in designing research projects on consciousness. (shrink)

For more than 60 years, Jim Lambek has been a profoundly inspirational mathematician, with groundbreaking contributions to algebra, category theory, linguistics, theoretical physics, logic and proof theory. This Festschrift was put together on the occasion of his 90th birthday. The papers in it give a good picture of the multiple research areas where the impact of Jim Lambek's work can be felt. The volume includes contributions by prominent researchers and by their students, showing how Jim Lambek's ideas keep inspiring (...) upcoming generations of scholars. (shrink)

Foundational questions in logic, mathematics, computer science and physics are constant sources of epistemological debate in contemporary philosophy. To what extent is the transfinite part of mathematics completely trustworthy? Why is there a general 'malaise' concerning the logical approach to the foundations of mathematics? What is the role of symmetry in physics? Is it possible to build a coherent worldview compatible with a macroobjectivistic position and based on the quantum picture of the world? What account can be given (...) of opinion change in the light of new evidence? These are some of the questions discussed in this volume, which collects 14 lectures on the foundations of science given at the School of Philosophy of Science, Trieste, October 1989. The volume will be of particular interest to any student or scholar engaged in interdisciplinary research into the foundations of science in the context of contemporary debates. (shrink)

Interest in the computational aspects of modeling has been steadily growing in philosophy of science. This paper aims to advance the discussion by articulating the way in which modeling and computational errors are related and by explaining the significance of error management strategies for the rational reconstruction of scientific practice. To this end, we first characterize the role and nature of modeling error in relation to a recipe for model construction known as Euler’s recipe. We then describe a (...) general model that allows us to assess the quality of numerical solutions in terms of measures of computational errors that are completely interpretable in terms of modeling error. Finally, we emphasize that this type of error analysis involves forms of perturbation analysis that go beyond the basic model-theoretical and statistical/probabilistic tools typically used to characterize the scientific method; this demands that we revise and complement our reconstructive toolbox in a way that can affect our normative image of science. (shrink)

In this essay, I examine the notion of a nondeterministic algorithm from both a conceptual and historical point of view. I argue that the intuitions underwriting nondeterminism in the context of contemporary theoretical computer science cannot be reconciled with the intuitions that originally motivated nondeterminism. I identify four different intuitions about nondeterminism: nondeterminism as evidence for the Church Turing thesis; nondeterminism as a natural reflection of the mathematician's behavior; nondeterminism as a formal, mathematical generalization; and nondeterminism as a physical (...) process. I shall argue that there are irreconcilable tensions among these intuitions and, moreover, that these tensions have not been acknowledged in the conceptual development of theoretical computer science. In fact, a careful review of the received history reveals a number of gaps and discontinuities. For instance, I examine the seminal writings of Turing and argue that the formal introduction of the nondeterminism is to be found there and not, as is often supposed, in the research of the late 1950s and early 1960s. I also examine the period after 1960 and argue that even the more recent developments concerning nondeterminism are hard to reconstruct. ;Although I firmly believe that a rigorous philosophical account of nondeterminism is needed, I am not sure that such an account will bring us any closer to a solution to any of the notoriously difficult theoretical problems that turn on the notion of a nondeterministic algorithm. I do believe, however, that a clear conceptual account of nondeterminism will shed light on many long-standing philosophical problems. I conclude by pointing to a number of philosophical questions that resonate with issues raised by the foregoing investigation of nondeterministic algorithms. (shrink)

Vesely (experimental physics, U. of Vienna, Austria) provides the basic numerical and computational techniques, followed by an explanation of specific problems of computational physics. Appendices address properties of computing machines and an outline of the technique of Fast Fourier Transformation. The first edition, published by Plenum Press, Ne.

Throughout what is now the more than 50-year history of the computer many theories have been advanced regarding the contribution this machine would make to changes both in the structure of society and in ways of thinking. Like other theories regarding the future, these should also be taken with a pinch of salt. The history of the development of computer technology contains many predictions which have failed to come true and many applications that have not been foreseen. While we must (...) reserve judgment as to the question of the impact on the structure of society and human thought, there is no reason to wait for history when it comes to the question: what are the properties that could give the computer such far-reaching importance? The present book is intended as an answer to this question. The fact that this is a theoretical analysis is due to the nature of the subject. No other possibilities are available because such a description of the properties of the computer must be valid for any kind of application. An additional demand is that the description should be capable of providing an account of the properties which permit and limit these possible applications, just as it must make it possible to characterize a computer as distinct from a) other machines whether clocks, steam engines, thermostats, or mechanical and automatic calculating machines, b) other symbolic media whether printed, mechanical, or electronic and c) other symbolic languages whether ordinary languages, spoken or written or formal languages. This triple limitation, however, (with regard to other machines, symbolic media and symbolic languages) raises a theoretical question as it implies a meeting between concepts of mechanical-deterministic systems, which stem from mathematical physics, and concepts of symbolic systems which stem from the description of symbolic activities common to the humanities. The relationship between science and the humanities has traditionally been seen from a dualistic perspective, as a relationship between two clearly separate subject areas, each studied on its own set of premises and using its own methods. In the present case, however, this perspective cannot be maintained since there is both a common subject area and a new - and specific - kind of interaction between physical and symbolic processes. (shrink)

The two main points of this contribution are the following: (1) Applied mathematical theories might complement physical theories in an essential way; some applied mathematical theories allow us to understand phenomena we are unable to explain by resorting to physical theories alone, (2) In the case of social sciences it might be necessary to account for examined phenomena by resorting to the idea of goal-oriented activity (the causal approach typical for natural science might be unsatisfactory). Weinberg's idea of (...) grand reductionism ignores the two above mentioned facts and hence overestimates the foundational role of physics and its methodology. (shrink)