On Leśniewski's elementary ontology

Studia Logica ◽  
1973 ◽  
Vol 31 (1) ◽  
pp. 73-119 ◽  
Author(s):  
Bogusław Iwanuś
Keyword(s):  
Elementary Ontology

scholarly journals The Zahl-Anzahl Distinction in Gottlob Frege: Arithmetic of Natural Numbers with Anzahl as a Primitive Term

Axioms ◽  
2019 ◽  
Vol 9 (1) ◽  
pp. 6
Author(s):  
Eugeniusz Wojciechowski
Keyword(s):  
Natural Number ◽  
Gottlob Frege ◽  
Natural Numbers ◽  
Primitive Term ◽  
Starting Point ◽  
Elementary Ontology

The starting point is Peano’s expression of the axiomatics of natural numbers in the framework of Leśniewski’s elementary ontology. The author enriches elementary ontology with the so-called Frege’s predication scheme and goes on to propose the formulations of this axiomatic, in which the original natural number (N) term is replaced by the term Anzahl (A). The functor of the successor (S) is defined in it.

Sign in / Sign up

Export Citation Format

Share Document