scientific article; zbMATH DE number 1984506

MaRDI QIDQ4428871zbMATH OpenFDO

Authors Peter Apostoli

Publication date 22 September 2003

zbMATH Keywords

consistencyfirst-order logicarithmetictruth value gapstype-free abstraction

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30)

Recommendations

• The anatytic conception of truth and the foundations of arithmetic
• Numerical abstraction via the Frege quantifier
• A new path to the logicist construction of numbers
• The logic of number
• A logical foundation of arithmetic

Cited in

(7)

• Numerical abstraction via the Frege quantifier
• A logic of abstraction related to finite constructive number classes
• Where do the natural numbers come from?
• The anatytic conception of truth and the foundations of arithmetic
• Potential infinity, abstraction principles and arithmetic (Leśniewski style)
• Numbers as moments of multisets: a new-old formulation of arithmetic
• A logical foundation of arithmetic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4428871)