The term Anzahl functions in German in various numerical phrases, more or less defined. It appears in such contexts as “Anzahl der Äpfel” (i.e., “number of apples”) or “neun ist Anzahl der Planeten des Sonnensystems” (i.e., “nine is the number of planets of the Solar System”). In numerical phrases of the indefinite type, we use the combination of the number name (Zahl), which is an abstract object, and the general name, which is the product of a general name (here, the word apple/apples) with a name present only implicitly, which somehow characterizes the objects falling within the extension of the first name (usually a general name referring to the place they occupy). However, number phrases of the definite type (v. gr. “neun ist Anzahl den Planeten des Sonnensystem”or “Anzahl... ist gleich dem Anzahl...”) are discussed in Gottlob Frege’s works. Number phrases of the definite type are generally given to us through elementary expressions of the type “a is Ax”, where a is a number and x a (definite) general name. There is a specific functor A (from “Anzahl”) of the n/n category. In Frege, “Anzahl” refers to a concept determined by a single-argument predicate (Begriffswort). Given these remarks, we enrich the framework of elementary ontology with the so-called Frege’s predication scheme, to propose the formulations of these axiomatics in which the original natural number (N) term is replaced by the term Anzahl (A), and we present an original depiction of the arithmetic of natural numbers with Anzahl as a primitive term.
2.1. Elementary Ontology
The specific axiom of elementary ontology (OE
The secondary rules, which are direct consequences of axiom A0 include:
The nominal constants of object and contradictory object are defined as follows:
|D ||x is an object;|
|D ||x is a contradictory object.|
The functors of existence, singularity, being an object, weak inclusion, strong inclusion, extension identity, identity, and negation are also introduced by definition:
|Dsol||at most one object is x;|
|Dob||is object x;|
|D⊂||x is included in y (weak inclusion);|
|D⊏||x is included in y (strong inclusion);|
|D○||x is extension identical with y;|
|D=||x is identical with y;|
|Dn||x is non y.|
We also adopt the definition of the of satisfying functor:
The system of elementary ontology can be founded on the calculus of predicates without identity. Jerzy Słupecki’s work [1
] may serve as an introduction to elementary ontology.
2.2. Peano’s Axiomatics
The system of arithmetic of natural numbers can be founded on the axiomatics given by Peano [2
]. The formulation of these axiomatics in the framework of elementary ontology can be found in Leśniewski’s works ([3
], chapter 4, p. 129):
The last axiom is theaxiom of mathematical induction. Axioms A1–A5, as depicted below in Section 4
, are equivalent to the axioms given by Peano.
2.3. Elementary Ontology with Frege’s Predication Scheme
Here, the system of elementary ontology is extended with the functor sub
category. The elementary expression “x
)” is read here as: “x
is subordinated to y
”. The specific axioms of this system (OEsub
) have the following shapes (see [4
The functor of concept is introduced by definition:
DC x is a concept y
The key theses with functors sub and C include:
If x is subordinated to the concept y, then x is y,
If the concept x is subordinated to the concept y, then x is included in y
The term “Anzahl” functions in German in various numerical phrases, more or less defined. The word Anzahl appears in such contexts as: Anzahl der Äpfel (number of apples), Anzahl von Freuden (number of friends), fünf is Anzahl der Bäumen in meinem Garten (five is the number of trees in my garden), or neun ist Anzahl der Planeten des Sonnensystems (nine is the number of planets of the Solar System).
3.1. An Indefinite Numerical Phrase with the Term Anzahl
In number phrases of the indefinite type we have to deal with the combination of the number name (Zahl) being an abstract object with the general name, which is the product of a general name (e.g., apple/apples) and a name present only implicitly, which somehow characterizes the objects falling within the extension of the first name (usually a general name referring to the place they occupy). For example, “five apples” occupy a certain place on the table.
A phrase of this type, which is a nominal expression, can be rendered as follows:
is a number (Anzahl
) and x
is the name of object of a given sort, which, in combination with a hidden name characterizing these objects, gives us our universe of discourse. Since a
is also a name, then
is a functor of the—n
3.2. A Definite Numerical Phrase with the Term Anzahl
Numerical phrases of the definite type (“neun ist Anzahl den Planeten des Sonnensystem” or “Anzahl... ist gleich dem Anzahl...”) are discussed in Gottlob Frege’s works (see [5
], p. 20 and [6
], p. 88). In number phrases of the definite type, we use an elementary expression of the type:
where a is a number,
is a functor (of the s
category), and x
is a (definite) general name. A specific functor A
(from Anzahl) of the n
category appears here.
In Frege, “Anzahl” refers to a concept designated by a single-argument predicate (Begriffswort), but also a functorof the n/(s/n) category. The elementary phrase with this functor could be expressed in the following way: , where the (single-argument) predicate P is equivalent to the name x (from the phrase “”). Our expression existing in the framework of the calculus of names is closer to natural language, in which the category of names is understood broadly (individual and general names), as opposed to only individual names, as in Frege’s language (Namen=Eigennamen).
We will continue to deal with definite number phrases with the term Anzahl. We shall return to indefinite phrases with this term in the final part of the present paper.
4. Arithmetic of Natural Numbers
As our starting point, we shall adopt the following five axioms given by Leśniewski, including 0 in natural numbers, which is in accordance with the contemporary formulations of Peano’s axiomatics:
Our initial system is OEsub enriched with these axiomatics. The language of this system (OEsub[A1,A2,A3,A4,A5]) is extended with number nominal variables (a,b,c), referring to natural numbers. Apart from the standard rule of detachment (MP):
we shall adopt the rule of substitution:
where t is a nominal variable/constant or (in particular) a number nominal variable/constant:
where t is a number nominal variable/constant.
Having adopted the definition of the natural number:
we can eliminate constant N
by means of functor A
Axioms A1–A5 are consequences of Axioms B1–B5:
Next, we shall eliminate from axiomatics the functor of the successor (S) by introducing it by definition. We shall leave it only in the last axiom, for the purpose of shortening.
We shall adopt the axiomatics:
We shall introduce the functor of the successor by definition:
Of these, T2.5 is a typical formulation of an induction axiom.
5. Addition and Multiplication: Logical and Philosophical Analysis
Addition and multiplication as operations on numbers—with the numerical functor (Anzahl) as a primary functor—is, from a logical and philosophical point of view, an operation more complex than it usually appears.
The addition of numbers in the context of a numerical functor (Anzahl
) establishes the number of objects of the same sort. For example, withfive trees in the front garden and seven trees in the back garden, we reach the conclusion that we have 12 trees altogether. Using names y
, and taking into account the fact that the extensions of these names have no common elements (
), we create in this case a common name
, so that
—in order to state the following:
, where between x
there are the connections described before. The operation of addition in this context can be generally defined as follows:
The multiplication of numbers in the context of the numerical functor (Anzahl) is more complicated. Let us take a similar example. Let us assume that in the garden we have trees which are grouped in four groups, each comprising five trees. There are two groups in front of the house (on the left and on the right) and two groups behind the house (one on the left and one on the right, too). We beginour operation by distinguishing four groups, which we treat as distributive classes determined by four names: y, z, u, and v, which are, respectively , , , and .
We shall mark these classes, respectively, as: Cy
. This distinction is accom- panied by an ascertainment that for a certain name x
with the extension—
), these names are separate in terms of extension—
. Next, we state that there are four such groups/classes of trees—
, where w
is a shortening of the name “
”, and we finally state that each group of trees comprises five trees and each tree in the garden can be characterized as belonging strictly to one of these groups and as one of five trees belonging to this group. This last sentence can be shortly expressed as follows: each tree in the garden is characterized by a pair [
], to be eventually able to say that the number of trees in the garden is identical to the number of such pairs. Symbolically, it can be briefly expressed as follows:
is a functor of Cartesian product of the n
6. The New Formulation of the Arithmetic of Natural Numbers
We shall replace axiom C3 with a more intuitive one:
The system of arithmetic of natural numbers in this formulation is: OEsub[C1,C2,C3*,C4,C5]. In the formulation of axiom C5, the functor of successor occurs, which we are introducing similarly, by means of the already given definition DS.
Here, the term C
is interpreted in terms of class (see [7
DC x is a distributive class (of objects which are) y.
In addition to the rules of substitution and detachment (MP), we shall also adopt the rules of omission and introduction for the list operator in the form (see [8
OL if y is not list
and the rule:
Thanks to this rule, we obtain the property for two-element lists, , which is the equivalent of property for an orderly pair in the framework of the set theory.
Now, let us define the functor of Cartesian product (compare [9
], p. 176):
Now, we can—quite formally—adopt the definitions of the operations of addition (+) and multiplication () in accordance with their interpretation:
According to D+, addition is a symmetrical operation: ().
The operation of multiplication in the sense , in accordance with the definition D, is not symmetrical. We shall introduce multiplication as a symmetrical operation () by definition:
The theses which are consequences of definition D0 and axiom A3* include:
7. The Term Anzahl in the Indefinite Sense
We shall now deal with number phrases with the term “Anzahl” in the indefinite sense, where, “Numbers (Anzahlen) are always numbers (Anzahlen) of something. They can be added (five apples and two apples make seven apples). However, it is impossible to multiply numbers (Anzahlen) by numbers (Anzahlen)” (see [10
], p. 7).
Compounds such as five apples or two dogs fall, in accordance with the previous arrangements, under the scheme a∘x. We shall introduce the functor by definition:
The numbers (Anzahlen) in this sense behave like the so-called denominate numbers
(like, for example: 5 m or 2 kg) present in the so-called dimensional analysis
, which appears in physics. They can be added, provided that the same unit is preserved. Addition in such contexts can be defined as follows:
Denominate numbers (benannte Zahlen
) are the subject of analysis in one of Hermann von Helmholtz’s works (see [11
], p. 12).
The numbers (Anzahlen) in the indefinite sense cannot be multiplied, as opposed to denominate numbers in dimensional analysis.
A new, original depiction of arithmetic of natural numbers with Anzahl as a primitive term has been presented. The basis of this depiction is the calculus of names, which is a certain extension of elementary ontology (OEsub). The notion of a pair (list) was introduced by means of rules OL, IL, and RL, the last of them playing a significant role. I have recently noticed that it is possible to define an ordered pair in the framework of the OEsub system.