A theory of mind is provided by assuming thoughts are mathematical objects (more specifically, constructible using set-theory). Problems from the philosophy of mind are probed using mathematical analogy, and the relation of minds to bodies is clarified using relations that are typical between mathematical structures.

In his famous article “The Unreasonable Effectiveness of Mathematics in the Natural Sciences” Eugen Wigner argues for a unique tie between mathematics and physics, invoking even religious language: “The miracle of the appropriateness of the language of mathematics for the formulation of the laws of physics is a wonderful gift which we neither understand nor deserve”. The possible existence of such a unique match between mathematics and physics has been extensively discussed by philosophers and historians of (...) mathematics. Whatever the merits of this claim are, a further question can be posed with regard to mathematization in science more generally: What happens when we leave the area of theories and laws of physics and move over to the realm of mathematical modeling in interdisciplinary contexts? Namely, in modeling the phenomena specific to biology or economics, for instance, scientists often use methods that have their origin in physics. How is this kind of mathematical modeling justified? (shrink)

The evidential value of moral intuitions has been challenged by psychological work showing that the intuitions of ordinary people are affected by distorting factors. One reply to this challenge, the expertise defence, claims that training in philosophical thinking confers enhanced reliability on the intuitions of professional philosophers. This defence is often expressed through analogy: since we do not allow doubts about folk judgments in domains like mathematics or physics to undermine the plausibility of judgments by experts in these (...) domains, we also should not do so in philosophy. In this paper I clarify the logic of the analogy strategy, and defend it against recent challenges by Jesper Ryberg. The discussion exposes an interesting divide: while Ryberg’s challenges may weaken analogies between morality and domains like mathematics, they do not affect analogies to other domains, such as physics. I conclude that the expertise defence can be supported by analogical means, though care is required in selecting an appropriate analog. I discuss implications of this conclusion for the expertise defence debate and for study of the moral domain itself. (shrink)

In his book On What Matters, Derek Parfit defends a version of moral non-naturalism, a view according to which there are objective normative truths, some of which are moral truths, and we have a reliable way of discovering them. These moral truths do not exist, however, as parts of the natural universe nor in Plato’s heaven. While explaining in what way these truths exist and how we discover them, Parfit makes analogies between morality on the one hand, and mathematics (...) and logic on the other. Moral truths “exist” in a way that numbers exist, and we discover these truths in a similar way as we discover truths about numbers. By the end of the second volume, Parfit also responds to a powerful objection against his view, an objection based on the phenomenon of moral disagreement. If people widely and deeply disagree about what is the moral truth, it is doubtful whether we have a reliable way of discovering it. In his reply, he claims that in ideal conditions for thinking about moral questions, we would all have sufficiently similar moral beliefs. However, we often find ourselves in less-than-ideal conditions due to various factors that distort our ability to agree. Therefore, differences in moral opinion can be expected. In this paper, I draw a connection between these parts of Parfit’s theory and comment on them. Firstly, I argue that Parfit’s analogy with mathematics and logic and his answer to the disagreement objection are in tension because there are important epistemic differences between morality and these fields. If one would try to account for the differences, one would have to sacrifice some measure of similarity between morality and them. Secondly, I comment on Parfit’s reply to the disagreement objection itself. I believe that, although his description of ideal conditions has some potential for reaching moral agreement, it may be difficult to tell if ideal conditions prevail. This obscurity spells further trouble for Parfit’s overall theory. (shrink)

The existence of fundamental moral disagreements is a central problem for moral realism and has often been contrasted with an alleged absence of disagreement in mathematics. However, mathematicians do in fact disagree on fundamental questions, for example on which set-theoretic axioms are true, and some philosophers have argued that this increases the plausibility of moral vis-à-vis mathematical realism. I argue that the analogy between mathematical and moral disagreement is not as straightforward as those arguments present it. In particular, (...) I argue that pluralist accounts of mathematics render fundamental mathematical disagreements compatible with mathematical realism in a way in which moral disagreements and moral realism are not. 11. (shrink)

Gödel argued that intuition has an important role to play in mathematical epistemology, and despite the infamy of his own position, this opinion still has much to recommend it. Intuitions and folk platitudes play a central role in philosophical enquiry too, and have recently been elevated to a central position in one project for understanding philosophical methodology: the so-called ‘Canberra Plan’. This philosophical role for intuitions suggests an analogous epistemology for some fundamental parts of mathematics, which casts a number (...) of themes in recent philosophy of mathematics (concerning a priority and fictionalism, for example) in revealing new light. (shrink)

The picture of synthetic biology as a kind of engineering science has largely created the public understanding of this novel field, covering both its promises and risks. In this paper, we will argue that the actual situation is more nuanced and complex. Synthetic biology is a highly interdisciplinary field of research located at the interface of physics, chemistry, biology, and computational science. All of these fields provide concepts, metaphors, mathematical tools, and models, which are typically utilized by synthetic biologists by (...) drawing analogies between the different fields of inquiry. We will study analogical reasoning in synthetic biology through the emergence of the functional meaning of noise, which marks an important shift in how engineering concepts are employed in this field. The notion of noise serves also to highlight the differences between the two branches of synthetic biology: the basic science-oriented branch and the engineering-oriented branch, which differ from each other in the way they draw analogies to various other fields of study. Moreover, we show that fixing the mapping between a source domain and the target domain seems not to be the goal of analogical reasoning in actual scientific practice. (shrink)

One striking feature of the contemporary modeling practice is its interdisciplinarity: the same function forms and equations, and mathematical and computational methods are being transferred across disciplinary boundaries. Within philosophy of science this interdisciplinary dimension of modeling has been addressed by both analogy and template-based approaches that have proceeded separately from each other. We argue that a more fully-blown account of model transfer needs both perspectives. We examine analogical reasoning and template application through a detailed case study on the (...) transfer of the Ising model from physics into neuroscience. Our account combines the analogy and template-based approaches through the notion of a model template that highlights the conceptual side of model transfer. (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)

The present first part about the eventual completeness of mathematics (called “Hilbert mathematics”) is concentrated on the Gödel incompleteness (1931) statement: if it is an axiom rather than a theorem inferable from the axioms of (Peano) arithmetic, (ZFC) set theory, and propositional logic, this would pioneer the pathway to Hilbert mathematics. One of the main arguments that it is an axiom consists in the direct contradiction of the axiom of induction in arithmetic and the axiom of infinity (...) in set theory. Thus, the pair of arithmetic and set are to be similar to Euclidean and non-Euclidean geometries distinguishably only by the Fifth postulate now, i.e. after replacing it and its negation correspondingly by the axiom of finiteness (induction) versus that of finiteness being idempotent negations to each other. Indeed, the axiom of choice, as far as it is equivalent to the well-ordering “theorem”, transforms any set in a well-ordering either necessarily finite according to the axiom of induction or also optionally infinite according to the axiom of infinity. So, the Gödel incompleteness statement relies on the logical contradiction of the axiom of induction and the axiom of infinity in the final analysis. Nonetheless, both can be considered as two idempotent versions of the same axiom (analogically to the Fifth postulate) and then unified after logicism and its inherent intensionality since the opposition of finiteness and infinity can be only extensional (i.e., relevant to the elements of any set rather than to the set by itself or its characteristic property being a proposition). So, the pathway for interpreting the Gödel incompleteness statement as an axiom and the originating from that assumption for “Hilbert mathematics” accepting its negation is pioneered. A much wider context relevant to realizing the Gödel incompleteness statement as a metamathematical axiom is consistently built step by step. The horizon of Hilbert mathematics is the proper subject in the third part of the paper, and a reinterpretation of Gödel’s papers (1930; 1931) as an apology of logicism as the only consistent foundations of mathematics is the topic of the next second part. (shrink)

_ Source: _Volume 6, Issue 2-3, pp 120 - 142 This paper aims to contribute to the debate over epistemic versus non-epistemic readings of the ‘hinges’ in Wittgenstein’s _On Certainty_. I follow Marie McGinn’s and Daniele Moyal-Sharrock’s lead in developing an analogy between mathematical sentences and certainties, and using the former as a model for the latter. However, I disagree with McGinn’s and Moyal-Sharrock’s interpretations concerning Wittgenstein’s views of both relata. I argue that mathematical sentences as well as certainties (...) are true and are propositions; that some of them can be epistemically justified; that in some senses they are not prior to empirical knowledge; that they are not ineffable; and that their primary function is epistemic as much as it is semantic. (shrink)

The previous Part I of the paper discusses the option of the Gödel incompleteness statement (1931: whether “Satz VI” or “Satz X”) to be an axiom due to the pair of the axiom of induction in arithmetic and the axiom of infinity in set theory after interpreting them as logical negations to each other. The present Part II considers the previous Gödel’s paper (1930) (and more precisely, the negation of “Satz VII”, or “the completeness theorem”) as a necessary condition for (...) granting the Gödel incompleteness statement to be a theorem just as the statement itself, to be an axiom. Then, the “completeness paper” can be interpreted as relevant to Hilbert mathematics, according to which mathematics and reality as well as arithmetic and set theory are rather entangled or complementary rather than mathematics to obey reality able only to create models of the latter. According to that, both papers (1930; 1931) can be seen as advocating Russell’s logicism or the intensional propositional logic versus both extensional arithmetic and set theory. Reconstructing history of philosophy, Aristotle’s logic and doctrine can be opposed to those of Plato or the pre-Socratic schools as establishing ontology or intensionality versus extensionality. Husserl’s phenomenology can be analogically realized including and particularly as philosophy of mathematics. One can identify propositional logic and set theory by virtue of Gödel’s completeness theorem (1930: “Satz VII”) and even both and arithmetic in the sense of the “compactness theorem” (1930: “Satz X”) therefore opposing the latter to the “incompleteness paper” (1931). An approach identifying homomorphically propositional logic and set theory as the same structure of Boolean algebra, and arithmetic as the “half” of it in a rigorous construction involving information and its unit of a bit. Propositional logic and set theory are correspondingly identified as the shared zero-order logic of the class of all first-order logics and the class at issue correspondingly. Then, quantum mechanics does not need any quantum logics, but only the relation of propositional logic, set theory, arithmetic, and information: rather a change of the attitude into more mathematical, philosophical, and speculative than physical, empirical and experimental. Hilbert’s epsilon calculus can be situated in the same framework of the relation of propositional logic and the class of all mathematical theories. The horizon of Part III investigating Hilbert mathematics (i.e. according to the Pythagorean viewpoint about the world as mathematical) versus Gödel mathematics (i.e. the usual understanding of mathematics as all mathematical models of the world external to it) is outlined. (shrink)

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

The literature on mathematics suggests that intuition plays a role in it as a ground of belief. This article explores the nature of intuition as it occurs in mathematical thinking. Section 1 suggests that intuitions should be understood by analogy with perceptions. Section 2 explains what fleshing out such an analogy requires. Section 3 discusses Kantian ways of fleshing it out. Section 4 discusses Platonist ways of fleshing it out. Section 5 sketches a proposal for resolving the (...) main problem facing Platonists—the problem of explaining how our experiences make contact with mathematical reality. (shrink)

The fact that the same equations or mathematical models reappear in the descriptions of what are otherwise disparate physical systems can be seen as yet another manifestation of Wigner's “unreasonable effectiveness of mathematics.” James Clerk Maxwell famously exploited such formal similarities in what he called the “method of physical analogy.” Both Maxwell and Hermann von Helmholtz appealed to the physical analogies between electromagnetism and hydrodynamics in their development of these theories. I argue that a closer historical examination of (...) the different ways in which Maxwell and Helmholtz each deployed this analogy gives further insight into debates about the representational and explanatory power of mathematical models. (shrink)

So-called ‘distinctively mathematical explanations’ (DMEs) are said to explain physical phenomena, not in terms of contingent causal laws, but rather in terms of mathematical necessities that constrain the physical system in question. Lange argues that the existence of four or more equilibrium positions of any double pendulum has a DME. Here we refute both Lange’s claim itself and a strengthened and extended version of the claim that would pertain to any n-tuple pendulum system on the ground that such explanations are (...) actually causal explanations in disguise and their associated modal conditionals are not general enough to explain the said features of such dynamical systems. We argue and show that if circumscribing the antecedent for a necessarily true conditional in such explanations involves making a causal analysis of the problem, then the resulting explanation is not distinctively mathematical or non-causal. Our argument generalises to other dynamical systems that may have purported DMEs analogous to the one proposed by Lange, and even to some other counterfactual accounts of non-causal explanation given by Reutlinger and Rice. (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)

Newton’s impact on Enlightenment natural philosophy has been studied at great length, in its experimental, methodological and ideological ramifications. One aspect that has received fairly little attention is the role Newtonian “analogies” played in the formulation of new conceptual schemes in physiology, medicine, and life science as a whole. So-called ‘medical Newtonians’ like Pitcairne and Keill have been studied; but they were engaged in a more literal project of directly transposing, or seeking to transpose, Newtonian laws into quantitative models of (...) the body. I am interested here in something different: neither the metaphysical reading of Newton, nor direct empirical transpositions, but rather, a more heuristic, empiricist construction of Newtonian analogies. Figures such as Haller, Barthez, and Blumenbach constructed analogies between the method of celestial mechanics and the method of physiology. In celestial mechanics, they held, an unknown entity such as gravity is posited and used to mathematically link sets of determinate physical phenomena (e.g., the phases of the moon and tides). This process allows one to remain agnostic about the ontological status of the unknown entity, as long as the two linked sets of phenomena are represented adequately. Haller et. al. held that the Newtonian physician and physiologist can similarly posit an unknown called ‘life’ and use it to link various other phenomena, from digestion to sensation and the functioning of the glands. These phenomena consequently appear as interconnected, goal-oriented processes which do not exist either in an inanimate mechanism or in a corpse. In keeping with the empiricist roots of the analogy, however, no ontological claims are made about the nature of this vital principle, and no attempts are made to directly causally connect such a principle and observable phenomena. The role of the “Newtonian analogy” thus brings together diverse schools of thought, and cuts across a surprising variety of programs, models and practices in natural philosophy. (shrink)

The mathematical universe hypothesis is a theory that the physical universe is not merely described by mathematics, but is mathematics, specifically a mathematical structure. Our research provides evidence that the mathematical structure of the universe is biological in nature and all systems, processes, and objects within the universe function in harmony with biological patterns. Living organisms are the result of the universe’s biological pattern and are embedded within their physiology the patterns of this biological universe. Therefore physiological patterns (...) in living organisms can be used as models to structurally map analogies from the biological domain to any target domain to reveal and understand the biological nature of the target domain. Our paper explores various analogies, structurally mapping a red blood cell to a cup; proteins produced from ribosomes to music produced from instruments; a beating heart to the melting and freezing of Antartica; cells, tissue, organs and blood, to people, organizations, industries, and money, and; bio-economic concepts in cellular society to socioeconomic concepts in human society. It also discusses how phenomena in cellular mitosis can help explain phenomena in the universe, such as black holes, dark matter, dark energy, and the structure of the universe. Building upon the concept of perennial wisdom, our research has provided evidence that the ideas of a biological universe were expressed across many past cultures and historical periods. The implications of this theory are vast, encompassing fields such as physics, science, philosophy, religion, law, economics, politics, and engineering, thus serving as a unifying theory for all knowledge. Our theory is supported by meta-analysis of scientific, historic, and religious literature, observations and first principles logic. (shrink)

This essay is a contribution to the historical phenomenology of science, taking as its point of departure Husserl’s later philosophy of science and Jacob Klein’s seminal work on the emergence of the symbolic conception of number in European mathematics during the late sixteenth and seventeenth centuries. Sinceneither Husserl nor Klein applied their ideas to actual theories of modern mathematical physics, this essay attempts to do so through a case study of the conceptof “spacetime.” In §1, I sketch Klein’s account (...) of the emergence of the symbolic conception of number, beginning with Vieta in the late sixteenth century. In §2,through a series of historical illustrations, I show how the principal impediment to assimilating the new symbolic algebra to mathematical physics, namely, thedimensionless character of symbolic number, is overcome via the translation of the traditional language of ratio and proportion into the symbolic language of equations. In §§3–4, I critically examine the concept of “Minkowski spacetime,” specifically, the purported analogy between the Pythagorean distance formula and the Minkowski “spacetime interval.” Finally, in §5, I address the question of whether the concept of Minkowski spacetime is, as generally assumed, indispensable to Einstein’s general theory of relativity. (shrink)

A long tradition in theology holds that the divine is in some sense incomprehensible, ineffable, or indescribable. This is mirrored in the set-theoretic literature by those who hold that the universe of sets is incomprehensible, ineffable, or indescribable. In this latter field, set theorists often study reflection principles; axioms that posit indescribability properties of the universe. This paper seeks to examine a theological reflection principle, which can be used to deliver a very rich ontology. I argue that in analogy (...) with set-theoretic reflection principles, we should understand theological reflection via schematic commitment. (shrink)

Suppose one has a system, the infinite set of positive integers, P, and one wants to study the characteristics of a subset (or subsystem) of that system, the infinite subset of odd positives, O, relative to the overall system. In mathematics, this is done by pairing off each odd with a positive, using a function such as O=2P+1. This puts the odds in a one-to-one correspondence with the positives, thereby, showing that the subset of odds and the original set (...) of positives are the same size, or have the same cardinality. This counter-intuitive result ignores the “natural” relationship of one odd for every two positives in the sequence of positive integers, which would suggest that O is one-half the size of P. However, in the set of axioms that constitute mathematics, it is considered valid. Fair enough. In the physical universe (i.e., the starting system), though, relationships between entities matter. In biochemistry, if you start with an organism, say a rat, and you want to study its heart, you can do this by removing some heart cells and studying them in isolation in a cell culture system. But, the results often differ compared to what occurs in the intact animal because studying the isolated cultured cells ignores the relationships in the intact body between the cells, the rest of the heart tissue and the rest of the rat. In chemistry, if a copper atom were studied in isolation, it would never be known that copper atoms in bulk can conduct electricity because the atoms share their electrons. In physics, the relationships between inertial reference frames in relativity, and observer and observed in quantum physics can't be ignored. Relationships matter in the physical world, but the mathematics of infinite sets is still used to describe it. Does this matter? It seems to, at least in physics. Infinities cause numerous problems in theoretical physics such as non-renormalizability and problems in unifying quantum mehanics and general relativity . This suggests that the pairing off method and the mathematics of infinite sets based on it are analogous to a cell culture system or studying a copper atom in isolation if they are used in studying the physical universe because they ignore the inherent relationships between entities. In the real, physical world, the natural, inherent, relationships between entities can't be ignored. Said another way, the set of axioms that constitute abstract mathematics may be similar but not identical to the set of physical axioms by which the real, physical universe runs. This suggests that the results from abstract mathematics about infinities may not apply to or should be modified for use in physics. (shrink)

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

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

The Simulation Hypothesis proposes that all of reality is in fact an artificial simulation, analogous to a computer simulation. Outlined here is a method for programming relativistic mass, space and time at the Planck level as applicable for use in Planck Universe-as-a-Simulation Hypothesis. For the virtual universe the model uses a 4-axis hyper-sphere that expands in incremental steps (the simulation clock-rate). Virtual particles that oscillate between an electric wave-state and a mass point-state are mapped within this hyper-sphere, the oscillation driven (...) by this expansion. Particles are assigned an N-S axis which determines the direction in which they are pulled along by the expansion, thus an independent particle motion may be dispensed with. Only in the mass point-state do particles have fixed hyper-sphere co-ordinates. The rate of expansion translates to the speed of light and so in terms of the hyper-sphere co-ordinates all particles (and objects) travel at the speed of light, time (as the clock-rate) and velocity (as the rate of expansion) are therefore constant, however photons, as the means of information exchange, are restricted to lateral movement across the hyper-sphere thus giving the appearance of a 3-D space. Lorentz formulas are used to translate between this 3-D space and the hyper-sphere co-ordinates, relativity resembling the mathematics of perspective. (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)

I show that Wittgenstein's critique of G.H. Hardy's mathematical realism naturally extends to Paul Benacerraf's influential paper, ‘Mathematical Truth’. Wittgenstein accuses Hardy of hastily analogizing mathematical and empirical propositions, thus leading to a picture of mathematical reality that is somehow akin to empirical reality despite the many puzzles this creates. Since Benacerraf relies on that very same analogy to raise problems about mathematical ‘truth’ and the alleged ‘reality’ to which it corresponds, his major argument falls prey to the same (...) critique. The problematic pictures of mathematical reality suggested by Hardy and Benacerraf can be avoided, according to Wittgenstein, by disrupting the analogy that gives rise to them. I show why Tarskian updates to our conception of ‘truth’ discussed by Benacerraf do not answer Wittgenstein's concerns. That is, because they merely presuppose what Wittgenstein puts into question, namely, the essential uniformity of ‘truth’ and ‘proposition’ in ordinary discourse. (shrink)

This thesis articulates the resonances between J. M. Coetzee's lifelong engagement with mathematics and his practice as a novelist, critic, and poet. Though the critical discourse surrounding Coetzee's literary work continues to flourish, and though the basic details of his background in mathematics are now widely acknowledged, his inheritance from that background has not yet been the subject of a comprehensive and mathematically- literate account. In providing such an account, I propose that these two strands of his intellectual (...) trajectory not only developed in parallel, but together engendered several of the characteristic qualities of his finest work. The structure of the thesis is essentially thematic, but is also broadly chronological. Chapter 1 focuses on Coetzee's poetry, charting the increasing involvement of mathematical concepts and methods in his practice and poetics between 1958 and 1979. Chapter 2 situates his master's thesis alongside archival materials from the early stages of his academic career, and thus traces the development of his philosophical interest in the migration of quantificatory metaphors into other conceptual domains. Concentrating on his doctoral thesis and a series of contemporaneous reviews, essays, and lecture notes, Chapter 3 details the calculated ambivalence with which he therein articulates, adopts, and challenges various statistical methods designed to disclose objective truth. Chapter 4 explores the thematisation of several mathematical concepts in Dusklands and In the Heart of the Country. Chapter Five considers Waiting for the Barbarians and Foe in the context provided by Coetzee's interest in the attempts of Isaac Newton to bridge the gap between natural language and the supposedly transparent language of mathematics. Finally, Chapter 6 locates in Elizabeth Costello and Diary of a Bad Year a cognitive approach to the use of mathematical concepts in ethics, politics, and aesthetics, and, by analogy, a central aspect of the challenge Coetzee's late fiction poses to the contemporary literary landscape. (shrink)

This dissertation provides a careful reading of the later Wittgenstein’s philosophy of mathematics centered around three major themes: reality, determination, and infinity. The reading offered gives pride of place to Wittgenstein’s therapeutic conception of philosophy. This conception views questions often taken as fundamental in the philosophy of mathematics with suspicion and attempts to diagnose the confusions which lead to them. In the first essay, I explain Wittgenstein’s approach to perennial issues regarding the alleged reality to which mathematical truths (...) or propositions correspond. Wittgenstein diagnoses exotic pictures of mathematical reality as stemming from misleading analogies formed across empirical and mathematical propositions. The second essay explains Wittgenstein’s treatment of perplexity regarding the ability of a mathematical rule to determine its applications in advance. This too is found to depend on a misleading analogy, in this case across behavioral and mathematical senses of ‘determine’. The third and final essay discusses Wittgenstein’s general critical approach to “the infinite”. Philosophical perplexity about infinity is shown to depend on the verbal imagery regularly associated with proofs and their power to take hold of one’s imagination. Wittgenstein dampens the imaginative excesses often associated with “the infinite” by offering a sober redescription of Cantor’s famous method of diagonalization. (shrink)

Mathematical formalism is the the view that numbers are "signs" and that arithmetic is like a game played with such signs. Frege's colleague Thomae defended formalism using an analogy with chess, and Frege's critique of this analogy has had a major influence on discussions in analytic philosophy about signs, rules, meaning, and mathematics. Here I offer a new interpretation of formalism as defended by Thomae and his predecessors, paying close attention to the mathematical details and historical context. (...) I argue that for Thomae, the formal standpoint is an _algebraic perspective_ on a domain of objects, and a "sign" is not a linguistic expression or mark, but a representation of an object within that perspective. Thomae exploits a shift into this perspective to give a purely algebraic construction of the real numbers from the rational numbers. I suggest that Thomae's chess analogy is intended to provide a model for such shifts in perspective. (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)

Kurt Gödel wrote (1964, p. 272), after he had read Husserl, that the notion of objectivity raises a question: “the question of the objective existence of the objects of mathematical intuition (which, incidentally, is an exact replica of the question of the objective existence of the outer world)”. This “exact replica” brings to mind the close analogy Husserl saw between our intuition of essences in Wesensschau and of physical objects in perception. What is it like to experience a mathematical (...) proving process? What is the ontological status of a mathematical proof? Can computer assisted provers output a proof? Taking a naturalized world account, I will assess the relationship between mathematics, the physical world and consciousness by introducing a significant conceptual distinction between proving and proof. I will propose that proving is a phenomenological conscious experience. This experience involves a combination of what Kurt Gödel called intuition, and what Husserl called intentionality. In contrast, proof is a function of that process — the mathematical phenomenon — that objectively self-presents a property in the world, and that results from a spatiotemporal unity being subject to the exact laws of nature. In this essay, I apply phenomenology to mathematical proving as a performance of consciousness, that is, a lived experience expressed and formalized in language, in which there is the possibility of formulating intersubjectively shareable meanings. (shrink)

Evolutionary Debunking Arguments are defined as arguments that appeal to the evolutionary genealogy of our beliefs to undermine their justification. Recently, Helen De Cruz and her co-authors supported the view that EDAs are self-defeating: if EDAs claim that human arguments are not justified, because the evolutionary origin of the beliefs which figure in such arguments undermines those beliefs, and EDAs themselves are human arguments, then EDAs are not justified, and we should not accept their conclusions about the fact that human (...) arguments are unjustified. De Cruz's objection to EDAs is similar to the objection raised by Reuben Hersh against the claim that, since by Gödel's second incompleteness theorem the purpose of mathematical logic to give a secure foundation for mathematics cannot be achieved, mathematics cannot be said to be absolutely certain. The response given by Carlo Cellucci to Hersh's objection shows that the claim that by Gödel's results mathematics cannot be said to be absolutely certain is not self-defeating, and can be adopted to show that EDAs are not self-defeating as well in a twofold sense: an argument analogous to Cellucci's one may be developed to face De Cruz's objection, and such argument may be further refined incorporating Cellucci's response itself in it, to make it stronger. This paper aims at showing that the accusation of being self-defeating moved against EDAs is inadequate by elaborating an argument which can be considered an EDA and which can also be shown not to be self-defeating. (shrink)

The motivating question of this paper is: ‘How are our beliefs in the theorems of mathematics justified?’ This is distinguished from the question ‘How are our mathematical beliefs reliably true?’ We examine an influential answer, outlined by Russell, championed by Gödel, and developed by those searching for new axioms to settle undecidables, that our mathematical beliefs are justified by ‘intuitions’, as our scientific beliefs are justified by observations. On this view, axioms are analogous to laws of nature. They are (...) postulated to best systematize the data to be explained. We argue that there is a decisive difference between the cases. There is agreement on the data to be systematized in the scientific case that has no analog in the mathematical one. There is virtual consensus over observations, but conspicuous dispute over intuitions. In this respect, mathematics more closely resembles stereotypical philosophy. We conclude by distinguishing two ideas that have long been associated -- realism (the idea that there is an independent reality) and objectivity (the idea that in a disagreement, only one of us can be right). We argue that, while realism is true of mathematics and philosophy, these domains fail to be objective. One upshot of the discussion is that even questions of fundamental physics may fail to be objective in roughly the sense that the question, ‘Is the Parallel Postulate is true?’, understood as one of pure mathematics, fails to be. Another is a kind of pragmatism. Factual questions in mathematics, modality, logic, and evaluative areas go proxy for non-factual practical ones. -/- . (shrink)

Some analogous higher-order versions of Skolem’s paradox will be introduced. The generalizability of two solutions for Skolem’s paradox will be assessed: the course-book approach and Bays’ one. Bays’ solution to Skolem’s paradox, unlike the course-book solution, can be generalized to solve the higher-order paradoxes without any implication about the possibility or order of a language in which mathematical practice is to be formalized.

This paper commences from the critical observation that the Turing Test (TT) might not be best read as providing a definition or a genuine test of intelligence by proxy of a simulation of conversational behaviour. Firstly, the idea of a machine producing likenesses of this kind served a different purpose in Turing, namely providing a demonstrative simulation to elucidate the force and scope of his computational method, whose primary theoretical import lies within the realm of mathematics rather than cognitive (...) modelling. Secondly, it is argued that a certain bias in Turing’s computational reasoning towards formalism and methodological individualism contributed to systematically unwarranted interpretations of the role of the TT as a simulation of cognitive processes. On the basis of the conceptual distinction in biology between structural homology vs. functional analogy, a view towards alternate versions of the TT is presented that could function as investigative simulations into the emergence of communicative patterns oriented towards shared goals. Unlike the original TT, the purpose of these alternate versions would be co-ordinative rather than deceptive. On this level, genuine functional analogies between human and machine behaviour could arise in quasi-evolutionary fashion. (shrink)

Models are being used extensively for practicing and understanding scientific, engineering and mathematical subjects, but are rarely used as art analyzing tools, particularly, in learning environments. Contrarily, using art to explain mathematical ideas is not unprecedented. Strogatz (1988), for example, built a model based on Romeo and Juliet’s love story and used it to explain the idea of differential mathematics, and system dynamics. Artwork, specially written and plastic classics, is a fixed form of art. We frame them and put (...) them in a gallery, or a book (digital or physical). We don’t try to “fix” them or optimize their functioning, we analyze them to find meaning, intention, and patterns. In this article, we aim to show how, by building models combined with simple mathematical representations and analogies, it is possible to understand literary texts, from the prism of system and complexity theories, which emphasize the dynamic, non-linear, and non-reductionist aspects of the observed. We’ll demonstrate how modeling processes of three cultural assets, allow active correspondence with the original textual art, by treating them as systemic objects with interactions and dynamics. They will be analyzed while raising questions about the significance of modeling as a cognitive learning process. (shrink)

Can the so-ca\led first incompleteness theorem refer to itself? Many or maybe even all the paradoxes in mathematics are connected with some kind of self-reference. Gбdel built his proof on the ground of self-reference: а statement which claims its unprovabllity. So, he demonstrated that undecidaЬle propositions exist in any enough rich axiomatics (i.e. such one which contains Peano arithmetic in some sense). What about the decidabllity of the very first incompleteness theorem? We can display that it fulfills its conditions. (...) That's why it can Ье applied to itself, proving that it is an undecidaЬle statement. It seems to Ье а too strange kind of proposition: its validity implies its undecidabllity. If the validity of а statement implies its untruth, then it is either untruth (reductio ad absurdum) or an antinomy (if also its negation implies its validity). А theory that contains а contradiction implies any statement. Appearing of а proposition, whose validity implies its undecidabllity, is due to the statement that claims its unprovability. Obviously, it is а proposition of self-referential type. Ву Gбdel's words, it is correlative with Richard's or liar paradox, or even with any other semantic or mathematical one. What is the cost, if а proposition of that special kind is used in а proof? ln our opinion, the price is analogous to «applying» of а contradictory in а theory: any statement turns out to Ье undecidaЬ!e. Ifthe first incompleteness theorem is an undecidaЬ!e theorem, then it is impossiЬle to prove that the very completeness of Peano arithmetic is also an tmdecidaЬle statement (the second incompleteness theorem). Hilbert's program for ап arithmetical self-foundation of matheшatics is partly rehabllitated: only partly, because it is not decidaЬ!e and true, but undecidaЬle; that's wby both it and its negation шау Ье accepted as true, however not siшultaneously true. The first incompleteness theoreш gains the statute of axiom of а very special, semi-philosophical kind: it divides mathematics as whole into two parts: either Godel шathematics or Нilbert matheшatics. Нilbert's program of self-foundation ofmatheшatic is valid only as to the latter. (shrink)

Jakob Friedrich Fries (1773-1843): A Philosophy of the Exact Sciences -/- Shortened version of the article of the same name in: Tabula Rasa. Jenenser magazine for critical thinking. 6th of November 1994 edition -/- 1. Biography -/- Jakob Friedrich Fries was born on the 23rd of August, 1773 in Barby on the Elbe. Because Fries' father had little time, on account of his journeying, he gave up both his sons, of whom Jakob Friedrich was the elder, to the Herrnhut Teaching (...) Institution in Niesky in 1778. Fries attended the theological seminar in Niesky in autumn 1792, which lasted for three years. There he (secretly) began to study Kant. The reading of Kant's works led Fries, for the first time, to a deep philosophical satisfaction. His enthusiasm for Kant is to be understood against the background that a considerable measure of Kant's philosophy is based on a firm foundation of what happens in an analogous and similar manner in mathematics. -/- During this period he also read Heinrich Jacobi's novels, as well as works of the awakening classic German literature; in particular Friedrich Schiller's works. In 1795, Fries arrived at Leipzig University to study law. During his time in Leipzig he became acquainted with Fichte's philosophy. In autumn of the same year he moved to Jena to hear Fichte at first hand, but was soon disappointed. -/- During his first sojourn in Jenaer (1796), Fries got to know the chemist A. N. Scherer who was very influenced by the work of the chemist A. L. Lavoisier. Fries discovered, at Scherer's suggestion, the law of stoichiometric composition. Because he felt that his work still need some time before completion, he withdrew as a private tutor to Zofingen (in Switzerland). There Fries worked on his main critical work, and studied Newton's "Philosophiae naturalis principia mathematica". He remained a lifelong admirer of Newton, whom he praised as a perfectionist of astronomy. Fries saw the final aim of his mathematical natural philosophy in the union of Newton's Principia with Kant's philosophy. -/- With the aim of qualifying as a lecturer, he returned to Jena in 1800. Now Fries was known from his independent writings, such as "Reinhold, Fichte and Schelling" (1st edition in 1803), and "Systems of Philosophy as an Evident Science" (1804). The relationship between G. W. F. Hegel and Fries did not develop favourably. Hegel speaks of "the leader of the superficial army", and at other places he expresses: "he is an extremely narrow-minded bragger". On the other hand, Fries also has an unfavourable take on Hegel. He writes of the "Redundancy of the Hegelistic dialectic" (1828). In his History of Philosophy (1837/40) he writes of Hegel, amongst other things: "Your way of philosophising seems just to give expression to nonsense in the shortest possible way". In this work, Fries appears to argue with Hegel in an objective manner, and expresses a positive attitude to his work. -/- In 1805, Fries was appointed professor for philosophy in Heidelberg. In his time spent in Heidelberg, he married Caroline Erdmann. He also sealed his friendships with W. M. L. de Wette and F. H. Jacobi. Jacobi was amongst the contemporaries who most impressed Fries during this period. In Heidelberg, Fries wrote, amongst other things, his three-volume main work New Critique of Reason (1807). -/- In 1816 Fries returned to Jena. When in 1817 the Wartburg festival took place, Fries was among the guests, and made a small speech. 1819 was the so-called "Great Year" for Fries: His wife Caroline died, and Karl Sand, a member of a student fraternity, and one of Fries' former students stabbed the author August von Kotzebue to death. Fries was punished with a philosophy teaching ban but still received a professorship for physics and mathematics. Only after a period of years, and under restrictions, he was again allowed to read philosophy. From now on, Fries was excluded from political influence. The rest of his life he devoted himself once again to philosophical and natural studies. During this period, he wrote "Mathematical Natural Philosophy" (1822) and the "History of Philosophy" (1837/40). -/- Fries suffered from a stroke on New Year's Day 1843, and a second stroke, on the 10th of August 1843 ended his life. -/- 2. Fries' Work Fries left an extensive body of work. A look at the subject areas he worked on makes us aware of the universality of his thinking. Amongst these subjects are: Psychic anthropology, psychology, pure philosophy, logic, metaphysics, ethics, politics, religious philosophy, aesthetics, natural philosophy, mathematics, physics and medical subjects, to which, e.g., the text "Regarding the optical centre in the eye together with general remarks about the theory of seeing" (1839) bear witness. With popular philosophical writings like the novel "Julius and Evagoras" (1822), or the arabesque "Longing, and a Trip to the Middle of Nowhere" (1820), he tried to make his philosophy accessible to a broader public. Anthropological considerations are shown in the methodical basis of his philosophy, and to this end, he provides the following didactic instruction for the study of his work: "If somebody wishes to study philosophy on the basis of this guide, I would recommend that after studying natural philosophy, a strict study of logic should follow in order to peruse metaphysics and its applied teachings more rapidly, followed by a strict study of criticism, followed once again by a return to an even closer study of metaphysics and its applied teachings." -/- 3. Continuation of Fries' work through the Friesian School -/- Fries' ideas found general acceptance amongst scientists and mathematicians. A large part of the followers of the "Fries School of Thought" had a scientific or mathematical background. Amongst them were biologist Matthias Jakob Schleiden, mathematics and science specialist philosopher Ernst Friedrich Apelt, the zoologist Oscar Schmidt, and the mathematician Oscar Xavier Schlömilch. Between the years 1847 and 1849, the treatises of the "Fries School of Thought", with which the publishers aimed to pursue philosophy according to the model of the natural sciences appeared. In the Kant-Fries philosophy, they saw the realisation of this ideal. The history of the "New Fries School of Thought" began in 1903. It was in this year that the philosopher Leonard Nelson gathered together a small discussion circle in Goettingen. Amongst the founding members of this circle were: A. Rüstow, C. Brinkmann and H. Goesch. In 1904 L. Nelson, A. Rüstow, H. Goesch and the student W. Mecklenburg travelled to Thuringia to find the missing Fries writings. In the same year, G. Hessenberg, K. Kaiser and Nelson published the first pamphlet from their first volume of the "Treatises of the Fries School of Thought, New Edition". -/- The school set out with the aim of searching for the missing Fries' texts, and re-publishing them with a view to re-opening discussion of Fries' brand of philosophy. The members of the circle met regularly for discussions. Additionally, larger conferences took place, mostly during the holidays. Featuring as speakers were: Otto Apelt, Otto Berg, Paul Bernays, G. Fraenkel, K. Grelling, G. Hessenberg, A. Kronfeld, O. Meyerhof, L. Nelson and R. Otto. On the 1st of March 1913, the Jakob-Friedrich-Fries society was founded. Whilst the Fries' school of thought dealt in continuum with the advancement of the Kant-Fries philosophy, the members of the Jakob-Friedrich-Fries society's main task was the dissemination of the Fries' school publications. In May/June, 1914, the organisations took part in their last common conference before the gulf created by the outbreak of the First World War. Several members died during the war. Others returned disabled. The next conference took place in 1919. A second conference followed in 1921. Nevertheless, such intensive work as had been undertaken between 1903 and 1914 was no longer possible. -/- Leonard Nelson died in October 1927. In the 1930's, the 6th and final volume of "Treatises of the Fries School of Thought, New Edition" was published. Franz Oppenheimer, Otto Meyerhof, Minna Specht and Grete Hermann were involved in their publication. -/- 4. About Mathematical Natural Philosophy -/- In 1822, Fries' "Mathematical Natural Philosophy" appeared. Fries rejects the speculative natural philosophy of his time - above all Schelling's natural philosophy. A natural study, founded on speculative philosophy, ceases with its collection, arrangement and order of well-known facts. Only a mathematical natural philosophy can deliver the necessary explanatory reasoning. The basic dictum of his mathematical natural philosophy is: "All natural theories must be definable using purely mathematically determinable reasons of explanation." Fries is of the opinion that science can attain completeness only by the subordination of the empirical facts to the metaphysical categories and mathematical laws. -/- The crux of Fries' natural philosophy is the thought that mathematics must be made fertile for use by the natural sciences. However, pure mathematics displays solely empty abstraction. To be able to apply them to the sensory world, an intermediatory connection is required. Mathematics must be connected to metaphysics. The pure mechanics, consisting of three parts are these: a) A study of geometrical movement, which considers solely the direction of the movement, b) A study of kinematics, which considers velocity in Addition, c) A study of dynamic movement, which also incorporates mass and power, as well as direction and velocity. -/- Of great interest is Fries' natural philosophy in view of its methodology, particularly with regard to the doctrine "leading maxims". Fries calls these "leading maxims" "heuristic", "because they are principal rules for scientific invention". -/- Fries' philosophy found great recognition with Carl Friedrich Gauss, amongst others. Fries asked for Gauss's opinion on his work "An Attempt at a Criticism based on the Principles of the Probability Calculus" (1842). Gauss also provided his opinions on "Mathematical Natural Philosophy" (1822) and on Fries' "History of Philosophy". Gauss acknowledged Fries' philosophy and wrote in a letter to Fries: "I have always had a great predilection for philosophical speculation, and now I am all the more happy to have a reliable teacher in you in the study of the destinies of science, from the most ancient up to the latest times, as I have not always found the desired satisfaction in my own reading of the writings of some of the philosophers. In particular, the writings of several famous (maybe better, so-called famous) philosophers who have appeared since Kant have reminded me of the sieve of a goat-milker, or to use a modern image instead of an old-fashioned one, of Münchhausen's plait, with which he pulled himself from out of the water. These amateurs would not dare make such a confession before their Masters; it would not happen were they were to consider the case upon its merits. I have often regretted not living in your locality, so as to be able to glean much pleasurable entertainment from philosophical verbal discourse." -/- The starting point of the new adoption of Fries was Nelson's article "The critical method and the relation of psychology to philosophy" (1904). Nelson dedicates special attention to Fries' re-interpretation of Kant's deduction concept. Fries awards Kant's criticism the rationale of anthropological idiom, in that he is guided by the idea that one can examine in a psychological way which knowledge we have "a priori", and how this is created, so that we can therefore recognise our own knowledge "a priori" in an empirical way. Fries understands deduction to mean an "awareness residing darkly in us is, and only open to basic metaphysical principles through conscious reflection.". -/- Nelson has pointed to an analogy between Fries' deduction and modern metamathematics. In the same manner, as with the anthropological deduction of the content of the critical investigation into the metaphysical object show, the content of mathematics become, in David Hilbert's view, the object of metamathematics. -/-. (shrink)

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

Philosophers debate about which logical system, if any, is the One True Logic. This involves a disagreement concerning the sufficient conditions that may single out the correct logic among various candidates. This paper discusses whether there are necessary conditions for the correct logic; that is, I discuss whether there are features such that if a logic is correct, then it has those features, although having them might not be sufficient to single out the correct logic. Traditional rationalist arguments suggest that (...) the necessary conditions of thought are necessary and sufficient conditions singling out the correct logical and mathematical theories. In the contemporary debate, Chalmers advocates a view along this line. Jago, analogously, suggests that the necessary conditions for thought—or, as he calls them, our basic epistemic expectations—single out a family of logical and mathematical theories. Warren and Williamson, on the other hand, argue that there are no necessary conditions of thought. I argue that there are necessary conditions for thought, and these are necessary but not sufficient conditions to be the correct logic; indeed, these are features that all logics—correct or incorrect—share. No view we can understand is ruled out by the necessary conditions for thought, but we cannot understand quite any view. Human linguistic and conceptual abilities are genetically constrained, and these constraints are our best guide to the boundaries of logic. Arguing for this, I tackle two dogmas of modern rationalism: namely, the view that the biological constraints of human cognition have no bearing on the boundaries of the epistemic space, and the view that the boundaries of thought coincide with the boundaries of language. (shrink)

The Simulation Hypothesis proposes that all of reality, including the earth and the universe, is in fact an artificial simulation, analogous to a computer simulation, and as such our reality is an illusion. In this essay I describe a method for programming mass, length, time and charge (MLTA) as geometrical objects derived from the formula for a virtual electron; $f_e = 4\pi^2r^3$ ($r = 2^6 3 \pi^2 \alpha \Omega^5$) where the fine structure constant $\alpha$ = 137.03599... and $\Omega$ = 2.00713494... (...) are mathematical constants and the MLTA geometries are; M = (1), T = ($2\pi$), L = ($2\pi^2\Omega^2$), A = ($4\pi \Omega)^3/\alpha$. As objects they are independent of any set of units and also of any numbering system, terrestrial or alien. As the geometries are interrelated according to $f_e$, we can replace designations such as ($kg, m, s, A$) with a rule set; mass = $u^{15}$, length = $u^{-13}$, time = $u^{-30}$, ampere = $u^{3}$. The formula $f_e$ is unit-less ($u^0$) and combines these geometries in the following ratio M$^9$T$^{11}$/L$^{15}$ and (AL)$^3$/T, as such these ratio are unit-less. To translate MLTA to their respective SI Planck units requires an additional 2 unit-dependent scalars. We may thereby derive the CODATA 2014 physical constants via the 2 (fixed) mathematical constants ($\alpha, \Omega$), 2 dimensioned scalars and the rule set $u$. As all constants can be defined geometrically, the least precise constants ($G, h, e, m_e, k_B$...) can also be solved via the most precise ($c, \mu_0, R_\infty, \alpha$), numerical precision then limited by the precision of the fine structure constant $\alpha$. (shrink)

Our starting point is the question ‘What is mass’, what in particular enables mass to constitute duration: so that mass can be regarded as moving as well as at rest (the kinematic principle of relativity). In a thought experiment, this question is attacked here not from the perspective of mass itself, but from that of a standing light wave. In this model, mass-analogous structures can be re- constructed that can be in relative motion to each other. The (empirically known) constancy (...) of the speed of light in every reference system is not as- sumed here. However, it can be shown that the speed of light is identical in all systems constituted by mass-analogous structures that move uniformly relative to each other and that the speed of light moreover is the limiting speed of mo- tions. This indepence of the motion of light from the system of reference, this character of absoluteness, and the relativity of mass motions thus prove to be contrary but inextricably linked moments of the kinematic principle of relativi- ty: an interesting perspective concerning a philosophy of relativity theory. - The mathematical relationships are explained in more detail in the appendix. (shrink)

The book explores the impact of manuscript remarks during the year 1929 on the development of Wittgenstein’s thought. Although its intention is to put the focus specifically on the manuscripts, the book is not purely exegetical. The contributors generate important new insights for understanding Wittgenstein’s philosophy and his place in the history of analytic philosophy. -/- Wittgenstein’s writings from the years 1929-1930 are valuable, not simply because they marked Wittgenstein’s return to academic philosophy after a seven-year absence, but because these (...) works indicate several changes in his philosophical thinking. The chapters in this volume clarify the significance of Wittgenstein’s return to philosophy in 1929. In Part 1, the contributors address different issues in the philosophy of mathematics, e.g. Wittgenstein's understanding of certain aspects of intuitionism and his commitment to verificationism, as well as his idea of "a new system". Part 2 examines Wittgenstein's philosophical development and his understanding of philosophical method. Here the contributors examine particular problems Wittgenstein dealt with in 1929, e.g. the colour-exclusion problem, and the use of thought experiments as well as his relationship to Frank Ramsey and philosophical pragmatism. Part 3 features essays on phenomenological language. These chapters address the role of spatial analogies and the structure of visual space. Finally, Part 4 includes one chapter on Wittgenstein’s few manuscript remarks about ethics and religion and relates it to his Lecture on Ethics. -/- Wittgenstein’s Philosophy in 1929 will be of great interest to scholars and advanced students working on Wittgenstein and the history of analytic philosophy. (shrink)

Our starting point is the question ‘What is mass’, what in particular enables mass to constitute duration: so that mass can be regarded as moving as well as at rest (the kinematic principle of relativity). In a thought experiment, this question is attacked here not from the perspective of mass itself, but from that of a standing light wave. In this model, mass-analogous structures can be re- constructed that can be in relative motion to each other. The (empirically known) constancy (...) of the speed of light in every reference system is not as- sumed here. However, it can be shown that the speed of light is identical in all systems constituted by mass-analogous structures that move uniformly relative to each other and that the speed of light moreover is the limiting speed of mo- tions. This indepence of the motion of light from the system of reference, this character of absoluteness, and the relativity of mass motions thus prove to be contrary but inextricably linked moments of the kinematic principle of relativi- ty: an interesting perspective concerning a philosophy of relativity theory. - The mathematical relationships are explained in more detail in the appendix. (shrink)

Drawing an analogy between modal structuralism about mathematics and theism, I o er a structuralist account that implicitly de nes theism in terms of three basic relations: logical and metaphysical priority, and epis- temic superiority. On this view, statements like `God is omniscient' have a hypothetical and a categorical component. The hypothetical component provides a translation pattern according to which statements in theistic language are converted into statements of second-order modal logic. The categorical component asserts the logical possibility (...) of the theism struc- ture on the basis of uncontroversial facts about the physical world. This structuralist reading of theism preserves objective truth-values for theistic statements while remaining neutral on the question of ontology. Thus, it o ers a way of understanding theism to which a naturalist cannot object, and it accommodates the fact that religious belief, for many theists, is an essentially relational matter. (shrink)

Recent developments in pure mathematics and in mathematical logic have uncovered a fundamental duality between "existence" and "information." In logic, the duality is between the Boolean logic of subsets and the logic of quotient sets, equivalence relations, or partitions. The analogue to an element of a subset is the notion of a distinction of a partition, and that leads to a whole stream of dualities or analogies--including the development of new logical foundations for information theory parallel to Boole's development (...) of logical finite probability theory. After outlining these dual concepts in mathematical terms, we turn to a more metaphysical speculation about two dual notions of reality, a fully definite notion using Boolean logic and appropriate for classical physics, and the other objectively indefinite notion using partition logic which turns out to be appropriate for quantum mechanics. The existence-information duality is used to intuitively illustrate these two dual notions of reality. The elucidation of the objectively indefinite notion of reality leads to the "killer application" of the existence-information duality, namely the interpretation of quantum mechanics. (shrink)

Hofstadter [1979, 2007] offered a novel Gödelian proposal which purported to reconcile the apparently contradictory theses that (1) we can talk, in a non-trivial way, of mental causation being a real phenomenon and that (2) mental activity is ultimately grounded in low-level rule-governed neural processes. In this paper, we critically investigate Hofstadter’s analogical appeals to Gödel’s [1931] First Incompleteness Theorem, whose “diagonal” proof supposedly contains the key ideas required for understanding both consciousness and mental causation. We maintain that bringing sophisticated (...) results from Mathematical Logic into play cannot furnish insights which would otherwise be unavailable. Lastly, we conclude that there are simply too many weighty details left unfilled in Hofstadter’s proposal. These really need to be fleshed out before we can even hope to say that our understanding of classical mind-body problems has been advanced through metamathematical parallels with Gödel’s work. (shrink)

It is widely agreed that the intelligibility of modal metaphysics has been vindicated. Quine's arguments to the contrary supposedly confused analyticity with metaphysical necessity, and rigid with non-rigid designators.2 But even if modal metaphysics is intelligible, it could be misconceived. It could be that metaphysical necessity is not absolute necessity – the strictest real notion of necessity – and that no proposition of traditional metaphysical interest is necessary in every real sense. If there were nothing otherwise “uniquely metaphysically significant” about (...) metaphysical necessity, then paradigmatic metaphysical necessities would be necessary in one sense of “necessary”, not necessary in another, and that would be it. The question of whether they were necessary simpliciter would be like the question of whether the Parallel Postulate is true simpliciter – understood as a pure mathematical conjecture, rather than as a hypothesis about physical spacetime. In a sense, the latter question has no objective answer. In this article, I argue that paradigmatic questions of modal metaphysics are like the Parallel Postulate question. I then discuss the deflationary ramifications of this argument. I conclude with an alternative conception of the space of possibility. According to this conception, there is no objective boundary between possibility and impossibility. Along the way, I sketch an analogy between modal metaphysics and set theory. (shrink)