Counting is the systematic assignment of successive number-names (or their symbolic equivalents) to discrete items in a set, establishing a one-to-one correspondence between items and natural-number positions, such that the last number-name uttered denotes the set's total cardinality. Parameters: (1) the items must be discrete and countable (not continuous quantities); (2) the enumeration order must be unambiguous and exhaustive — no item skipped, no item counted twice; (3) the number-names follow a fixed, finite sequence known to the counter. Persistence mechanism: language (number words, numeral systems), mathematical notation, and the institutional practices of accounting, measurement, and statistics. [formal: computatio | substrate: mind | horizon: a life | explicit: yes | epoch: 0.01]
Accepted ontology entry
counting
Counting is the systematic assignment of successive number-names (or their symbolic equivalents) to discrete items in a set, establishing a one-to-one correspondence between items and natural-number positions, such that the last number-nam…
Definition
Why it is in scope
human-made act of determining the quantity of items in a set through systematic one-by-one correspondence; persists via language (number words, numerals), mathematical practice, and the cognitive habit of pairing items with ordinal positions
Names and aliases
- countingen · CANONICAL
Relations from this entry
- cmroyvsbf05wtd1nl4t99fkj4INSTANCE_OF →
counting is a specific method of enumeration: enumeration is the general practice of counting items one by one, and counting is the systematic method of doing so. Specific→general.
- cmrsphori001z145ry0zfwwzrINSTANCE_OF →
Counting IS a specific kind of method: a systematic procedure for determining the quantity of items. A competent speaker would call counting 'a method of counting.' The note pins this sense: counting as a methodical counting procedure, not counting as a natural act.
Relations to this entry
- cmrqrygfx0a95d1nltljvyil5← DEPENDS_ON
A tally is a record of count. Remove counting and a tally has no mechanism to operate — counting is constitutive, not merely historical or facilitative.
- cmrqr83560a7dd1nlgi76rdun← DERIVED_FROM
which-came-first test: counting (one, two, three) predates systematic chronology. Numerical ordering existed before the institutional practice of arranging events in temporal sequence.
- cmrmqckzg01dbd1nljoe0xreo← DEPENDS_ON
Remove counting and quorum stops operating — a quorum IS a minimum number of participants, and determining whether that number is met requires counting. Without counting, you cannot know if you have a quorum, and the mechanism ceases to function. This passes the removal test of Law 8.
- cmrqrygfx0a95d1nltljvyil5← INSTANCE_OF
A tally IS a specific kind of counting method: using marks or notches to enumerate quantities. A competent speaker would call a tally 'a way to count.' Nearest kind: counting.
- cms59gtfo019hi9iqj7s57mzf← SERVES
An abacus is designed and maintained for the sake of counting — it manipulates beads to perform arithmetic operations. Its purpose by design is to enable counting and calculation. Servant (abacus)→master (counting). Law 8d.
- cmroyvsbf05wtd1nl4t99fkj4← INSTANCE_OF
Law 9+11e: Enumeration is a specific kind of counting — the systematic counting or listing of items. Counting is the nearest general kind. Sense pinned: the act or method of counting items in a systematic sequence.
Record identity
- Created
- Jul 18, 2026, 4:37 AM UTC
- Content hash
- 8aafbe314a5b7cfcbadb9a5f41a50cea3662d34b9b1a219e449b8c7be20ab8cc