Changes

* [http://stderr.org/pipermail/inquiry/2004-November/001814.html LOR.COM 11.2].

* [http://stderr.org/pipermail/inquiry/2004-November/001814.html LOR.COM 11.2].

<pre>

<blockquote>

| I propose to assign to all logical terms, numbers;

<p>I propose to assign to all logical terms, numbers; to an absolute term, the number of individuals it denotes; to a relative term, the average number of things so related to one individual.<p>

| to an absolute term, the number of individuals it denotes;

 

| to a relative term, the average number of things so related

<p>Thus in a universe of perfect men (''men''), the number of "tooth of" would be 32.</p>

| to one individual.

 

<p>The number of a relative with two correlates would be the average number of things so related to a pair of individuals; and so on for relatives of higher numbers of correlates.</p>

| Thus in a universe of perfect men ('men'),

 

| the number of "tooth of" would be 32.

<p>I propose to denote the number of a logical term by enclosing the term in square brackets, thus [''t'']. (Peirce, CP 3.65).</p>

</blockquote>

| The number of a relative with two correlates would be the

| average number of things so related to a pair of individuals;

| and so on for relatives of higher numbers of correlates.

| I propose to denote the number of a logical term by

| enclosing the term in square brackets, thus ['t'].

| C.S. Peirce, CP 3.65

</pre>

We may formalize the role of the "number of" function by assigning it a local habitation and a name ''v''&nbsp;:&nbsp;''S''&nbsp;&rarr;&nbsp;'''R''', where ''S'' is a suitable set of signs, called the ''syntactic domain'', that is ample enough to hold all of the terms that we might wish to number in a given discussion, and where '''R''' is the real number domain.

We may formalize the role of the "number of" function by assigning it a local habitation and a name ''v''&nbsp;:&nbsp;''S''&nbsp;&rarr;&nbsp;'''R''', where ''S'' is a suitable set of signs, called the ''syntactic domain'', that is ample enough to hold all of the terms that we might wish to number in a given discussion, and where '''R''' is the real number domain.