Philosophy of Mathematics, Misc

The purpose of this note is to contrast a Cantorian outlook with a non-Cantorian one and to present a picture that provides support for the latter. In particular, I suggest that: i) infinite hyperreal numbers are the (actual, determined) infinite numbers, ii) ω is merely potentially infinite, and iii) infinitesimals should not be used in the di Finetti lottery. Though most Cantorians will likely maintain a Cantorian outlook, the picture is meant to motivate the obvious nature of the non-Cantorian outlook.

Review of Maddy, Penelope "Defending the Axioms".

By the end of his life Plato had rearranged the theory of ideas into his teaching about ideal numbers, but no written records have been left. The Ideal mathematics of Plato is present in all his dialogues. It can be clearly grasped in relation to the effective use of mathematical modelling. Many problems of mathematical modelling were laid in the foundation of the method by cutting the three-level idealism of Plato to the single-level “ideism” of Aristotle. For a long time, (...) the real, ideal numbers of Plato’s Ideal mathematics eliminates many mathematical problems, extends the capabilities of modelling, and improves mathematics. (shrink)

It is often said that ‘every logical truth is obvious’ (Quine 1970: 82), that the ‘axioms and rules of logic are true in an obvious way’ (Murawski 2014: 87), or that ‘logic is a theory of the obvious’ (Sher 1999: 207). In this chapter, I set out to test empirically how the idea that logic is obvious is reflected in the scholarly work of logicians and philosophers of logic. My approach is data-driven. That is to say, I propose that systematically (...) searching for patterns of usage in databases of scholarly works, such as JSTOR, can provide new insights into the ways in which the idea that logic is obvious is reflected in logical and philosophical practice, i.e., in the arguments that logicians and philosophers of logic actually make in their published work. (shrink)

This article introduces a method for programming orbitals at the Planck level. Mathematical probability orbitals are replaced with units of `orbit momentum' with orbital regions derived from geometrical imperatives rather than abstract forces. In this approach the electron does not orbit around a nucleus but rather is maintained within an orbital region by the confines of the geometry of the orbital (this orbit momentum is the orbital). There is no electron transition between orbitals, rather the existing orbital is exchanged for (...) the new orbital by the momentum of the incoming photon. The Rydberg formula describes this 2-stage process of wave addition followed by wave subtraction. As the electron is physically linked to the nucleus by the orbital an electric force is not required, instead a charged momentum (the sqrt of momentum) is presumed. A gravitational orbit is the sum of individual gravitational orbitals as physical links of orbit momentum, a gravitational force is not required. Mass is replaced by units of Planck mass, with the orbitals linking these Planck mass units. Thus the moon is not orbiting the earth, instead it is propelled by these orbital momenta, its path the sum of this momentum. As orbitals have different momentum densities, movement between orbitals requires a change in momentum, an orbital (momentum) buoyancy. Nuclear binding energy, ionization energy and escape velocity are measures of the momentum required to completely erase the orbitals. (shrink)

The Simulation Hypothesis proposes that all of reality is in fact an artificial simulation, analogous to a computer simulation, and as such our reality is an illusion. Outlined here is a method for programming relativistic mass, space and time at the Planck level as applicable for use in (Planck-level) 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 momentum 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)

Two seemingly contradictory tendencies have accompanied the development of the natural sciences in the past 150 years. On the one hand, the natural sciences have been instrumental in effecting a thoroughgoing transformation of social structures and have made a permanent impact on the conceptual world of human beings. This historical period has, on the other hand, also brought to light the merely hypothetical validity of scientific knowledge. As late as the middle of the 19th century the truth-pathos in the natural (...) sciences was still unbroken. Yet in the succeeding years these claims to certain knowledge underwent a fundamental crisis. For scientists today, of course, the fact that their knowledge can possess only relative validity is a matter of self-evidence. The present analysis investigates the early phase of this fundamental change in the concept of science through an examination of Hermann von Helmholtz's conception of science and his mechanistic interpretation of nature. Helmholtz (1821-1894) was one of the most important natural scientists in Germany. The development of this thoughts offers an impressive but, until now, relatively little considered report from the field of the experimental sciences chronicling the erosion of certainty. (shrink)

This paper offers a reconstruction of Wittgenstein's discussion on inductive proofs. A "algebraic version" of these indirect proofs is offered and contrasted with the usual ones in which an infinite sequence of modus pones is projected.

The aim of this article is to investigate the roles of commutative diagrams (CDs) in a specific mathematical domain, and to unveil the reasons underlying their effectiveness as a mathematical notation; this will be done through a case study. It will be shown that CDs do not depict spatial relations, but represent mathematical structures. CDs will be interpreted as a hybrid notation that goes beyond the traditional bipartition of mathematical representations into diagrammatic and linguistic. It will be argued that one (...) of the reasons why CDs form a good notation is that they are highly mathematically tractable: experts can obtain valid results by ‘calculating’ with CDs. These calculations, take the form of ‘diagram chases’. In order to draw inferences, experts move algebraic elements around the diagrams. It will be argued that these diagrams are dynamic. It is thanks to their dynamicity that CDs can externalize the relevant reasoning and allow experts to draw conclusions directly by manipulating them. Lastly, it will be shown that CDs play essential roles in the context of proof as well as in other phases of the mathematical enterprise, such as discovery and conjecture formation. (shrink)

While the appeal of scientific materialism has been weakened by developments in theoretical physics, chemistry and biology, Pythagoreanism still attracts the allegiance of leading scientists and mathematicians. It is this doctrine that process philosophers must confront if they are to successfully defend their metaphysics. Peirce, Bergson and Whitehead were acutely aware of the challenge of Pythagoreanism, and attempted to circumvent it. The problem addressed by each of these thinkers was how to account for the success of mathematical physics if the (...) world consists of creative processes. In this paper I critically examine the nature of the challenge posed by Pythagoreanism to process philosophy and examine the efforts by process philosophers, particularly Whitehead, to overcome it, and offer some suggestions for advancing these efforts. (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)

Lewis Carroll’s 1895 paper, 'What the Tortoise Said to Achilles' is widely regarded as a classic text in the philosophy of logic. This special issue of 'The Carrollian' publishes five newly commissioned articles by experts in the field. The original paper is reproduced, together with contemporary correspondence relating to the paper and an extensive bibliography.

An interpretation of Wittgenstein’s much criticized remarks on Gödel’s First Incompleteness Theorem is provided in the light of paraconsistent arithmetic: in taking Gödel’s proof as a paradoxical derivation, Wittgenstein was drawing the consequences of his deliberate rejection of the standard distinction between theory and metatheory. The reasoning behind the proof of the truth of the Gödel sentence is then performed within the formal system itself, which turns out to be inconsistent. It is shown that the features of paraconsistent arithmetics match (...) with some intuitions underlying Wittgenstein’s philosophy of mathematics, such as its strict finitism and the insistence on the decidability of any mathematical question. (shrink)

One of the philosophical uses of Dedekind’s categoricity theorem for Peano Arithmetic is to provide support for semantic realism. To this end, the logical framework in which the proof of the theorem is conducted becomes highly significant. I examine different proposals regarding these logical frameworks and focus on the philosophical benefits of adopting open-ended schemas in contrast to second order logic as the logical medium of the proof. I investigate Pederson and Rossberg’s critique of the ontological advantages of open-ended arithmetic (...) when it comes to establishing the categoricity of Peano Arithmetic and show that the critique is highly problematic. I argue that Pederson and Rossberg’s ontological criterion deliver the bizarre result that certain first order subsystems of Peano Arithmetic have a second order ontology. As a consequence, the application of the ontological criterion proposed by Pederson and Rossberg assigns a certain type of ontology to a theory, and a different, richer, ontology to one of its subtheories. (shrink)

This study provides a basic introduction to agent-based modeling (ABM) as a powerful blend of classical and constructive mathematics, with a primary focus on its applicability for social science research. The typical goals of ABM social science researchers are discussed along with the culture-dish nature of their computer experiments. The applicability of ABM for science more generally is also considered, with special attention to physics. Finally, two distinct types of ABM applications are summarized in order to illustrate concretely the duality (...) of ABM: Real-world systems can not only be simulated with verisimilitude using ABM; they can also be efficiently and robustly designed and constructed on the basis of ABM principles. (shrink)

After sketching the main lines of Hilbert's program, certain well-known and influential interpretations of the program are critically evaluated, and an alternative interpretation is presented. Finally, some recent developments in logic related to Hilbert's program are reviewed.

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)

Why is there Philosophy of Mathematics at all? Ian Hacking. in Metascience (2015).

Fruitful dialogue between faith and science occurs when Christians and scientists meaningfully answer the questions that they pose to each other in a disciplined conversation that refines their perspectives iteratively, each respecting the diligent conscientious work of the other. When questions are answered in this way the answers then form the basis for the continuation of the discussion and agreed solutions will chart principles and procedures for feedback and modification.

Corcoran reviews Boute’s 2013 paper “How to calculate proofs”. -/- There are tricky aspects to classifying occurrences of variables: is an occurrence of ‘x’ free as in ‘x + 1’, is it bound as in ‘{x: x = 1}’, or is it orthographic as in ‘extra’? The trickiness is compounded failure to employ conventions to separate use of expressions from their mention. The variable occurrence is free in the term ‘x + 1’ but it is orthographic in that term’s quotes (...) name ‘‘{x: x = 1}’’. The term has no quotes, the term’s name has one set of quotes, and the name of the term’s name has two sets of quotes. The trickiness is further compounded by failure to explicitly distinguish a variable’s values from it substituents. The variable ranges over its values but its occurrences are replaced by occurrences of its substituents. In arithmetic the values are numbers not numerals but the substituents are numerals not numbers. See https://www.academia.edu/s/1eddee0c62?source=link -/- Raymond Boute tries to criticize Daniel Velleman for mistakes in this area. However, Corcoran finds mistakes in Boute’s handling of the material. The reader is invited to find mistakes in Corcoran’s handling of this tricky material. -/- The paper and the review treat other issues as well. -/- Acknowledgements: Raymond Boute, Joaquin Miller, Daniel Velleman, George Weaver, and others. (shrink)

An updated survey of the research scope in Integral Biomathics.

Presented is a hypothetical model of reality that is consistent with the observational data incompletely addressed by existing models such as general relativity and quantum theory, including non-locality and the accelerating expansion of the universe. The model further suggests a theory of consciousness in which a physical mechanism accounts for interactions with remote agents that were previously categorized as 'spiritual'. I explore the wider implications of this model.

John P. Burgess kritisiert Kurt Gödels Begriff der mathematischen oder rationalen Anschauung und erläutert, warum heuristische Intuition dasselbe leistet wie rationale Anschauung, aber ganz ohne ontologisch überflüssige Vorannahmen auskommt. Laut Burgess müsste Gödel einen Unterschied zwischen rationaler Anschauung und so etwas wie mathematischer Ahnung, aufzeigen können, die auf unbewusster Induktion oder Analogie beruht und eine heuristische Funktion bei der Rechtfertigung mathematischer Aussagen einnimmt. Nur, wozu benötigen wir eine solche Annahme? Reicht es nicht, wenn die mathematische Intuition als Heuristik funktioniert? Für (...) Gödel sind Mengen Extensionen von Begriffen und er beharrt beispielsweise auf dem ontologischen Objektstatus von Mengen, weil Denken für ihn einen Input benötigt, den es selbst nicht zu liefern im Stande ist. Im Falle der mathematischen Anschauung darf dieser Input allerdings nicht subjektiv kontingent sein, wenn es sich um objektiv gültige Theorien handeln soll. (Zudem vertritt Gödel eine Korrespondenztheorie der Wahrheit.) Der Begriff der heuristischen Intuition, den Burgess expliziert, stammt hingegen nicht zuletzt aus der kognitiven Psychologie, der bei der Verarbeitung impliziter, also unbewusster Informationen ansetzt und so das menschliche Vermögen erklärt, Entscheidungen und Urteile zu fällen, ohne sich der Urteilsgrundlagen bewusst zu sein. Über den ontologischen oder erkenntnistheoretischen Status dieser Urteilsgrundlagen sagen diese Theorien nichts aus. Sie könnten auch subjektiv kontingent zustande gekommen sein. Ihr normativer Anspruch ergibt sich lediglich aus „dem Funktionieren“, nicht daraus, dass es sich um Gesetze des Wahrseins handelt. (shrink)

For Rudolf Carnap the question ‘Do numbers exist?’ does not have just one sense. Asked from within mathematics, it has a trivial answer that could not possibly divide philosophers of mathematics. Asked from outside of mathematics, it lacks meaning. This paper discusses Carnap ’s distinction and defends much of what he has to say.

Geometry was a main source of inspiration for Carnap’s conventionalism. Taking Poincaré as his witness Carnap asserted in his dissertation Der Raum (Carnap 1922) that the metrical structure of space is conventional while the underlying topological structure describes "objective" facts. With only minor modifications he stuck to this account throughout his life. The aim of this paper is to disprove Carnap's contention by invoking some classical theorems of differential topology. By this means his metrical conventionalism turns out to be indefensible (...) for mathematical reasons. This implies that the relation between to-pology and geometry cannot be conceptualized as analogous to the relation between the meaning of a proposition and its expression in some language as logical empiricists used to say. (shrink)

Philosophy of science in the 20th century is to be considered as mostly characterized by a fundamentally systematic heuristic attitude, which looks to mathematics, and more generally to the philosophy of mathematics, for a genuinely and epistemologically legitimate form of knowledge. Rooted in this assumption, the book provides a formal reconsidering of the dynamics of scientific theories, especially in the field of the physical sciences, and offers a significant contribution to current epistemological investigations regarding the validity of using formal (especially: (...) model-theoretic) methods of analysis, as developed principally by Stegmüller, Sneed, Suppes, Moulines, “to bring the airy flights of analytical philosophy back down to earth”, to borrow Stephan Hartmann’s provocative statement. At the same time, the volume represents a comprehensive account of the epistemic content of physical theories, the logic of theory change in science, and specific (inter-)theoretical core aspects of scientific progress, particularly in the form suggested informally by Thomas Kuhn. As C. Ulises Moulines writes in the preface, “there is no other example in present-day literature (in any language) on this topic, i.e. the formal analysis of the ideographic characterization of the dynamics of theories between Kuhn’s theory of science and structural epistemology, that is as systematic and complete as Perrone’s work”. (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)

Der Verzicht auf absolut gültige Erkenntnis, heute in den Naturwissenschaften beinahe schon selbstverständlich, ist erst jüngeren Datums. Noch im vergangenen Jahrhundert zweifelte die experimentelle Forschung kaum an der vollkommenen Begreifbarkeit der Welt. Diesen Wandel zu erkunden und aufzuzeigen ist Thema der vorliegenden Studie. Der erste Teil präsentiert verschiedene Typen neuzeitlicher und moderner Wissenschaftsauffassungen von Galilei über Newton bis hin zu Kant. Im zweiten Teil werden Entwicklung und Wandel der Wissenschafts- und Naturauffassung bei Helmholtz (1821-1895) erstmals mittels detaillierter Textanalysen einer umfassenden (...) Rekonstruktion unterzogen. Die Relativierung des Wahrheitsanspruchs erlaubt es Helmholtz, seine Naturauffassung trotz der antimechanistischen Kritik innerhalb der Physik, die im letzten Viertel des vergangenen Jahrhunderts laut wurde, als Hypothese aufrechtzuerhalten. Auch gewährt die Studie eine neue Sichtweise des Verhältnisses zwischen Helmholtz und Kant, das in der Vergangenheit kontroverse Beurteilungen erfuhr. (shrink)

All humans share a universal, evolutionarily ancient approximate number system (ANS) that estimates and combines the numbers of objects in sets with ratio-limited precision. Interindividual variability in the acuity of the ANS correlates with mathematical achievement, but the causes of this correlation have never been established. We acquired psychophysical measures of ANS acuity in child and adult members of an indigene group in the Amazon, the Mundurucú, who have a very restricted numerical lexicon and highly variable access to mathematics education. (...) By comparing Mundurucú subjects with and without access to schooling, we found that education significantly enhances the acuity with which sets of concrete objects are estimated. These results indicate that culture and education have an important effect on basic number perception. We hypothesize that symbolic and nonsymbolic numerical thinking mutually enhance one another over the course of mathematics instruction. (shrink)

Euclid's classic proof about the infinitude of prime numbers has been a standard model of reasoning in student textbooks and books of elementary number theory. It has withstood scrutiny for over 2000 years but we shall prove that despite the deceptive appearance of its analytical reasoning it is tautological in nature. We shall argue that the proof is more of an observation about the general property of a prime numbers than an expository style of natural deduction of the proof of (...) their infinitude. (shrink)

This book is important for philosophy of mathematics and for the study of French philosophy. French philosophers are more concerned than most Anglo-American with mathematical practice outside of foundations. This contradicts the fashionable claim that French intellectuals get science all wrong and we return below to a germane example from Sokal and Bricmont [1999]. The emphasis on practice goes back to mid-20th century French historians of science including those Kuhn cites as sources for his orientation in philosophy of science [Kuhn (...) 1996: p. viii]. And the French often look to the experience, rather than the ideology, of Bourbaki. (shrink)

I distinguish between a metaphysical and a logical reading of Generality Relativism. While the former denies the existence of an absolutely general domain, the latter denies the availability of such a domain. In this paper I argue for the logical thesis but remain neutral in what concerns metaphysics. To motivate Generality Relativism I defend a principle according to which a collection can always be understood as a set-like collection. I then consider a modal version of Generality Relativism and sketch how (...) this version avoids certain revenge problems. (shrink)

The paper discusses some changes in Bolzano's definition of mathematics attested in several quotations from the Beyträge, Wissenschaftslehre and Grössenlehre: is mathematics a theory of forms or a theory of quantities? Several issues that are maintained throughout Bolzano's works are distinguished from others that were accepted in the Beyträge and abandoned in the Grössenlehre. Changes are interpreted as a consequence of the new logical theory of truth introduced in the Wissenschaftslehre, but also as a consequence of the overcome of Kant's (...) terminology, and of the radicalization of Bolzano's anti‐Kantianism. Bolzano's evolution is understood as a coherent move, once the criticism expressed in the Beyträge on the notion of quantity is compared with a different and larger notion of quantity that Bolzano developed already in 1816. This discussion is enriched by the discovery that two unknown texts mentioned by Bolzano in the Beyträge can be identified with works by von Spaun and Vieth respectively. Bolzano's evolution is interpreted as a radicalization of the criticism of the Kantian definition of mathematics and as an effect of Bolzano's unaltered interest in the Leibnizian notion of mathesis universalis. As a conclusion, the author claims that Bolzano never abandoned his original idea of considering mathematics as a scientia universalis, i.e. as the science of quantities in general, and suggests that the question of ideal elements in mathematics, apart from being a main reason for the development of a new logical theory, can also be considered as a main reason for developing a different definition of quantity. (shrink)

The dominant approach to analyzing the meaning of natural language sentences that express mathematical knowl- edge relies on a referential, formal semantics. Below, I discuss an argument against this approach and in favour of an internalist, conceptual, intensional alternative. The proposed shift in analytic method offers several benefits, including a novel perspective on what is required to track mathematical content, and hence on the Benacerraf dilemma. The new perspective also promises to facilitate discussion between philosophers of mathematics and cognitive scientists (...) working on topics of common interest. (shrink)

The following essay reconsiders the ontological and logical issues around Frege’s Basic Law (V). If focuses less on Russell’s Paradox, as most treatments of Frege’s Grundgesetze der Arithmetik (GGA)1 do, but rather on the relation between Frege’s Basic Law (V) and Cantor’s Theorem (CT). So for the most part the inconsistency of Naïve Comprehension (in the context of standard Second Order Logic) will not concern us, but rather the ontological issues central to the conflict between (BLV) and (CT). These ontological (...) issues are interesting in their own right. And if and only if in case ontological considerations make a strong case for something like (BLV) we have to trouble us with inconsistency and paraconsistency. These ontological issues also lead to a renewed methodological reflection what to assume or recognize as an axiom. (shrink)

For over thirty years I have argued that all branches of science and scholarship would have both their intellectual and humanitarian value enhanced if pursued in accordance with the edicts of wisdom-inquiry rather than knowledge-inquiry. I argue that this is true of mathematics. Viewed from the perspective of knowledge-inquiry, mathematics confronts us with two fundamental problems. (1) How can mathematics be held to be a branch of knowledge, in view of the difficulties that view engenders? What could mathematics be knowledge (...) about? (2) How do we distinguish significant from insignificant mathematics? This is a fundamental philosophical problem concerning the nature of mathematics. But it is also a practical problem concerning mathematics itself. In the absence of the solution to the problem, there is the danger that genuinely significant mathematics will be lost among the unchecked growth of a mass of insignificant mathematics. This second problem cannot, it would seem, be solved granted knowledge-inquiry. For, in order to solve the problem, mathematics needs to be related to values, but this is, it seems, prohibited by knowledge-inquiry because it could only lead to the subversion of mathematical rigour. Both problems are solved, however, when mathematics is viewed from the perspective of wisdom-inquiry. (1) Mathematics is not a branch of knowledge. It is a body of systematized, unified and inter-connected problem-solving methods, a body of problematic possibilities. (2) A piece of mathematics is significant if (a) it links up to the interconnected body of existing mathematics, ideally in such a way that some problems difficult to solve in other branches become much easier to solve when translated into the piece of mathematics in question; (b) it has fruitful applications for (other) worthwhile human endeavours. If ever the revolution from knowledge to wisdom occurs, I would hope wisdom mathematics would flourish, the nature of mathematics would become much more transparent, more pupils and students would come to appreciate the fascination of mathematics, and it would be easier to discern what is genuinely significant in mathematics (something that baffled even Einstein). As a result of clarifying what should count as significant, the pursuit of wisdom mathematics might even lead to the development of significant new mathematics. (shrink)

If Tahiti suggested to theorists comfortably at home in Europe thoughts of noble savages without clothes, those who paid for and went on voyages there were in pursuit of a quite opposite human ideal. Cook's voyage to observe the transit of Venus in 1769 symbolises the eighteenth century's commitment to numbers and accuracy, and its willingness to spend a lot of public money on acquiring them. The state supported the organisation of quantitative researches, employing surveyors and collecting statistics to..

Alfred Tarski (1901--1983) is widely regarded as one of the two giants of twentieth-century logic and also as one of the four greatest logicians of all time (Aristotle, Frege and Gödel being the other three). Of the four, Tarski was the most prolific as a logician. The four volumes of his collected papers, which exclude most of his 19 monographs, span over 2500 pages. Aristotle's writings are comparable in volume, but most of the Aristotelian corpus is not about logic, whereas (...) virtually everything written by Tarski concerns logic more or less directly. There is no doubt that Tarski wrote more on logic than any other author; he started publishing on logic in 1921 at the age of 20 and continued until his death at the age of 82. Two of his works appeared posthumously [Hist. Philos. Logic 7 (1986), no. 2, 143--154; MR0868748 (88b:03010); Tarski and Givant, A formalization of set theory without variables, Amer. Math. Soc., Providence, RI, 1987; MR0920815 (89g:03012)]. Tarski's voluminous writings were widely scattered in numerous journals, some quite rare. It has been extremely difficult to study the development of Tarski's thought and to trace the interconnections and interdependence of his various papers. Thanks to the present collection all this has changed, and it is likely that the increased accessibility of Tarski's papers will have the effect of increasing Tarski's already enormous influence. (shrink)