The three arrows of Zeno. Cantorian and non-Cantorian concepts of the continuum and of motion (Q1293044)

From MaRDI portal





scientific article; zbMATH DE number 1322846
Language Label Description Also known as
default for all languages
No label defined
    English
    The three arrows of Zeno. Cantorian and non-Cantorian concepts of the continuum and of motion
    scientific article; zbMATH DE number 1322846

      Statements

      The three arrows of Zeno. Cantorian and non-Cantorian concepts of the continuum and of motion (English)
      0 references
      0 references
      0 references
      1 October 2001
      0 references
      This paper discusses the paradoxes of Zeno, including modern variants of them, from three points of view: (a) that of standard classical analysis (which uses the standard real number system), (b) that of nonstandard analysis (stemming from the work of Abraham Robinson), and (c) that of synthetic differential geometry, here called nonclassical analysis (which uses intuitionistic logic lacking the law of excluded middle, and derives from the work of F. W. Lawvere, A. Kock, G. Reyes and others). It is argued that the discussion shows that the standard point of view is not the only way of understanding the real line, and that each of the alternatives is in some respects more natural. Disappointingly, there is no discussion of paraconsistent approaches to the paradoxes [see \textit{G. Priest}, ``Inconsistencies in motion'', Am. Philos. Q. 22, 339-346 (1985), and chap. 12 of his book: In contradiction, Martinus Nijhoff, Dordrecht (1987; Zbl 0682.03002)].
      0 references
      0 references
      continuum
      0 references
      infinitesimal
      0 references
      measure theory
      0 references
      paradoxes of Zeno
      0 references
      classical analysis
      0 references
      nonstandard analysis
      0 references
      synthetic differential geometry
      0 references
      intuitionistic logic
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references