This article focusses on the generality of the entities involved in a geometric proof of the kind found in ancient Greek treatises: it shows that the standard modern translation of Greek mathematical propositions falsifies crucial syntactical elements, and employs an incorrect conception of the denotative letters in a Greek geometric proof; epigraphic evidence is adduced to show that these denotative letters are ‘letter-labels’. On this basis, the article explores the consequences of seeing that a Greek mathematical proposition is fully (...) class='Hi'>general, and the ontological commitments underlying the stylistic practice. (shrink)

We outline the rationale and preliminary results of using the State Context Property (SCOP) formalism, originally developed as a generalization of quantum mechanics, to describe the contextual manner in which concepts are evoked, used, and combined to generate meaning. The quantum formalism was developed to cope with problems arising in the description of (1) the measurement process, and (2) the generation of new states with new properties when particles become entangled. Similar problems arising with concepts motivated the formal treatment introduced (...) here. Concepts are viewed not as fixed representations, but entities existing in states of potentiality that require interaction with a context---a stimulus or another concept---to `collapse' to observable form as an exemplar, prototype, or other (possibly imaginary) instance. The stimulus situation plays the role of the measurement in physics, acting as context that induces a change of the cognitive state from superposition state to collapsed state. The collapsed state is more likely to consist of a conjunction of concepts for associative than analytic thought because more stimulus or concept properties take part in the collapse. We provide two contextual measures of conceptual distance---one using collapse probabilities and the other weighted properties---and show how they can be applied to conjunctions using the pet fish problem. (shrink)

We demonstrate how real progress can be made in the debate surrounding the enhanced indispensability argument. Drawing on a counterfactual theory of explanation, well-motivated independently of the debate, we provide a novel analysis of ‘explanatory generality’ and how mathematics is involved in its procurement. On our analysis, mathematics’ sole explanatory contribution to the procurement of explanatory generality is to make counterfactual information about physical dependencies easier to grasp and reason with for creatures like us. This gives precise content to key (...) intuitions traded in the debate, regarding mathematics’ procurement of explanatory generality, and adjudicates unambiguously in favour of the nominalist, at least as far as explanatory generality is concerned. (shrink)

Over the past 50 years, Nelson algebras have been extensively studied by distinguished scholars as the algebraic counterpart of Nelson's constructive logic with strong negation. Despite these studies, a comprehensive survey of the topic is currently lacking, and the theory of Nelson algebras remains largely unknown to most logicians. This paper aims to fill this gap by focussing on the essential developments in the field over the past two decades. Additionally, we explore generalisations of Nelson algebras, such as N4-lattices which (...) correspond to the paraconsistent version of Nelson's logic, as well as their applications to other areas of interest to logicians, such as duality and rough set theory. A general representation theorem states that each Nelson algebra is isomorphic to a subalgebra of a rough set-based Nelson algebra induced by a quasiorder. Furthermore, a formula is a theorem of Nelson logic if and only if it is valid in every finite Nelson algebra induced by a quasiorder. (shrink)

According to one popular nominalist picture, even when mathematics features indispensably in scientific explanations, this mathematics plays only a purely representational role: physical facts are represented, and these exclusively carry the explanatory load. I think that this view is mistaken, and that there are cases where mathematics itself plays an explanatory role. I distinguish two kinds of explanatory generality: scope generality and topic generality. Using the well-known periodical-cicada example, and also a new case study involving bicycle gears, I argue that (...) what is picked out by the mathematics are structural facts that go beyond any specific physical facts. (shrink)

Generality is a key value in scientific discourses and practices. Throughout history, it has received a variety of meanings and of uses. This collection of original essays aims to inquire into this diversity. Through case studies taken from the history of mathematics, physics and the life sciences, the book provides evidence of different ways of understanding the general in various contexts. It aims at showing how individuals have valued generality and how they have worked with specific types of " (...) class='Hi'>general" entities, procedures, and arguments. (shrink)

A simple propositional operator is introduced which generalizes pairwise equivalence and occurs widely in mathematics. Attention is focused on a replacement theorem for this notion of generalized equivalence and its use in producing further generalized equivalences.

In the Reality we know, we cannot say if something is infinite whether we are doing Physics, Biology, Sociology or Economics. This means we have to be careful using this concept. Infinite structures do not exist in the physical world as far as we know. So what do mathematicians mean when they assert the existence of ω? There is no universally accepted philosophy of mathematics but the most common belief is that mathematics touches on another worldly absolute truth. Many mathematicians (...) believe that mathematics involves a special perception of an idealized world of absolute truth. This comes in part from the recognition that our knowledge of the physical world is imperfect and falls short of what we can apprehend with mathematical thinking. The objective of this paper is to present an epistemological rather than an historical vision of the mathematical concept of infinity that examines the dialectic between the actual and potential infinity. (shrink)

Object identity, the apprehension that two glimpses refer to the same object, is offered as an example of combining generality, mathematics, and evolution. We argue that it applies to glimpses in time (apparent motion), modality (ventriloquism), and space (Gestalt grouping); that it has a mathematically elegant solution of nested geometries (Euclidean, Similarity, Affine, Projective, Topology); and that it is evolutionarily sound despite our Euclidean world. [Shepard].

Philosophers who regard some mathematical proofs as explaining why theorems hold, and others as merely proving that they do hold, disagree sharply about the explanatory value of proofs by mathematical induction. I offer an argument that aims to resolve this conflict of intuitions without making any controversial presuppositions about what mathematical explanations would be.

This book presents reverse mathematics to a general mathematical audience for the first time. Reverse mathematics is a new field that answers some old questions. In the two thousand years that mathematicians have been deriving theorems from axioms, it has often been asked: which axioms are needed to prove a given theorem? Only in the last two hundred years have some of these questions been answered, and only in the last forty years has a systematic approach been developed. In (...) Reverse Mathematics, John Stillwell gives a representative view of this field, emphasizing basic analysis--finding the "right axioms" to prove fundamental theorems--and giving a novel approach to logic. Stillwell introduces reverse mathematics historically, describing the two developments that made reverse mathematics possible, both involving the idea of arithmetization. The first was the nineteenth-century project of arithmetizing analysis, which aimed to define all concepts of analysis in terms of natural numbers and sets of natural numbers. The second was the twentieth-century arithmetization of logic and computation. Thus arithmetic in some sense underlies analysis, logic, and computation. Reverse mathematics exploits this insight by viewing analysis as arithmetic extended by axioms about the existence of infinite sets. Remarkably, only a small number of axioms are needed for reverse mathematics, and, for each basic theorem of analysis, Stillwell finds the "right axiom" to prove it. By using a minimum of mathematical logic in a well-motivated way, Reverse Mathematics will engage advanced undergraduates and all mathematicians interested in the foundations of mathematics. (shrink)

Because of the complex interdependence of physics and mathematics their relation is not free of tensions. The paper looks at how the tension has been perceived and articulated by some physicists, mathematicians and mathematical physicists. Some sources of the tension are identified and it is claimed that the tension is both natural and fruitful for both physics and mathematics. An attempt is made to explain why mathematical precision is typically not welcome in physics.

The ArgumentThis paper deals with the achievements of those French mathematicians active in the period 1800–1830 who oriented their work specifically around the needs of engineering and technology. In addition to a review of their achievements, the principal organizations and institutions are noted, as is their importance as sources of employment and influence.The argument is centered on the word ‘neglected“ in the title. A case is made that a mass of work was produced which made considerable impact at the time (...) but has been overlooked or even completely ignored by historians since. The paper begins with a general discussion of the notion of context, both for the historical figures and for their supposed historians, and several examples of historical distortion are given.Regarding France itself, we see a professional and research profile rather different from that in other countries. The question of national differences in the organization and prosecution of science is thereby sharply exposed. (shrink)

Offering a collection of fifteen essays that deal with issues at the intersection of phenomenology, logic, and the philosophy of mathematics, this 2005 book is divided into three parts. Part I contains a general essay on Husserl's conception of science and logic, an essay of mathematics and transcendental phenomenology, and an essay on phenomenology and modern pure geometry. Part II is focused on Kurt Godel's interest in phenomenology. It explores Godel's ideas and also some work of Quine, Penelope Maddy (...) and Roger Penrose. Part III deals with elementary, constructive areas of mathematics. These are areas of mathematics that are closer to their origins in simple cognitive activities and in everyday experience. This part of the book contains essays on intuitionism, Hermann Weyl, the notion of constructive proof, Poincaré and Frege. (shrink)

In this paper we argue that questions about which mathematical ideas mathematicians are exposed to and choose to pay attention to are epistemologically relevant and entangled with power dynamics and social justice concerns. There is a considerable body of literature that discusses the dissemination and uptake of ideas as social justice issues. We argue that these insights are also relevant for the epistemology of mathematics. We make this visible by a journalistic exploration of relevant cases and embed our insights into (...) the larger question how mathematical ideas are taken up in mathematical practices. We argue that epistemologies of mathematics ought to account for questions of exposure to and choice of attention to mathematical ideas, and remark on the political relevance of such epistemologies. (shrink)

In this study the theory of risk factors is discussed. The risk-concept is essential in cardiology and is, furthermore, important not only in medicine in general, but also and particularly in ecology. Since environmental risk factors endanger our health, ecological risks have to be taken as medical problems. If a factor or a set of factors is a necessary but not a sufficient condition for a disease we speak of a risk factor or of risk factors. Statistical analysis of (...) risk factors can be performed by multivariate methods. A method which is particularly useful for finding the most important of a set of risk factors, is discriminant analysis. (shrink)

Mathematician and philosopher Hermann Weyl had our subject dead to rights.

In lieu of an abstract, here is a brief excerpt of the content:Kant on the Method of MathematicsEmily Carson1. INTRODUCTIONThis paper will touch on three very general but closely related questions about Kant’s philosophy. First, on the role of mathematics as a paradigm of knowledge in the development of Kant’s Critical philosophy; second, on the nature of Kant’s opposition to his Leibnizean predecessors and its role in the development of the Critical philosophy; and finally, on the specific role of (...) intuition in Kant’s philosophy of mathematics. One of the points that I want to make is that recognizing the importance of these first two issues is essential to giving an adequate account of the third. That is, only by appreciating how Kant uses the example of mathematical knowledge, and in particular the objections he had to previous accounts of such knowledge, can we understand the philosophical role that he ascribes to intuition in his own account of mathematics.I don’t propose to explain the details of Kant’s philosophy of mathematics, but rather to compare his views on mathematics in the pre-Critical Prize Essay of 1764 to those of the Critique of Pure Reason, with the aim of showing how Kant’s doctrine of construction in pure intuition arises out of a combination of two factors: first, his attempt to ground the distinction between the respective methods of mathematics and philosophy, and second, his concern to defend the reality of mathematical knowledge against the views of those he called ‘the metaphysicians.’ The first factor demands an account of the certainty of mathematics, the second requires an account of its content. I shall argue that there is a possible conflict between Kant’s accounts of these features in the Prize Essay, a possibility which is finally ruled out only by means of the Critical doctrine of pure intuition. So I hope to show that there is a significant philosophical role for intuition in Kant’s account of mathematical knowledge (over and above the more logical role attributed to it on readings [End Page 629] such as those of Friedman, Beth, and Hintikka1) in reconciling the content of mathematics and its certainty.2. THE MATHEMATICIANS VS. THE METAPHYSICIANSThroughout his early writings, Kant appealed to the evidence and certainty of mathematics; his attitude towards metaphysics, however, underwent a dramatic shift. In the Physical Monadology of 1756, Kant asked how metaphysics and geometry can be united,[f] or the former peremptorily denies that space is infinitely divisible, while the latter, with its usual certainty, asserts that it is infinitely divisible. Geometry contends that empty space is necessary for free motion, while metaphysics hisses the idea off the stage. Geometry holds universal attraction or gravitation to be hardly explicable by mechanical causes but shows that it derives from the forces which are inherent in bodies at rest and which act at a distance, whereas metaphysics dismisses the notion as an empty delusion of the imagination [1:475–6].2He attempted in this work to reconcile the respective positions of metaphysics and geometry regarding infinite divisibility, thereby demonstrating that “it is neither the case that the geometer is mistaken nor that the opinion to be found among metaphysicians deviates from the truth” [1:480]. But in a series of works from 1762–3, Kant reveals a markedly different attitude towards metaphysics. For example, in “The only possible argument in support of a demonstration of the existence of God,” Kant says:the mania for method and the imitation of the mathematician, who advances with a sure step along a well-surfaced road, have occasioned a large number of such mishaps on the slippery ground of metaphysics. These mishaps are constantly before one’s eyes, but there is little hope that people will be warned by them, or that they will learn to be more circumspect as a result [2:71].In contrast, Kant describes the geometer as uncovering “with the greatest certainty” the most secret properties of that which is extended [2:70]. But the less conciliatory attitude to metaphysics comes out most clearly in Kant’s actual procedure in “The only possible argument.” In the Seventh Reflection, he presents an attempt to explain the origin of... (shrink)

Newtonian physics is based on Newtonian calculus applied to Newtonian dynamics. New paradigms such as ‘modified Newtonian dynamics’ change the dynamics, but do not alter the calculus. However, calculus is dependent on arithmetic, that is the ways we add and multiply numbers. For example, in special relativity we add and subtract velocities by means of addition β1⊕β2=tanh+tanh-1)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\beta _1\oplus \beta _2=\tanh \big +\tanh ^{-1}\big )$$\end{document}, although multiplication β1⊙β2=tanh·tanh-1)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} (...) \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\beta _1\odot \beta _2=\tanh \big \cdot \tanh ^{-1}\big )$$\end{document}, and division β1⊘β2=tanh/tanh-1)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\beta _1\oslash \beta _2=\tanh \big /\tanh ^{-1}\big )$$\end{document} do not seem to appear in the literature. The map fX=tanh-1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$f_{\mathbb{X}}=\tanh ^{-1}$$\end{document} defines an isomorphism of the arithmetic in X=\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{X}}=$$\end{document} with the standard one in R\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{R}}$$\end{document}. The new arithmetic is projective and non-Diophantine in the sense of Burgin, 1977), while ultrarelativistic velocities are super-large in the sense of Kolmogorov, 1961). Velocity of light plays a role of non-Diophantine infinity. The new arithmetic allows us to define the corresponding derivative and integral, and thus a new calculus which is non-Newtonian in the sense of Grossman and Katz. Treating the above example as a paradigm, we ask what can be said about the set X\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{X}}$$\end{document} of ‘real numbers’, and the isomorphism fX:X→R\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$f_{{\mathbb{X}}}:{\mathbb{X}}\rightarrow {\mathbb{R}}$$\end{document}, if we assume the standard form of Newtonian mechanics and general relativity but demand agreement with astrophysical observations. It turns out that the observable accelerated expansion of the Universe can be reconstructed with zero cosmological constant if fX≈0.8sinh/\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$f_{\mathbb{X}}\approx 0.8\sinh /$$\end{document}. The resulting non-Newtonian model is exactly equivalent to the standard Newtonian one with ΩΛ=0.7\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Omega _\Lambda =0.7$$\end{document}, ΩM=0.3\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Omega _M=0.3$$\end{document}. Asymptotically flat rotation curves are obtained if ‘zero’, the neutral element 0X\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$0_{{\mathbb{X}}}$$\end{document} of addition, is nonzero from the point of view of the standard arithmetic of R\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{R}}$$\end{document}. This implies fX-1=0X>0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$f^{-1}_{{\mathbb{X}}}=0_{{\mathbb{X}}}>0$$\end{document}. The opposition Diophantine versus non-Diophantine, or Newtonian versus non-Newtonian, is an arithmetic analogue of Euclidean versus non-Euclidean in geometry. We do not yet know if the proposed generalization ultimately removes any need of dark matter, but it will certainly change estimates of its parameters. Physics of the dark universe seems to be both geometry and arithmetic. (shrink)

We characterize the proof-theoretic strength of systems of explicit mathematics with a general principle asserting the existence of least fixed points for monotone inductive definitions, in terms of certain systems of analysis and set theory. In the case of analysis, these are systems which contain the Σ12-axiom of choice and Π12-comprehension for formulas without set parameters. In the case of set theory, these are systems containing the Kripke-Platek axioms for a recursively inaccessible universe together with the existence of a (...) stable ordinal. In all cases, the exact strength depends on what forms of induction are admitted in the respective systems. (shrink)

The article evaluates the Domain Postulate of the Classical Model of Science and the related Aristotelian prohibition rule on kind-crossing as interpretative tools in the history of the development of mathematics into a general science of quantities. Special reference is made to Proclus’ commentary to Euclid’s first book of Elements , to the sixteenth century translations of Euclid’s work into Latin and to the works of Stevin, Wallis, Viète and Descartes. The prohibition rule on kind-crossing formulated by Aristotle in (...) Posterior analytics is used to distinguish between conceptions that share the same name but are substantively different: for example the search for a broader genus including all mathematical objects; the search for a common character of different species of mathematical objects; and the effort to treat magnitudes as numbers. (shrink)

i How can one talk about 'understanding' and 'not understanding' a proposition? Surely it is not a proposition until it's understood ? ...

We propose a model of physics that blends Rovelli’s relational quantum mechanics (RQM) interpretation with the language of finite information quantities (FIQs), defined by Gisin and Del Santo in the spirit of intuitionistic mathematics. We discuss deficiencies of using real numbers to model physical systems in general, and particularly under the RQM interpretation. With this motivation for an alternative mathematical language, we propose the use of FIQs to model the world under the RQM interpretation, wherein we view the propensities (...) that make up a FIQ as quantifications of potential interaction. Under this model, the stable facts, relative facts, and shifting perspectives that make up the relational interpretation correspond to shifting digits and propensities of the FIQs. The model’s predictions agree with those of both classical and quantum physics, and it is indeterministic. We also propose explanations, with examples, for how the propensities of a FIQ are distributed, and how its digits become actualized. This is equivalent to the notion of the measurement problem, and the question of what causes wave function collapse. In short, by stepping through the “new door” opened by the language of FIQs, we attempt to describe the world under the relational interpretation. (shrink)

The aim of this book is to give an account of Einstein's work without introducing anything very technical in the way of mathematics, physics, or philosophy.

In an attempt to justify research efforts in various branches of science, scholars have tried to capture the essence of the relevant subject-matters in a definition, or at least have declared these subject-matters to exist. Otherwise the study of topics in the branches would be of questionable value, to say the least. For example, when dealing with numbers, their ontological status somehow has to be declared.

This book collects eight essays — written over multiple decades, for a general audience — that address Fenstad’s thoughts on the topics of what there is and how.

The aggregate EIRP of an N-element antenna array is proportional to N 2. This observation illustrates an effective approach for providing deep space networks with very powerful uplinks. The increased aggregate EIRP can be employed in a number of ways, including improved emergency communications, reaching farther into deep space, increased uplink data rates, and the flexibility of simultaneously providing more than one uplink beam with the array. Furthermore, potential for cost savings also exists since the array can be formed using (...) small apertures. (shrink)

Paying attention to the inner workings of mathematicians has led to a proliferation of new themes in the philosophy of mathematics. Several of these have to do with epistemology. Philosophers of mathematical practice, however, have not (yet) systematically engaged with general (analytic) epistemology. To be sure, there are some exceptions, but they are few and far between. In this chapter, I offer an explanation of why this might be the case and show how the situation could be remedied. I (...) contend that it is only by conceiving the knowing subject(s) as embodied, fallible, and embedded in a specific context (along the lines of what has been done within social and feminist epistemology) that we can pursue an epistemology of mathematics sensitive to actual mathematical practice. I further suggest that this reconception of the knowing subject(s) does not force us to abandon the traditional framework of epistemology in which knowledge requires justified true belief. It does, however, lead to a fallible conception of mathematical justification that, among other things, makes Gettier cases possible. This shows that topics considered to be far removed from the interests of philosophers of mathematical practice might reveal to be relevant to them. (shrink)

In Metaphysics M.2, 1077a9-14, Aristotle appears to argue against the existence of Platonic Forms on the basis of there being certain universal mathematical proofs which are about things that are ‘beyond’ the ordinary objects of mathematics and that cannot be identified with any of these. It is a very effective argument against Platonism, because it provides a counter-example to the core Platonic idea that there are Forms in order to serve as the object of scientific knowledge: the universal of which (...) theorems of universal mathematics are proven in Greek mathematics is neither Quantity in general nor any of the specific quantities, but Quantity-of-type-x. This universal cannot be a Platonic Form, for it is dependent on the types of quantity over which the variable ranges. Since for both Plato and Aristotle the object of scientific knowledge is that F which explains why G holds, as shown in a ‘direct’ proof about an arbitrary F (they merely disagree about the ontological status of this arbitrary F, whether a Form or a particular used in so far as it is F), Plato cannot maintain that Forms must be there as objects of scientific knowledge - unless the mathematics is changed. (shrink)

An extreme kind of logic skeptic claims that "the present formal systems used for the foundations of mathematics are artificially strong, thereby causing unnecessary headaches such as the Gödel incompleteness phenomena". The skeptic continues by claiming that "logician's systems always contain overly general assertions, and/or assertions about overly general notions, that are not used in any significant way in normal mathematics. For example, induction for all statements, or even all statements of certain restricted forms, is far too (...) class='Hi'>general - mathematicians only use induction for natural statements that actually arise. If logicians would tailor their formal systems to conform to the naturalness of normal mathematics, then various logical difficulties would disappear, and the story of the foundations of mathematics would look radically different than it does today. In particular, it should be possible to give a convincing model of actual mathematical practice that can be proved to be free of contradiction using methods that lie within what Hilbert had in mind in connection with his program”. Here we present some specific results in the direction of refuting this point of view, and introduce the Strict Reverse Mathematics (SRM) program. (shrink)

SOME MODERN THOMISTS claiming to follow the lead of Thomas Aquinas, hold that the objects of the types of mathematics known in the thirteenth century, such as the arithmetic of whole numbers and Euclidean geometry, are real entities. In scholastic terms they are not beings of reason but real beings. In his once-popular scholastic manual, Elementa Philosophiae Aristotelico-Thomisticae, Joseph Gredt maintains that, according to Aristotle and Thomas Aquinas, the object of mathematics is real quantity, either discrete quantity in arithmetic or (...) continuous quantity in geometry. The mathematician considers the essence of quantity in abstraction from its relation to real existence in bodily substance. "When quantity is considered in this way," he writes, "it is not a being of reason but a real being. Nevertheless it is so abstractly considered that it leaves out of account both real and conceptual existence." Recent mathematicians, Gredt continues, extend their speculation to fictitious quantity, which has conceptual but not real being; for example, the fourth dimension, which by its essence positively excludes a relation to real existence. According to Gredt this is a special, transcendental mathematics essentially distinct from "real mathematics," and belonging to it only by reduction. (shrink)

T HE heart of Kant's views on the nature of mathematics is his thesis that the judgments of pure mathematics are synthetic a priori. Kant usually offers this as one thesis, but it is fruitful to regard it as consisting of two separate claims, a meta- physical subthesis and an epistemological ..

In lieu of an abstract, here is a brief excerpt of the content:TOWARD A GENERAL THEORY OF FICTION by James D. Parsons When nelson Goodman writes, "All fiction is literal, literary falsehood," he seems to be disregarding at least one noteworthy tradition.1 The tradition I have in mind includes works by Jeremy Bendiam, Hans Vaihinger, Tobias Dantzig, Wallace Stevens, and a host ofother writers in many fields who have been laboring for more man two centuries to clear the ground (...) for a general theory of fiction. Such a general dieory would, if its exponents are right about its relevemce, be situated at the very heart of die law, literature, religion, science, mathematics — in fact, of humem life itself. Fiction dien would be no neirrow litereiry falsehood, but a kind of pressure, eis Wedlace Stevens said, which die imagination exerts "against die pressure of reality," and which "helps us to live our lives,"2 or, in Hans Vaihingens metaphor, "a scaffolding afterwards to be demolished" 3 — that is, elfter it heis served its constructive purpose. A fiction is a vitally useful creation of die mind corresponding to nothing in the real world. Most people eire aware of some of these fictions, from the perfect geometric figures of Euclid to the black box of contemporary axiomatics. There are many odiers. The notion diat all human beings are equal before die law is a fiction that can serve opposing purposes: it can work as an instrument for securing greater justice in the courts and in society, or it can function as ceimouflage, helping to perpetuate em unjust legal system and em oppressive social order — emd probably in any actual situation it serves both purposes at once. In die science of mechanics the idea of a pure vacuum, in which moving objects meet with no resistance, was for some centuries a useful fiction diat made possible the exact mathematiced analysis of motion in memy forms — another useful fiction. The notion of normality in psychology — mat diere is a universal standard of reference for human behavior — is stdl utilized by clinical and laboratory workers in the field, in spite of the metssive sociological emd ethnographic criticisms that have been leveled against it. In science generally, the idea that 92 James D. Parsons93 diere is a community of experts who by dieir combined influence decide what the trudi is in every field is a fiction diat seems to have come to the end of its usefulness, diough some philosophers have written about it as if it were a reality and not a fiction at edl. The fictions I have cited so far are none of them literary, nor être diey fedse in the ordinetry meaning of the word. They are simply not true; they describe nothing mat exists, except in die mind, emd cem be considered false only if one forgets what they eire emd tries, illegitimately, to apply tests of trudi to them in a direct way. Among the fictions mat might be called literary are the fictions derived from mydis. Now, a myth is a story told in answer to a question or a series of questions that has never been asked, eidier about the real world or (most likely) about the perennial performance of a ritual. The mydi is designed to forestall the questioning, because the questions that might be raised would be too embarrassing or because questions about some aspects of reality ceuinot be formulated without distorting our relation to them. These are the aspects of reedity that can be viewed only out of die corner of the eye, that disappear when we focus our gaze upon diem, and mat can be identified only indirectly.4 The more explicitly fictional devices, too, of poetry, drama, and the novel develop out of the attempt to achieve some sort of cognizeuice of the seune aspects of reality that are related in mydis. I do not meetn to imply that literature, of which mydi is a part, is concerned only with such disconcerting or evanescent aspects of reality. Literature, like all the great realms of culture, is concerned with the whole of reality. It has to be, omerwise its more passionate, its more ediereed concerns would have no lodging place, no environment in which to maintain... (shrink)

The call for evidence-based practice in education emphasizes the need for research to provide evidence for particular fields of educational practice. With this systematic literature review we summarize and analyze aggregated effectiveness information from 41 meta-analyses published between 2004 and 2019 to inform evidence-based practice in a particular field. In line with target specifications in education that are provided for a certain school subject and educational level, we developed and adopted a selection heuristic for filtering aggregated effect sizes specific to (...) both science and mathematics education and the secondary student population. The results include 78 context-specific aggregated effect sizes based on data from over one million students. The findings encompass a multitude of different teaching strategies, most of which offer a measurable advantage to alternatives. Findings demonstrate that context-specific effect size information may often differ from more general effect size information on teaching effectiveness and adherence to quality standards varies in sampled meta-analyses. Thus, although meta-analytic research has strongly developed over the last few years, providing context-specific and high-quality evidence still needs to be a focus in the field of secondary mathematics and science teaching and beyond. (shrink)