Numbers as moments of multisets: a new-old formulation of arithmetic (Q536601): Difference between revisions

The author offers a modification for the standard approach toward a foundation for arithmetic via set theory and classical logic. His starting point are multisets and the Husserlian theory of wholes with their parts and moments. In this context he sketches how the notions of natural numbers as well as those of rationals and reels might be introduced.

0 references

Mathematics Subject Classification ID

00A30

0 references

0 references

0 references

0 references

0 references

0 references

arithmetic

0 references

natural numbers

0 references

foundations of mathematics

0 references

multisets

0 references

philosophy of mathematics

0 references

author

Ivor Grattan-Guinness

0 references

reviewed by

Siegfried Johannes Gottwald

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/s00283-010-9176-1

0 references

0 references

0 references

0 references

0 references

0 references

0 references

Fuzzy sets and systems. Theory and applications

0 references

Labyrinth of thought. A history of set theory and its role in modern mathematics

0 references

Q4237090

0 references

Q4040321

0 references

The rise of modern logic: from Leibniz to Frege

0 references

Q5595131

0 references

Fuzzy Membership Mapped onto Intervals and Many‐Valued Quantities

0 references

Q4845516

0 references

Q4523440

0 references

Solving Wigner's mystery: the reasonable (though perhaps limited) effectiveness of mathematics in the natural sciences

0 references

Was Hugh MacColl a logical pluralist or a logical monist? A case study in the slow emergence of metatheorising

0 references

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

0 references

Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory

0 references

0 references

0 references

0 references

0 references

Quantum sortal predicates

0 references

Sets, Fuzzy Sets, Multisets and Functions

0 references

0 references

0 references

0 references

0 references

The cardinal module and some theorems on families of sets

0 references

Q5760699

0 references

Methodological Practice and Complementary Concepts of Logical Consequence: Tarski's Model-Theoretic Consequence and Corcoran's Information-Theoretic Consequence

0 references

0 references

0 references

0 references

0 references

0 references

Differentiation and infinitesimal relatives in peirce’s 1870 paper on logic: A new interpretation

0 references

I.—INDICATION, CLASSES, NUMBERS, VALIDATION

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:536601

@@ Property / author @@
-Ivor Grattan-Guinness
@@ Property / author: Ivor Grattan-Guinness / rank @@
-Normal rank
@@ Property / review text @@
+The author offers a modification for the standard approach toward a foundation for arithmetic via set theory and classical logic. His starting point are multisets and the Husserlian theory of wholes with their parts and moments.  In this context he sketches how the notions of natural numbers as well as those of rationals and reels might be introduced.
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A30
@@ Property / Mathematics Subject Classification ID: 00A30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A05
@@ Property / Mathematics Subject Classification ID: 00A05 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A05
@@ Property / Mathematics Subject Classification ID: 01A05 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+-03
@@ Property / Mathematics Subject Classification ID: 03-03 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+E99
@@ Property / Mathematics Subject Classification ID: 03E99 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5897298
@@ Property / zbMATH DE Number: 5897298 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+arithmetic
@@ Property / zbMATH Keywords: arithmetic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+natural numbers
@@ Property / zbMATH Keywords: natural numbers / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+foundations of mathematics
@@ Property / zbMATH Keywords: foundations of mathematics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+multisets
@@ Property / zbMATH Keywords: multisets / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+philosophy of mathematics
@@ Property / zbMATH Keywords: philosophy of mathematics / rank @@
+Normal rank
@@ Property / author @@
+Ivor Grattan-Guinness
@@ Property / author: Ivor Grattan-Guinness / rank @@
+Normal rank
@@ Property / reviewed by @@
+Siegfried Johannes Gottwald
@@ Property / reviewed by: Siegfried Johannes Gottwald / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00283-010-9176-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2058694821
@@ Property / OpenAlex ID: W2058694821 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3340832
@@ Property / cites work: Q3340832 / rank @@
+Normal rank
@@ Property / cites work @@
+Multiset theory
@@ Property / cites work: Multiset theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5181658
@@ Property / cites work: Q5181658 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3005149
@@ Property / cites work: Q3005149 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3912532
@@ Property / cites work: Q3912532 / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy sets and systems. Theory and applications
@@ Property / cites work: Fuzzy sets and systems. Theory and applications / rank @@
+Normal rank
@@ Property / cites work @@
+Labyrinth of thought. A history of set theory and its role in modern mathematics
+Normal rank
@@ Property / cites work @@
+Q4237090
@@ Property / cites work: Q4237090 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040321
@@ Property / cites work: Q4040321 / rank @@
+Normal rank
@@ Property / cites work @@
+The rise of modern logic: from Leibniz to Frege
@@ Property / cites work: The rise of modern logic: from Leibniz to Frege / rank @@
+Normal rank
@@ Property / cites work @@
+Q5595131
@@ Property / cites work: Q5595131 / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy Membership Mapped onto Intervals and Many‐Valued Quantities
+Normal rank
@@ Property / cites work @@
+Q4845516
@@ Property / cites work: Q4845516 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4523440
@@ Property / cites work: Q4523440 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Wigner's mystery: the reasonable (though perhaps limited) effectiveness of mathematics in the natural sciences
+Normal rank
@@ Property / cites work @@
+Was Hugh MacColl a logical pluralist or a logical monist? A case study in the slow emergence of metatheorising
+Normal rank
@@ Property / cites work @@
+Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics
+Normal rank
@@ Property / cites work @@
+Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory
+Normal rank
@@ Property / cites work @@
+Q3803101
@@ Property / cites work: Q3803101 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4828282
@@ Property / cites work: Q4828282 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2736986
@@ Property / cites work: Q2736986 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5542081
@@ Property / cites work: Q5542081 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum sortal predicates
@@ Property / cites work: Quantum sortal predicates / rank @@
+Normal rank
@@ Property / cites work @@
+Sets, Fuzzy Sets, Multisets and Functions
@@ Property / cites work: Sets, Fuzzy Sets, Multisets and Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5314773
@@ Property / cites work: Q5314773 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3600462
@@ Property / cites work: Q3600462 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5584546
@@ Property / cites work: Q5584546 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5588619
@@ Property / cites work: Q5588619 / rank @@
+Normal rank
@@ Property / cites work @@
+The cardinal module and some theorems on families of sets
+Normal rank
@@ Property / cites work @@
+Q5760699
@@ Property / cites work: Q5760699 / rank @@
+Normal rank
@@ Property / cites work @@
+Methodological Practice and Complementary Concepts of Logical Consequence: Tarski's Model-Theoretic Consequence and Corcoran's Information-Theoretic Consequence
+Normal rank
@@ Property / cites work @@
+Q5605183
@@ Property / cites work: Q5605183 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639665
@@ Property / cites work: Q5639665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3950539
@@ Property / cites work: Q3950539 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3748220
@@ Property / cites work: Q3748220 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573940
@@ Property / cites work: Q5573940 / rank @@
+Normal rank
@@ Property / cites work @@
+Differentiation and infinitesimal relatives in peirce’s 1870 paper on logic: A new interpretation
+Normal rank
@@ Property / cites work @@
+I.—INDICATION, CLASSES, NUMBERS, VALIDATION
@@ Property / cites work: I.—INDICATION, CLASSES, NUMBERS, VALIDATION / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:536601