The <i>Zahl-Anzahl</i> Distinction in Gottlob Frege: Arithmetic of Natural Numbers with <i>Anzahl</i> as a Primitive Term

The starting point is Peano&#8217;s expression of the axiomatics of natural numbers in the framework of Leśniewski&#8217;s elementary ontology. The author enriches elementary ontology with the so-called Frege&#8217;s predication scheme and goes on to propose the formulations of this axio...

Full description

Bibliographic Details
Main Author: Eugeniusz Wojciechowski
Format: Article
Language:English
Published: MDPI AG 2019-12-01
Series:Axioms
Subjects:
Online Access:https://www.mdpi.com/2075-1680/9/1/6
Description
Summary:The starting point is Peano&#8217;s expression of the axiomatics of natural numbers in the framework of Leśniewski&#8217;s elementary ontology. The author enriches elementary ontology with the so-called Frege&#8217;s predication scheme and goes on to propose the formulations of this axiomatic, in which the original natural number (<i>N</i>) term is replaced by the term <i>Anzahl</i> (<i>A</i>). The functor of the successor (<i>S</i>) is defined in it.
ISSN:2075-1680