In the search of new approaches to the problem of emergence and evolution of natural languages, Mathematics, Theoretical Computer Science, as well as Molecular Biology and Neuroscience, both deeply penetrated and profoundly inspired by concepts originated in Mathematics and Computer Science, represent today the richest pools of formal concepts, structures, and methods to borrow and to adapt.

In the search of new approaches to the problem of emergence and evolution of natural languages, Mathematics, Theoretical Computer Science, as well as Molecular Biology and Neuroscience, both deeply penetrated and profoundly inspired by concepts originated in Mathematics and Computer Science, represent today the richest pools of formal concepts, structures, and methods to borrow and to adapt.

In spite of Ernst Cassirer’s criticisms of psychologism throughout Substance and Function, in the final chapter he issues a demand for a “psychology of relations” that can do justice to the subjective dimensions of mathematics and natural science. Although these remarks remain somewhat promissory, the fact that this is how Cassirer chooses to conclude Substance and Function recommends it as a topic worthy of serious consideration. In this paper, I argue that in order to work out the details of Cassirer’s (...) psychology of relations in Substance and Function, we need to situate it within two broader frameworks. First, I position Cassirer’s view in relation to the view of psychology and logic endorsed by his Marburg Neo-Kantian predecessors, Hermann Cohen and Paul Natorp. Second, I augment Cassirer’s early account of the psychology of relations in Substance and Function with the more mature view of psychology that he presents in The Philosophy of Symbolic Forms. By placing Cassirer’s account within these contexts, I claim that we gain insight into his psychology of relations, not just as it pertains to mathematics and natural science, but to culture as a whole. Moreover, I maintain that pursuing this strategy helps shed light on one of the most controversial features of his philosophy of mathematics and natural science, viz., his theory of the a priori. (shrink)

The aim of this paper is to describe and analyze the epistemological justification of a proposal initially made by the biomathematician Robert Rosen in 1958. In this theoretical proposal, Rosen suggests using the mathematical concept of “category” and the correlative concept of “natural equivalence” in mathematical modeling applied to living beings. Our questions are the following: According to Rosen, to what extent does the mathematical notion of category give access to more “natural” formalisms in the modeling of living beings? Is (...) the so -called “naturalness” of some kinds of equivalences (which the mathematical notion of category makes it possible to generalize and to put at the forefront) analogous to the naturalness of living systems? Rosen appears to answer “yes” and to ground this transfer of the concept of “natural equivalence” in biology on such an analogy. But this hypothesis, although fertile, remains debatable. Finally, this paper makes a brief account of the later evolution of Rosen’s arguments about this topic. In particular, it sheds light on the new role played by the notion of “category” in his more recent objections to the computational models that have pervaded almost every domain of biology since the 1990s. (shrink)

This article presents the proposal of the principle of sound and light from mathematics and physics, as the origin of nature and the universe, using the Cartesian plane, together with the triadic plane of potential manifestation and complex organisation, starting from the contributions of four pre-Socratic philosophers, Pythagoras of Ephesus, Parmenides of Elea, Heraclitus of Samos and Democritus of Abdera, thus identifying essential principles of the origin of these, to conclude with the most important demonstrations of this theory, which (...) allow its articulation with current science. (shrink)

We show that critically accumulating "difficult" problems, contradictions and stagnation in modern science have the unified and well-specified mathematical origin in the explicit, artificial reduction of any interaction problem solution to an "exact", dynamically single-valued (or unitary) function, while in reality any unreduced interaction development leads to a dynamically multivalued solution describing many incompatible system configurations, or "realisations", that permanently replace one another in causally random order. We obtain thus the universal concept of dynamic complexity and chaos impossible in unitary (...) mathematics. This huge difference between the unreduced mathematics of real-world dynamics and strongly limited unitary “models” of traditional mathematics inevitably induces a growing series of “unsolvable” problems and other “mysteries” that culminate now in the crisis of the “end of science”, where the stagnating unitary “science” in question includes only the described limitation of the traditional mathematical framework (unfortunately accepted as the unique possible basis for any scientific knowledge). In this brief review, we show that science extension to the unreduced, dynamically multivalued mathematics of the intrinsically complex real-world dynamics provides stagnating problem solutions and reconstitution of the intrinsic causality and unity of science desperately missing in its artificially limited unitary framework. Painful stagnation of the latter should be replaced now by the unlimited new progress of the extended, causally complete knowledge of the universal science of complexity, which provides the urgently needed issue from the current impasse of the global civilisation development. (shrink)

In this paper I review three different positions on the wave function, namely: nomological realism, dispositionalism, and configuration space realism by regarding as essential their capacity to account for the world of our experience. I conclude that the first two positions are committed to regard the wave function as an abstract entity. The third position will be shown to be a merely speculative attempt to derive a primitive ontology from a reified mathematical space. Without entering any discussion about nominalism, I (...) conclude that an elimination of abstract entities from one’s ontology commits one to instrumentalism about the wave function, a position that therefore is not as unmotivated as it has seemed to be to many philosophers. (shrink)

This manuscript is intended to illustrate the existence of a natural ethic as a universal and special case in which the notion of proximity differs from the reflexively perceived physical notion that is both commonly and scientifically employed. In this case actual proximity in nature is proposed to diverge from the physical lines construed to connect points to be a function of relations of the lines of perception as the components of a universal volume that is energetic and active, (...) an active "line of sight" to a single unique surface composed of all lines of sight, in contrast to a common notion of seeing based on connected points, and emerged as a function of past, transparent to witness, processes, in synergy with the more apparent, temporal and physical proximal , and possesses a logic that is based upon the same mathematical means of operations that are commonly known reflexively. This scheme, the nature of the natural ethic postulated precludes genetic manipulation as unethical in that it violates natural inherent, inherited proximities, synergies of past and present as, in name, nature itself as genetic and emerging. (shrink)

Du Châtelet holds that mathematical representations play an explanatory role in natural science. Moreover, she writes that things proceed in nature as they do in geometry. How should we square these assertions with Du Châtelet’s idealism about mathematical objects, on which they are ‘fictions’ dependent on acts of abstraction? The question is especially pressing because some of her important interlocutors (Wolff, Maupertuis, and Voltaire) denied that mathematics informs us about the properties of material things. After situating Du Châtelet in (...) this debate, this chapter argues, first, that her account of the origins of mathematical objects is less subjectivist than it might seem. Mathematical objects are non-arbitrary, public entities. While mathematical objects are partly mind-dependent, so are material things. Mathematical objects can approximate the material. Second, it is argued that this moderate metaphysical position underlies Du Châtelet’s persistent claims that mathematics is required for certain kinds of general knowledge, including in natural science. The chapter concludes with an illustrative example: an analysis of Du Châtelet’s argument that matter is continuous. A key premise in the argument is that mathematical representations and material nature correspond. (shrink)

my goal here is to provide a detailed analysis of the methods of inference that are employed in De prospectiva pingendi. For this purpose, a method of natural deduction is proposed. the treatise by Piero della Francesca is a manifestation of a union between the ne arts and the mathematical sciences of arithmetic and geometry. He de nes painting as a part of perspective and, speaking precisely, as a branch of geometry, which is why we nd advanced geometrical exercises here.

Contemporary natural-language semantics began with the assumption that the meaning of a sentence could be modeled by a single truth condition, or by an entity with a truth-condition. But with the recent explosion of dynamic semantics and pragmatics and of work on non- truth-conditional dimensions of linguistic meaning, we are now in the midst of a shift away from a truth-condition-centric view and toward the idea that a sentence’s meaning must be spelled out in terms of its various roles in (...) conversation. This communicative turn in semantics raises historical questions: Why was truth-conditional semantics dominant in the first place, and why were the phenomena now driving the communicative turn initially ignored or misunderstood by truth-conditional semanticists? I offer a historical answer to both questions. The history of natural-language semantics—springing from the work of Donald Davidson and Richard Montague—began with a methodological toolkit that Frege, Tarski, Carnap, and others had created to better understand artificial languages. For them, the study of linguistic meaning was subservient to other explanatory goals in logic, philosophy, and the foundations of mathematics, and this subservience was reflected in the fact that they idealized away from all aspects of meaning that get in the way of a one-to-one correspondence between sentences and truth-conditions. The truth-conditional beginnings of natural- language semantics are best explained by the fact that, upon turning their attention to the empirical study of natural language, Davidson and Montague adopted the methodological toolkit assembled by Frege, Tarski, and Carnap and, along with it, their idealization away from non-truth-conditional semantic phenomena. But this pivot in explana- tory priorities toward natural language itself rendered the adoption of the truth-conditional idealization inappropriate. Lifting the truth-conditional idealization has forced semanticists to upend the conception of linguistic meaning that was originally embodied in their methodology. (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)

Human consciousness and reasoning summarize all physical data into laws and create the mathematical theories that lead to predictions. However, the human element that creates the theories is totally absent from the laws and theories themselves. Accordingly, human consciousness and rationality are outside the bounds of science since they cannot be detected by purely physical devices and can only be “detected” by the self in humans. One wonders if notions of information, function, and purpose, can provide explanations of such nonphysical (...) aspects of creation. (shrink)

An analysis of the counter-intuitive properties of infinity as understood differently in mathematics, classical physics and quantum physics allows the consideration of various paradoxes under a new light (e.g. Zeno’s dichotomy, Torricelli’s trumpet, and the weirdness of quantum physics). It provides strong support for the reality of abstractness and mathematical Platonism, and a plausible reason why there is something rather than nothing in the concrete universe. The conclusions are far reaching for science and philosophy.

Frege discussed Mill’s empiricist ideas and Kant’s rationalist ideas about the nature of mathematics, and employed Set Theory and logico-philosophical notions to develop a new concept for the natural numbers. All this is objectively exposed by this paper.

The nature of time is variously understood and varied expressions of time available are critically discussed. The nature of time formation, its structure and textures are presented taking examples from natural sciences and Indian spirituality. The physics and mathematics used to evolve the concept of time are chronologically presented. The mathematical allusion and physical illusion associated with the concept of theories of relativity are analyzed. The mathematical conjectures responsible for evolution of theories of relativity are pronounced. The missing (...) physical reality in theories of relativity in relation to appearance of contraction of length and dilation of time is given comparing these mathematical illusions associated; with the optical illusion of appearance of a scale as bent in water in a beaker to stress the point of illusion - mental and physical respectively. The physical and mathematical nature of time, its measurement and passage and the complex mathematical nature of physical and psychological times are presented. (shrink)

This article had its beginning with Einstein's 1919 paper "Do gravitational fields play an essential role in the structure of elementary particles?" Together with General Relativity's statement that gravity is not a pull but is a push caused by the curvature of space-time, a hypothesis for Earth's ocean tides was developed that does not solely depend on the Sun and Moon as Kepler and Newton believed. It also borrows from Galileo. The breakup of planets and asteroids by white dwarfs, neutron (...) stars or black holes is popularly ascribed by today's science to tidal forces (gravitation emanating from the stellar body and having a greater effect on the near side of a planet/asteroid than the farthest side). Remembering Einstein's 1919 paper, it was apparent that my revised idea of tidal forces improves on current accounts because it views matter and mass as unified with space-time whose curvature is gravitation. Unification is a necessity for modern science's developing view of one united and entangled universe – expressed in the Unified Field Theory, the Theory of Everything, String theory and Loop Quantum Gravity. The writing of this article was also assisted by visualizing the gravitational fields forming space-time being themselves formed by a multitude of weak and presently undetectable gravitational waves. The final part of this article concludes that the section BITS AND TOPOLOGY will lead to the conclusions in ETERNAL LIFE, WORLD PEACE AND PHYSICS' UNIFICATION. The final part also compares cosmology to biological enzymes and biology's substrate of reacting "chemicals" - using virtual particles, hidden variables, gravitation, electromagnetism, electronics’ binary digits, plus topology’s Mobius strip and figure-8 Klein bottle. The product is mass - enzyme, substrate and product are all considered mathematical in nature. Also, gravitation and electromagnetism are united using logic and topology – showing there’s no need in this article for things like mathematical formalism, field equations or tensor calculus. (shrink)

The classical (set-theoretic) concept of structure has become essential for every contemporary account of a scientific theory, but also for the metatheoretical accounts dealing with the adequacy of such theories and their methods. In the latter category of accounts, and in particular, the structural metamodels designed for the applicability of mathematics have struggled over the last decade to justify the use of mathematical models in sciences beyond their 'indispensability' in terms of either method or concepts/entities. In this paper, I argue (...) that these metamodels employ structures of different natures and epistemologies, and this diversity does pose a serious problem to the intended justification. (shrink)

The nature of time is perceived by intellectuals variedly. An attempt is made in this paper to reconcile such varied views in the light of the Upanishads and related Indian spiritual and philosophical texts. The complex analysis of modern mathematics is used to represent the nature and presentation physical and psychological times so differentiated. Also the relation between time and energy is probed using uncertainty relations, forms of energy and phases of matter.

This paper is on Descartes’ account of modality and, in particular, his account of the necessity of the laws of nature. He famously argues that the necessity of the “eternal truths” of logic and mathematics depends on God’s will. Here I suggest he has the same view about the necessity of the laws of nature. Further, I argue, this is a plausible theory of laws. For philosophers often talk about something being nomologically or physically necessary because of the (...) laws of nature, but this necessity is thought to be metaphysically contingent. However, they struggle to explain how the laws could be genuinely necessary while being metaphysically contingent. The chief advantage of Descartes view, I argue, is that God’s will can plausibly explain both the necessity of the laws and the contingency of the laws. So, Descartes’ theistic account of laws provides a plausible explanation, perhaps the best explanation, of the contingent-necessity of laws of nature. (shrink)

First, I offer a short overview on the classical occidental philosophy as propounded by the ancient Greeks and the natural philosophies of the last 2000 years until the dawn of the empiricist logic of science in the twentieth century, which wanted to delimitate classical metaphysics from empirical sciences. In contrast to metaphysical concepts which didn’t reflect on the language with which they tried to explain the whole realm of entities empiricist logic of science initiated the end of metaphysical theories by (...) reflecting on the preconditions for foundation and justification of sentences about objects of investigation, i.e. a coherent definition of language in general, which was not the aim of classical metaphysics. Unexpectedly empiricist logic of science in the linguistic turn failed in the physical and mathematical reductionism of language and its use in communication, as will be discussed below in further detail. Nevertheless, such reflection on language and communication also introduced this vocabulary into biology. Manfred Eigen and bioinformatics, later on biolinguistics, used ‘language’ applied linguistic turn thinking to biology coherent to the logic of science and its formalisable aims. This changed significantly with the birth of biosemiotics and biohermeneutics. At the end of this introduction it will be outlined why and how all these approaches reproduced the deficiencies of the logic of science and why the biocommunicative approach avoids their abstractive fallacies. (shrink)

The nature of time is perceived by intellectuals variedly. An attempt is made in this paper to reconcile such varied views in the light of the Upanishads and related Indian spiritual and philosophical texts. The complex analysis of modern mathematics is used to represent the nature and presentation physical and psychological times so differentiated. Also the relation between time and energy is probed using uncertainty relations, forms of energy and phases of matter. Implications to time-dependent Schrodinger wave equation (...) and uncertainty principle are hinted. (shrink)

In this multi-disciplinary investigation we show how an evidence-based perspective of quantification---in terms of algorithmic verifiability and algorithmic computability---admits evidence-based definitions of well-definedness and effective computability, which yield two unarguably constructive interpretations of the first-order Peano Arithmetic PA---over the structure N of the natural numbers---that are complementary, not contradictory. The first yields the weak, standard, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically verifiable Tarskian truth values to the formulas of PA under the interpretation. (...) The second yields a strong, finitary, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically computable Tarskian truth values to the formulas of PA under the interpretation. We situate our investigation within a broad analysis of quantification vis a vis: * Hilbert's epsilon-calculus * Goedel's omega-consistency * The Law of the Excluded Middle * Hilbert's omega-Rule * An Algorithmic omega-Rule * Gentzen's Rule of Infinite Induction * Rosser's Rule C * Markov's Principle * The Church-Turing Thesis * Aristotle's particularisation * Wittgenstein's perspective of constructive mathematics * An evidence-based perspective of quantification. By showing how these are formally inter-related, we highlight the fragility of both the persisting, theistic, classical/Platonic interpretation of quantification grounded in Hilbert's epsilon-calculus; and the persisting, atheistic, constructive/Intuitionistic interpretation of quantification rooted in Brouwer's belief that the Law of the Excluded Middle is non-finitary. We then consider some consequences for mathematics, mathematics education, philosophy, and the natural sciences, of an agnostic, evidence-based, finitary interpretation of quantification that challenges classical paradigms in all these disciplines. (shrink)

General Relativity says gravity is a push caused by space-time's curvature. Combining General Relativity with E=mc2 results in distances being totally deleted from space-time/gravity by future technology, and in expansion or contraction of the universe as a whole being eliminated. The road to these conclusions has branches shining light on supersymmetry and superconductivity. This push of gravitational waves may be directed from intergalactic space towards galaxy centres, helping to hold galaxies together and also creating supermassive black holes. Together with the (...) waves' possible production of "dark" matter in higher dimensions, there's ample reason to believe knowledge of gravitational waves has barely begun. Advanced waves are usually discarded by scientists because they're thought to violate the causality principle. Just as advanced waves are usually discarded, very few physicists or mathematicians will venture to ascribe a physical meaning to Wick rotation and "imaginary" time. Here, that maths (when joined with Mobius-strip and Klein-bottle topology) unifies space and time into one space-time, and allows construction of what may be called "imaginary computers". This research idea you're reading is not intended to be a formal theory presenting scientific jargon and mathematical formalism. (shrink)

MARGARET LYNN SCHABAS (Toronto, 1954) is professor of philosophy at the University of British Columbia in Vancouver and served as the head of the Philosophy Department from 2004-2009. She has held professoriate positions at the University of Wisconsin-Madison and at York University, and has also taught as a visiting professor at Michigan State University, University of Colorado-Boulder, Harvard, CalTech, the Sorbonne, and the École Normale de Cachan. As the recipient of several fellowships, she has enjoyed visiting terms at Stanford, Duke, (...) MIT, Cambridge, the LSE, and the MPI-Berlin. In addition to her doctorate in the history and philosophy of science and technology (Toronto 1983), she holds a bachelor of science in music (oboe) and the philosophy of science (Indiana 1976), a master’s degree in the history and philosophy of science (Indiana 1977), and a master’s degree in economics (Michigan1985). -/- She has published four books and over forty articles or book chapters in science studies. Some of the journals in which her articles can be found are Isis, Monist, History of Political Economy, Public Affairs Quarterly, Daedaelus, Journal of Economic Perspectives, and Studies in the History and Philosophy of Science. Her first book, A world ruled by number (1990) examines the emergence of mathematical economics in the second half of the nineteenth century. Her second book, The natural origins of economics (2005), traces the transformation of economics from a natural to a social science. She also has two co-edited collections, Oeconomies in the age of Newton (2003), with Neil De Marchi, and David Hume’s political economy (2008), with Carl Wennerlind. She is currently writing a monograph on Hume’s economics, as well as articles on the history and philosophy of bioeconomics. She is currently president of the History of Economics Society. -/- EJPE interviewed Margaret Schabas at the University of British Columbia in March 2013. In this interview, she recounts her earliest foray into the history and philosophy of economics, the conceptual trade between economics and natural science, and her most recent undertaking: the history and philosophy of bioeconomics. (shrink)

We show how removing faith-based beliefs in current philosophies of classical and constructive mathematics admits formal, evidence-based, definitions of constructive mathematics; of a constructively well-defined logic of a formal mathematical language; and of a constructively well-defined model of such a language. -/- We argue that, from an evidence-based perspective, classical approaches which follow Hilbert's formal definitions of quantification can be labelled `theistic'; whilst constructive approaches based on Brouwer's philosophy of Intuitionism can be labelled `atheistic'. -/- We then adopt what may (...) be labelled a finitary, evidence-based, `agnostic' perspective and argue that Brouwerian atheism is merely a restricted perspective within the finitary agnostic perspective, whilst Hilbertian theism contradicts the finitary agnostic perspective. -/- We then consider the argument that Tarski's classic definitions permit an intelligence---whether human or mechanistic---to admit finitary, evidence-based, definitions of the satisfaction and truth of the atomic formulas of the first-order Peano Arithmetic PA over the domain N of the natural numbers in two, hitherto unsuspected and essentially different, ways. -/- We show that the two definitions correspond to two distinctly different---not necessarily evidence-based but complementary---assignments of satisfaction and truth to the compound formulas of PA over N. -/- We further show that the PA axioms are true over N, and that the PA rules of inference preserve truth over N, under both the complementary interpretations; and conclude some unsuspected constructive consequences of such complementarity for the foundations of mathematics, logic, philosophy, and the physical sciences. -/- . (shrink)

What were the reasons of the Copernican Revolution ? How did modern science (created by a bunch of ambitious intellectuals) manage to force out the old one created by Aristotle and Ptolemy, rooted in millennial traditions and strongly supported by the Church? What deep internal causes and strong social movements took part in the genesis, development and victory of modern science? The author comes to a new picture of Copernican Revolution on the basis of the elaborated model of scientific revolutions (...) that takes into account some recent advances in philosophy, sociology and history of science. The model was initially invented to describe Einstein’s Revolution of the XX century beginning. The model considers the growth of knowledge as interaction, interpenetration and unification of the research programmes, springing out of different cultural traditions. Thus, Copernican Revolution appears as a result of revealation and (partial) resolution of the dualism , of the gap between Ptolemy’s mathematical astronomy and Aristotelian qualitative physics. The works of Copernicus, Galileo, Kepler and Newton were all the stages of mathematics descendance from skies to earth and reciprocal extrapolation of earth physics on skies. The model elaborated enables to reassess the role of some social factors crucial for the scientific revolution. It is argued that initially modern science was a result of the development of Christian Weltanschaugung . Later the main support came from the absolute monarchies. In the long run the creators of modern science appeared to be the “apparatchics” of the “regime of truth” built-in state machine. Natural science became a part of ideological state apparatus providing not only scientific education but the internalization of values crucial for the functioning of state. -/- . (shrink)

In this multi-disciplinary investigation we show how an evidence-based perspective of quantification---in terms of algorithmic verifiability and algorithmic computability---admits evidence-based definitions of well-definedness and effective computability, which yield two unarguably constructive interpretations of the first-order Peano Arithmetic PA---over the structure N of the natural numbers---that are complementary, not contradictory. The first yields the weak, standard, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically verifiable Tarskian truth values to the formulas of PA under the interpretation. (...) The second yields a strong, finitary, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically computable Tarskian truth values to the formulas of PA under the interpretation. We situate our investigation within a broad analysis of quantification vis a vis: * Hilbert's epsilon-calculus * Goedel's omega-consistency * The Law of the Excluded Middle * Hilbert's omega-Rule * An Algorithmic omega-Rule * Gentzen's Rule of Infinite Induction * Rosser's Rule C * Markov's Principle * The Church-Turing Thesis * Aristotle's particularisation * Wittgenstein's perspective of constructive mathematics * An evidence-based perspective of quantification. By showing how these are formally inter-related, we highlight the fragility of both the persisting, theistic, classical/Platonic interpretation of quantification grounded in Hilbert's epsilon-calculus; and the persisting, atheistic, constructive/Intuitionistic interpretation of quantification rooted in Brouwer's belief that the Law of the Excluded Middle is non-finitary. We then consider some consequences for mathematics, mathematics education, philosophy, and the natural sciences, of an agnostic, evidence-based, finitary interpretation of quantification that challenges classical paradigms in all these disciplines. (shrink)

Kant's reasoning in his special metaphysics of nature is often opaque, and the character of his a priori foundation for Newtonian science is the subject of some controversy. Recent literature on the Metaphysical Foundations of Natural Science has fallen well short of consensus on the aims and reasoning in the work. Various of the doctrines and even the character of the reasoning in the Metaphysical Foundations have been taken to present insuperable obstacles to accepting Kant's claim to ground Newtonian (...) science. Gordon Brittan and Gerd Buchdahl, amongst others, have argued that Kant's stated aims in this case are not to be taken at face value, and that prior ontological commitments play a hidden but central role in Kant's special metaphysics. ;Michael Friedman has shown how Kant's stated aims can be taken seriously with his ingenious reconstruction of the Metaphysical Foundations as a demonstration of the a priori basis for our thinking bodies to be in true motion and in absolute space. However, Friedman does not address the issue of matter theory--despite the importance of the issue to Kant. I argue that a strict reading of both the stated aims and doctrines of the Metaphysical Foundations is possible, since much of Kant's reasoning about the empirical concept of matter can be explained by his views on how the construction of empirical concepts is possible. ;Kant's quasi-mathematical constructions are pivotal in Friedman's interpretation. Constructibility is Kant's criterion of acceptability for the concepts of natural science. Yet Kant notoriously fails to construct the dynamical concept of matter, and accepts this failure with an equally notorious complacency. I argue that Kant's criteria of empirical concept construction, apart from any prior ontological commitments, are enough to generate his views on matter. Kant's failure to construct the requisite concept of matter can be ascribed to a missing law of nature, a law of the relation of forces the discovery of which Kant thought imminent. I conclude that matter theory is central to the Metaphysical Foundations, but that this does not undermine Kant's stated aim of giving the a priori ground of Newtonian science. (shrink)

MethodologyA new hypothesis on the basic features characterizing the Foundations of Mathematics is suggested.Application of the methodBy means of it, the several proposals, launched around the year 1900, for discovering the FoM are characterized. It is well known that the historical evolution of these proposals was marked by some notorious failures and conflicts. Particular attention is given to Cantor's programme and its improvements. Its merits and insufficiencies are characterized in the light of the new conception of the FoM. After the (...) failures of Frege's and Cantor's programmes owing to the discoveries of an antinomy and internal contradictions, respectively, the two remaining, more radical programmes, i.e. Hilbert's and Brouwer's, generated a great debate; the explanation given here is their mutual incommensurability, defined by means of the differences in their foundational features.ResultsThe ignorance of this phenomenon explains the inconclusiveness of a century-long debate between the advocates of these two proposals. Which however have been so greatly improved as to closely approach or even recognize some basic features of the FoM.Discussion on the resultsYet, no proposal has recognized the alternative basic feature to Hilbert's main one, the deductive organization of a theory, although already half a century before the births of all the programmes this alternative was substantially instantiated by Lobachevsky's theory on parallel lines. Some conclusive considerations of a historical and philosophical nature are offered. In particular, the conclusive birth of a pluralism in the FoM is stressed. (shrink)

Finnis claims that his theory proceeds from seven basic principles of practical reason that are self-evidently true. While much has been written about the claim of self-evidence, this article considers it in relation to the rigorous claims of logic and mathematics. It argues that when considered in this light, Finnis equivocates in his use of the concept of self-evidence between the realist Thomistic conception and a purely formal, modern symbolic conception. Given his respect for the modern positivist separation of fact (...) and value, the realism of the Thomistic conception cannot be the foundation for the natural law as Finnis would reconstruct it. Nor can the purely formal modern conception of self-evidence provide a foundation for practical reason. This raises some doubt as to whether there can be self-evident principles of practical reason as Finnis suggests. The article contributes to the analysis of the Finnis reconstruction of the natural law by providing a rigorous analysis of his claim for self-evidence. It frames this analysis historically, suggesting the roles that certainty and mystery play in the apprehension of moral meaning. (shrink)

The view of nature we adopt in the natural attitude is determined by common sense, without which we could not survive. Classical physics is modelled on this common-sense view of nature, and uses mathematics to formalise our natural understanding of the causes and effects we observe in time and space when we select subsystems of nature for modelling. But in modern physics, we do not go beyond the realm of common sense by augmenting our knowledge of what (...) is going on in nature. Rather, we have measurements that we do not understand, so we know nothing about the ontology of what we measure. We help ourselves by using entities from mathematics, which we fully understand ontologically. But we have no ontology of the reality of modern physics; we have only what we can assert mathematically. In this paper, we describe the ontology of classical and modern physics against this background and show how it relates to the ontology of common sense and of mathematics. (shrink)

Book Review for Reading Natural Philosophy: Essays in the History and Philosophy of Science and Mathematics, La Salle, IL: Open Court, 2002. Edited by David Malament. This volume includes thirteen original essays by Howard Stein, spanning a range of topics that Stein has written about with characteristic passion and insight. This review focuses on the essays devoted to history and philosophy of physics.

A condensed summary of the adventures of ideas (1990-2020). Methodology of evolutionary-phenomenological constitution of Consciousness. Vector (BeVector) of Consciousness. Consciousness is a qualitative vector quantity. Vector of Consciousness as a synthesizing category, eidos-prototecton, intentional meta-observer. The development of the ideas of Pierre Teilhard de Chardin, Brentano, Husserl, Bergson, Florensky, Losev, Mamardashvili, Nalimov. Dialectic of Eidos and Logos. "Curve line" of the Consciousness Vector from space and time. The lower and upper sides of the "abyss of being". The existential tension of (...) being. Five reference “points” (existential-extremum) - world events in the evolution of Consciousness from “homo habilis” to “homo sapiens sapiens”. “Prometheus Effect". Inversion and reversion of Сonsciousness. "Open" and "closed" Сonsciousness. Consciousness and Self-Consciousness. Protogeometer: fall in the future, in the "EgoLand". The problem of justification/substantiation of mathematics (knowledge) is an ontological problem. The crisis of ontology and ontological limits of cognition. Ontological structure of space. The project of constructive dialectic ontology. The methodology of dialectical-ontological construction (modeling): conceptual-figure synthesis, total unification of matter, coincidence of ontological opposites, primordial Meta-Axioma and Superprinciple, vector (bivector) of the absolute state (states) of matter (absolute forms of existence). The ontological "celestial triangle" (Plato). Ontological invariants of the Universum and their ontological paths. Ontological and gnoseological dimensions of space. Triune (ontological) space of nine gnoseological dimensions: absolute rest (linear state, "Continuum")+ absolute motion (absolute vortex, "Discretuum") + absolute becoming (absolute wave, "Dis-Continuum"). Primordial generating structure: ontological framework, ontological carcass and ontological foundation. Ontological (structural, cosmic) memory - the semantic core of the conceptual construction of the Universum being as an eternal process of generation of new meanings and structures. Consciousness is an absolute (unconditional) attractor of meanings, a univalent phenomenon of ontological memory, which manifests itself at a certain level of the Universum being. Ontological space-MatterMemory-Ontological time (S-MM-T). Ontological Rhythm and Cycle. The nature and structure of ontological time. Natural (absolute) determinism. (shrink)

DEFINING OUR TERMS A “paradox" is an argumentation that appears to deduce a conclusion believed to be false from premises believed to be true. An “inconsistency proof for a theory" is an argumentation that actually deduces a negation of a theorem of the theory from premises that are all theorems of the theory. An “indirect proof of the negation of a hypothesis" is an argumentation that actually deduces a conclusion known to be false from the hypothesis alone or, more commonly, (...) from the hypothesis augmented by a set of premises known to be true. A “direct proof of a hypothesis" is an argumentation that actually deduces the hypothesis itself from premises known to be true. Since `appears', `believes' and `knows' all make elliptical reference to a participant, it is clear that `paradox', `indirect proof' and `direct proof' are all participant-relative. PARTICIPANT RELATIVITY In normal mathematical writing the participant is presumed to be “the community of mathematicians" or some more or less well-defined subcommunity and, therefore, omission of explicit reference to the participant is often warranted. However, in historical, critical, or philosophical writing focused on emerging branches of mathematics such omission often invites confusion. One and the same argumentation has been a paradox for one mathematician, an inconsistency proof for another, and an indirect proof to a third. One and the same argumentation-text can appear to one mathematician to express an indirect proof while appearing to another mathematician to express a direct proof. WHAT IS A PARADOX’S SOLUTION? Of the above four sorts of argumentation only the paradox invites “solution" or “resolution", and ordinarily this is to be accomplished either by discovering a logical fallacy in the “reasoning" of the argumentation or by discovering that the conclusion is not really false or by discovering that one of the premises is not really true. Resolution of a paradox by a participant amounts to reclassifying a formerly paradoxical argumentation either as a “fallacy", as a direct proof of its conclusion, as an indirect proof of the negation of one of its premises, as an inconsistency proof, or as something else depending on the participant's state of knowledge or belief. This illustrates why an argumentation which is a paradox to a given mathematician at a given time may well not be a paradox to the same mathematician at a later time. -/- The present article considers several set-theoretic argumentations that appeared in the period 1903-1908. The year 1903 saw the publication of B. Russell's Principles of mathematics, [Cambridge Univ. Press, Cambridge, 1903; Jbuch 34, 62]. The year 1908 saw the publication of Russell's article on type theory as well as Ernst Zermelo's two watershed articles on the axiom of choice and the foundations of set theory. The argumentations discussed concern “the largest cardinal", “the largest ordinal", the well-ordering principle, “the well-ordering of the continuum", denumerability of ordinals and denumerability of reals. The article shows that these argumentations were variously classified by various mathematicians and that the surrounding atmosphere was one of confusion and misunderstanding, partly as a result of failure to make or to heed distinctions similar to those made above. The article implies that historians have made the situation worse by not observing or not analysing the nature of the confusion. -/- RECOMMENDATION This well-written and well-documented article exemplifies the fact that clarification of history can be achieved through articulation of distinctions that had not been articulated (or were not being heeded) at the time. The article presupposes extensive knowledge of the history of mathematics, of mathematics itself (especially set theory) and of philosophy. It is therefore not to be recommended for casual reading. AFTERWORD: This review was written at the same time Corcoran was writing his signature “Argumentations and logic”[249] that covers much of the same ground in much more detail. https://www.academia.edu/14089432/Argumentations_and_Logic . (shrink)

The relationship between the One and the Multiple in mystic philosophy is a profound and central theme that explores the nature of existence, the cosmos, and the divine. This theme is present in various mystical traditions, including those of the East and West, and it addresses the paradoxical coexistence of the unity and multiplicity of all things. -/- In mystic philosophy, the **One** often represents the ultimate reality, the source from which all things emanate and to which all things (...) return. It is the absolute, the infinite, and the unchanging. The One is beyond all attributes and is often associated with the divine or the absolute truth. -/- The **Multiple**, on the other hand, represents the manifest world, the diversity of forms, and the realm of change and plurality. It is the world we experience through our senses, the domain of time and space, where differentiation and individuality are apparent. -/- The relationship between the One and the Multiple is not one of opposition but of emanation and unity. The Multiple is seen as a reflection, expression, or manifestation of the One. In this sense, the diversity of the world doesn’t contradict the unity of the One but rather demonstrates it in a myriad of forms. -/- Mystics seek to understand and experience this relationship through various practices and insights. They aim to transcend the illusion of separation and duality to experience the non-dual reality where the One and the Multiple are recognized as inseparable. -/- This concept can be illustrated by the metaphor of the ocean and its waves. The ocean represents the One—vast, deep, and all-encompassing—while the waves represent the Multiple—distinct, diverse, and ever-changing. Each wave is unique, yet it is not separate from the ocean. The wave’s existence is dependent on and made of the same substance as the ocean. In the same way, each individual entity in the Multiple is an expression of the One. -/- In summary, the relationship between the One and the Multiple in mystic philosophy is a dynamic interplay that challenges the conventional understanding of separation. It invites a deeper exploration of reality, where the apparent multiplicity of the world is a direct expression of the singular, underlying essence of all that is. -/- The relationship between the One and the Multiple in the context of mathematical philosophy is a profound topic that touches upon the very foundations of existence and knowledge. It’s a theme that has been explored by philosophers and mathematicians alike, often leading to the contemplation of unity and diversity within the structures of reality. -/- In mathematics, the concept of the One can be seen as the basis of unity from which all numbers derive. It’s the identity element in multiplication, the starting point in counting, and the foundation of dimension in geometry. The One is often associated with the concept of monism in philosophy, which posits that there is a single, underlying substance or principle that constitutes reality. -/- On the other hand, the Multiple represents the infinite variety and diversity of forms and numbers that arise from the One. It’s the embodiment of plurality and the complex interplay of different entities that mathematics seeks to understand and describe. This reflects the philosophical stance of pluralism, which acknowledges the existence of multiple realities or truths. -/- The interplay between the One and the Multiple can be seen in the mathematical concept of sets. A set can be thought of as a unity, a whole composed of distinct elements. Yet, each element within the set also retains its individuality, contributing to the diversity of the set’s composition. This duality is mirrored in the philosophical exploration of the universal and the particular, where the universal represents the One, and the particulars represent the Multiple. -/- In the realm of mathematical philosophy, this relationship often leads to questions about the nature of mathematical objects: Are they discovered as part of an objective reality (the One), or are they constructed by the human mind from a multitude of experiences (the Multiple)? This debate resonates with the philosophical inquiry into the nature of truth and reality. -/- Reflecting on the One and the Multiple can also lead to a deeper understanding of the self and the cosmos. Just as the number one is integral to the existence of all other numbers, the individual self can be seen as a unique expression of the universal whole. Similarly, the cosmos can be viewed as a grand unity composed of a multiplicity of forms and phenomena. -/- Gödel’s incompleteness theorems have a fascinating connection to the philosophical concepts of the One and the Multiple. These theorems, which are pivotal in mathematical logic and philosophy of mathematics, articulate the inherent limitations of formal axiomatic systems, particularly those sufficient to express the arithmetic of natural numbers. -/- Gödel’s incompleteness theorems have a fascinating connection to the philosophical concepts of the One and the Multiple. These theorems, which are pivotal in mathematical logic and philosophy of mathematics, articulate the inherent limitations of formal axiomatic systems, particularly those sufficient to express the arithmetic of natural numbers⁴. -/- The **first incompleteness theorem** reveals that within any such consistent system, there are propositions that are true but cannot be proven within the system itself. This reflects the idea of the Multiple in that there is an abundance of mathematical truths, a multiplicity that exceeds the unifying framework of any one system. It suggests that the realm of mathematical truth is more extensive than any single formal system can fully capture. -/- The **second incompleteness theorem** extends this by showing that a system cannot prove its own consistency. This relates to the concept of the One, as it implies that a system’s complete self-understanding, its unity and coherence, is unattainable from within. It must look beyond itself, to an external vantage point, to ascertain its consistency. -/- In the context of the One and the Multiple, Gödel’s theorems imply that the One (a consistent formal system) is inherently incomplete and cannot encompass the Multiple (the totality of mathematical truths). This resonates with philosophical discussions about the relationship between unity and plurality. Just as a single philosophical system cannot capture the entirety of truth, a single formal mathematical system cannot encapsulate all mathematical truths. -/- Moreover, Gödel’s work suggests that the pursuit of a single, unified theory of everything in mathematics—a One that encompasses all Multiples—is an inherently Sisyphean task. There will always be more truths (Multiples) than can be derived from any given set of axioms (the One). -/- In essence, Gödel’s incompleteness theorems provide a formal underpinning to the philosophical notion that the One cannot exist without the Multiple, and vice versa. They are interdependent, with the One giving rise to the Multiple, and the Multiple necessitating the One for its expression and comprehension. This interplay is a dance of limitations and possibilities, where the boundaries of logic, mathematics, and philosophy blur into one another. -/- The relationship between the One and the Multiple in the context of the mathematics of zero is a deeply philosophical inquiry that bridges the abstract world of numbers with the existential questions of being and non-being. -/- Zero, in mathematics, is a symbol of absence, a representation of nothingness, yet it holds a pivotal position as a number. It is the void from which all things emerge and to which they return. In the philosophy of mathematics, zero is the paradoxical junction where the One and the Multiple converge and diverge. -/- From the perspective of the One, zero can be seen as the origin—the singular point that precedes the existence of numbers. It is the empty set, the foundation upon which the edifice of mathematics is constructed. As the identity element in addition, zero maintains the integrity of numbers, for adding zero to any number leaves it unchanged, reflecting the immutable nature of the One. -/- Conversely, when we consider the Multiple, zero represents the infinite potentiality of creation. It is the canvas upon which the integers, both positive and negative, express their multitude. Zero is the balance point, the fulcrum around which the symphony of numbers dances. It embodies the plurality of possibilities, the beginning of the number line that stretches infinitely in both directions. -/- Philosophically, zero challenges our understanding of existence. It is both something and nothing—a number that quantifies the absence of quantity. This duality echoes the philosophical struggle to comprehend how the One gives rise to the Multiple. How does the unity of being manifest the diversity of the cosmos? Zero offers a mathematical metaphor for this mystery, as it encapsulates the transition from non-existence to existence, from the undifferentiated One to the differentiated Multiple. -/- In the realm of set theory, zero corresponds to the empty set—a set with no elements. This set is unique in that it is the only set that contains nothing, yet it is the foundation upon which all other sets are built. The empty set is the mathematical embodiment of the One, and all other sets, containing multiple elements, arise from it. -/- Reflecting on zero in the context of Gödel’s incompleteness theorems, we find a resonance with the idea that the One (a consistent formal system) cannot capture the entirety of the Multiple (the totality of mathematical truths). Zero, as the foundation of numbers, similarly suggests that from the nothingness of the One, the infinite complexity of the Multiple emerges—yet it can never be fully encompassed or expressed by any single system. -/- In conclusion, the mathematics of zero offers a profound reflection on the relationship between the One and the Multiple. It serves as a bridge between the abstract and the concrete, the known and the unknowable, challenging us to ponder the origins of existence and the nature of reality itself. -/- . (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)

Margaret Macdonald was at the institutional heart of analytic philosophy in Britain in the mid-twentieth century. Yet, her views on the nature of philosophical theories diverge quite considerably from those of many of her contemporaries. In this paper, I focus on her 1953 article ‘Linguistic Philosophy and Perception’, a provocative paper in which Macdonald argues that the value of philosophical theories is more akin to that of poetry or art than science or mathematics. I do so for two reasons. (...) First, because it reveals just how far Macdonald’s meta- philosophical views diverged from those of many of her contemporaries. Second, because the discussion in LPP pre-empts recent literature on the nature of philosophical inquiry and the efficacy of philosophical arguments. Indeed, Macdonald’s paper is just as likely to provoke discussion today as it was in the 1950s. (shrink)

This chapter argues that the standard conception of Spinoza as a fellow-travelling mechanical philosopher and proto-scientific naturalist is misleading. It argues, first, that Spinoza’s account of the proper method for the study of nature presented in the Theological-Political Treatise (TTP) points away from the one commonly associated with the mechanical philosophy. Moreover, throughout his works Spinoza’s views on the very possibility of knowledge of nature are decidedly sceptical (as specified below). Third, in the seventeenth-century debates over proper methods (...) in the sciences, Spinoza sided with those that criticized the aspirations of those (the physico-mathematicians, Galileo, Huygens, Wallis, Wren, etc) who thought the application of mathematics to nature was the way to make progress. In particular, he offers grounds for doubting their confidence in the significance of measurement as well as their piece-meal methodology (see section 2). Along the way, this chapter offers a new interpretation of common notions in the context of treating Spinoza’s account of motion (see section 3). (shrink)

The human attempts to access, measure and organize physical phenomena have led to a manifold construction of mathematical and physical spaces. We will survey the evolution of geometries from Euclid to the Algebraic Geometry of the 20th century. The role of Persian/Arabic Algebra in this transition and its Western symbolic development is emphasized. In this relation, we will also discuss changes in the ontological attitudes toward mathematics and its applications. Historically, the encounter of geometric and algebraic perspectives enriched the mathematical (...) practices and their foundations. Yet, the collapse of Euclidean certitudes, of over 2300 years, and the crisis in the mathematical analysis of the 19th century, led to the exclusion of “geometric judgments” from the foundations of Mathematics. After the success and the limits of the logico-formal analysis, it is necessary to broaden our foundational tools and re-examine the interactions with natural sciences. In particular, the way the geometric and algebraic approaches organize knowledge is analyzed as a cross-disciplinary and cross-cultural issue and will be examined in Mathematical Physics and Biology. We finally discuss how the current notions of mathematical (phase) “space” should be revisited for the purposes of life sciences. (shrink)

I offer an alternative account of the relationship of Hobbesian geometry to natural philosophy by arguing that mixed mathematics provided Hobbes with a model for thinking about it. In mixed mathematics, one may borrow causal principles from one science and use them in another science without there being a deductive relationship between those two sciences. Natural philosophy for Hobbes is mixed because an explanation may combine observations from experience (the ‘that’) with causal principles from geometry (the ‘why’). My argument shows (...) that Hobbesian natural philosophy relies upon suppositions that bodies plausibly behave according to these borrowed causal principles from geometry, acknowledging that bodies in the world may not actually behave this way. First, I consider Hobbes's relation to Aristotelian mixed mathematics and to Isaac Barrow's broadening of mixed mathematics in Mathematical Lectures (1683). I show that for Hobbes maker's knowledge from geometry provides the ‘why’ in mixed-mathematical explanations. Next, I examine two explanations from De corpore Part IV: (1) the explanation of sense in De corpore 25.1-2; and (2) the explanation of the swelling of parts of the body when they become warm in De corpore 27.3. In both explanations, I show Hobbes borrowing and citing geometrical principles and mixing these principles with appeals to experience. (shrink)

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

The paper continues the consideration of Hilbert mathematics to mathematics itself as an additional “dimension” allowing for the most difficult and fundamental problems to be attacked in a new general and universal way shareable between all of them. That dimension consists in the parameter of the “distance between finiteness and infinity”, particularly able to interpret standard mathematics as a particular case, the basis of which are arithmetic, set theory and propositional logic: that is as a special “flat” case of Hilbert (...) mathematics. The following four essential problems are considered for the idea to be elucidated: Fermat’s last theorem proved by Andrew Wiles; Poincaré’s conjecture proved by Grigori Perelman and the only resolved from the seven Millennium problems offered by the Clay Mathematics Institute (CMI); the four-color theorem proved “machine-likely” by enumerating all cases and the crucial software assistance; the Yang-Mills existence and mass gap problem also suggested by CMI and yet unresolved. They are intentionally chosen to belong to quite different mathematical areas (number theory, topology, mathematical physics) just to demonstrate the power of the approach able to unite and even unify them from the viewpoint of Hilbert mathematics. Also, specific ideas relevant to each of them are considered. Fermat’s last theorem is shown as a Gödel insoluble statement by means of Yablo’s paradox. Thus, Wiles’s proof as a corollary from the modularity theorem and thus needing both arithmetic and set theory involves necessarily an inverse Grothendieck universe. On the contrary, its proof in “Fermat arithmetic” introduced by “epoché to infinity” (following the pattern of Husserl’s original “epoché to reality”) can be suggested by Hilbert arithmetic relevant to Hilbert mathematics, the mediation of which can be removed in the final analysis as a “Wittgenstein ladder”. Poincaré’s conjecture can be reinterpreted physically by Minkowski space and thus reduced to the “nonstandard homeomorphism” of a bit of information mathematically. Perelman’s proof can be accordingly reinterpreted. However, it is valid in Gödel (or Gödelian) mathematics, but not in Hilbert mathematics in general, where the question of whether it holds remains open. The four-color theorem can be also deduced from the nonstandard homeomorphism at issue, but the available proof by enumerating a finite set of all possible cases is more general and relevant to Hilbert mathematics as well, therefore being an indirect argument in favor of the validity of Poincaré’s conjecture in Hilbert mathematics. The Yang-Mills existence and mass gap problem furthermore suggests the most general viewpoint to the relation of Hilbert and Gödel mathematics justifying the qubit Hilbert space as the dual counterpart of Hilbert arithmetic in a narrow sense, in turn being inferable from Hilbert arithmetic in a wide sense. The conjecture that many if not almost all great problems in contemporary mathematics rely on (or at least relate to) the Gödel incompleteness is suggested. It implies that Hilbert mathematics is the natural medium for their discussion or eventual solutions. (shrink)

Semantic analysis in early analytic philosophy belongs to a long tradition of adopting geometrical methodologies to the solution of philosophical problems. In particular, it adapts Descartes’ development of formalization as a mechanism of analytic representation, for its application in natural language semantics. This article aims to trace the mathematical roots of Frege, Russel and Carnap’s analytic method. Special attention is paid to the formal character of modern analysis introduced by Descartes. The goal is to identify the particular conception of “form” (...) developed by the analytic tradition, from Descartes to early analytic philosophy, and to determine its relation to similar notions, like ‘function’ and ‘syntax’. Finally, I focus on how Frege, Russell and Carnap’s methods of semantic analysis fit the general characterization of formal analysis previously developed. (shrink)

In the last decades two different and apparently unrelated lines of research have increasingly connected mathematics and evolutionism. Indeed, on the one hand different attempts to formalize darwinism have been made, while, on the other hand, different attempts to naturalize logic and mathematics have been put forward. Those researches may appear either to be completely distinct or at least in some way convergent. They may in fact both be seen as supporting a naturalistic stance. Evolutionism is indeed crucial for a (...) naturalistic perspective, and formalizing it seems to be a way to strengthen its scientificity. The paper shows that, on the contrary, those directions of research may be seen as conflicting, since the conception of knowledge on which they rest may be undermined by the consequences of accepting an evolutionary perspective. (shrink)

The aim of this paper is to examine the nature, scope and importance of philosophy in the light of its relation to other disciplines. This work pays its focus on the various fundamental problems of philosophy, relating to Ethics, Metaphysics, Epistemology Logic, and its association with scientific realism. It will also highlight the various facets of these problems and the role of philosophers to point out the various issues relating to human issues. It is widely agreed that philosophy as (...) a multi-dimensional subject that shows affinity to others branches of philosophy like, Philosophy of Science, Humanities, Physics and Mathematics, but this paper also seeks, a philosophical nature towards the universal problems of nature. It evaluates the contribution and sacrifices of the great sages of philosophers to promote the clarity and progress in the field of philosophy. (shrink)

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