We may now ask the question: In what historical perspective should we place the work of Richard Goldschmidt? There is no doubt that in the period 1910–1950 Goldschmidt was an important and prolific figure in the history of biology in general, and of genetics in particular. His textbook on physiological genetics, published in 1938, was an amazing compendium of ideas put forward in the previous half-century about how genes influence physiology and development. His earlier studies on the genetic and geographic (...) distribution of the various species and races of Lymantria contributed soundly to an understanding of the inheritance and development of sex, as well as the genetics of speciation. He was a curious mixture of the experimentalist, empiricist, and theorizer, who could grasp both the large and the small at once and wrap them into the same integrated and coherent package.In insisting on trying to relate genetics to development, Goldschmidt was continually forced to speculate and to forsake experimental fact for generalized theory. In refusing to reconcile a physiological and developmental conception with a corpuscular theory of the gene, he forced himself to substitute for a large body of experimentally verified evidence, vague and general speculations which did not lead in any precise direction. L. C. Dunn summarizes succinctly the effect of Goldschmidt's thinking on the development of genetic theory: Although Goldschmidt's ideas had a considerable influence in directing attention to the developmental processes intervening between genes and characters, they did not lead to the establishment of a general theory of development in genetical terms. In fact, at the end of the period, as signalized by Goldschmidt's book of 1938 [Physiological Gentics] doubt remained whether there was a field with a defined problem which could be identified as developmental genetics.Yet the frequency with which Goldschmidt is cited by later writers suggests that there is a more positive side to his contribution than this. The early Mendelians had recognized the genic constitution of organisms and the Drosophila workers had uncovered in detail the chromosomal mechanism of heredity. These great discoveries were of classical character, solidly based on a multitude of well established facts. By themselves, however, they would not have been sufficient to place genetics in the central position within biology which it was to assume. Beyond the “static” analysis of gene transmission an insight was needed into the dynamic role of genes in cellular physiology, biochemistry, and development. Goldschmidt recognized this aspect and outlined in brilliant generalizations a physiological theory of genetics. Necessarily the prophetic nature of this achievement — romantic in the sense of Ostwald's classification of great scientists and their discoveries — transcended its factual basis. It was the audacity of the theoretician unimpeded by the still scanty data which gave a new focus to biological thought.Some have called Goldschmidt an “obstructionist” in the history of genetics—one whose efforts were largely directed toward useless and continual criticism — challenge for the sake of challenge. As this line of argument goes, time wasted answering Goldschmidt's poorly conceived criticisms could have been better used to pursue new lines of thought within the classical gene theory. Sometimes historians are upbraided for studying the work of such “obstructionists,” or even the work of those whose ideas have later proved to be inadequate. This argument misses the point of history and the lessons which it can teach. Perhaps Goldschmidt did take the time of a number of the classical geneticists who tried to answer his objections to the gene theory; and perhaps many of his own ideas about genes were, by today's view, “wrong.” These are always easier judgments to make by hindsight than at the moment. But that is not the point. Goldschmidt had a considerable influence on his contemporaries, and to dismiss him as an obstructionist because his opponents later proved to be more nearly right, distorts history and obscures significant questions which we might well be asking. It might be valuable to know why Goldschmidt felt compelled to be an iconoclast —and how that impulse, psychological in orgin, led him to overlook critical items of evidence which his opponents considered more carefully. It might also be valuable to try and understand how a contemporary of Goldschmidt or. Morgan really viewed the gene theory — what were its strong and weak point? Such questions are not readily answered by studying the work of only those men who were correct by later standards.Answers to some of the above questions can be gleaned from this study of Goldschmidt — though the first, and most psychologically oriented, question is largely untouched here.On the one hand, Goldschmidt forced classical geneticists to reexamine the foundation of their ideas about the nature, inviolability, and even physical dimensions of genes. He also kept alive the very real problems of gene physiology and its relations to development — a relationship that was given less attention by the Drosophila school in their pursuit of the transmission process. On a broader level he emphasized to the biological community a principle that was in danger of being lost in the enthusiasm surrounding the expansion of the Mendelian-chromosome theory. The point was that all theories in science are transient, logical constructs which should not be held as sacred. Time and again, as the history of science has shown, theories become rigid structures which retard new modes of thought. From Goldschmidt's perspective, the gene theory was in danger of performing just that function, for it was preventing workers from viewing the gene in a functional as well as a structural light.On the other hand, examining the work of critics (or even of outright “obstructionists”) gives the historian an opportunity to observe how the more established community of scholars at some point in time reacts to challenges of its cherished ideas. The fact that many workers in his own day (such as Beadle, Luria, Delbruck, Sturtevant, Bridges, and others), as well as most geneticists today, saw Goldschmidt as having been largely “obstructionist” is useful historical (and/or sociological) data. Clearly, as this paper has tried to show, Goldschmidt's ideas were not all obstructionist, and his viewpoint that genes must be considered functionally was one which was clearly valid, premature as it may have been from an experimental and technique point of view. Perhaps Goldschmidt's major fault was that he developed alternative theories which were not easily testable. Nonetheless, his challenge to a fundamental and established idea brought forth a reaction from many members of the genetic community which indicates how unwilling they were to reconsider the formalized theory on which their work was based. While many of Goldschmidt's criticisms — and particularly his way of making them — arose out of his own idiosyncrasies, they were also a product of his times. His view of the nature of theory-construction, and his rejection of old-style reductionism and mechanism, were part of a growing awareness within the world scientific community that explanations based on reducing complex phenomena to ultimate particles or units were clearly inadequate. The success of the Mendelian-chromosome theory had obscured that fact for many geneticists, but to Goldschmidt it was a point that could not be allowed to pass unnoticed. (shrink)

Gravitation is interpreted to be an “ontomathematical” force or interaction rather than an only physical one. That approach restores Newton’s original design of universal gravitation in the framework of “The Mathematical Principles of Natural Philosophy”, which allows for Einstein’s special and general relativity to be also reinterpreted ontomathematically. The entanglement theory of quantum gravitation is inherently involved also ontomathematically by virtue of the consideration of the qubit Hilbert space after entanglement as the Fourier counterpart of pseudo-Riemannian space. Gravitation can (...) be also interpreted as purely mathematical or logical “force” or “interaction” as a corollary from its ontomathematical (rather than physical) realization. The ontomathematical approach to gravitation is implicit in general relativity equating it to operators in pseudo-Riemannian space obeying the Einstein field equation and also well-known by the “geometrization of physics”. Quantum mechanics shares the same by the separable complex Hilbert space and defining “physical quantity” by the Hermitian operators on it. One can interpret special Minkowski space involved by special relativity and the qubit Hilbert space of quantum information as Fourier counterparts immediately noticing that general relativity means gravitation as the Fourier counterpart of non-Hermitian operators implying non-unitarity and the violation of energy conservation and thus destroying Pauli’s particle paradigm. Since the Standard model obeys it, this explains the impossibility of “quantum gravitation” in any framework conservatively generalizing the Standard model so that it would include gravitation along with electromagnetic, weak, and strong interactions. Einstein’s geometrization of gravitation can be continued into a purely mathematical theory of it following Euclid’s realization for geometry to be exhaustively built in a deductive and axiomatic way as well as Riemann’s parametrization of all the class of Euclidean and non-Euclidean geometries by “space curvature”, then being generalized to Minkowski space as the operators on pseudo-Riemannian space as the Einstein field equation means gravitation. The transition from mathematical gravitation to logical one can rely on the historical lesson of the pair of Lobachevski’s and Riemann’s approaches now “reversely”, i.e., from the latter to the former. Logical gravitation is linkable to Hegel’s dialectical logic and ontological dialectics abandoning their interpretations as a new zero logic substituting classical propionyl logic. The approach of ontomathematics generalizing that of ontology, traceable even to Aristotle’s reformation of Plato’s doctrine, needs Hegel’s doctrine to be formalized as a first-order logic naturally containing Boolean algebra, isomorphic to both classical propositional logic and set theory being the class of all first-order logics, as a sub-logic along with Peano arithmetic as another sub-logic. The first-order logic at issue is called Hilbert arithmetic and elaborated in detail in other papers. It allows for both self-foundation of mathematics to be internally proved as complete and furthermore, quantum mechanics reinterpreted as quantum information to be included by the qubit Hilbert space interpretable in turn as a dual and physical counterpart of Hilbert arithmetic in a narrow sense, that is, both counterparts constitute Hilbert arithmetic in a wide sense, being mathematical and physical simultaneously and thus overcoming the Cartesian dualism of “body” gapped from “mind” by an abyss. Then, the proper philosophical interpretation of gravitation to be the fundamental ontomathematical force or interaction overcomes the ridiculous belief of the Big Bang wrongly alleged to be a scientific theory. Ontomathematical gravitation suggests an omnipresent and omnitemporal medium of “God’s” creation “ex nihilo” following only the natural necessity of quantum-information conservation particularly and locally manifested as energy conservation. (shrink)

At the turn of the nineteenth century, mathematics exhibited a style of argumentation that was more explicitly computational than is common today. Over the course of the century, the introduction of abstract algebraic methods helped unify developments in analysis, number theory, geometry, and the theory of equations; and work by mathematicians like Dedekind, Cantor, and Hilbert towards the end of the century introduced set-theoretic language and infinitary methods that served to downplay or suppress computational content. This shift (...) in emphasis away from calculation gave rise to concerns as to whether such methods were meaningful, or appropriate to mathematics. The discovery of paradoxes stemming from overly naive use of set-theoretic language and methods led to even more pressing concerns as to whether the modern methods were even consistent. This led to heated debates in the early twentieth century and what is sometimes called the “crisis of foundations.” In lectures presented in 1922, David Hilbert launched his Beweistheorie, or Proof Theory, which aimed to justify the use of modern methods and settle the problem of foundations once and for all. This, Hilbert argued, could be achieved as follows. (shrink)

Plato believed that behind everything in the universe lie mathematical principles. Plato was inspired by Pythagoras (571 BCE), who developed a school of mathematics at Crotona that studied sacred geometry as a form of religion. The school’s motto was “God is number,” or “All is Number”. Pythagoras believed that numbers represented God in pattern, symmetry, and infinity. When one of its students, Hippasus told the world the secret of the existence of irrational numbers, Greek geometry was born and (...) Pythagoras’ idea of divinity in numbers died because how could God not be perfect and symmetrical? In Plato’s Republic he discusses something called The Divided Line, which is a map, of sorts, for reaching what he calls the highest Good, which is the ultimate truth where one realizes the true state of the universe and can see the world for what it really is. Many mathematicians have attempted to plot Plato’s Divided Line only to come across a litany of problems and conundrums. Some have said that it the Divided Line cannot be plotted and is merely an allegory not meant to be plotted. This paper discusses some of the conundrums preventing the plotting of Plato’s Divided Line (not an exhaustive list), including Whole ‘vs’ Separate, Equality ‘vs’ Ontological Dissimilarity, Linear ‘vs’ Non-linear, and Infinity ‘vs’ Finite. This paper also explores a new understanding of the Allegory of the Cave in light of ‘the problem of the irrational.’ In exploring the link between the Divided Line and the ‘the problem of the irrational,’ I was able to plot it. It was found that the Divided Line is not a line in the linear sense, but a spiral, the Golden Ratio! This paper is an example of a new category of scholarly inquiry I call “Math Theory” based on scholarly mathematical axioms in theory, rather than including actual maths. In my papers I use existing mathematical equations and place them in an encompassing theory, rather than finding new formulae to fit an existing theory. Keywords: Pythagoras, divided line, math theory, highest good, all is number. (shrink)

The metamathematical tradition, tracing back to Hilbert, employs syntactic modeling to study the methods of contemporary mathematics. A central goal has been, in particular, to explore the extent to which infinitary methods can be understood in computational or otherwise explicit terms. Ergodic theory provides rich opportunities for such analysis. Although the field has its origins in seventeenth century dynamics and nineteenth century statistical mechanics, it employs infinitary, nonconstructive, and structural methods that are characteristically modern. At the same time, computational (...) concerns and recent applications to combinatorics and number theory force us to reconsider the constructive character of the theory and its methods. This paper surveys some recent contributions to the metamathematical study of ergodic theory, focusing on the mean and pointwise ergodic theorems and the Furstenberg structure theorem for measure preserving systems. In particular, I characterize the extent to which these theorems are nonconstructive, and explain how proof-theoretic methods can be used to locate their "constructive content.". (shrink)

What is a number? Answering this will answer questions about its philosophical foundations - rational numbers, the complex numbers, imaginary numbers. If we are to write or talk about something, it is helpful to know whether it exists, how it exists, and why it exists, just from a common-sense point of view [Quine, 1948, p. 6]. Generally, there does not seem to be any disagreement among mathematicians, scientists, and logicians about numbers existing in some way, but currently, in the (...) mainstream arena only definitions, descriptions of properties, and effects are presented as evidence. Enough historical description of numbers in history provides an empirical basis of number, although a case can be made that numbers do not exist by themselves empirically. Correspondingly, numbers exist as abstractions. All the while, though, these "descriptions" beg the question of what numbers are ontologically. Advocates for numbers being the ultimate reality have the problem of wrestling with the nature of reality. I start on the road to discovering the ontology of number by looking at where people have talked about numbers as already existing: history. Of course, we need to know not only what ontology is but the problems of identifying one, leading to the selection between metaphysics and provisional approaches. While we seem to be dimensionally limited, at least we can identify a more suitable bootstrapping ontology than mere definitions, leading us to the unity of opposites. The rest of the paper details how this is done and modifies Peano's Postulates. (shrink)

Abstract: We propose a dichotomy between object-entities and meaning-entities. The former are entities such as molecules, cells, organisms, organizations, numbers, shapes, and so forth. The latter are entities such as concepts, propositions, and theories belonging to the realm of logic. Frege distinguished analogously between a ‘realm of reference’ and a ‘realm of sense’, which he presented in some passages as mutually exclusive. This however contradicts his assumption elsewhere that every entity is a referent (even Fregean senses can be referred to (...) by means of suitably constructed expressions). We apply the meaning/object dichotomy to mathematical and fictional entities, and develop a view of mathematical and other abstract objects as the results of certain types of demarcation – as for example the North Sea is the result of demarcations built into naval charts. Such demarcations reflect demarcatory acts, which presuppose complex cognitive and social structures enabling the creation of maps, of theories (of mathematics, of natural science), and of novels. (shrink)

Originally published in 1995 this is the fifth volume in the series Creationism in 20th Century America. It re-publishes After Its Kind - a critique on theories of biological evolution and a defense of the biblical account of creation which Nelson wrote when he was a Pastor in New Jersey where he also attended classes in genetics and zoology at Rutgers university. His 1931 volume The Deluge Story in Stone: A History of the Flood Theory of Geology, also reprinted (...) here was continuously in print until the 1960s. As his scientific and theological correspondence expanded in the wake of his publications, Nelson became further involved in the 'evolution debates'. During the late 1930s his writings concentrated on early man and the glacial phenomena he saw all about him in Wisconsin and he compiled the materials he thought necessary to relate Scripture to the evidence of human antiquity. (shrink)

This paper describes an axiomatic theory BT, which is a suitable formal theory for developing constructive mathematics, due to its expressive language with countable number of set types and its constructive properties such as the existence and disjunction properties, and consistency with the formal Church thesis. BT has a predicative comprehension axiom and usual combinatorial operations. BT has intuitionistic logic and is consistent with classical logic. BT is mutually interpretable with a so called theory of arithmetical (...) truth PATr and with a second-order arithmetic SA that contains infinitely many sorts of sets of natural numbers. We compare BT with some standard second-order arithmetics and investigate the proof-theoretical strengths of fragments of BT, PATr and SA. (shrink)

The relevance of metamathematical researches for philosophy of math- ematics is an indubitable matter. In the paper I shall speak about impli- cations of metamathematics for general philosophy, especially for classical epistemological problems. Let us start with a historical observation con- cerning Hilbert's programme, the rst research programme in metamathe- matics as a separate study of formal systems. This programme was strongly in uence by epistemological considerations. In fact, Hilbert wanted to se- cure all classical mathematics against inconsistencies and this (...) aim had be achieved with the help of nitary consistency proof. Hilbert's claim is like the Cartesian project of reduction of all concepts to clarae et distinctae ideae. The epistemological commitment of original Hilbert's programme may be treated as a prelim- inary heuristic motivation for looking for epistemological implications of metamathematical results. It seems reasonable to examine in this respect three so-called limitative theorems: the rst Godel's incompleteness theo- rem , the second Godel's incom- pleteness theorem consistency of S, cannot be proved in S, providing that S is consistent) and Tarski's undenability theorem ; \S" stands for formal system containing elementary number theory. From the above-mentioned theorems we obtain an important, from philosophical point of view, conclusion: semantics of S cannot be expressed in S. Now, I shall present three applications of limitative theorems to the analysis of classical epistemological problems. (shrink)

Earlier in this century, many philosophers of science (for example, Rudolf Carnap) drew a fairly sharp distinction between theory and observation, between theoretical terms like 'mass' and 'electron', and observation terms like 'measures three meters in length' and 'is _2° Celsius'. By simply looking at our instruments we can ascertain what numbers our measurements yield. Creatures like mass are different: we determine mass by calculation; we never directly observe a mass. Nor an electron: this term is introduced in order (...) to explain what we observe. This (once standard) distinction between theory and observation was eventually found to be wanting. First, if the distinction holds, it is difficult to see what can characterize the relationship between theory :md observation. How can theoretical terms explain that which is itself in no way theorized? The second point leads out of the first: are not the instruments that provide us with observational material themselves creatures of theory? Is it really possible to have an observation language that is entirely barren of theory? The theory-Iadenness of observation languages is now an accept ed feature of the logic of science. Many regard such dependence of observation on theory as a virtue. If our instruments of observation do not derive their meaning from theories, whence comes that meaning? Surely - in science - we have nothing else but theories to tell us what to try to observe. (shrink)

§1. Introduction. With Hrushovski's proof of the function field Mordell-Lang conjecture [16] the relevance of geometric stability theory to diophantine geometry first came to light. A gulf between logicians and number theorists allowed for contradictory reactions. It has been asserted that Hrushovski's proof was simply an algebraic argument masked in the language of model theory. Another camp held that this theorem was merely a clever one-off. Still others regarded the argument as magical and asked whether such sorcery (...) could unlock the secrets of a wide coterie of number theoretic problems.In the intervening years each of these prejudices has been revealed as false though such attitudes are still common. The methods pioneered in [16] have been extended and applied to a number of other problems. At their best, these methods have been integrated into the general methods for solving diophantine problems. Moreover, the newer work suggests limits to the application of model theory to diophantine geometry. For example, all such known applications are connected with commutative algebraic groups. This need not be an intrinsic restriction, but its removal requires serious advances in the model theory of fields. (shrink)

A square tabular array was introduced by R. C. Punnett in (1907) to visualize systematically and economically the combination of gametes to make genotypes according to Mendel’s theory. This mode of representation evolved and rapidly became standardized as the canonical way of representing like problems in genetics. Its advantages over other contemporary methods are discussed, as are ways in which it evolved to increase its power and efficiency, and responded to changing theoretical perspectives. It provided a natural visual decomposition (...) of a complex problem into a number of inter-related stages. This explains its computational and conceptual power, for one could simply “read off” answers to a wide variety of questions simply from the “right” visual representation of the problem, and represent multiple problems, and multiple layers of problems in the same diagram. I relate it to prior work on the evolution of Weismann diagrams by Griesemer and Wimsatt (What Philosophy of Biology Is, Martinus-Nijhoff, the Hague, 1989), and discuss a crucial change in how it was interpreted that midwifed its success. (shrink)

For $\Bbb {F}$ the field of real or complex numbers, let $CG(\Bbb {F})$ be the continuous geometry constructed by von Neumann as a limit of finite dimensional projective geometries over $\Bbb {F}$ . Our purpose here is to show the equational theory of $CG(\Bbb {F})$ is decidable.

This textbook is a second edition of the successful, Mathematical Logic: On Numbers, Sets, Structures, and Symmetry. It retains the original two parts found in the first edition, while presenting new material in the form of an added third part to the textbook. The textbook offers a slow introduction to mathematical logic, and several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary extensions. Part I, Logic Sets, and Numbers, shows how mathematical logic is used (...) to develop the number structures of classical mathematics. All necessary concepts are introduced exactly as they would be in a course in mathematical logic; but are accompanied by more extensive introductory remarks and examples to motivate formal developments. The second part, Relations, Structures, Geometry, introduces several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary extensions, and shows how they are used to study and classify mathematical structures. The added Part III to the book is closer to what one finds in standard introductory mathematical textbooks. Definitions, theorems, and proofs that are introduced are still preceded by remarks that motivate the material, but the exposition is more formal, and includes more advanced topics. The focus is on the notion of countable categoricity, which analyzed in detail using examples from the first two parts of the book. This textbook is suitable for graduate students in mathematical logic and set theory and will also be of interest to mathematicians who know the technical aspects of the subject, but are not familiar with its history and philosophical background. (shrink)

Klein’s Erlangen program contains the postulate to study thegroup of automorphisms instead of a structure itself. This postulate, takenliterally, sometimes means a substantial loss of information. For example, thegroup of automorphisms of the field of rational numbers is trivial. Howeverin the case of Euclidean plane geometry the situation is different. We shallprove that the plane Euclidean geometry is mutually interpretable with theelementary theory of the group of authomorphisms of its standard model.Thus both theories differ practically in the language only.

In this revolutionary work, the author sets the stage for the science of the 21st Century, pursuing an unprecedented synthesis of fields previously considered unrelated. Beginning with simple classical concepts, he ends with a complex multidisciplinary theory requiring a high level of abstraction. The work progresses across the sciences in several multidisciplinary directions: Mathematical logic, fundamental physics, computer science and the theory of intelligence. Extraordinarily enough, the author breaks new ground in all these fields. In the field of (...) fundamental physics the author reaches the revolutionary conclusion that physics can be viewed and studied as logic in a fundamental sense, as compared with Einstein's view of physics as space-time geometry. This opens new, exciting prospects for the study of fundamental interactions. A formulation of logic in terms of matrix operators and logic vector spaces allows the author to tackle for the first time the intractable problem of cognition in a scientific manner. In the same way as the findings of Heisenberg and Dirac in the 1930s provided a conceptual and mathematical foundation for quantum physics, matrix operator logic supports an important breakthrough in the study of the physics of the mind, which is interpreted as a fractal of quantum mechanics. Introducing a concept of logic quantum numbers, the author concludes that the problem of logic and the intelligence code in general can be effectively formulated as eigenvalue problems similar to those of theoretical physics. With this important leap forward in the study of the mechanism of mind, the author concludes that the latter cannot be fully understood either within classical or quantum notions. A higher-order covariant theory is required to accommodate the fundamental effect of high-level intelligence. The landmark results obtained by the author will have implications and repercussions for the very foundations of science as a whole. Moreover, Stern's Matrix Logic is suitable for a broad spectrum of practical applications in contemporary technologies. (shrink)

A novel conceptual framework is introduced for the Complexity Levels Theory in a Categorical Ontology of Space and Time. This conceptual and formal construction is intended for ontological studies of Emergent Biosystems, Super-complex Dynamics, Evolution and Human Consciousness. A claim is defended concerning the universal representation of an item’s essence in categorical terms. As an essential example, relational structures of living organisms are well represented by applying the important categorical concept of natural transformations to biomolecular reactions and relational structures (...) that emerge from the latter in living systems. Thus, several relational theories of living systems can be represented by natural transformations of organismic, relational structures. The ascent of man and other living organisms through adaptation, is viewed in novel categorical terms, such as variable biogroupoid representations of evolving species. Such precise but flexible evolutionary concepts will allow the further development of the unifying theme of local-to-global approaches to highly complex systems in order to represent novel patterns of relations that emerge in super- and ultra-complex systems in terms of compositions of local procedures. Solutions to such local-to-global problems in highly complex systems with ‘broken symmetry’ might be possible to be reached with the help of higher homotopy theorems in algebraic topology such as the generalized van Kampen theorems (HHvKT). Categories of many-valued, Łukasiewicz-Moisil (LM) logic algebras provide useful concepts for representing the intrinsic dynamic ‘asymmetry’ of genetic networks in organismic development and evolution, as well as to derive novel results for (non-commutative) Quantum Logics. Furthermore, as recently pointed out by Baianu and Poli (Theory and applications of ontology, vol 1. Springer, Berlin, in press), LM-logic algebras may also provide the appropriate framework for future developments of the ontological theory of levels with its complex/entangled/intertwined ramifications in psychology, sociology and ecology. As shown in the preceding two papers in this issue, a paradigm shift towards non-commutative, or non-Abelian, theories of highly complex dynamics—which is presently unfolding in physics, mathematics, life and cognitive sciences—may be implemented through realizations of higher dimensional algebras in neurosciences and psychology, as well as in human genomics, bioinformatics and interactomics. (shrink)

The purpose of this paper is twofold: (i) we argue that the structure of commonsense knowledge must be discovered, rather than invented; and (ii) we argue that natural language, which is the best known theory of our (shared) commonsense knowledge, should itself be used as a guide to discovering the structure of commonsense knowledge. In addition to suggesting a systematic method to the discovery of the structure of commonsense knowledge, the method we propose seems to also provide an explanation (...) for a number of phenomena in natural language, such as metaphor, intensionality, and the semantics of nominal compounds. Admittedly, our ultimate goal is quite ambitious, and it is no less than the systematic ‘discovery’ of a well-typed ontology of commonsense knowledge, and the subsequent formulation of the longawaited goal of a meaning algebra. (shrink)

The nature of this book is fourfold: First, it provides comprehensive education in ontology, epistemology, logic, and ethics. From this perspective, it can be treated as a philosophical textbook. Second, it provides comprehensive education in mathematical analysis and analytic geometry, including significant aspects of set theory, topology, mathematical logic, number systems, abstract algebra, linear algebra, and the theory of differential equations. From this perspective, it can be treated as a mathematical textbook. Third, it makes a student and (...) a researcher in philosophy and/or mathematics capable of developing a holistic approach to reality, of undertaking interdisciplinary endeavors, of understanding (and possibly contributing to) advances and research projects in different academic disciplines, and of having more sources of inspiration and pleasure. From this perspective, it can be treated as a contribution to pedagogy and as an attempt to refresh and, indeed, revitalize modern philosophy. Fourth, it seeks to defend, refresh, and enrich philosophical and scientific structuralism and dynamical philosophy (known also as dynamism). From this perspective, this book can be treated as a research monograph on structuralism and dynamism, tackling the fundamental problems of reality, truth, and consciousness. In this context, Nicolas Laos expounds and proposes: (i) the concepts of dynamized time and dynamized space; (ii) a theory and method that he calls the "dialectic of rational dynamicity"; and (iii) his attempt to consider the fundamental problems of philosophy and science from the perspective of the dialectic of rational dynamicity. Thus, this book pertains to every field that is controlled by the function of consciousness, namely, being, knowing, and acting. The philosophy of rational dynamicity, as the author explains in this book, is a way of contemplating the laws of motion of nature, history, and spirit. (shrink)

In this paper the structuralist approach of theory reconstruction is applied to International Trade Theory. In the basic element the universal laws of the theory are stated and the general concepts are defined in terms of three sets and seven functions. Ricardo’s Theory of Comparative Advantage and the Factor Proportions Theory by Heckscher and Ohlin are reconstructed as specialisations of the basic element. Two intratheoretical constraints are formulated in order to ensure the consistency of the (...) theory. A number of empirical studies are shown to be paradigmatic, successful or questionable applications of International Trade Theory. The reconstruction allows the assessment of the theory from a metatheoretical angle and illuminates the logical interdependencies of its components. (shrink)

This is a reprinting of Ken Pledger’s PhD thesis, submitted to the University of Warsaw in 1980 with the degree awarded in 1981. It develops a one-sorted approach to the theory of plane geometry, based on the idea that the usually two-sorted theory “can be made one-sorted by keeping careful account of whether the incidence relation is iterated an even or odd number of times”.The one-sorted structures can also serve as Kripke frames for modal logics, and the (...) thesis defines and studies two such logics that are validated by projective planes and elliptic planes respectively. It raises questions of logical completeness for these systems that are addressed in the first article of this journal issue. (shrink)

A novel conceptual framework is introduced for the Complexity Levels Theory in a Categorical Ontology of Space and Time. This conceptual and formal construction is intended for ontological studies of Emergent Biosystems, Super-complex Dynamics, Evolution and Human Consciousness. A claim is defended concerning the universal representation of an item’s essence in categorical terms. As an essential example, relational structures of living organisms are well represented by applying the important categorical concept of natural transformations to biomolecular reactions and relational structures (...) that emerge from the latter in living systems. Thus, several relational theories of living systems can be represented by natural transformations of organismic, relational structures. The ascent of man and other living organisms through adaptation, is viewed in novel categorical terms, such as variable biogroupoid representations of evolving species. Such precise but flexible evolutionary concepts will allow the further development of the unifying theme of local-to-global approaches to highly complex systems in order to represent novel patterns of relations that emerge in super- and ultra-complex systems in terms of compositions of local procedures. Solutions to such local-to-global problems in highly complex systems with ‘broken symmetry’ might be possible to be reached with the help of higher homotopy theorems in algebraic topology such as the generalized van Kampen theorems (HHvKT). Categories of many-valued, Łukasiewicz-Moisil (LM) logic algebras provide useful concepts for representing the intrinsic dynamic ‘asymmetry’ of genetic networks in organismic development and evolution, as well as to derive novel results for (non-commutative) Quantum Logics. Furthermore, as recently pointed out by Baianu and Poli (Theory and applications of ontology, vol 1. Springer, Berlin, in press), LM-logic algebras may also provide the appropriate framework for future developments of the ontological theory of levels with its complex/entangled/intertwined ramifications in psychology, sociology and ecology. As shown in the preceding two papers in this issue, a paradigm shift towards non-commutative, or non-Abelian, theories of highly complex dynamics—which is presently unfolding in physics, mathematics, life and cognitive sciences—may be implemented through realizations of higher dimensional algebras in neurosciences and psychology, as well as in human genomics, bioinformatics and interactomics. (shrink)

The paper sets out a version of a correspondence theory of truth that deals with a number of problems such theories traditionally face, problems associated with the names of Bradley, Meinong, Camap, Russell, Wittgenstein and Moore and that arise in connection with attempts to analyze facts of various logical forms. The line of argument employs a somewhat novel application of Russell's theory of definite descriptions. In developing a form of "logical realism" the paper takes up various ontological (...) issues regarding classes, causal laws, modality, predication, negation and relations. It does so in connection with critical discussions of alternative views recently proposed by Armstrong, Bergmann, Lewis and Putnam. (shrink)

We classify two of Bertrand Russell's theories of events within the point-free ontology. The first of such approaches was presented informally by Russell in ‘The World of Physics and the World of Sense’ (Lecture IV in Our Knowledge of the External World of 1914). Based on this theory, Russell sketched ways to construct instants as collections of events. This paper formalizes Russell's approach from 1914. We will also show that in such a reconstructed theory, we obtain all axioms (...) of Russell's second theory from 1936 and all axioms of Thomason's theory of events from 1989. Russell's work certainly influenced the works of Stanisław Leśniewski, his student Alfred Tarski, and Czesław Lejewski – prominent members of the Lvov-Warsaw School (LWS). We see our work in the tradition of the research of Leśniewski and Tarski. Building on the technical tools developed in this environment and in the spirit of the traditional research of the LWS, we engage here, in particular, with two classic works by Russell on fundamental ontology. (shrink)

Numbers. Natural numbers -- Integers -- Real numbers -- Irrational and transcendental numbers -- Funny numbers. Zero -- e : the unnatural natural number -- [Phi] : the golden ratio -- i : the imaginary number -- Writing numbers. Roman numerals -- Egyptian fractions -- Continued fractions -- Logic. Mr. Spock is not logical -- Proofs, truth, and trees : oh my! -- Programming with logic -- Temporal reasoning -- Sets. Cantor's diagonalization : infinity isn't just infinity -- (...) Axiomatic set theory : keep the good, dump the bad -- Models : using sets as the LEGOs of the math world -- Transfinite numbers : counting and ordering infinite sets -- Group theory : finding symmetries with sets -- Mechanical math. Finite state machines : simplicity goes far -- The turing machine -- Pathology and the heart of computing -- Calculus : no, not that calculus- [lambda] calculus -- Numbers, booleans, and recursion -- Types, types, types : modeling [lambda] calculus -- The halting problem. (shrink)

In the present work Berkeley's theory of vision is considered in its historical origins, in its relation to Berkeley's general philosophical conceptions, and in its early reception. Berkeley's theory replaces an account of vision according to which distance and other spatial properties are deduced from elementary data through an unconscious geometric inference. This account of vision in terms of "natural geometry" was first introduced by Descartes and Malebranche. Among Berkeley's immediate sources of knowledge of the geometric theory (...) of perception, a key role was played by the treatise of dioptrics of William Molyneux, Dioptrica Nova. Berkeley's understanding of "natural geometry" relies closely on Molyneux's description of the mechanism of vision which avoids the complexities of the accounts of Descartes and Malebranche. In the first chapter Berkeley's theory is presented by way of contrast with Molyneux's theory. In the second chapter I consider the relation between the theory of vision and immaterialism. In the final chapter I examine one of the first criticisms of Berkeley's theory, that which is found in William Porterfield's Treatise on the Eye. Dept. of Philosophy. Paper copy at Leddy Library: Theses & Major Papers - Basement, West Bldg. / Call Number: Thesis1997.G72. Source: Masterss International, Volume: 37-01, page: 0076. Adviser: John P. Wright. Thesis --University of Windsor, 1997. (shrink)

The recent scientific discoveries cast a new light on the classical distinction between the actual and the possible. A creative elaboration upon this theme, stimulated by works on modal logic and controversies around the semantics of Kripke, has been developed in contemporary discussions on epistemological aspects of quantum cosmology and on ontological preconditions of genetic determinants.Proceeding from new scientific theories, in the paper an attempt is undertaken to determine the ontological structure of nature in which one satisfactorily explains new data (...) implied by these theories. In the context of contemporary physical discoveries the very concept of possible being is reinterpreted. A new version of moderate Platonism is proposed in a form of modified modal actualism. Its classical counterpart was earlier developed by Robert C. Stalnaker and Alvin Plantinga in their ontology of the possible worlds. (shrink)

ABSTRACT In ‘The philosophical basis of intuitionistic logic’, Michael Dummett discusses two routes towards accepting intuitionistic rather than classical logic in number theory, one meaning-theoretical and the other ontological. He concludes that the former route is open, but the latter is closed. I reconstruct Dummett's argument against the ontological route and argue that it fails. Call a procedure ‘investigative’ if that in virtue of which a true proposition stating its outcome is true exists prior to the execution of (...) that procedure; and ‘generative’ if the existence of that in virtue of which a true proposition stating its outcome is true is brought about by the execution of that procedure. The problem with Dummett's argument then is that a particular step in it, while correct for investigative procedures, is not correct for generative ones. But it is the latter that the ontological route is concerned with. (shrink)

In recent years the magnificent world of fractals has been revealed. Some of the fractal images resemble natural forms so closely that Benoit Mandelbrot's hypothesis, that the fractal geometry is the geometry of natural objects, has been accepted by scientists and non-scientists alike. The present paper critically examines Mandelbrot's hypothesis. It first analyzes the concept of a fractal. The analysis reveals that fractals are endless geometrical processes, and not geometrical forms. A comparison between fractals and irrational numbers shows that the (...) former are ontologically and epistemologically even more problematic than the latter. Therefore, it is argued, a proper understanding of the concept of fractal is inconsistent with ascribing a fractal structure to natural objects. Moreover, it is shown that, empirically, the so-called fractal images disconfirm Mandelbrot's hypothesis. It is conceded that the fractal geometry can be used as a useful rough approximation, but this fact has no bearing on the physical theory of natural forms. (shrink)

Recent work on the acquisition of number words has emphasized the importance of integrating linguistic and developmental perspectives [Musolino, J. (2004). The semantics and acquisition of number words: Integrating linguistic and developmental perspectives. Cognition93, 1-41; Papafragou, A., Musolino, J. (2003). Scalar implicatures: Scalar implicatures: Experiments at the semantics-pragmatics interface. Cognition, 86, 253-282; Hurewitz, F., Papafragou, A., Gleitman, L., Gelman, R. (2006). Asymmetries in the acquisition of numbers and quantifiers. Language Learning and Development, 2, 76-97; Huang, Y. T., Snedeker, (...) J., Spelke, L. (submitted for publication). What exactly do numbers mean?]. Specifically, these studies have shown that data from experimental investigations of child language can be used to illuminate core theoretical issues in the semantic and pragmatic analysis of number terms. In this article, I extend this approach to the logico-syntactic properties of number words, focusing on the way numerals interact with each other (e.g. Three boys are holding two balloons) as well as with other quantified expressions (e.g. Three boys are holding each balloon). On the basis of their intuitions, linguists have claimed that such sentences give rise to at least four different interpretations, reflecting the complexity of the linguistic structure and syntactic operations involved. Using psycholinguistic experimentation with preschoolers (n=32) and adult speakers of English (n=32), I show that (a) for adults, the intuitions of linguists can be verified experimentally, (b) by the age of 5, children have knowledge of the core aspects of the logical syntax of number words, (c) in spite of this knowledge, children nevertheless differ from adults in systematic ways, (d) the differences observed between children and adults can be accounted for on the basis of an independently motivated, linguistically-based processing model [Geurts, B. (2003). Quantifying kids. Language Acquisition, 11(4), 197-218]. In doing so, this work ties together research on the acquisition of the number vocabulary with a growing body of work on the development of quantification and sentence processing abilities in young children [Geurts, 2003; Lidz, J., Musolino, J. (2002). Children's command of quantification. Cognition, 84, 113-154; Musolino, J., Lidz, J. (2003). The scope of isomorphism: Turning adults into children. Language Acquisition, 11(4), 277-291; Trueswell, J., Sekerina, I., Hilland, N., Logrip, M. (1999). The kindergarten-path effect: Studying on-line sentence processing in young children. Cognition, 73, 89-134; Noveck, I. (2001). When children are more logical than adults: Experimental investigations of scalar implicature. Cognition, 78, 165-188; Noveck, I., Guelminger, R., Georgieff, N., & Labruyere, N. (2007). What autism can tell us about every. . . not sentences. Journal of Semantics,24(1), 73-90. On a more general level, this work confirms the importance of integrating formal and developmental perspectives [Musolino, 2004], this time by highlighting the explanatory power of linguistically-based models of language acquisition and by showing that the complex structure postulated by linguists has important implications for developmental accounts of the number vocabulary. (shrink)

In sections 1 through 5, I develop in detail what I call the standard theory of worlds and propositions, and I discuss a number of purported objections. The theory consists of five theses. The first two theses, presented in section 1, assert that the propositions form a Boolean algebra with respect to implication, and that the algebra is complete, respectively. In section 2, I introduce the notion of logical space: it is a field of sets that represents (...) the propositional structure and whose space consists of all and only the worlds. The next three theses, presented in sections 3, 4, and 5, respectively, guarantee the existence of logical space, and further constrain its structure. The third thesis asserts that the set of propositions true at any world is maximal consistent; the fourth thesis that any two worlds are separated by a proposition; the fifth thesis that only one proposition is false at every world. In sections 6 through 10, I turn to the problem of reduction. In sections 6 and 7, I show how the standard theory can be used to support either a reduction of worlds to propositions or a reduction of propositions to worlds. A number of proposition-based theories are developed in section 6, and compared with Adams's world-story theory. A world-based theory is developed in section?, and Stalnaker's account of the matter is discussed. Before passing judgment on the proposition based and world-based theories, I ask in sections 8 and 9 whether both worlds and propositions might be reduced to something else. In section 8, I consider reductions to linguistic entities; in section 9, reductions to unfounded sets. After rejecting the possibility of eliminating both worlds and propositions, I return in section 10 to the possibility of eliminating one in favor of the other. I conclude, somewhat tentatively, that neither worlds nor propositions should be reduced one to the other, that both worlds and propositions should be taken as basic to our ontology. (shrink)

Depending on what one means by the main connective of logic, the -if..., then... -, several systems of logic result: classic and modal logics, intuitionistic logic or relevance logic. This book presents the underlying ideas, the syntax and the semantics of these logics. Soundness and completeness are shown constructively and in a uniform way. Attention is paid to the interdisciplinary role of logic: its embedding in the foundations of mathematics and its intimate connection with philosophy, in particular the philosophy of (...) language. Set theory is presented both as a conditio sine qua non for logic and as a interesting exact ontology. The study of infinite sets yields perplexing results. Formalization of informal number theory results in formal number theory; Godel's incompleteness is treated. At appropriate places attention is paid to paradoxes, intuitionism, conditionals, the historical development of logic, to logic programming and automated theorem proving for classical logic.". (shrink)

Long ago, when Alexander the Great asked the mathematician Menaechmus for a crash course in geometry, he got the famous reply ``There is no royal road to mathematics.'' Where there was no shortcut for Alexander, there is no shortcut for us. Still, the fact that we have access to computers and mature programming languages means that there are avenues for us that were denied to the kings and emperors of yore. The purpose of this book is to teach logic and (...) mathematical reasoning in practice, and to connect logical reasoning with computer programming in Haskell. Haskell emerged in the 1990s as a standard for lazy functional programming, a programming style where arguments are evaluated only when the value is actually needed. Haskell is a marvelous demonstration tool for logic and maths because its functional character allows implementations to remain very close to the concepts that get implemented, while the laziness permits smooth handling of infinite data structures. This book does not assume the reader to have previous experience with either programming or construction of formal proofs, but acquaintance with mathematical notation, at the level of secondary school mathematics is presumed. Everything one needs to know about mathematical reasoning or programming is explained as we go along. After proper digestion of the material in this book, the reader will be able to write interesting programs, reason about their correctness, and document them in a clear fashion. The reader will also have learned how to set up mathematical proofs in a structured way, and how to read and digest mathematical proofs written by others. This is the updated, expanded, and corrected second edition of a much-acclaimed textbook. Praise for the first edition: 'Doets and van Eijck's ``The Haskell Road to Logic, Maths and Programming'' is an astonishingly extensive and accessible textbook on logic, maths, and Haskell.' Ralf Laemmel, Professor of Computer Science, University of Koblenz-Landau. (shrink)

In a recent paper, John Wigglesworth explicates the notion of a set's being grounded in or ontologically depending on its members by the modal statement that in any world, that a set exists in that world entails that its members exist as well. After suggesting that variable-domain S5 captures an appropriate account of metaphysical necessity, Wigglesworth purports to prove that in any set theory satisfying the axiom Extensionality this condition holds, that is, that sets ontologically depend on their members (...) with respect to extraordinarily weak notions of set. This paper diagnoses a number of problems concerning Wigglesworth's formal argument. For one, we will show that Wigglesworth's argument is invalid as it requires an appeal to hidden, extralogical theses concerning rigid designation and the persistence of sets across possible worlds. Having demonstrated the indispensability of these principles to Wigglesworth's argument, we will then show that even granted the enthymematic premises, the argument only proves the ontological dependence of singletons on their members and does not extend to sets in general. Finally, we will consider strengthenings of Wigglesworth's reasoning and suggest that even the weakest generalization will bear undesirable consequences. (shrink)

The issue of the conventionality of geometry is considered in the light of the special theory of relativity. The consequences of Minkowski's insights into the ontology of special relativity are elaborated. Several logically distinct senses of "conventionalism" and "realism" are distinguished, and it is argued that the special theory vindicates some of these possible positions but not others. The significance of the usual distinction between relativity and conventionality is discussed. Finally, it is argued that even though the spatial (...) metric within an inertial reference frame is euclidean, it is impossible to define unique objects which can serve as the relativistic surrogates of the spatial points of classical geometry. (shrink)

A la fin du XVIIIe siècle, Emmanuel Kant pouvait encore voir dans les mathématiques le modèle même des jugements synthétiques a priori, c'est-à-dire dotés d'un contenu intuitif propre quoique non dérivé de l'expérience sensible. Des géométries non-euclidiennes à la théorie des transfinis de Cantor, les mathématiques du XIXe siècle vont cependant faire triompher des systèmes mathématiques résolument déductifs et non plus intuitifs. Sur fond d'interrogations quant à la légitimité de ces développements récents, interrogations renforcées par la découverte de paradoxes, d'âpres (...) débats vont alors opposer différentes écoles quant aux méthodes de preuve acceptables ainsi que quant à ce qui constitue le fondement même du savoir mathématique. Logicisme, formalisme et intuitionnisme ; ce sont, à l'époque, pas moins de trois conceptions des mathématiques (et trois programmes pour les mathématiques) qui s'affrontent, conceptions auxquelles il faut ajouter le psychologisme, qui se nourrit de l'essor des sciences humaines et de leurs prétentions épistémologiques. En collant au plus près des textes des principaux protagonistes, l'ouvrage présente de manière tout à la fois synthétique et précise les différentes positions en présence, en soulignant autant que possible leurs divergences, mais en montrant aussi les variations et inflexions qui ont marqué leur développement durant la période 1870-1930. (shrink)

This book is a collection of essays written by a distinguished mathematician with a very long and successful career as a researcher and educator working in many areas of pure and applied mathematics. The author writes about everything he found exciting about math, its history, and its connections with art, and about how to explain it when so many smart people (and children) are turned off by it. The three longest essays touch upon the foundations of mathematics, upon quantum mechanics (...) and Schrödinger's cat phenomena, and upon whether robots will ever have consciousness. Each of these essays includes some unpublished material. The author also touches upon his involvement with and feelings about issues in the larger world. The author's main goal when preparing the book was to convey how much he loves math and its sister fields. (shrink)

This paper is an attempt to bring together two separated areas of research: classical mathematics and metamathematics on the one side, non-monotonic reasoning on the other. This is done by simulating nonmonotonic logic through antitonic theory extensions. In the first half, the specific extension procedure proposed here is motivated informally, partly in comparison with some well-known non-monotonic formalisms. Operators V and, more generally, U are obtained which have some plausibility when viewed as giving nonmonotonic theory extensions. In the (...) second half, these operators are treated from a mathematical and metamathematical point of view. Here an important role is played by U -closed theories and U -fixed points. The last section contains results on V-closed theories which are specific for V. (shrink)

In his Rules for the Direction of the Mind, Descartes elevates arithmetic and geometry to the status of paradigms for all the sciences, because of the potential for certainty in their results. This emphasis on certainty is present throughout the Cartesian corpus, but in the Rules and other early works the substance dualism characteristic of Cartesian philosophy is not as obvious. However, when several key concepts from this early work are considered together, it becomes clear that Cartesian dualism necessarily follows. (...) The most important of these concepts are: Descartes’s rejection of the Scholastic theory of sense data in favor of a telecommunicative theory of perception; his innovative reconceptualization of mathematics in which he treats number and magnitude as interchangeable, making use of the symbolism of algebra; his frequent use of visual metaphors to describe perception in general, as well as other cognitive activity. It is in consideration of this third point that Descartes’s treatment of the imagination shows its importance, for the relationship of the imagination to the intellect parallels that of geometric figures to algebraic formulae. Though the role of the imagination in the Rules seems to make the status of a dualist ontology in this work more ambiguous, this paper will argue that in fact it is precisely in the treatment of imagination that one can find the traces of a fully developed substance dualism. (shrink)

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

This revision of an important and lucid account of the various systems of axiomatic set theory preserves the basic format and essential ingredients of its highly regarded original. Quine's innovative exploitation of the virtual theory of classes in order to develop a considerable portion of set theory without ontological commitment to the existence of classes remains unchanged. So, too, does the list of topics treated--the theory of sets up to transfinite ordinal and cardinal numbers, the axiom (...) of choice and its equivalents, and a beautiful comparison of the various major formulations of set theory. There have, however, been a number of important changes, generally in the interest of greater elegance and clarity. One of the most notable of these is in the treatment of ordinal numbers. In the fourth section of that chapter an axiom schema is added to the effect that if α is a function and x an ordinal number, then there exists a class identical with the image of x under α. Although Quine, in general prefers to limit his existence assumptions as severely as possible, this added item possesses two attractive and closely related advantages: it yields the existence of all classes up to the size of any ordinal, and it greatly simplifies the subsequent treatment of ordinals and of transfinite recursion. The treatment of this latter subject, incidentally, has also been extensively modified to square with some difficulties first pointed out by Charles Parsons in The Journal of Symbolic Logic in 1964. Another important change consists in a considerable reworking of the section on infinite cardinals. The result is a more simplified and natural treatment. Finally, some new material on the theory of types and consequences of the axiom schema of comprehension has been added. Particularly with regard to the theory of types, this new material--due largely to the work of David Kaplan--has enabled Quine to drop, at one point, the assumption that there exists an object of lowest type. Altogether, this is a generally improved version of an originally masterful and brilliant work.--H. P. K. (shrink)

Quine’s general approach is to treat ontology as a matter of what a theory says there is. This turns ontology into a question of which existential statements are consequences of that theory. This approach is contrasted favourably with the view that takes ontological commitment as a relation to things. However within the broadly Quinean approach we can distinguish different accounts, differing as to the nature of the consequence relation best suited for determining those consequences. It is suggested that (...) Quine’s own narrowly formal account fails. Then a consideration of the necessitation approach championed by Jackson and Lewis shows that it does not do justice to the role of acknowledging consequences in determining rationality. I suggest that an approach which puts a priori consequence as the key relation does a better job. The task of spelling out the nature of a priori consequence is sketched, along with reasons to doubt the adequacy of the double indexing approach to analysing the a priori. The sorts of relations we can stand in to theories which allow us to inherit ontological commitments are touched on with a number of important philosophical strategies for introducing belief-like attitudes which nevertheless avoid ontological commitment. (shrink)

It is commonplace to view the rigor of the mathematics in Euclid's Elements in the way an experienced teacher views the work of an earnest beginner: respectable relative to an early stage of development, but ultimately flawed. Given the close connection in content between Euclid's Elements and high-school geometry classes, this is understandable. Euclid, it seems, never realized what everyone who moves beyond elementary geometry into more advanced mathematics is now customarily taught: a fully rigorous proof cannot rely on geometric (...) intuition. In his arguments he seems to call illicitly upon our understanding of how objects like triangles and circles behave rather than grounding everything rigorously in axioms.Though widespread, the attitude is in a historical sense puzzling. For over two millenia, mathematicians of all levels studied the arguments in Elements and found nothing substantial missing. The book, on the contrary, represented the limit of mathematical explicitness. It served as the paradigm for careful and exact reasoning. How it could enjoy this reputation for so long is mysterious if careful and exact reasoning demands that all inferences be grounded in a modern axiomatic theory in the way Hilbert did in his famous Foundations of Geometry. By these standards, Euclid's work is deeply flawed. The holes in his arguments are not minor and excusable, but massive and cryptic.With his book Euclid and His Twentieth Century Rivals, Nathaniel Miller makes substantial progress in clearing this mystery up. The book is an explication of FG , a formal system of proof developed by Miller which reconstructs Euclid's deductions as essentially diagrammatic. The holes in Euclid's arguments are taken to appear precisely at those steps which are unintelligible without an accompanying geometric diagram. Interpreting the reasoning in the Elements in terms of a modern axiomatization , …. (shrink)

I explore some ways in which one might base an account of the fundamental metaphysics of geometry on the mathematical theory of Linear Structures recently developed by Tim Maudlin (2010). Having considered some of the challenges facing this approach, Idevelop an alternative approach, according to which the fundamental ontology includes concrete entities structurally isomorphic to functions from space-time points to real numbers.