On mathematical realism and applicability of hyperreals

E. Bottazzi, V. Kanovei, M. Katz, T. Mormann, David M Sherry

Research output: Contribution to journalArticle

Abstract

We argue that Robinson's hyperreals have just as much claim to applicability as the garden variety reals. In a recent text, Easwaran and Towsner (ET) analyze the applicability of mathematical techniques in the sciences, and introduce a distinction between techniques that are applicable and those that are merely instrumental. Unfortunately the authors have not shown that their distinction is a clear and fruitful one, as the examples they provide are superficial and unconvincing. Moreover, their analysis is vitiated by a reliance on a naive version of object realism which has long been abandoned by most philosophical realists in favor of truth-value realism. ET's argument against the applicability of hyperreals based on automorphisms of hyperreal models involves massaging the evidence and is similarly unconvincing. The purpose of the ET text is to argue that Robinson's infinitesimal analysis is merely instrumental rather than applicable. Yet in spite of Robinson's techniques being applied in physics, probability, and economics (see e.g., [70, Chapter IX], [1], [76], [60]), ET don't bother to provide a meaningful analysis of even a single case in which these techniques are used. Instead, ET produce page after page of speculations mainly imitating Connesian chimera-type arguments 'from first principles' against Robinson. In an earlier paper Easwaran endorsed real applicability of the σ-additivity of measures, whereas the ET text rejects real applicability of the axiom of choice, voicing a preference for ZF. Since it is consistent with ZF that the Lebesgue measure is not σ-additive, Easwaran is thereby walking back his earlier endorsement. We note a related inaccuracy in the textbook Measure Theory by Paul Halmos. ET's arguments are unacceptable to mathematicians because they ignore a large body of applications of infinitesimals in science, and massage the evidence of some crucial mathematical details to conform with their philosophical conclusions.

Original languageEnglish (US)
Pages (from-to)200-224
Number of pages25
JournalMatematychni Studii
Volume51
Issue number2
DOIs
StatePublished - Jan 1 2019

Fingerprint

Axiom of choice
Measure Theory
Speculation
Additivity
First-principles
Lebesgue Measure
Automorphisms
Physics
Economics
Text
Evidence
Model
Truth
Object

Keywords

  • Applicability
  • Automorphism
  • Hyperreals
  • Infinitesimals
  • Instrumentalism
  • Lebesgue measure
  • Lotka-Volterra model
  • object realism
  • Rigidity
  • Truth-value realism
  • σ-additivity

ASJC Scopus subject areas

  • Mathematics(all)

Cite this

On mathematical realism and applicability of hyperreals. / Bottazzi, E.; Kanovei, V.; Katz, M.; Mormann, T.; Sherry, David M.

In: Matematychni Studii, Vol. 51, No. 2, 01.01.2019, p. 200-224.

Research output: Contribution to journalArticle

Bottazzi, E, Kanovei, V, Katz, M, Mormann, T & Sherry, DM 2019, 'On mathematical realism and applicability of hyperreals', Matematychni Studii, vol. 51, no. 2, pp. 200-224. https://doi.org/10.15330/ms.51.2.200-224
Bottazzi, E. ; Kanovei, V. ; Katz, M. ; Mormann, T. ; Sherry, David M. / On mathematical realism and applicability of hyperreals. In: Matematychni Studii. 2019 ; Vol. 51, No. 2. pp. 200-224.
@article{b976890adef7495b9927072d39ab6c25,
title = "On mathematical realism and applicability of hyperreals",
abstract = "We argue that Robinson's hyperreals have just as much claim to applicability as the garden variety reals. In a recent text, Easwaran and Towsner (ET) analyze the applicability of mathematical techniques in the sciences, and introduce a distinction between techniques that are applicable and those that are merely instrumental. Unfortunately the authors have not shown that their distinction is a clear and fruitful one, as the examples they provide are superficial and unconvincing. Moreover, their analysis is vitiated by a reliance on a naive version of object realism which has long been abandoned by most philosophical realists in favor of truth-value realism. ET's argument against the applicability of hyperreals based on automorphisms of hyperreal models involves massaging the evidence and is similarly unconvincing. The purpose of the ET text is to argue that Robinson's infinitesimal analysis is merely instrumental rather than applicable. Yet in spite of Robinson's techniques being applied in physics, probability, and economics (see e.g., [70, Chapter IX], [1], [76], [60]), ET don't bother to provide a meaningful analysis of even a single case in which these techniques are used. Instead, ET produce page after page of speculations mainly imitating Connesian chimera-type arguments 'from first principles' against Robinson. In an earlier paper Easwaran endorsed real applicability of the σ-additivity of measures, whereas the ET text rejects real applicability of the axiom of choice, voicing a preference for ZF. Since it is consistent with ZF that the Lebesgue measure is not σ-additive, Easwaran is thereby walking back his earlier endorsement. We note a related inaccuracy in the textbook Measure Theory by Paul Halmos. ET's arguments are unacceptable to mathematicians because they ignore a large body of applications of infinitesimals in science, and massage the evidence of some crucial mathematical details to conform with their philosophical conclusions.",
keywords = "Applicability, Automorphism, Hyperreals, Infinitesimals, Instrumentalism, Lebesgue measure, Lotka-Volterra model, object realism, Rigidity, Truth-value realism, σ-additivity",
author = "E. Bottazzi and V. Kanovei and M. Katz and T. Mormann and Sherry, {David M}",
year = "2019",
month = "1",
day = "1",
doi = "10.15330/ms.51.2.200-224",
language = "English (US)",
volume = "51",
pages = "200--224",
journal = "Matematychni Studii",
issn = "1027-4634",
publisher = "VNTL Publishers",
number = "2",

}

TY - JOUR

T1 - On mathematical realism and applicability of hyperreals

AU - Bottazzi, E.

AU - Kanovei, V.

AU - Katz, M.

AU - Mormann, T.

AU - Sherry, David M

PY - 2019/1/1

Y1 - 2019/1/1

N2 - We argue that Robinson's hyperreals have just as much claim to applicability as the garden variety reals. In a recent text, Easwaran and Towsner (ET) analyze the applicability of mathematical techniques in the sciences, and introduce a distinction between techniques that are applicable and those that are merely instrumental. Unfortunately the authors have not shown that their distinction is a clear and fruitful one, as the examples they provide are superficial and unconvincing. Moreover, their analysis is vitiated by a reliance on a naive version of object realism which has long been abandoned by most philosophical realists in favor of truth-value realism. ET's argument against the applicability of hyperreals based on automorphisms of hyperreal models involves massaging the evidence and is similarly unconvincing. The purpose of the ET text is to argue that Robinson's infinitesimal analysis is merely instrumental rather than applicable. Yet in spite of Robinson's techniques being applied in physics, probability, and economics (see e.g., [70, Chapter IX], [1], [76], [60]), ET don't bother to provide a meaningful analysis of even a single case in which these techniques are used. Instead, ET produce page after page of speculations mainly imitating Connesian chimera-type arguments 'from first principles' against Robinson. In an earlier paper Easwaran endorsed real applicability of the σ-additivity of measures, whereas the ET text rejects real applicability of the axiom of choice, voicing a preference for ZF. Since it is consistent with ZF that the Lebesgue measure is not σ-additive, Easwaran is thereby walking back his earlier endorsement. We note a related inaccuracy in the textbook Measure Theory by Paul Halmos. ET's arguments are unacceptable to mathematicians because they ignore a large body of applications of infinitesimals in science, and massage the evidence of some crucial mathematical details to conform with their philosophical conclusions.

AB - We argue that Robinson's hyperreals have just as much claim to applicability as the garden variety reals. In a recent text, Easwaran and Towsner (ET) analyze the applicability of mathematical techniques in the sciences, and introduce a distinction between techniques that are applicable and those that are merely instrumental. Unfortunately the authors have not shown that their distinction is a clear and fruitful one, as the examples they provide are superficial and unconvincing. Moreover, their analysis is vitiated by a reliance on a naive version of object realism which has long been abandoned by most philosophical realists in favor of truth-value realism. ET's argument against the applicability of hyperreals based on automorphisms of hyperreal models involves massaging the evidence and is similarly unconvincing. The purpose of the ET text is to argue that Robinson's infinitesimal analysis is merely instrumental rather than applicable. Yet in spite of Robinson's techniques being applied in physics, probability, and economics (see e.g., [70, Chapter IX], [1], [76], [60]), ET don't bother to provide a meaningful analysis of even a single case in which these techniques are used. Instead, ET produce page after page of speculations mainly imitating Connesian chimera-type arguments 'from first principles' against Robinson. In an earlier paper Easwaran endorsed real applicability of the σ-additivity of measures, whereas the ET text rejects real applicability of the axiom of choice, voicing a preference for ZF. Since it is consistent with ZF that the Lebesgue measure is not σ-additive, Easwaran is thereby walking back his earlier endorsement. We note a related inaccuracy in the textbook Measure Theory by Paul Halmos. ET's arguments are unacceptable to mathematicians because they ignore a large body of applications of infinitesimals in science, and massage the evidence of some crucial mathematical details to conform with their philosophical conclusions.

KW - Applicability

KW - Automorphism

KW - Hyperreals

KW - Infinitesimals

KW - Instrumentalism

KW - Lebesgue measure

KW - Lotka-Volterra model

KW - object realism

KW - Rigidity

KW - Truth-value realism

KW - σ-additivity

UR - http://www.scopus.com/inward/record.url?scp=85070108205&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85070108205&partnerID=8YFLogxK

U2 - 10.15330/ms.51.2.200-224

DO - 10.15330/ms.51.2.200-224

M3 - Article

AN - SCOPUS:85070108205

VL - 51

SP - 200

EP - 224

JO - Matematychni Studii

JF - Matematychni Studii

SN - 1027-4634

IS - 2

ER -