Termin liczba jako nazwa i jako funktor. Arytmetyka liczb naturalnych z liczbą-funktorem jako terminem pierwotnym

• Authors: Wojciechowski Eugeniusz

Title variants

EN

Number as name and as functor: the arithmetic of natural numbers with number-functor as the primitive term

• Languages of publication: PL

Abstracts

EN

The distinction between number as a name and number as a functor alludes to the important Zahl-Anzahl distinction emphasised by Gottlob Frege. We start from Peano's expression of the axiomatics of natural numbers in the framework of Leśniewski's elementary ontology (OE). Next, we proceed to the enrichment of elementary ontology with Frege's predication scheme (OEsub) and propose such formulation of this axiomatics in which the primitive term natural number (N) is replaced by the term number-functor (A). The nominal constants natural number (N) and zero (0) as well as the functor of the successor (S) are defined here.

Keywords

EN

number; Frege's zahl-anzahl distinction; elementary ontology; Frege's predication scheme; Peano’s axiomatic

• Publisher: Polska Akademia Umiejętności / Uniwersytet Jagielloński
• Journal: Kwartalnik Filozoficzny
• Year: 2020
• Volume: 48
• Issue: 3
• Pages: 137-154

Contributors

author

Wojciechowski Eugeniusz

• Uniwersytet Rolniczy, Wydział Leśny, ul. 29 Listopada 46, 31-425 Kraków, Poland