The purpose of this book is to initiate a new discipline, namely a formalized epistemological method drawn from the cognitive strategies practised in the most effective among the modern scientific disciplines, as well as from general philosophical thinking. Indeed, what is lacking in order to improve our knowledge and our domination of the modes which nowadays are available for the generation and communication of knowledge, thoroughly and rapidly and with precision and detail? It is a systematic explication of the epistemological (...) essence encrypted in the specialized languages and algorithms of the major modern scientific approaches, a systematic cross-referencing of the explicated results, and a final elaboration of a new coherent whole. Quantum mechanics, like a diver, can take us down to the level of the very first actions of our conceptualization of reality. And starting from there, it can induce an explicit understanding of certain fundamental features of the new scientific thinking. A formalized epistemology should not be mistaken for a crossdisciplinary or a multidisciplinary project. The latter projects are designed to offer to nonspecialists access to information, to results obtained inside specialized disciplines, as well as a certain understanding of these results; whereas a formalized epistemology should equip anyone with a framework for conceptualizing himself in whatever domain and direction he or she might choose. A formalized epistemology should not be mistaken either for an approach belonging to the modern cognitive sciences. These try to establish as neutrally as possible descriptions of how the human body-and-mind work spontaneously when knowledge is generated; whereas a method of conceptualization should establish what conceptual-operational deliberate procedures have to be applied in order to represent and to achieve processes of generation of knowledge optimized accordingly to any definite aims. This book addresses philosophers of science, physicists, mathematicians, logicians, computer scientists, researchers in cognitive sciences, and biologists, as well as any intellectual who is interested in scientific and philosophical thinking. (shrink)

A case study of quantum mechanics is investigated in the framework of the philosophical opposition “mathematical model – reality”. All classical science obeys the postulate about the fundamental difference of model and reality, and thus distinguishing epistemology from ontology fundamentally. The theorems about the absence of hidden variables in quantum mechanics imply for it to be “complete” (versus Einstein’s opinion). That consistent completeness (unlike arithmetic to set theory in the foundations of mathematics in Gödel’s opinion) can be interpreted furthermore (...) as the coincidence of model and reality. The paper discusses the option and fact of that coincidence it its base: the fundamental postulate formulated by Niels Bohr about what quantum mechanics studies (unlike all classical science). Quantum mechanics involves and develops further both identification and disjunctive distinction of the global space of the apparatus and the local space of the investigated quantum entity as complementary to each other. This results into the analogical complementarity of model and reality in quantum mechanics. The apparatus turns out to be both absolutely “transparent” and identically coinciding simultaneously with the reflected quantum reality. Thus, the coincidence of model and reality is postulated as necessary condition for cognition in quantum mechanics by Bohr’s postulate and further, embodied in its formalism of the separable complex Hilbert space, in turn, implying the theorems of the absence of hidden variables (or the equivalent to them “conservation of energy conservation” in quantum mechanics). What the apparatus and measured entity exchange cannot be energy (for the different exponents of energy), but quantum information (as a certain, unambiguously determined wave function) therefore a generalized law of conservation, from which the conservation of energy conservation is a corollary. Particularly, the local and global space (rigorously justified in the Standard model) share the complementarity isomorphic to that of model and reality in the foundation of quantum mechanics. On that background, one can think of the troubles of “quantum gravity” as fundamental, direct corollaries from the postulates of quantum mechanics. Gravity can be defined only as a relation or by a pair of non-orthogonal separable complex Hilbert space attachable whether to two “parts” or to a whole and its parts. On the contrary, all the three fundamental interactions in the Standard model are “flat” and only “properties”: they need only a single separable complex Hilbert space to be defined. (shrink)

In the first part of this article we survey general similarities and differences between biological and social macroevolution. In the second (and main) part, we consider a concrete mathematical model capable of describing important features of both biological and social macroevolution. In mathematical models of historical macrodynamics, a hyperbolic pattern of world population growth arises from non-linear, second-order positive feedback between demographic growth and technological development. This is more or less identical with the working of the collective learning mechanism. Based (...) on diverse paleontological data and an analogy with macrosociological models, we suggest that the hyperbolic character of biodiversity growth can be similarly accounted for by non-linear, second-order positive feedback between diversity growth and the complexity of community structure, suggesting the presence within the biosphere of a certain analogue of the collective learning mechanism. We discuss how such positive feedback mechanisms can be modelled mathematically. (shrink)

Wilfred Sieg. Mechanical Procedures and Mathematical Experience.

As argued in Hellman (1993), the theorem of Pour-El and Richards (1983) can be seen by the classicist as limiting constructivist efforts to recover the mathematics for quantum mechanics. Although Bridges (1995) may be right that the constructivist would work with a different definition of 'closed operator', this does not affect my point that neither the classical unbounded operators standardly recognized in quantum mechanics nor their restrictions to constructive arguments are recognizable as objects by the constructivist. Constructive substitutes that (...) may still be possible necessarily involve additional 'incompleteness' in the mathematical representation of quantum phenomena. Concerning a second line of reasoning in Hellman (1993), its import is that constructivist practice is consistent with a 'liberal' stance but not with a 'radical', verificationist philosophical position. Whether such a position is actually espoused by certain leading constructivists, they are invited to clarify. (shrink)

A draft of a possible comparison between the use made of mathematics in classical field theories and in quantum mechanics is presented. Hilbert’s space formalism, although not only elegant and powerful but intuitive as well, does not give us a spatio-temporal representation of physical events. The picture of the electromagnetic field as an entity which is real in itself– i.e., as a wave without support – fostered by the emergence of special relativity can be seen as the first step, (...) favored by many physicists and philosophers, of a gradual “escape” from intuition into a purely mathematical representation of the external world. After the introduction, in recent theoretical physics, of fiber bundle formalism the classical notion of field acquires a new spatio-temporal intuitiveness. This intuitiveness is clearly foreshadowed in the Kantian and Meinongian analysis of the notion of magnitude. At the end of the paper we show that, contrary to what happens in quantum mechanics, mathematics plays a truly explicative role in general relativity, without any loss of spatio-temporal intuitiveness. (shrink)

In this paper, a mathematical model of the respiratory mechanics is used to reproduce experimental signal waveforms acquired from three newborn lambs. As the main challenge is to determine specific lamb parameters, a sensitivity analysis has been realized to find the most influent parameters, which are identified using an evolutionary algorithm. Results show a close match between experimental and simulated pressure and flow waveforms obtained during spontaneous ventilation and pleural pressure variations acquired during the application of positive pressure, since root (...) mean square errors equal to 0.0119, 0.0052 and 0.0094. The identified parameters were discussed in light of previous knowledge of respiratory mechanics in the newborn. (shrink)

The relational interpretation of quantum mechanics (RQM) has received a growing interest since its first formulation in 1996. Usually presented as an interpretational layer over the usual quantum mechanics formalism, it appears as a philosophical perspective without proper mathematical counterparts. This state of affairs has direct consequences on the scientific debate on RQM which still suffers from misunderstandings and imprecise statements. In an attempt to clarify those debates, the present paper proposes a radical reformulation of the mathematical framework of quantum (...) mechanics which is relational from the start: fact-nets. The core idea is that all statements about the world, facts, are binary entities involving two systems that can be symmetrically thought of as observed and observer. We initiate a study of the fact-nets formalism and outline how it can shed new relational light on some familiar quantum features. (shrink)

One may discuss the role played by mechanical science in the history of scientific ideas, particularly in physics, focusing on the significance of the relationship between physics and mathematics in describing mathematical laws in the context of a scientific theory. In the second Newtonian law of motion, space and time are crucial physical magnitudes in mechanics, but they are also mathematical magnitudes as involved in derivative operations. Above all, if we fail to acknowledge their mathematical meaning, we fail to (...) comprehend the whole Newtonian mechanical apparatus. For instance, let us think about velocity and acceleration. In this case, the approach to conceive and define foundational mechanical objects and their mathematical interpretations changes. Generally speaking, one could prioritize mathematical solutions for Lagrange’s equations, rather than the crucial role played by collisions and geometric motion in Lazare Carnot’s operative mechanics, or Faraday’s experimental science with respect to Ampère’s mechanical approach in the electric current domain, or physico-mathematical choices in Maxwell’s electromagnetic theory. In this paper, we will focus on the historical emergence of mechanical science from a physico-mathematical standpoint and emphasize significant similarities and/or differences in mathematical approaches by some key authors of the 18th century. Attention is paid to the role of mathematical interpretation for physical objects. (shrink)

This paper describes model building and manipulation in the solution of problems in mechanics. An automatic problem solver, MECHO, solving problems in several areas of mechanics, employs (1) a knowledge base representing the semantic content of the particular problem area, (2) a means-ends search strategy similar to GPS to produce sets of simultaneous equations and (3) a “focusing” technique, based on the data within the knowledge base, to guide the GSP-like search through possible equation instantiations. Sets of predicate logic statements (...) are employed to describe this model building activity. These clauses are used to give information content to the knowledge base and provide both basis and guidance for the goal driven search.It is hypothesized that humon subjects solving mechanics problems employ similar model building techniques. Protocols of several subjects are presented and comparisons are drawn with the traces of the automated problem solver. Adjustments are made to the program to provide a better fit of traces to protocols. Some implications are presented for using a rule based model for describing human problem solving performance in solving mechanics problems. (shrink)

When science of the 20th century is spoken of in opposition to that of the 19th century, a particularly characteristic attribute is often cited: namely, that since the time of Galileo and Newton the task of science has been to explain everything mechanistically. By analogy the world was to be conceived as a great machine. But the theories of the 20th century, above all the relativity and quantum theories, caused a revolution in science. It is seen today that nature can (...) be described and understood not ‘mechanistically’ but only through abstract mathematical formulas. The world is no longer a machine but a mathematical formula. (shrink)

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

Gene regulatory networks are intensively studied in biology. One of the main aims of these studies is to gain an understanding of how the structure of genetic networks relates to specific functions such as chemotaxis and the circadian clock. Scientists have examined this question by using model organisms such as Drosophila and mathematical models. In the last years, synthetic models—engineered genetic networks—have become more and more important in the exploration of gene regulation. What is the potential of this new approach (...) in the investigation of gene network structures? How do synthetic models relate to model organisms and mathematical models? (shrink)

ion turns equivalence into identity, but there are two ways to do it. Given the equivalence relation of parallelness on lines, the #1 way to turn equivalence into identity by abstraction is to consider equivalence classes of parallel lines. The #2 way is to consider the abstract notion of the direction of parallel lines. This paper developments simple mathematical models of both types of abstraction and shows, for instance, how finite probability theory can be interpreted using #2 abstracts as “superposition (...) events” in addition to the ordinary events. The goal is to use the second notion of abstraction to shed some light on the notion of an indefinite superposition in quantum mechanics. (shrink)

This work considers the Lagrangian in classical mechanics and in special relativity in a setting of arithmetic, algebra, and topology provided by observer’s mathematics. Certain results and communications pertaining to solutions of these problems are provided. In particular, we show that the standard expressions for Lagrangian take place with probabilities \1.

The book provides a comprehensive overview on the state of the art of the quantum part of mathematical physics. In particular, it contains contributions to the spectral theory of Schrödinger and random operators, quantum field theory, relativistic quantum mechanics and interacting many-body systems.It also presents an overview on the achievements in mathematical physics since the last conference QMath11 held at Hradec Kralove, Czechia in 2010.

This book is designed to make accessible to nonspecialists the still evolving concepts of quantum mechanics and the terminology in which these are expressed. The opening chapters summarize elementary concepts of twentieth century quantum mechanics and describe the mathematical methods employed in the field, with clear explanation of, for example, Hilbert space, complex variables, complex vector spaces and Dirac notation, and the Heisenberg uncertainty principle. After detailed discussion of the Schrödinger equation, subsequent chapters focus on isotropic vectors, used to construct (...) spinors, and on conceptual problems associated with measurement, superposition, and decoherence in quantum systems. Here, due attention is paid to Bell's inequality and the possible existence of hidden variables. Finally, progression toward quantum computation is examined in detail: if quantum computers can be made practicable, enormous enhancements in computing power, artificial intelligence, and secure communication will result. This book will be of interest to a wide readership seeking to understand modern quantum mechanics and its potential applications. (shrink)

Bohmian Mechanics was formulated in 1952 by David Bohm as a complete theory of quantum phenomena based on a particle picture. It was promoted some decades later by John S. Bell, who, intrigued by the manifestly nonlocal structure of the theory, was led to his famous Bell's inequalities. Experimental tests of the inequalities verified that nature is indeed nonlocal. Bohmian mechanics has since then prospered as the straightforward completion of quantum mechanics. This book provides a systematic introduction to Bohmian mechanics (...) and to the mathematical abstractions of quantum mechanics, which range from the self-adjointness of the Schrödinger operator to scattering theory. It explains how the quantum formalism emerges when Boltzmann's ideas about statistical mechanics are applied to Bohmian mechanics. The book is self-contained, mathematically rigorous and an ideal starting point for a fundamental approach to quantum mechanics. It will appeal to students and newcomers to the field, as well as to established scientists seeking a clear exposition of the theory. (shrink)

We revise the mathematical implementation of the Dirac formulation of quantum mechanics, presenting a rigorous framework that unifies most of versions of this implementation.

The existence of mathematical objects may be explained in terms of their occurrence in problems. Especially interesting problems arise at the overlap of domains, and the items that intervene in them are hybrids sharing the characteristics of both domains in an ambiguous way. Euclid's geometry, and Leibniz' work at the intersection of geometry, algebra and mechanics in the late seventeenth century, provide instructive examples of such problems and items. The complex and yet still formal unity of these items calls into (...) question certain tenets of Resnik's structuralism, and of the reductive projects of the logicists. (shrink)

A growing body of research has shown that symbolic number processing relates to individual differences in mathematics. However, it remains unclear which mechanisms of symbolic number processing are crucial—accessing underlying magnitude representation of symbols (i.e., symbol‐magnitude associations), processing relative order of symbols (i.e., symbol‐symbol associations), or processing of symbols per se. To address this question, in this study adult participants performed a dots‐number word matching task—thought to be a measure of symbol‐magnitude associations (numerical magnitude processing)—a numeral‐ordering task that focuses (...) on symbol‐symbol associations (numerical order processing), and a digit‐number word matching task targeting symbolic processing per se. Results showed that both numerical magnitude and order processing were uniquely related to arithmetic achievement, beyond the effects of domain‐general factors (intellectual ability, working memory, inhibitory control, and non‐numerical ordering). Importantly, results were different when a general measure of mathematics achievement was considered. Those mechanisms of symbolic number processing did not contribute to math achievement. Furthermore, a path analysis revealed that numerical magnitude and order processing might draw on a common mechanism. Each process explained a portion of the relation of the other with arithmetic (but not with a general measure of math achievement). These findings are consistent with the notion that adults’ arithmetic skills build upon symbol‐magnitude associations, and they highlight the effects that different math measures have in the study of numerical cognition. (shrink)

The concepts of measurement and measurable quantity are discussed. A probabilistic interpretation independent of the arrow of time is recommended and a definition of quantizable physical systems is given. The space of states of information about the physical system is Schwarz space rather than Hilbert space.

The relationship between the objects of mathematics and physics has been a recurrent source of philosophical debate. Rationalist philosophers can minimize the distance between mathematical and physical domains by appealing to transcendental categories, but then are left with the problem of where to locate those categories ontologically. Empiricists can locate their objects in the material realm, but then have difficulty explaining certain peculiar “transcendental” features of mathematics like the timelessness of its objects and the unfalsifiability of (at least (...) some of) its truths. During the past twenty years, the relationship between mathematics and physics has come to seem particularly problematic, in part because of a strong interest in “naturalized epistemology” among American philosophers. The tendency to construe epistemological relations in causal and materialist terms seems to enforce a sharp distinction between mathematical and physical entities, and makes the former seem at best uncomfortably inaccessible and at worst irrelevant. (shrink)

This junior/senior level text is devoted to a study of first-order logic and its role in the foundations of mathematics: What is a proof? How can a proof be justified? To what extent can a proof be made a purely mechanical procedure? How much faith can we have in a proof that is so complex that no one can follow it through in a lifetime? The first substantial answers to these questions have only been obtained in this century. The (...) most striking results are contained in Goedel's work: First, it is possible to give a simple set of rules that suffice to carry out all mathematical proofs; but, second, these rules are necessarily incomplete - it is impossible, for example, to prove all true statements of arithmetic. The book begins with an introduction to first-order logic, Goedel's theorem, and model theory. A second part covers extensions of first-order logic and limitations of the formal methods. The book covers several advanced topics, not commonly treated in introductory texts, such as Trachtenbrot's undecidability theorem. Fraissé's elementary equivalence, and Lindstroem's theorem on the maximality of first-order logic. (shrink)