Mathematics without Numbers

Clicks: 2
ID: 296057
1993
Free PDF
Article Quality & Performance Metrics
Overall Quality
Not rated
Combines reader engagement with the AI quality analysis. This article has not been analysed, so there is no overall score — reader engagement is measured and shown alongside.
AI Quality Assessment
Not analyzed
Readership in this journal
Emerging

Ranked #954 of 1,518 articles by views in Oxford University Press eBooks

Most read Least read

Bar heights use a square-root scale. Only the 120 most-read articles are drawn; the journal has 1,518 in total.

Mint this article as an NFT
Not yet minted

Create a permanent, verifiable on-chain record of this article on the Scimatic Network. The NFT is held in your Journament account, and you can withdraw it to your own wallet at any time.

5 SUSD one-off · no wallet required
Sign in to mint
Abstract
Abstract Develops a structuralist understanding of mathematics, as an alternative to set‐ or type‐theoretic foundations, that respects classical mathematical truth while minimizing Platonist commitments to abstract entities. Modal logic is combined with notions of part/whole (mereology) enabling a systematic interpretation of ordinary mathematical statements as asserting what would be the case in any (suitable) structure there (logically) might be, e.g. for number theory, functional analysis, algebra, pure geometry, etc. Structures are understood as comprising objects, whatever their nature, standing in suitable relations as given by axioms or defining conditions in mathematics proper. The characterization of structures is aided by the addition of plural quantifiers, e.g. ‘Any objects of sort F’ corresponding to arbitrary collections of Fs, achieving the expressive power of second‐order logic, hence a full logic of relations. (See the author's ‘Structuralism without Structures’, Philosophia Mathematica4 (1996): 100–123.) Claims of absolute existence of structures are replaced by claims of (logical) possibility of enough structurally interrelated objects (modal‐existence postulates). The vast bulk of ordinary mathematics, and scientific applications, can thus be recovered on the basis of the possibility of a countable infinity of atoms. As applied to set theory itself, these ideas lead to a ‘many worlds’—– as opposed to the standard ‘fixed universe’—view, inspired by Zermelo (1930), respecting the unrestricted, indefinite extendability of models of the Zermelo–Fraenkel axioms. Natural motivation for (‘small’) large cardinal axioms is thus provided. In sum, the vast bulk of abstract mathematics is respected as objective, while literal reference to abstracta and related problems with Platonism are eliminated.
Reference Key
openalex_W2318031348 Use this key to autocite in the manuscript while using SciMatic Manuscript Manager or Thesis Manager
Authors Geoffrey Hellman
Journal Oxford University Press eBooks
Year 1993
DOI
10.1093/0198240341.001.0001
URL
https://doi.org/10.1093/0198240341.001.0001
Keywords Keywords not found

Citations

No citations found. To add a citation, contact the admin at info@scimatic.org

Comments

No comments yet. Be the first to comment on this article.