In the last times some scholars tried to characterize Einstein’s distinction between ‘constructive’ – i.e. deductive - theories and ‘principle’ theories, the latter ones being preferred by Einstein. Here this distinction is qualified by an accurate inspection on past physical theories. Some previous theories are surely non-deductive theories. By a mutual comparison of them a set of features - mainly the arguing according to non-classical logic - are extracted. They manifest a new ideal model of organising a theory. Einstein’s (...) paper of 1905 on quanta, qualified by him as a ‘principle theory’, is interpreted according to this model of theory. Some unprecedented characteristic features are manifested. At the beginning of the same paper Einstein declared one more dichotomy about the kind of mathematics in theoretical physics. These two dichotomies are recognised as representing the foundations of theoretical physics. With respect to these dichotomies the choices by Einstein in the paper on quanta are the alternative choices to Newton’s ones. This fact gives reason to the ‘revolutionary’ nature that Einstein attributed to his paper. (shrink)

This paper centers on the implicit metaphysics beyond the Theory of Relativity and the Principle of Indeterminacy – two revolutionary theories that have changed 20th Century Physics – using the perspective of Husserlian Transcedental Phenomenology. Albert Einstein (1879-1955) and Werner Heisenberg (1901-1976) abolished the theoretical framework of Classical (Galilean- Newtonian) physics that has been complemented, strengthened by Cartesian metaphysics. Rene Descartes (1596- 1850) introduced a separation between subject and object (as two different and self- enclosed substances) while Galileo and (...) Newton did the “mathematization” of the world. Newtonian physics, however, had an inexplicable postulate of absolute space and absolute time – a kind of geometrical framework, independent of all matter, for the explication of locality and acceleration. Thus, Cartesian modern metaphysics and Galilean- Newtonian physics go hand in hand, resulting to socio- ethical problems, materialism and environmental destruction. Einstein got rid of the Newtonian absolutes and was able to provide a new foundation for our notions of space and time: the four (4) dimensional space- time; simultaneity and the constancy of velocity of light, and the relativity of all systems of reference. Heisenberg, following the theory of quanta of Max Planck, told us of our inability to know sub- atomic phenomena and thus, blurring the line between the Cartesian separation of object and subject, hence, initiating the crisis of the foundations of Classical Physics. But the real crisis, according to Edmund Husserl (1859-1930) is that Modern (Classical) Science had “idealized” the world, severing nature from what he calls the Lebenswelt (life- world), the world that is simply there even before it has been reduced to mere mathematical- logical equations. Husserl thus, aims to establish a new science that returns to the “pre- scientific” and “non- mathematized” world of rich and complex phenomena: phenomena as they “appear to human consciousness”. To overcome the Cartesian equation of subject vs. object (man versus environment), Husserl brackets the external reality of Newtonian Science (epoché = to put in brackets, to suspend judgment) and emphasizes (1) the meaning of “world” different from the “world” of Classical Physics, (2) the intentionality of consciousness (L. in + tendere = to tend towards, to be essentially related to or connected to) which means that even before any scientific- logical description of the external reality, there is always a relation already between consciousness and an external reality. The world is the equiprimordial existence of consciousness and of external reality. My paper aims to look at this new science of the pre- idealized phenomena started by Husserl (a science of phenomena as they appear to conscious, human, lived experience, hence he calls it phenomenology), centering on the life- world and the intentionality of consciousness, as providing a new way of looking at ourselves and the world, in short, as providing a new metaphysics (as an antidote to Cartesian metaphysics) that grounds the revolutionary findings of Einstein and Heisenberg. The environmental destruction, technocracy, socio- ethical problems in the modern world are all rooted in this Galilean- Newtonian- Cartesian interpretation of the relationship between humans and the world after the crumbling of European Medieval Ages. Friedrich Nietzsche (1844-1900) comments that the modern world is going toward a nihilism (L. nihil = nothingness) at the turn of the century. Now, after two World Wars and the dropping of Atomic bomb, the capitalism and imperialism on the one hand, and on the other hand the poverty, hunger of the non- industrialized countries alongside destruction of nature (i.e., global warming), Nietzsche might be correct: unless humanity changes the way it looks at humanity and the kosmos. The works of Einstein, Heisenberg and Husserl seem to be pointing the way for us humans to escape nihilism by a “great existential transformation.” What these thinkers of post- modernity (after Cartesian/ Newtonian/ Galilean modernity) point to are: a) a new therapeutic way of looking at ourselves and our world (metaphysics) and b) a new and corrective notion of “rationality” (different from the objectivist, mathematico- logical way of thinking). This paper is divided into four parts: 1) A summary of Classical Physics and a short history of Quantum Theory 2) Einstein’s Special and General Relativity and Heisenberg’s Indeterminacy Principle 3) Husserl’s discussion of the Crisis of Europe, the life- world and intentionality of consciousness 4) A Metaphysics of Relativity and Indeterminacy and a Corrective notion of Rationality in Husserl’s Phenomenology . (shrink)

FROM THE HISTORY OF PHYSICS TO THE DISCOVERY OF THE FOUNDATIONS OF PHYSICS By Antonino Drago, formerly at Naples University “Federico II”, Italy – drago@unina,.it (Size : 391.800 bytes 75,400 words) The book summarizes a half a century author’s work on the foundations of physics. For the forst time is established a level of discourse on theoretical physics which at the same time is philosophical in nature (kinds of infinity, kinds of organization) and formal (kinds of (...) class='Hi'>mathematics, kinds of logic). This double side of the two dichotomies assures a deep comprehension of theoretical physics by avoiding both a purely philosophical analysis and a purely formal analysis, each manifestly insufficient for representing all the aspects of theoretical physics. Among the many formulations of a physical theory, e.g. Mechanics, also Mach(1) recognized technical differences only, Instead my suggestion is to consider their differences as revealing the characteristic features of their foundations. No more radical differences may exist than those concerning both their kinds of Mathematics and their kinds of Logic. As a fact, after the 20th Century within each of these sciences there exist two antagonist foundations, within Mathematics either the classical one or the constructive one(2); within Mathematical Logic either the classical logic or the intuitionist one(3). Let us take Mechanics as an instance. Being the choices of the Newton’s formulation respectively the actual infinity of the differential equations relying on the infinitesimals and the classical logic, a formulation based on the alternative choices is Lazare Carnot’s,(4) whose mathematics is no more than algebraic-trigonometric and the logic is the intuitionist one, because this formulation makes use of doubly negated propositions, whose corresponding affirmative propositions are idealistic or false; i.e. in these cases the law of double negation fails, as in intuitionist logic occurs. By considering these two dichotomies as the foundations of the physical theories, each couple of choices upon them fashions one out four models of scientific theory, which are baptized through the authors of their most representative theories: Newtonian, Carnotian, Lagrangian, Descartesian. In correspondence four versions of the principle of inertia are recognized, as suggested by respectively: Descartes. Lazare Carnot, Enriques and Cavalieri.(5) All that suggests that the four models of scientific theory may be graphically represented as a compass orientating our minds amid the so numerous physical theories. By taking these dichotomies as interpretative categories, a new interpretative history of Physics including both classical and modern physics results according to a quadrilinear development. The birth of modern physics is characterized by the two theories - Einstein’s paper on special relativity and Einstein’s first paper on quanta - whose choices are the alternative ones to those of the previously dominant physical theory, Newtonian mechanics: in the latter paper Einstein i) declares the dichotomy on the kinds of mathematics (“Introduction”) and then he chooses the discrete mathematics; ii) by using doubly negated propositions he organizes his theory in an alternative way to the deductive-axiomatic one.(6) Moreover, a new history of Philosophy of knowledge results. Kant’s first two a priori transcendental categories represent the physical interpretation of the two choices out of the four pairs of choices on the two dichotomies, i.e. the choices of the dominant theory of mechanics, Newton’s. Hegel’s dialectic was a misleading attempt of anticipating the subsequent intuitionist logic. The book starts by a comparison of different formulations of thermodynamics in order to recognize the first dichotomy on the kind of organization. In chapter 2 the dichotomy on the kind of infinity is recognized through a comparison of Newrton’s mechanics and Lazare Carnot’s. A quickly history of the other classical physical theories is illustrated in chapter 3; it results a foundational conflict between the last two theories, and hence a conflict between their opposite couples of choices. The two main theories of modern physics, special realtivity and quantum mechanics confirm the foundational role played by the two dichotomies which gives reason for the radical change in the history of theoretical physics. Indeed, the opposition of the two main pairs of choices gives reason of the crisis in theoretical physics in the early 1900s. As a global result, the book represents the first interpretation of the entire history of Physics, both classical and modern; This fact proves that the four models of scientific theories can works as a compass (that of the front cover) suggesting a direction among the many physical theories. This new history of physics leads to re-visit both Koyré’s and Kuhn’s historiographies. Their interpretative categories are interpreted and explained through the two dichotomies so that it is possible to suggest à la Koyré categories based on the alternative choices theories to Newton’s as the suitable categories for interpreting the alternative theories to Newton’s mechanics. All that suggests a new interpretation of the crucial step in the history of Western philosophy of knowledge, i.e. the passage from Leibniz to Kant: Leibniz’s suggestion of the two labyrinths of human minds may be seen as a close anticipation of the two above dichotomies. Kant applied them in order to construct the well-known four cosmological proofs, which however he misinterpreted as leading to contradictions, instead to tow different methods of investigation corresponding to the two different kinds of logic.(7) Bibliography 1. Mach E. (1883), Die Mechanik, Leipzig: Brockhaus, Chap. IV, Sect. III. 2. Bishop E. (1967), Constructive Analysis, New York: Mc Graw-Hill. 3. Heyting A. (1962), Intuitionism. An Introduction, Amsterdam: North-Holland. 4. L. Carnot (1783), Essai on the Machines en général, Defay, Dijion (Enlish translation: Springer, Berlin, 2020). Drago A. (2004), “A new appraisal of old formulations of mechanics”, Am. J. Phys., 72(3), pp. 407-9. 5. Vella M.R. (2007), “Le quattro versioni del principio di inerzia”, in M. Leone et al. (eds.), L’eredità di Fermi, Majorana e altri Temi. Napoli: ESI, pp. 147-151. 6. Drago A. (2014), “The emergence of two options from Einstein°s first paper on Quanta”, in Pisano R., Capecchi D., Lukesova A. (eds.), Physics, Astronomy and Engineering. Critical Problems in the History of Science and Society, Scientia Socialis P., Siauliai, 2013, pp. 227-234. 7. This and all in the above points are illustrated by the book Drago A. (2017), Dalla Storia della Fisica ai Fondamenti della Scienza, Roma: Aracne. (shrink)

David Lewis has argued that “having an experience is the best way or perhaps the only way, of coming to know what that experience is like”; when an experience is of a sufficiently new sort, mere science lessons are not enough. Developing this Lewisian line, L.A. Paul has suggested that some experiences are epistemically transformative. Until an individual has such an experience it remains epistemically inaccessible to her. No amount of stories and theories and testimony from others can teach her (...) what it is like to have it, nor is she able to achieve this knowledge by way of imaginative projection. It’s this last claim that is the focus of this paper. In particular, I explore the case for the claim that some experiences are in principle imaginatively inaccessible to someone who has not undergone the experience itself or one relevantly similar. As I will suggest, this case is not as strong as is often thought. Close attention to the mechanisms of imagination, and in particular, to cases of skilled imaginers, suggests how techniques of imaginative scaffolding can sometimes be used to give us epistemic access to experiences we have not had, even ones that are radically different from any that we have had before. As a result, considerably fewer experiences remain imaginatively out of reach than proponents of transformative experience would have us believe. Experience may well be the best teacher, but this paper aims to show that imagination comes in a close second. (shrink)

Philosophers in the Western tradition have both theorized about imagination and used imagination in their theorizing about other matters. In this chapter, I first provide a brief overview of philosophical theorizing about imagination with a special focus on its relation to other mental states such as belief and perception. I then turn to a discussion of the methodological role that imagination has played in philosophy. I here focus on the imaginability principle, i.e., the claim that the imaginability of a (...) given scenario entails that such a scenario is in some sense possible. Relying on this kind of principle, philosophers have used imagination to justify theories in domains such as philosophy of mind, metaphysics and ethics. (shrink)

A principle, according to which any scientific theory can be mathematized, is investigated. Social science, liberal arts, history, and philosophy are meant first of all. That kind of theory is presupposed to be a consistent text, which can be exhaustedly represented by a certain mathematical structure constructively. In thus used, the term “theory” includes all hypotheses as yet unconfirmed as already rejected. The investigation of the sketch of a possible proof of the principle demonstrates that it should be (...) accepted rather a metamathematical axiom about the relation of mathematics and reality. The main statement is formulated as follows: Any scientific theory admits isomorphism to some mathematical structure in a way constructive. Its investigation needs philosophical means. Husserl’s phenomenology is what is used, and then the conception of “bracketing reality” is modelled to generalize Peano arithmetic in its relation to set theory in the foundation of mathematics. The obtained model is equivalent to the generalization of Peano arithmetic by means of replacing the axiom of induction with that of transfinite induction. The sketch of the proof is organized in five steps: a generalization of epoché; involving transfinite induction in the transition between Peano arithmetic and set theory; discussing the finiteness of Peano arithmetic; applying transfinite induction to Peano arithmetic; discussing an arithmetical model of reality. Accepting or rejecting the principle, two kinds of mathematics appear differing from each other by its relation to reality. Accepting the principle, mathematics has to include reality within itself in a kind of Pythagoreanism. These two kinds are called in paper correspondingly Hilbert mathematics and Gödel mathematics. The sketch of the proof of the principle demonstrates that the generalization of Peano arithmetic as above can be interpreted as a model of Hilbert mathematics into Gödel mathematics therefore showing that the former is not less consistent than the latter, and the principle is an independent axiom. The present paper follows a pathway grounded on Husserl’s phenomenology and “bracketing reality” to achieve the generalized arithmetic necessary for the principle to be founded in alternative ontology, in which there is no reality external to mathematics: reality is included within mathematics. That latter mathematics is able to self-found itself and can be called Hilbert mathematics in honour of Hilbert’s program for self-founding mathematics on the base of arithmetic. The principle of universal mathematizability is consistent to Hilbert mathematics, but not to Gödel mathematics. Consequently, its validity or rejection would resolve the problem which mathematics refers to our being; and vice versa: the choice between them for different reasons would confirm or refuse the principle as to the being. An information interpretation of Hilbert mathematics is involved. It is a kind of ontology of information. The Schrödinger equation in quantum mechanics is involved to illustrate that ontology. Thus the problem which of the two mathematics is more relevant to our being is discussed again in a new way A few directions for future work can be: a rigorous formal proof of the principle as an independent axiom; the further development of information ontology consistent to both kinds of mathematics, but much more natural for Hilbert mathematics; the development of the information interpretation of quantum mechanics as a mathematical one for information ontology and thus Hilbert mathematics; the description of consciousness in terms of information ontology. (shrink)

When this article was first planned, writing was going to be exclusively about two things - the origin of life and human evolution. But it turned out to be out of the question for the author to restrict himself to these biological and anthropological topics. A proper understanding of them required answering questions like “What is the nature of the universe – the home of life – and how did it originate?”, “How can time travel be removed from fantasy and (...) science fiction, to be made scientific and practical?”, and “How can the proposed young age of genus Homo be made to actually be reasonable – when simply stating it would be solid ground for instant rejection and dismissal?” The result is that the article also talks about subjects like Artificial Intelligence, General Relativity, and cosmology. -/- From where did life originate? God? Evolution? Panspermia? If the tendency of humans and scientists to regard undiscovered science as pseudoscience can be overcome, Einstein gave another alternative to consider when he introduced General Relativity. Time isn’t linear – progressing in a straight line from past to present to future. That assumption ignores Relativity which states that space AND TIME are curved. Where did life and the genetic code come from? Can the answer build AI? -/- The first question can be answered by the section of this article titled SETI, Evolution, and Time which says life (possibly multicellular and intelligent) and the genetic code came from humans acquiring knowledge of these things over the centuries, then applying that knowledge – via terraforming, accumulation of raw materials like amino acids and nucleic acids, genetic engineering - to a time in the past when life didn’t exist. From that origin, life evolved through innumerable mutations and adaptations, with humans once again acquiring knowledge of it in cyclic (nonlinear) time. -/- The second question is answered by saying artificial intelligence (AI) as the product of life is only half of the equation. The other half refers to Relativity’s curved space-time and violation of the notion that time always travels from past to future. We have always lived in an artificially intelligent, non-probabilistic universe where everything in time and space is connected into one thing by quantum entanglement – making the brain and genes products of binary-digit activity or artificial intelligence (life is not merely dependent on biology’s “lock and key” mechanisms but also possesses AI). -/- The earliest documented representative of the genus Homo is Homo habilis, which evolved around 2.8 million years ago. Scientists used to believe there was a straight line from H. habilis to us, Homo sapiens. This article will use the “advanced” waves loved by Physics Nobel laureate Richard Feynman, view the history of science through the lens of Conic Sections applied to Relativity’s curved space-time, and incorporate the necessity of so-called imaginary time * – popularized by Prof. Stephen Hawking. While the evolutionary proposals are more in agreement with this early straight line than with modern theories, Albert Einstein’s General Relativity is used to transform the straight line into a curved line, ultimately concluding that Homo habilis (H. habilis) originated only (and unbelievably, as far as today’s science and technology is concerned) ~250,000 years ago. Other branches and dead ends of Homo – e.g. Neanderthals – are the result of mutations and adaptations, with the resultant modifications to anatomy and physiology. The surprisingly young age of H. habilis allows nearly 200,000 years for habilis, or one of its descendants, to reach Australia … if this country’s indigenous Aboriginal population did, as claimed, reach this “island continent” 60,000 years ago. -/- * The ultraviolet catastrophe, also called the Rayleigh–Jeans catastrophe, is a failure of classical physics to predict observed phenomena: it can be shown that a blackbody - a hypothetical perfect absorber and radiator of energy - would release an infinite amount of energy, contradicting the principles of conservation of energy and indicating that a new model for the behaviour of blackbodies was needed. At the start of the 20th century, physicist Max Planck derived the correct solution by making some strange (for the time) assumptions. In particular, Planck assumed that electromagnetic radiation can only be emitted or absorbed in discrete packets, called quanta. Albert Einstein postulated that Planck's quanta were real physical particles (what we now call photons), not just a mathematical fiction. From there, Einstein developed his explanation of the photoelectric effect (when quanta or photons of light shine on certain metals, electrons are released and can form an electric current). So it appears entirely possible that another supposed mathematical trickery (imaginary time and the y-axis of Wick rotation) will find practical application in the future. -/- The article includes mathematical references to cosmology (spoiler alert – you’ll read about things like Vector-Tensor-Scalar Geometry, topology, the “eternal present”, Einstein’s Unified Field, the inverse-square law, and there being no Big Bang and no multiverse - but there will also be no equations). -/- The other subheadings in this essay are – -/- NONLINEAR TIME AND ELECTRICAL ENGINEERING (about a 2009 electrical engineering experiment at America’s Yale University, and cosmic wormholes) -/- BITS AND TOPOLOGY (base-2 maths aka Binary digiTS, Mobius strips, and figure-8 Klein bottles) -/- WICK ROTATION, CAUSALITY, AND UNITING TIME (do past, present and future co-exist in an “eternal present”?) -/- DIGITAL BRAIN, DIGITAL UNIVERSE (if the brain and the universe are ultimately composed of binary digits, we'll someday be able to do the same things with the brain and universe that we now do with computers) -/- PROPOSAL: HUMAN AND ANIMAL INSTINCTS ARE THE RESULT OF THE UNIVERSE BEING UNIFIED BY BINARY DIGITS (AND TOPOLOGY) (If everything in the universe is ultimately composed of electronic BITS, then the universe must possess Artificial Intelligence - some prefer the term Cosmic Consciousness) -/- INFORMATION THEORY CONQUERS A RED GIANT (preserving Earth by keeping the Sun near today’s level of activity forever). (shrink)

The paper explicates the stages of the author’s philosophical evolution in the light of Kopnin’s ideas and heritage. Starting from Kopnin’s understanding of dialectical materialism, the author has stated that category transformations of physics has opened from conceptualization of immutability to mutability and then to interaction, evolvement and emergence. He has connected the problem of physical cognition universals with an elaboration of the specific system of tools and methods of identifying, individuating and distinguishing objects from a scientific theory domain. The (...) role of vacuum conception and the idea of existence (actual and potential, observable and nonobservable, virtual and hidden) types were analyzed. In collaboration with S.Crymski heuristic and regulative functions of categories of substance, world as a whole as well as postulates of relativity and absoluteness, and anthropic and self-development principles were singled out. Elaborating Kopnin’s view of scientific theories as a practically effective and relatively true mapping of their domains, the author in collaboration with M. Burgin have originated the unified structure-nominative reconstruction (model) of scientific theory as a knowledge system. According to it, every scientific knowledge system includes hierarchically organized and complex subsystems that partially and separately have been studied by standard, structuralist, operationalist, problem-solving, axiological and other directions of the current philosophy of science. 1) The logico-linguistic subsystem represents and normalizes by means of different, including mathematical, languages and normalizes and logical calculi the knowledge available on objects under study. 2) The model-representing subsystem comprises peculiar to the knowledge system ways of their modeling and understanding. 3) The pragmatic-procedural subsystem contains general and unique to the knowledge system operations, methods, procedures, algorithms and programs. 4) From the viewpoint of the problem-heuristic subsystem, the knowledge system is a unique way of setting and resolving questions, problems, puzzles and tasks of cognition of objects into question. It also includes various heuristics and estimations (truth, consistency, beauty, efficacy, adequacy, heuristicity etc) of components and structures of the knowledge system. 5) The subsystem of links fixes interrelations between above-mentioned components, structures and subsystems of the knowledge system. The structure-nominative reconstruction has been used in the philosophical and comparative case-studies of mathematical, physical, economic, legal, political, pedagogical, social, and sociological theories. It has enlarged the collection of knowledge structures, connected, for instance, with a multitude of theoreticity levels and with an application of numerous mathematical languages. It has deepened the comprehension of relations between the main directions of current philosophy of science. They are interpreted as dealing mainly with isolated subsystems of scientific theory. This reconstruction has disclosed a variety of undetected knowledge structures, associated also, for instance, with principles of symmetry and supersymmetry and with laws of various levels and degrees. In cooperation with the physicist Olexander Gabovich the modified structure-nominative reconstruction is in the processes of development and justification. Ideas and concepts were also in the center of Kopnin’s cognitive activity. The author has suggested and elaborated the triplet model of concepts. According to it, any scientific concept is a dependent on cognitive situation, dynamical, multifunctional state of scientist’s thinking, and available knowledge system. A concept is modeled as being consisted from three interrelated structures. 1) The concept base characterizes objects falling under a concept as well as their properties and relations. In terms of volume and content the logical modeling reveals partially only the concept base. 2) The concept representing part includes structures and means (names, statements, abstract properties, quantitative values of object properties and relations, mathematical equations and their systems, theoretical models etc.) of object representation in the appropriate knowledge system. 3) The linkage unites a structures and procedures that connect components from the abovementioned structures. The partial cases of the triplet model are logical, information, two-tired, standard, exemplar, prototype, knowledge-dependent and other concept models. It has introduced the triplet classification that comprises several hundreds of concept types. Different kinds of fuzziness are distinguished. Even the most precise and exact concepts are fuzzy in some triplet aspect. The notions of relations between real scientific concepts are essentially extended. For example, the definition and strict analysis of such relations between concepts as formalization, quantification, mathematization, generalization, fuzzification, and various kinds of identity are proposed. The concepts «PLANET» and «ELEMENTARY PARTICLE» and some of their metamorphoses were analyzed in triplet terms. The Kopnin’s methodology and epistemology of cognition was being used for creating conception of the philosophy of law as elaborating of understanding, justification, estimating and criticizing legal system. The basic information on the major directions in current Western philosophy of law (legal realism, feminism, criticism, postmodernism, economical analysis of law etc.) is firstly introduced to the Ukrainian audience. The classification of more than fifty directions in modern legal philosophy is suggested. Some results of historical, linguistic, scientometric and philosophic-legal studies of the present state of Ukrainian academic science are given. (shrink)

At first sight the Theory of Computation i) relies on a kind of mathematics based on the notion of potential infinity; ii) its theoretical organization is irreducible to an axiomatic one; rather it is organized in order to solve a problem: “What is a computation?”; iii) it makes essential use of doubly negated propositions of non-classical logic, in particular in the word expressions of the Church-Turing’s thesis; iv) its arguments include ad absurdum proofs. Under such aspects, it is like (...) many other scientific theories, in particular the first theories of both mechanical machines and heat machines. A more accurate examination of Theory of Computation shows a difference from the above mentioned theories in its essentially including an odd notion, “thesis”, to which no theorem corresponds. On the other hand, arguments of each of the other theories conclude a doubly negative predicate which then, by applying the inverse translation of the ‘negative one’, is translated into the corresponding affirmative predicate. By also taking into account three criticisms to the current Theory of Computation a rational re-formulation of it is sketched out; to Turing-Church thesis of the usual theory corresponds a similar proposition, yet connecting physical total computation functions with constructive mathematical total computation functions. -/- . (shrink)

The paper follows the track of a previous paper “Natural cybernetics of time” in relation to history in a research of the ways to be mathematized regardless of being a descriptive humanitarian science withal investigating unique events and thus rejecting any repeatability. The pathway of classical experimental science to be mathematized gradually and smoothly by more and more relevant mathematical models seems to be inapplicable. Anyway quantum mechanics suggests another pathway for mathematization; considering the historical reality as dual or “complimentary” (...) to its model. The historical reality by itself can be seen as mathematical if one considers it in Hegel’s manner as a specific interpretation of the totality being in a permanent self-movement due to being just the totality, i.e. by means of the “speculative dialectics” of history, however realized as a theory both mathematical and empirical and thus falsifiable as by logical contradictions within itself as emprical discrepancies to facts. Not less, a Husserlian kind of “historical phenomenology” is possible along with Hegel’s historical dialectics sharing the postulate of the totality (and thus, that of transcendentalism). One would be to suggest the transcendental counterpart: an “eternal”, i.e. atemporal and aspatial history to the usual, descriptive temporal history, and equating the real course of history as with its alternative, actually happened branches of the regions of the world as with only imaginable, counterfactual histories. That universal and transcendental history is properly mathematical by itself, even in a neo-Pythagorean model. It is only represented on the temporal screen of the standard historiography as a discrete series of unique events. An analogy to the readings of the apparatus in quantum mechanics can be useful. Even more, that analogy is considered rigorously and logically as implied by the mathematical transcendental history and sharing with it the same quantity of information as an invariant to all possible alternative or counterfactual histories. One can involve the hypothetical external viewpoint to history (as if outside of history or from “God’s viewpoint to it), to which all alternative or counterfactual histories can be granted as a class of equivalence sharing the same information (i.e. the number choices, but realized in different sequence or adding redundant ones in each branch) being similar and even mathematically isomorphic to Feynman trajectories in quantum mechanics. Particularly, a fundamental law of mathematical history, the law of least choice of the real historical pathway is deducible from the same approach. Its counterpart in physics is the well-known and confirmed law of least action as far as the quantity of action corresponds equivocally to the quantity of information or that of number elementary historical choices. (shrink)

Information Theory, Evolution and The Origin ofLife: The Origin and Evolution of Life as a Digital Message: How Life Resembles a Computer, Second Edition. Hu- bert P. Yockey, 2005, Cambridge University Press, Cambridge: 400 pages, index; hardcover, US $60.00; ISBN: 0-521-80293-8. The reason that there are principles of biology that cannot be derived from the laws of physics and chemistry lies simply in the fact that the genetic information content of the genome for constructing even the simplest organisms is much (...) larger than the information content of these laws. Yockey in his previous book (1992, 335) In this new book, Information Theory, Evolution and The Origin ofLife, Hubert Yockey points out that the digital, segregated, and linear character of the genetic information system has a fundamental significance. If inheritance would blend and not segregate, Darwinian evolution would not occur. If inheritance would be analog, instead of digital, evolution would be also impossible, because it would be impossible to remove the effect of noise. In this way, life is guided by information, and so information is a central concept in molecular biology. The author presents a picture of how the main concepts of the genetic code were developed. He was able to show that despite Francis Crick's belief that the Central Dogma is only a hypothesis, the Central Dogma of Francis Crick is a mathematical consequence of the redundant nature of the genetic code. The redundancy arises from the fact that the DNA and mRNA alphabet is formed by triplets of 4 nucleotides, and so the number of letters (triplets) is 64, whereas the proteome alphabet has only 20 letters (20 amino acids), and so the translation from the larger alphabet to the smaller one is necessarily redundant. Except for Tryptohan and Methionine, all amino acids are coded by more than one triplet, therefore, it is undecidable which source code letter was actually sent from mRNA. This proof has a corollary telling that there are no such mathematical constraints for protein-protein communication. With this clarification, Yockey contributes to diminishing the widespread confusion related to such a central concept like the Central Dogma. Thus the Central Dogma prohibits the origin of life "proteins first." Proteins can not be generated by "self-organization." Understanding this property of the Central Dogma will have a serious impact on research on the origin of life. (shrink)

The current definition of Constructive mathematics as “mathematics within intuitionist logic” ignores two fundamental issues. First, the kind of organization of the theory at issue. I show that intuitionist logic governs a problem-based organization, whose model is alternative to that of the deductive-axiomatic organization, governed by classical logic. Moreover, this dichotomy is independent of that of the kind of infinity, either potential or actual, to which respectively correspond constructive mathematical and classical mathematical tools. According to this view a (...) mathematical theory is based on the choices regarding these two dichotomies. As an example of this kind of foundation, arithmetic is rationally re-founded on constructive mathematical tools and the model of the problem-based organization. In conclusion, constructive mathematics is not only mathematics making use of constructive tools in intuitionist logic but also organized according to around a basic problem, solved by a method discovered using intuitionist logic. (shrink)

The aim of this paper is to clarify the role of category theory in the foundations of mathematics. There is a good deal of confusion surrounding this issue. A standard philosophical strategy in the face of a situation of this kind is to draw various distinctions and in this way show that the confusion rests on divergent conceptions of what the foundations of mathematics ought to be. This is the strategy adopted in the present paper. It is divided (...) into 5 sections. We first show that already in the set theoretical framework, there are different dimensions to the expression foundations of. We then explore these dimensions more thoroughly. After a very short discussion of the links between these dimensions, we move to some of the arguments presented for and against category theory in the foundational landscape. We end up on a more speculative note by examining the relationships between category theory and set theory. (shrink)

In the present paper, the so-called Einstein’s causality is scrutinized and proven to be an illusion, a sort of mathematical fiction, and the causality as a well-established universal principle would be absolutely valid for subluminal, luminal and superluminal signals under any natural and/or artificial circumstances. It is also shown that any attempt to apply special relativity theory to superluminality of physical phenomena would be a complete waste of time since this theory has the light speed in vacuum as an (...) upper limiting speed in its proper validity domain of applications. (shrink)

To make out in what way Einstein’s manifold 1905 ‘annus mirabilis’ writings hang together one has to take into consideration Einstein’s strive for unity evinced in his persistent attempts to reconcile the basic research traditions of classical physics. Light quanta hypothesis and special theory of relativity turn out to be the contours of a more profound design, mere milestones of implementation of maxwellian electrodynamics, statistical mechanics and thermodynamics reconciliation programme. The conception of luminiferous ether was an insurmountable obstacle for Einstein’s (...) statistical thermodynamics in which the leading role was played by the light quanta paper. In his critical stand against the entrenched research traditions of classical physics Einstein was apparently influenced by David Hume and Ernst Mach. However, when related to creative momenta, Einstein’s 1905 unificationist modus operandi was drawn upon Mach’s principle of economy of thought taken in the context of his ‘instinctive knowledge’ doctrine and with promising inclinations of Kantian epistemology presuming the coincidence of both constructing theory and integrating intuition of Principle. (shrink)

The notion of implicit commitment has played a prominent role in recent works in logic and philosophy of mathematics. Although implicit commitment is often associated with highly technical studies, it remains so far an elusive notion. In particular, it is often claimed that the acceptance of a mathematical theory implicitly commits one to the acceptance of a Uniform Reflection Principle for it. However, philosophers agree that a satisfactory analysis of the transition from a theory to its reflection (...) class='Hi'>principle is still lacking. We provide an axiomatization of the minimal commitments implicit in the acceptance of a mathematical theory. The theory entails that the Uniform Reflection Principle is part of one's implicit commitments, and sheds light on the reason why this is so. We argue that the theory has interesting epistemological consequences in that it explains how justified belief in the axioms of a theory can be preserved to the corresponding reflection principle. The theory also improves on recent proposals for the analysis of implicit commitment based on truth or epistemic notions. (shrink)

What is consciousness and why is it so philosophically and scientifically puzzling? For many years philosophers approached this question assuming a standard physicalist framework on which consciousness can be explained by contemporary physics, biology, neuroscience, and cognitive science. This book is a debate between two philosophers who are united in their rejection of this kind of "standard" physicalism - but who differ sharply in what lesson to draw from this. Amy Kind defends dualism 2.0, a thoroughly modern version of dualism (...) (the theory that there are two fundamentally different kinds of things in the world: those that are physical and those that are mental) decoupled from any religious or non-scientific connotations. Daniel Stoljar defends non-standard physicalism, a kind of physicalism different from both the standard version and dualism 2.0. The book presents a cutting-edge assessment of the philosophy of consciousness and provides a glimpse at what the future study of this area might bring. (shrink)

The subject of this essay-based dissertation is Hume’s natural philosophy. The dissertation consists of four separate essays and an introduction. These essays do not only treat Hume’s views on the topic of natural philosophy, but his views are placed into a broader context of history of philosophy and science, physics in particular. The introductory section outlines the historical context, shows how the individual essays are connected, expounds what kind of research methodology has been used, and encapsulates the research contributions of (...) the essays. The first essay treats Newton’s experimentalist methodology in gravity research and its relation to Hume’s causal philosophy. It is argued that Hume does not see the relation of cause and effect as being founded on a priori reasoning, similar to the way in which Newton criticized non-empirical hypotheses about the causal properties of gravity. Contrary to Hume’s rules of causation, the universal law does not include a reference either to contiguity or succession, but Hume accepts it in interpreting the force and the law of gravity instrumentally. The second article considers Newtonian and non-Newtonian elements in Hume more broadly. He is sympathetic to many prominently Newtonian themes in natural philosophy, such as experimentalism, critique of hypotheses, inductive proof, and the critique of Leibnizian principles of sufficient reason and intelligibility. However, Hume is not a Newtonian philosopher in many respects: his conceptions regarding space and time, the vacuum, the specifics of causation, the status of mechanism, and the reality of forces differ markedly from Newton’s related conceptions. The third article focuses on Hume’s Fork and the proper epistemic status of propositions of mixed mathematics. It is shown that the epistemic status of propositions of mixed mathematics, such as those concerning laws of nature, is that of matters of fact. The reason for this is that the propositions of mixed mathematics are dependent on the Uniformity Principle. The fourth article analyzes Einstein’s acknowledgement of Hume regarding special relativity. The views of the scientist and the philosopher are juxtaposed, and it is argued that there are two common points to be found in their writings, namely an empiricist theory of ideas and concepts and a relationist ontology regarding space and time. (shrink)

While the philosophers of science discuss the General Relativity, the mathematical physicists do not question it. Therefore, there is a conflict. From the theoretical point view “the question of precisely what Einstein discovered remains unanswered, for we have no consensus over the exact nature of the theory 's foundations. Is this the theory that extends the relativity of motion from inertial motion to accelerated motion, as Einstein contended? Or is it just a theory that treats gravitation geometrically in the spacetime (...) setting?”. “The voices of dissent proclaim that Einstein was mistaken over the fundamental ideas of his own theory and that their basic principles are simply incompatible with this theory. Many newer texts make no mention of the principles Einstein listed as fundamental to his theory; they appear as neither axiom nor theorem. At best, they are recalled as ideas of purely historical importance in the theory's formation. The very name General Relativity is now routinely condemned as a misnomer and its use often zealously avoided in favour of, say , Einstein's theory of gravitation What has complicated an easy resolution of the debate are the alterations of Einstein's own position on the foundations of his theory”, (Norton, 1993). Of other hand from the mathematical point view the “General Relativity had been formulated as a messy set of partial differential equations in a single coordinate system. People were so pleased when they found a solution that they didn't care that it probably had no physical significance” (Hawking and Penrose, 1996). So, during a time, the declaration of quantum theorists:“I take the positivist viewpoint that a physical theory is just a mathematical model and that it is meaningless to ask whether it corresponds to reality. All that one can ask is that its predictions should be in agreement with observation.” (Hawking and Penrose, 1996)seemed to solve the problem, but recently achieved with the help of the tightly and collectively synchronized clocks in orbit frontally contradicts fundamental assumptions of the theory of Relativity. These observations are in disagree from predictions of the theory of Relativity. (Hatch, 2004a, 2004b, 2007). The mathematical model was developed first by Grossmann who presented it, in 1913, as the mathematical part of the Entwurf theory, still referred to a curved Minkowski spacetime. Einstein completed the mathematical model, in 1915, formulated for Riemann ́s spacetimes. In this paper, we present as of General Relativity currently remains only the mathematical model, darkened with the results of Hatch and, course, we conclude that a Einstein ́s gravity theory does not exist. (shrink)

The paper discusses Hilbert mathematics, a kind of Pythagorean mathematics, to which the physical world is a particular case. The parameter of the “distance between finiteness and infinity” is crucial. Any nonzero finite value of it features the particular case in the frameworks of Hilbert mathematics where the physical world appears “ex nihilo” by virtue of an only mathematical necessity or quantum information conservation physically. One does not need the mythical Big Bang which serves to concentrate all (...) the violations of energy conservation in a “safe”, maximally remote point in the alleged “beginning of the universe”. On the contrary, an omnipresent and omnitemporal medium obeying quantum information conservation rather than energy conservation permanently generates action and thus the physical world. The utilization of that creation “ex nihilo” is accessible to humankind, at least theoretically, as long as one observes the physical laws, which admit it in their new and wider generalization. One can oppose Hilbert mathematics to Gödel mathematics, which can be identified as all the standard mathematics until now featureable by the Gödel dichotomy of arithmetic to set theory: and then, “dialectic”, “intuitionistic”, and “Gödelian” mathematics within the former, according to a negative, positive, or zero value of the distance between finiteness and infinity. A mapping of Hilbert mathematics into pseudo-Riemannian space corresponds, therefore allowing for gravitation to be interpreted purely mathematically and ontologically in a Pythagorean sense. Information and quantum information can be involved in the foundations of mathematics and linked to the axiom of choice or alternatively, to the field of all rational numbers, from which the pair of both dual and anti-isometric Peano arithmetics featuring Hilbert arithmetic are immediately inferable. Noether’s theorems (1918) imply quantum information conservation as the maximally possible generalization of the pair of the conservation of a physical quantity and the corresponding Lie group of its conjugate. Hilbert mathematics can be interpreted from their viewpoint also after an algebraic generalization of them. Following the ideas of Noether’s theorem (1918), locality and nonlocality can be realized both physically and mathematically. The “light phase of the universe” can be linked to the gap of mathematics and physics in the Cartesian organization of cognition in Modernity and then opposed to its “dark phase”, in which physics and mathematics are merged. All physical quantities can be deduced from only mathematical premises by the mediation of the most fundamental physical constants such as the speed of light in a vacuum, the Planck and gravitational constants once they have been interpreted by the relation of locality and nonlocality. (shrink)

One of the challenges faced by philosophers throughout history of philosophical thoughts, has always been and is to find an adequate answer to the question of quiddity and existence of time and space. Thus, the present study aims to elaborate on the question of space and time in Mulla Sadra’s philosophy and its relationship with outcomes of modern physics. The study also intends to conduct an analytical comparison between these two views and clarify newer aspects of this complicated and vague (...) question. According to principles of his thought system in his ontology and particularly his theory of substantial motion, Mulla Sadra’s view toward time has a closer concordance with findings of modern physicists like Albert Einstein. One of the most noticeable achievements of the present paper, considering ontological view of Mulla Sadra toward time, is to reach a comprehensive and vast view of the question of space and time covering space-time approach of theory of relativity and having the common issue of time in mind, develops an image of unity and connectivity of the world of nature with the four dimensions. The present study uses a documentary analysis research and uses library resources. The prominent works of Mulla Sadra and Einstein’ works on the Theory of Relativity were the main sources for this study. It is hoped that this view not only reveals further philosophical aspects of the issue of time but also help uncover newer approaches for physicists. (shrink)

The quantification theory of propositions in Russell’s Principles of Mathematics has been the subject of an intensive study and in reconstruction has been found to be complete with respect to analogs of the truths of modern quantification theory. A difficulty arises in the reconstruction, however, because it presents universally quantified exportations of five of Russell’s axioms. This paper investigates whether a formal system can be found that is more faithful to Russell’s original prose. Russell offers axioms that are universally (...) quantified implications that have antecedent clauses that are conjunctions. The presence of conjunctions as antecedent clauses seems to doom the theory from the onset, it will be found that there is no way to prove conjunctions so that, after universal instantiation, one can detach the needed antecedent clauses. Amalgamating two of Russell’s axioms, this paper overcomes the difficulty. (shrink)

The paper portrays the influence of major philosophical ideas on the 1935 debates on quantum theory that reached their climax in the paper by Einstein, Podosky and Rosen, and describes the relevance of these ideas to the vast impact of the paper. I claim that the focus on realism in many common descriptions of the debate misses important aspects both of Einstein's and Bohr's thinking. I suggest an alternative understanding of Einstein's criticism of quantum mechanics as a manifestation of the (...) same methodological principles that served him in the construction of the special and the general theories of relativity. These principles address, in a very specific way, the relation of the theoretical mathematical representations to the represented physical systems. These ideas, I claim, played a key role in the influence of the paper on later works that changed our understanding of quantum theory despite the rejection of EPR's central conclusion. (shrink)

The principle of maximal entropy (further abbreviated as “MaxEnt”) can be founded on the formal mechanism, in which future transforms into past by the mediation of present. This allows of MaxEnt to be investigated by the theory of quantum information. MaxEnt can be considered as an inductive analog or generalization of “Occam’s razor”. It depends crucially on choice and thus on information just as all inductive methods of reasoning. The essence shared by Occam’s razor and MaxEnt is for the (...) relevant data known till now to be postulated as an enough fundament of conclusion. That axiom is the kind of choice grounding both principles. Popper’s falsifiability (1935) can be discussed as a complement to them: That axiom (or axiom scheme) is always sufficient but never necessary condition of conclusion therefore postulating the choice in the base of MaxEnt. Furthermore, the abstraction axiom (or axiom scheme) relevant to set theory (e.g. the axiom scheme of specification in ZFC) involves choice analogically. (shrink)

Ignited by Einstein and Bohr a century ago, the philosophical struggle about Reality is yet unfinished, with no signs of a swift resolution. Despite vast technological progress fueled by the iconic Einstein/Podolsky/Rosen paper (EPR) [1] [2] [3], the intricate link between ontic and epistemic aspects of Quantum Theory (QT) has greatly hindered our grip on Reality and further progress in physical theory. Fallacies concealed by tortuous logical negations made EPR comprehension much harder than it could have been had Einstein written (...) it himself in German. EPR is plagued with preconceptions about what a physical property is, the 'Uncertainty Principle', and the Principle of Locality. Numerous interpretations of QT vis à vis Reality exist and are keenly disputed [4] [5] [6] [7] [8] [9] [10] [11]. This is the first of a series of articles arguing for a novel physical interpretation I call ‘The Ontic Probability Interpretation’ (TOPI). A gradual explanation of TOPI is given intertwined with a meticulous logico-philosophical scrutiny of EPR, with Part I focusing on the meaning of Einstein’s ‘incompleteness’ claim for QT: a conceptual confusion, a preconception about Reality, and a flawed dichotomy are shown to be severe obstacles for the EPR argument to succeed. Part II completes the analysis, proving EPR claim of ‘incompleteness’ for QT is fallacious [12]. Part III further develops TOPI, while scrutinizing the mythical ‘Schrödinger’s Cat’, as well as the ‘Basis’ and ‘Measurement’ pseudo-problems [13]. Part IV introduces QR/TOPI: a new theory that solves the century-old problem of integrating Special Relativity with Quantum Theory [14]. (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)

In previous papers I have characterized four ways of reasoning in Peirce’s philosophy, and four ways of reasoning in Computability Theory. I have established their correspondence on the basis of the four pairs of choices regarding two dichotomies, respectively the dichotomy between two kinds of Mathematics and the dichotomy between two kinds of Logic. In the present paper I introduce four principles of reasoning in theoretical Physics and I interpret also them by means of the four pairs (...) of choices regarding the above two dichotomies. I show that there exists a meaningful correspondence among the previous three fourfold sets of elements. This convergence of the characteristic ways of reasoning within three very different fields of research - Peirce’s philosophy, Computability theory and physical theories - suggests that there exists a general-purpose structure of four ways of reasoning. This structure is recognized as applied by Mendeleev when he built his periodic table. Moreover, it is shown that a chemist-, applies all the above ways of reasoning at the same time. Peirce’s professional practice as a chemist applying at the same time this variety of reasoning explains his stubborn research into the variety of the possible inferences. (shrink)

In their correspondence in 1902 and 1903, after discussing the Russell paradox, Russell and Frege discussed the paradox of propositions considered informally in Appendix B of Russell’s Principles of Mathematics. It seems that the proposition, p, stating the logical product of the class w, namely, the class of all propositions stating the logical product of a class they are not in, is in w if and only if it is not. Frege believed that this paradox was avoided within his (...) philosophy due to his distinction between sense (Sinn) and reference (Bedeutung). However, I show that while the paradox as Russell formulates it is ill-formed with Frege’s extant logical system, if Frege’s system is expanded to contain the commitments of his philosophy of language, an analogue of this paradox is formulable. This and other concerns in Fregean intensional logic are discussed, and it is discovered that Frege’s logical system, even without its naive class theory embodied in its infamous Basic Law V, leads to inconsistencies when the theory of sense and reference is axiomatized therein. (shrink)

Bertrand Russell’s _Principles of Mathematics_ (1903) gives rise to several interpretational challenges, especially concerning the theory of denoting concepts. Only relatively recently, for instance, has it been properly realised that Russell accepted denoting concepts that do not denote anything. Such empty denoting concepts are sometimes thought to enable Russell, whether he was aware of it or not, to avoid commitment to some of the problematic non-existent entities he seems to accept, such as the Homeric gods and chimeras. In this paper, (...) I argue first that the theory of denoting concepts in _Principles of __Mathematics_ has been generally misunderstood. According to the interpretation I defend, if a denoting concept shifts what a proposition is about, then the aggregate of the denoted terms will also be a constituent of the proposition. I then show that Russell therefore could not have avoided commitment to the Homeric gods and chimeras by appealing to empty denoting concepts. Finally, I develop what I think is the best understanding of the ontology of _Principles of __Mathematics_ by interpreting some difficult passages. (shrink)

A new advanced systems theory concerning the emergent nature of the Social, Consciousness, and Life based on Mathematics and Physical Analogies is presented. This meta-theory concerns the distance between the emergent levels of these phenomena and their ultra-efficacious nature. The theory is based on the distinction between Systems and Meta-systems (organized Openscape environments). We first realize that we can understand the difference between the System and the Meta-system in terms of the relationship between a ‘Whole greater than the sum (...) of the parts’ and a ‘Whole less than the sum of its parts’, i.e., a whole full of holes (like a sponge) that provide niches for systems in the environment. Once we understand this distinction and clarify the nature of the unusual organization of the Meta-system, then it is possible to understand that there is a third possibility which is a whole exactly equal to the sum of its parts that is only supervenient like perfect numbers. In fact, there are three kinds of Special System corresponding to the perfect, amicable, and sociable aliquot numbers. These are all equal to the sum of their parts but with different degrees of differing and deferring in what Jacques Derrida calls “differance”. All other numbers are either excessive (systemic) or deficient (metasystemic) in this regard. The Special Systems are based on various mathematical analogies and some physical analogies. But the most important of the mathematical analogies are the hypercomplex algebras, which include the Complex Numbers, Quaternions, and Octonions, with the Sedenions corresponding to the Emergent Meta-system. However, other analogies are the Hopf fibrations between hyperspheres of various dimensions, nonorientable surfaces, soliton solutions, etc. These Special Systems have a long history within the tradition since they can be traced back to the imaginary cities of Plato. The Emergent Meta-system is a higher order global structure that includes the System with the three Special Systems as a cycle. An example of this from our tradition is in the Monadology of Gottfried Wilhelm von Leibniz. There is a conjunctive relationship between the System schema and the Special Systems that produce the Meta-system schema cycle. The Special Systems are a meta-model for the relationship between the emergent levels of Consciousness (Dissipative Ordering based on the theory of negative entropy of Prigogine), Living (Autopoietic Symbiotic based on the theory of Maturana and Varela), and Social (Reflexive based on the theory of John O’Malley and Barry Sandywell). These different special systems are related to the various existenitals identified by Martin Heidegger in Being and Time and various temporal reference frames identified by Richard M. Pico. We also relate the special systems to morphodynamic and teleodynamic systems of Terrence Deacon in Incomplete Nature to which we add sociodynamic systems to complete the series of Special Systems. (shrink)

We attribute three major insights to Hegel: first, an understanding of the real numbers as the paradigmatic kind of number ; second, a recognition that a quantitative relation has three elements, which is embedded in his conception of measure; and third, a recognition of the phenomenon of divergence of measures such as in second-order or continuous phase transitions in which correlation length diverges. For ease of exposition, we will refer to these three insights as the R First Theory, Tripartite Relations, (...) and Divergence of Measures. Given the constraints of space, we emphasize the first and the third in this paper. (shrink)

1971. Discourse Grammars and the Structure of Mathematical Reasoning II: The Nature of a Correct Theory of Proof and Its Value, Journal of Structural Learning 3, #2, 1–16. REPRINTED 1976. Structural Learning II Issues and Approaches, ed. J. Scandura, Gordon & Breach Science Publishers, New York, MR56#15263. -/- This is the second of a series of three articles dealing with application of linguistics and logic to the study of mathematical reasoning, especially in the setting of a concern for improvement of (...) mathematical education. The present article presupposes the previous one. Herein we develop our ideas of the purposes of a theory of proof and the criterion of success to be applied to such theories. In addition we speculate at length concerning the specific kinds of uses to which a successful theory of proof may be put vis-a-vis improvement of various aspects of mathematical education. The final article will deal with the construction of such a theory. The 1st is the 1971. Discourse Grammars and the Structure of Mathematical Reasoning I: Mathematical Reasoning and Stratification of Language, Journal of Structural Learning 3, #1, 55–74. https://www.academia.edu/s/fb081b1886?source=link . (shrink)

Maxwellian electrodynamics genesis is considered in the light of the author’s theory change model previously tried on the Copernican and the Einstein revolutions. It is shown that in the case considered a genuine new theory is constructed as a result of the old pre-maxwellian programmes reconciliation: the electrodynamics of Ampere-Weber, the wave theory of Fresnel and Young and Faraday’s programme. The “neutral language” constructed for the comparison of the consequences of the theories from these programmes consisted in the language of (...) hydrodynamics with its rich content of analogous models ranging from the uncompressible fluid up to molecular vortices. The programmes’ meeting led to construction of the whole hierarchy of crossbred objects beginning from the displacement current and up to common hybrids. After that the interpenetration of the pre-maxwellian programmes began that marked the beginning of theoretical schemes of optics and electromagnetism unification. Maxwell’s programme did assimilate some ideas of the Ampere-Weber programme, as well as the presuppositions of the programmes of Fresnel and Faraday; and the significance of this fact for further methodology of scientific research programmes development is discussed. It is argued that the core of Maxwell’s unification strategy was formed by Kantian epistemology looked through the prism of William Whewell and such representatives of Scottish Enlightenment as Thomas Reid and William Hamilton. All these enabled Maxwell to start to unify not only optics and electromagnetism, but British and continental research traditions as well. Maxwell’s programme did supersede the Ampere-Weber one because Maxwell did put forward as a synthetic principle the idea, that differed from that of Ampere-Weber by its flexible and contra-ontological, strictly epistemological, Kantian character. For Maxwell, ether was not the last building block of physical reality, from which fields and charges should be constructed . “Action at a distance”, “incompressible fluid”, “molecular vortices” were only analogies for Maxwell, capable to direct the researcher on the “right” mathematical relations. From the “representational” point of view all this hydrodynamical models were doomed to failure efforts to describe what can not be described in principle – things in themselves, the “nature” of electrical and magnetic phenomena. On the contrary, Maxwell aimed his programme to find empirically meaningful mathematical relations between the electrodynamics basic objects, i.e. the creation of inter - coordinated electromagnetic field equations system. Namely the application of this epistemology enabled Hermann von Helmholtz and his pupil Heinrich Hertz to arrive at such a version of Maxwell’s theory that served a heuristical basis for the radiowaves discovery. (shrink)

According to Steiner (1998), in contemporary physics new important discoveries are often obtained by means of strategies which rely on purely formal mathematical considerations. In such discoveries, mathematics seems to have a peculiar and controversial role, which apparently cannot be accounted for by means of standard methodological criteria. M. Gell-Mann and Y. Ne׳eman׳s prediction of the Ω− particle is usually considered a typical example of application of this kind of strategy. According to Bangu (2008), this prediction is apparently based (...) on the employment of a highly controversial principle—what he calls the “reification principle”. Bangu himself takes this principle to be methodologically unjustifiable, but still indispensable to make the prediction logically sound. In the present paper I will offer a new reconstruction of the reasoning that led to this prediction. By means of this reconstruction, I will show that we do not need to postulate any “reificatory” role of mathematics in contemporary physics and I will contextually clarify the representative and heuristic role of mathematics in science. (shrink)

In contemporary mathematics, a Colombeau algebra of Colombeau generalized functions is an algebra of a certain kind containing the space of Schwartz distributions. While in classical distribution theory a general multiplication of distributions is not possible, Colombeau algebras provide a rigorous framework for this. Remark 1.1.1.Such a multiplication of distributions has been a long time mistakenly believed to be impossible because of Schwartz’ impossibility result, which basically states that there cannot be a differential algebra containing the space of distributions (...) and preserving the product of continuous functions. However, if one only wants to preserve the product of smooth functions instead such a construction becomes possible, as demonstrated first by J.F.Colombeau [1],[2]. As a mathematical tool, Colombeau algebras can be said to combine a treatment of singularities, differentiation and nonlinear operations in one framework, lifting the limitations of distribution theory. These algebras have found numerous applications in the fields of partial differential equations, geophysics, microlocal analysis and general relativity so far. (shrink)

This paper aims to provide hyperintensional foundations for mathematical platonism. I examine Hale and Wright's (2009) objections to the merits and need, in the defense of mathematical platonism and its epistemology, of the thesis of Necessitism. In response to Hale and Wright's objections to the role of epistemic and metaphysical modalities in providing justification for both the truth of abstraction principles and the success of mathematical predicate reference, I examine the Necessitist commitments of the abundant conception of properties endorsed by (...) Hale and Wright and examined in Hale (2013), and demonstrate how a two-dimensional approach to the epistemology of mathematics is consistent with Hale and Wright's notion of there being non-evidential epistemic entitlement rationally to trust that abstraction principles are true. A choice point that I flag is that between availing of intensional or hyperintensional semantics. The hyperintensional semantic approach that I advance is a topic-sensitive epistemic two-dimensional truthmaker semantics. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest that observational type theory can be applied to first-order abstraction principles in order to make abstraction principles recursively enumerable. Epistemic and metaphysical states and possibilities may thus be shown to play a constitutive role in vindicating the reality of mathematical objects and truth, and in providing a conceivability-based route to the truth of abstraction principles as well as other axioms and propositions in mathematics. (shrink)

Arthur Clark and Michael Kube–McDowell (“The Triger”, 2000) suggested the sci-fi idea about the direct transformation from a chemical substance to another by the action of a newly physical, “Trigger” field. Karl Brohier, a Nobel Prize winner, who is a dramatic persona in the novel, elaborates a new theory, re-reading and re-writing Pauling’s “The Nature of the Chemical Bond”; according to Brohier: “Information organizes and differentiates energy. It regularizes and stabilizes matter. Information propagates through matter-energy and mediates the interactions of (...) matter-energy.” Dr Horton, his collaborator in the novel replies: “If the universe consists of energy and information, then the Trigger somehow alters the information envelope of certain substances –“. “Alters it, scrambles it, overwhelms it, destabilizes it” Brohier adds. There is a scientific debate whether or how far chemistry is fundamentally reducible to quantum mechanics. Nevertheless, the fact that many essential chemical properties and reactions are at least partly representable in terms of quantum mechanics is doubtless. For the quantum mechanics itself has been reformulated as a theory of a special kind of information, quantum information, chemistry might be in turn interpreted in the same terms. Wave function, the fundamental concept of quantum mechanics, can be equivalently defined as a series of qubits, eventually infinite. A qubit, being defined as the normed superposition of the two orthogonal subspaces of the complex Hilbert space, can be interpreted as a generalization of the standard bit of information as to infinite sets or series. All “forces” in the Standard model, which are furthermore essential for chemical transformations, are groups [U(1),SU(2),SU(3)] of the transformations of the complex Hilbert space and thus, of series of qubits. One can suggest that any chemical substances and changes are fundamentally representable as quantum information and its transformations. If entanglement is interpreted as a physical field, though any group above seems to be unattachable to it, it might be identified as the “Triger field”. It might cause a direct transformation of any chemical substance by from a remote distance. Is this possible in principle? (shrink)

According to representationalism, the phenomenal character of a mental state reduces to its intentional content. Although representationalism seems plausible with respect to ordinary perceptual states, it seems considerably less plausible for states like moods. Here the problem for representationalism arises largely because moods seem to lack intentional content altogether. In this paper, I explore several possible options for identifying the intentional content of moods and suggest that none of them is wholly satisfactory. Importantly, however, I go on to argue that (...) the plausibility of representationalism should not be seen to rest on the question of whether moods have intentional content but rather on the question of whether the intentional content of moods, were there any, would be sufficient to determine their phenomenal character. As I argue, even if we concede to the representationalist that moods have intentional content, their phenomenal character outstrips their intentional content; thus, the representationalist reduction cannot succeed. Ultimately, then, I conclude that moods do indeed pose a serious objection to the representationalist theory. (shrink)

One of the key episodes of history of modern physics – Paul Dirac’s startling contrivance of the relativistic theory of the electron – is elicited in the context of lucid epistemological model of mature theory change. The peculiar character of Dirac’s synthesis of special relativity and quantum mechanics is revealed by comparison with Einstein’s sophisticated methodology of the General Relativity contrivance. The subtle structure of Dirac’s scientific research program and first and foremost the odd principles that put up its powerful (...) heuristics is scrutinized with special emphasis on the highly controversial tenet of “mathematical beauty.” It is contended that despite the relentless Dirac’s remarks denigrating the controversial role of philosophy one can trace its indirect influence through Arthur Eddington’s and Hermann Weyl’s whimsical mathematical models. Accordingly, the milestones of Dirac’s research programme realization in the distinctive context of the applied epistemological doctrine are indicated. (shrink)

ABSTRACT This part of the series has a dual purpose. In the first place we will discuss two kinds of theories of proof. The first kind will be called a theory of linear proof. The second has been called a theory of suppositional proof. The term "natural deduction" has often and correctly been used to refer to the second kind of theory, but I shall not do so here because many of the theories so-called are not of the second (...) kind--they must be thought of either as disguised linear theories or theories of a third kind (see postscript below). The second purpose of this part is 25 to develop some of the main ideas needed in constructing a comprehensive theory of proof. The reason for choosing the linear and suppositional theories for this purpose is because the linear theory includes only rules of a very simple nature, and the suppositional theory can be seen as the result of making the linear theory more comprehensive. CORRECTION: At the time these articles were written the word ‘proof’ especially in the phrase ‘proof from hypotheses’ was widely used to refer to what were earlier and are now called deductions. I ask your forgiveness. I have forgiven Church and Henkin who misled me. (shrink)

According to representationalism, the qualitative character of our phenomenal mental states supervenes on the intentional content of such states. Strong representationalism makes a further claim: the qualitative character of our phenomenal mental states _consists in_ the intentional content of such states. Although strong representationalism has greatly increased in popularity over the last decade, I find the view deeply implausible. In what follows, I will attempt to argue against strong representationalism by a two-step argument. First, I suggest that strong representationalism must (...) be _unrestricted_ in order to serve as an adequate theory of qualia, i.e., it must apply to all qualitative mental states. Second, I present considerations to show that an unrestricted form of strong representationalism is problematic. (shrink)

Differential privacy (DP) aims to confer data processing systems with inherent privacy guarantees, offering strong protections for personal data. But DP’s approach to privacy carries with it certain assumptions about how mathematical abstractions will be translated into real-world systems, which—if left unexamined and unrealized in practice—could function to shield data collectors from liability and criticism, rather than substantively protect data subjects from privacy harms. This article investigates these assumptions and discusses their implications for using DP to govern data-driven systems. In (...) Parts 1 and 2, we introduce DP as, on one hand, a mathematical framework and, on the other hand, a kind of real-world sociotechnical system, using a hypothetical case study to illustrate how the two can diverge. In Parts 3 and 4, we discuss the way DP frames privacy loss, data processing interventions, and data subject participation, arguing it could exacerbate existing problems in privacy regulation. In part 5, we conclude with a discussion of DP’s potential interactions with the endogeneity of privacy law, and we propose principles for best governing DP systems. In making such assumptions and their consequences explicit, we hope to help DP succeed at realizing its promise for better substantive privacy protections. (shrink)

ABSTRACT. May scientists rely on substantive, a priori presuppositions? Quinean naturalists say "no," but Michael Friedman and others claim that such a view cannot be squared with the actual history of science. To make his case, Friedman offers Newton's universal law of gravitation and Einstein's theory of relativity as examples of admired theories that both employ presuppositions (usually of a mathematical nature), presuppositions that do not face empirical evidence directly. In fact, Friedman claims that the use of such presuppositions is (...) a hallmark of "science as we know it." But what should we say about the special sciences, which typically do not rely on the abstruse formalisms one finds in the exact sciences? I identify a type of a priori presupposition that plays an especially striking role in the development of empirical psychology. These are ontological presuppositions about the type of object a given science purports to study. I show how such presuppositions can be both a priori and rational by investigating their role in an early flap over psychology's contested status as a natural science. The flap focused on one of the field's earliest textbooks, William James's Principles of Psychology. The work was attacked precisely for its reliance on a priori presuppositions about what James had called the "mental state," psychology's (alleged) proper object. I argue that the specific presuppositions James packed into his definition of the "mental state" were not directly responsible to empirical evidence, and so in that sense were a priori; but the presuppositions were rational in that they were crafted to help overcome philosophical objections (championed by neo-Hegelians) to the very idea that there can be a genuine science of mind. Thus, my case study gives an example of substantive, a priori presuppositions being put to use—to rational use—in the special sciences. In addition to evaluating James's use of presuppositions, my paper also offers historical reflections on two different strands of pragmatist philosophy of science. One strand, tracing back through Quine to C. S. Peirce, is more naturalistic, eschewing the use of a priori elements in science. The other strand, tracing back through Kuhn and C. I. Lewis to James, is more friendly to such presuppositions, and to that extent bears affinity with the positivist tradition Friedman occupies. (shrink)

According to dispositionalism about modality, a proposition <p> is possible just in case something has, or some things have, a power or disposition for its truth; and <p> is necessary just in case nothing has a power for its falsity. But are there enough powers to go around? In Yates (2015) I argued that in the case of mathematical truths such as <2+2=4>, nothing has the power to bring about their falsity or their truth, which means they come out both (...) necessary and not possible. Combining this with axiom (T), it is easy to derive a contradiction. I suggested that dispositionalists ought to retreat a little and say that <p> is possible just in case either p, or there is a power to bring it about that p, grounding the possibility of mathematical propositions in their truth rather than in powers. Vetter’s (2015) has the resources to provide a response to my argument, and in her (2018) she explicitly addresses it by arguing for a plenitude of powers, based on the idea that dispositions come in degrees, with necessary properties a limiting case of dispositionality. On this view there is a power for <2+2=4>, without there being a power to bring about its truth. In this paper I argue that Vetter’s case for plenitude does not work. However, I suggest, if we are prepared to accept metaphysical causation, a case can be made that there is indeed a power for <2+2=4>. (shrink)

A principle, according to which any scientific theory can be mathematized, is investigated. That theory is presupposed to be a consistent text, which can be exhaustedly represented by a certain mathematical structure constructively. In thus used, the term “theory” includes all hypotheses as yet unconfirmed as already rejected. The investigation of the sketch of a possible proof of the principle demonstrates that it should be accepted rather a metamathematical axiom about the relation of mathematics and reality. Its (...) investigation needs philosophical means. Husserl’s phenomenology is what is used, and then the conception of “bracketing reality” is modelled to generalize Peano arithmetic in its relation to set theory in the foundation of mathematics. The obtained model is equivalent to the generalization of Peano arithmetic by means of replacing the axiom of induction with that of transfinite induction. A comparison to Mach’s doctrine is used to be revealed the fundamental and philosophical reductionism of Husserl’s phenomenology leading to a kind of Pythagoreanism in the final analysis. Accepting or rejecting the principle, two kinds of mathematics appear differing from each other by its relation to reality. Accepting the principle, mathematics has to include reality within itself in a kind of Pythagoreanism. These two kinds are called in paper correspondingly Hilbert mathematics and Gödel mathematics. The sketch of the proof of the principle demonstrates that the generalization of Peano arithmetic as above can be interpreted as a model of Hilbert mathematics into Gödel mathematics therefore showing that the former is not less consistent than the latter, and the principle is an independent axiom. An information interpretation of Hilbert mathematics is involved. It is a kind of ontology of information. Thus the problem which of the two mathematics is more relevant to our being is discussed. An information interpretation of the Schrödinger equation is involved to illustrate the above problem. (shrink)

The vast advances in biometrics over the past several decades have brought with them a host of pressing concerns. Philosophical scrutiny has already been devoted to many of the relevant ethical and political issues, especially ones arising from matters of privacy, bias, and security in data collection. But philosophers have devoted surprisingly little attention to the relevant metaphysical issues, in particular, ones concerning matters of personal identity. This paper aims to take some initial steps to correct this oversight. After discussing (...) the philosophical problem of personal identity, the ways in which the notion of biometric identity connects with, or fails to connect with, the philosophical notion of personal identity is explored. Though there may be some good reasons to use biometric identity to track personal identity, it is contended that biometric identity is not the same thing as personal identity and thus that biometrics researchers should stop talking as if it were. (shrink)

The term “Complex Systems Biology” was introduced a few years ago [Kaneko, 2006] and, although not yet of widespread use, it seems particularly well suited to indicate an approach to biology which is well rooted in complex systems science. Although broad generalizations are always dangerous, it is safe to state that mainstream biology has been largely dominated by a gene-centric view in the last decades, due to the success of molecular biology. So the one gene - one trait approch, which (...) has often proved to be effective, has been extended to cover even complex traits. This simplifying view has been appropriately criticized, and the movement called systems biology has taken off. Systems biology [Noble, 2006] emphasizes the presence of several feedback loops in biological systems, which severely limit the range of validity of explanations based upon linear causal chains (e.g. gene → behaviour). Mathematical modelling is one the favourite tools of systems biologists to analyze the possible effects of competing negative and positive feedback loops which can be observed at several levels (from molecules to organelles, cells, tissues, organs, organisms, ecosystems). Systems biology is by now a well-established field, as it can be inferred by the rapid growth in number of conferences and journals devoted to it, as well as by the existence of several grants and funded projects.Systems biology is mainly focused upon the description of specific biological items, like for example specific organisms, or specific organs in a class of animals, or specific genetic-metabolic circuits. It therefore leaves open the issue of the search for general principles of biological organization, which apply to all living beings or to at least to broad classes. We know indeed that there are some principles of this kind, biological evolution being the most famous one. The theory of cellular organization also qualifies as a general principle. But the main focus of biological research has been that of studying specific cases, with some reluctance to accept (and perhaps a limited interest for) broad generalizations. This may however change, and this is indeed the challenge of complex systems biology: looking for general principles in biological systems, in the spirit of complex systems science which searches for similar features and behaviours in various kinds of systems. The hope to find such general principles appears well founded, and I will show in Section 2 that there are indeed data which provide support to this claim. Besides data, there are also general ideas and models concerning the way in which biological systems work. The strategy, in this case, is that of introducing simplified models of biological organisms or processes, and to look for their generic properties: this term, borrowed from statistical physics, is used for those properties which are shared by a wide class of systems. In order to model these properties, the most effective approach has been so far that of using ensembles of systems, where each member can be different from another one, and to look for those properties which are widespread. This approach was introduced many years ago [Kauffman, 1971] in modelling gene regulatory networks. At that time one had very few information about the way in which the expression of a given gene affects that of other genes, apart from the fact that this influence is real and can be studied in few selected cases (like e.g. the lactose metabolism in E. coli). Today, after many years of triumphs of molecular biology, much more has been discovered, however the possibility of describing a complete map of gene-gene interactions in a moderately complex organism is still out of reach. Therefore the goal of fully describing a network of interacting genes in a real organism could not be (and still cannot be) achieved. But a different approach has proven very fruitful, that of asking what are the typical properties of such a set of interacting genes. Making some plausible hypotheses and introducing some simplifying assumptions, Kauffman was able to address some important problems. In particular, he drew attention to the fact that a dynamical system of interacting genes displays selforganizing properties which explain some key aspects of life, most notably the existence of a limited number of cellular types in every multicellular organism (these numbers are of the order of a few hundreds, while the number of theoretically possible types, absent interactions, would be much much larger than the number of protons in the universe). In section 3 I will describe the ensemble based approach in the context of gene regulatory networks, and I will show that it can describe some important experimental data. Finally, in section 4 I will discuss some methodological aspects. (shrink)

A new hypothesis on the basic features characterising the Foundations of Mathematics is suggested. By means of them the entire historical development of Mathematics before the 20th Century is summarised through a table. Also the several programs, launched around the year 1900, on the Foundations of Mathematics are characterised by a corresponding table. The major difficulty that these programs met was to recognize an alternative to the basic feature of the deductive organization of a theory - more (...) precisely, to Hilbert’s main tenet. Ironically, already half a century before the births of these programs the alternative organization has been substantially represented by Lobachevsky's theory on parallel lines. Moreover, although each program’s founder recognised the basic features in a partial way only, all together these programs represented just the four possible foundational approaches. (shrink)

The latest draft (posted 05/14/22) of this short, concise work of proof, theory, and metatheory provides summary meta-proofs and verification of the work and results presented in the Theory and Metatheory of Atemporal Primacy and Riemann, Metatheory, and Proof. In this version, several new and revised definitions of terms were added to subsection SS.1; and many corrected equations, theorems, metatheorems, proofs, and explanations are included in the main text. The body of the text is approximately 18 pages, with 3 sections; (...) 1, an Introduction (with a 108 page listing of key terms & definitions), sect. 2, the Results, sect. 3, Discussion (commentary & predictions), and sect. 4, Works Cited. As much as possible, the style is intended for readability and understanding by very bright children (with some interest & knowledge of maths, etc.) and very interested nonprofessionals. The results of this project also enable upgrades of number theory, set theory, proof theory, metamathematics, the foundations of science, and quantum mechanics theory (etc.). (shrink)

In this paper, I present the case of the discovery of complex numbers by Girolamo Cardano. Cardano acquires the concepts of (specific) complex numbers, complex addition, and complex multiplication. His understanding of these concepts is incomplete. I show that his acquisition of these concepts cannot be explained on the basis of Christopher Peacocke’s Conceptual Role Theory of concept possession. I argue that Strong Conceptual Role Theories that are committed to specifying a set of transitions that is both necessary and sufficient (...) for possession of mathematical concepts will always face counterexamples of the kind illustrated by Cardano. I close by suggesting that we should rely more heavily on resources of Anti-Individualism as a framework for understanding the acquisition and possession of concepts of abstract subject matters. (shrink)