Natural numbers and natural cardinals as abstract objects: A partial reconstruction of Frege's \textit{Grundgesetze} in object theory
From MaRDI portal
Publication:1961929
Recommendations
- Frege, the natural numbers, and natural kinds
- The natural numbers in constructive set theory
- On natural number objects, finiteness and Kripke-Platek models in toposes
- Frege’s Context Principle and Reference to Natural Numbers
- scientific article; zbMATH DE number 4164840
- Fregean abstraction, referential indeterminacy and the logical foundations of arithmetic
- Natural number objects in Dialectica categories
- Publication:4729786
- Generality and Objectivity in Frege’sFoundations of Arithmetic
Cites work
- scientific article; zbMATH DE number 3829861 (Why is no real title available?)
- scientific article; zbMATH DE number 1183730 (Why is no real title available?)
- scientific article; zbMATH DE number 1254497 (Why is no real title available?)
- scientific article; zbMATH DE number 1163395 (Why is no real title available?)
- scientific article; zbMATH DE number 1439713 (Why is no real title available?)
- scientific article; zbMATH DE number 3199782 (Why is no real title available?)
- Meinongian Theories and a Russellian Paradox
- Neo-logicism? An ontological reduction of mathematics to metaphysics
- Not Every Object of Thought has Being: A Paradox in Naive Predication Theory
- On a consistent subsystem of Frege's Grundgesetze
- On the consistency of the first-order portion of Frege's logical system
- The development of arithmetic in Frege'sGrundgesetze der arithmetik
- Twenty-five basic theorems in situation and world theory
- Where do the natural numbers come from?
Cited in
(15)- A classically-based theory of impossible worlds
- Frege, Boolos, and logical objects
- Hale's argument from transitive counting
- Hume's principle: a plea for austerity
- GoedelGod
- Frege's Theorem and the Peano Postulates
- Worlds and propositions set free
- A neglected resolution of Russell's paradox of propositions
- Number theory and infinity without mathematics
- Explicit abstract objects in predicative settings
- A defense of logicism
- Typed object theory
- Exploring Simplified Variants of Gödel’s Ontological Argument in Isabelle/HOL
- Steps toward a computational metaphysics
- Numerical abstraction via the Frege quantifier
This page was built for publication: Natural numbers and natural cardinals as abstract objects: A partial reconstruction of Frege's \textit{Grundgesetze} in object theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1961929)