Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics

DOI10.1007/s11787-010-0023-0zbMath1261.00004MaRDI QIDQ1942335

Ivor Grattan-Guinness

Publication date: 19 March 2013

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-010-0023-0

zbMATH Keywords

metamathematics; model theory; theory change; abstract algebras; generality of theories; history and philosophy of pure and applied mathematics; history and philosophy of symbolic logics; monism and pluralism; parts and moments; sets and multisets

Mathematics Subject Classification ID

00A30: Philosophy of mathematics

00A35: Methodology of mathematics

01A85: Historiography

Related Items

A New–old Characterisation of Logical Knowledge, Numbers as moments of multisets: a new-old formulation of arithmetic, The power of the hexagon

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• WE HOLD THESE TRUTHS TO BE SELF-EVIDENT: BUT WHAT DO WE MEAN BY THAT?
• Real numbers, generalizations of the reals, and theories of continua
• Numbers as moments of multisets: a new-old formulation of arithmetic
• Confronting ideals of proof with the ways of proving of the research mathematician
• Scenes from the history of real functions. Translated from the Russian by Roger Cooke
• Writing the history of mathematics. Its historical development
• The war of the frogs and the mice, or the crisis of the Mathematische Annalen
• The problem of the invariance of dimension in the growth of modern topology. II
• The world as a mathematical game. John von Neumann and twentieth century science. Transl. from the Italian by Ian McGilvray
• Solving Wigner's mystery: the reasonable (though perhaps limited) effectiveness of mathematics in the natural sciences
• Die Anfänge der Funktionalanalysis und ihr Platz im Umwälzungsprozeß der Mathematik um 1900
• Equivalents of the axiom of choice. 2nd ed
• Quelques aspects de l'histoire des équations fonctionnelles liées à l'évolution du concept de fonction. (Some aspects of the history of functional equations combined with the development of the of concept function)
• Multiset theory
• Heaviside's operational calculus and the attempts to rigorise it
• Fuzzy sets and systems. Theory and applications
• The origin of relation algebras in the development and axiomatization of the calculus of relations
• The cardinal module and some theorems on families of sets
• Eliakim Hastings Moore's ``General Analysis
• Gnomes in the fog. The reception of Brouwer's intuitionism in the 1920s
• Karl Popper and the `the problem of induction': A fresh look at the logic of testing scientific theories
• Uniqueness of trigonometric series and descriptive set theory, 1870-1985
• The mathematics of the past: distinguishing its history from our heritage
• Modern algebra and the rise of mathematical structures
• Russell and his sources for non-classical logics
• Geschichtliche Entwicklung des Homologiebegriffs
• The development of the theory of summable divergent series from 1880 to 1925
• Non-classical stems from classical: N. A. Vasiliev's approach to logic and his reassessment of the square of opposition
• Lacroix and the calculus
• Stability of the local gamma factor in the unitary case
• Tool and object. A history and philosophy of category theory
• Karl pearson's mathematization of inheritance: From ancestral heredity to Mendelian genetics (1895–1909)
• HOW INFLUENTIAL WAS MECHANICS IN THE DEVELOPMENT OF NEOCLASSICAL ECONOMICS? A SMALL EXAMPLE OF A LARGE QUESTION
• Was Hugh MacColl a logical pluralist or a logical monist? A case study in the slow emergence of metatheorising
• PLURALISM IN LOGIC
• Proceeding in Abstraction. From Concepts to Types and the Recent Perspective on Information
• Mathematical roots of phenomenology: Husserl and the concept of number
• On the Development of the Notion of a Cardinal Number
• Russell's Early Theory of Denoting
• Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory
• Who were the American postulate theorists?
• Aristotelian logic and euclidean mathematics: Seventeenth-century developments of the quaestio de certitudine mathematicarum
• Implizite Definitionen—Eine Verwechselungsgeschichte
• Frege, hilbert, and the conceptual structure of model theory
• Differentiation and infinitesimal relatives in peirce’s 1870 paper on logic: A new interpretation
• Logical Pluralism
• Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics
• Categoricity
• Axioms and Theorems for a Theory of Arrays