Fact-checked by Grok 2 weeks ago

Circular definition

A circular definition is a type of definition in which the term being defined (the definiendum) appears in the defining expression (the definiens), either directly or through an intermediary chain of definitions, resulting in a self-referential loop that fails to impart new or independent meaning to the term. This form of definition is commonly regarded as a logical flaw in and semantics because it assumes the very it seeks to explain, thereby providing no genuine clarification or reductive . Philosophers have long scrutinized circular definitions for their implications in conceptual , argumentation, and , tracing back to ancient discussions in Plato's dialogues where probes the adequacy of definitional accounts. A classic problem arises in cases of vicious circularity, where the definition cannot be resolved without presupposing the term's meaning, leading to paradoxes such as the in truth definitions (e.g., "'This sentence is false' is true it is false"). For instance, an attempt to define "good" as "that which is approved by the good" exemplifies direct circularity, offering no substantive criterion for evaluation. Such definitions violate traditional standards like the eliminability condition, which requires substituting the definiens for the definiendum without altering truth values in all contexts. Despite these issues, not all circular definitions are deemed illegitimate; modern theories, such as the revision theory of definitions developed by Anil Gupta and Nuel Belnap, propose that they can yield hypothetical or dynamic meanings through iterative revision processes rather than fixed extensions. This approach has been applied to concepts like truth and rational choice, where circularity enables handling self-reference without contradiction, influencing semantics, epistemology, and formal logic. In mathematical contexts, benign circularity appears in recursive definitions, such as Peano's axioms for arithmetic, where functions like addition build upon themselves in a controlled, non-vicious manner. Overall, circular definitions highlight tensions between intuitive notions of explanation and the complexities of self-referential language.

Core Concepts and Characterization

Defining Circularity

A circular definition arises when the term being defined is explained through itself, a direct , or a set of terms that collectively presuppose its meaning, resulting in a self-referential that offers no independent clarification or grounding. This structure contrasts with non-circular definitions, which build on prior, more basic concepts to establish meaning progressively. In everyday , such circularity might appear innocuous, as when someone describes "sleep" simply as "the state of being asleep," but it undermines effective communication by assuming what it seeks to explain. The recognition of circular definitions as a flaw in reasoning originates in , particularly in 's Posterior Analytics (circa 350 BCE), where he critiques circular demonstrations—proofs that reciprocally support premises and conclusions—as incapable of producing genuine knowledge. insisted that true definitions and explanations must rely on principles prior and better known than the thing defined, arguing that circularity renders them tautological and uninformative, such as claiming "if A is, then A must be." This foundational critique emphasized that scientific understanding requires hierarchical foundations, not loops, to avoid in inquiry. Circular definitions pose significant problems in reasoning and communication by leading to , where each explanatory step demands further clarification without end; introducing that obscures precise understanding; and failing to impart new , as the definition merely restates rather than elucidates. These flaws extend from casual discourse to abstract philosophical or logical contexts, where unresolved circularity can stall analysis or mislead arguments by masking assumptions as explanations.

Distinguishing Types of Circular Definitions

Circular definitions can be categorized based on their structural and functional properties, revealing variations in how they fail to provide explanatory value. One primary distinction lies between and indirect forms. circularity occurs when a definition explicitly incorporates the being defined within its own explanatory , rendering it immediately self-referential and uninformative. In contrast, indirect circularity arises in chains or networks of definitions where multiple terms interdepend, forming a loop that eventually cycles back to the original . An example is defining "A" in terms of "B," "B" in terms of "C," and "C" in terms of "A," creating a closed without external grounding. A further subtype, often termed begging-the-question circularity, extends beyond pure definitional structure into argumentative contexts, where the definition presupposes the truth or validity of the it aims to clarify. This form is prevalent in persuasive or dialectical settings rather than isolated lexical entries, as it embeds an that begs prior acceptance of the claim. Circular definitions also vary in , with narrow and broad forms highlighting degrees of synonymy and conceptual overlap. Narrow circularity employs near-exact synonyms or tautological restatements. Broad circularity, however, invokes loosely related concepts that lack full independence, allowing superficial novelty but ultimately failing to resolve the original term's meaning through external reference. Identification of circular definitions relies on diagnostic criteria that expose their explanatory deficits. A substitution test involves replacing the definiendum with its definiens in surrounding contexts; if this yields a or unresolvable , circularity is evident, as no substantive is conveyed. Similarly, assessing information gain evaluates whether the definition introduces conceptual ; circular forms yield zero net gain, merely redistributing existing assumptions without advancement. These tests underscore common pitfalls, such as perpetuating ambiguity or hindering analytical progress in logical or philosophical inquiry.

Philosophical and Logical Frameworks

Classical Philosophical Approaches

In classical philosophy, identified circular definitions as a fundamental known as petitio principii, or , wherein an assumes its conclusion as a , thereby failing to provide genuine proof. In his Topics, particularly Book VIII, Aristotle describes this error as occurring when the premises covertly repeat the conclusion through synonymous terms or ambiguous universals and particulars, rendering the reasoning illusory rather than demonstrative. He elaborates in Sophistical Refutations (chapter 6) that such circularity undermines scientific demonstration by presupposing what requires independent establishment, as true knowledge demands premises that necessitate the conclusion without mutual dependence. Plato's dialogues, through the character of Socrates, exemplify early critiques of circular explanations in ethical inquiry, emphasizing their inability to distinguish a virtue's essence from accidental features. In the Euthyphro, Socrates rejects Euthyphro's proposed definition of piety as "what the gods love," arguing that it circularly fails to identify piety's inherent nature, instead reducing it to divine preference without explaining why certain actions qualify as pious. Similarly, in the Charmides, Socrates dismantles Critias's suggestion that temperance is "knowledge of knowledge," critiquing it as tautological and insufficient for capturing the virtue's essential role in benefiting the soul, as it merely restates the concept without deeper differentiation. These rejections highlight circularity's flaw in ethical definitions: it obscures the Form or essence of the good, preventing true understanding. Medieval philosopher Thomas Aquinas built on Aristotelian foundations, reinforcing that real definitions must avoid circularity to properly delineate a thing's essence through its genus and specific difference (per genus et differentiam). Commenting on Aristotle's Posterior Analytics (I, lect. 8), Aquinas condemns circular demonstrations as invalid, since they involve premises that presuppose the conclusion through convertible terms, thus lacking the unidirectional necessity required for proof. This stance underscores non-circular definitions as indispensable for theological and metaphysical science. During the , René Descartes's method of , outlined in his (1641), implicitly rejects circularity by seeking indubitable foundations for knowledge, beginning with the as a self-evident truth immune to hyperbolic skepticism. Descartes employs systematic to dismantle beliefs susceptible to error, ensuring that foundational certainties like the thinking self's existence do not rely on prior assumptions, thereby aiming to establish non-circular epistemic grounds. However, modern interpreters have accused the cogito and subsequent proofs for 's existence of circularity—the so-called —wherein clear and distinct perceptions are guaranteed by God, who is proven through those same perceptions.

Pragmatic and Modern Logical Views

In the early 20th century, pragmatist philosophers such as and advanced views that reframed circularity as an inevitable feature of holistic knowledge systems, rather than a fatal flaw. James, in his 1907 lectures on , emphasized that truth emerges from practical consequences and experiential verification within interconnected beliefs, suggesting that some mutual dependencies—resembling circularity—are not only unavoidable but beneficial when they facilitate effective inquiry and problem-solving. Similarly, Dewey extended this perspective by portraying knowledge as a dynamic, transactional embedded in social and experimental contexts, where circular reinforcements among beliefs can stabilize understanding and guide action, provided they contribute to resolving indeterminate situations. Ludwig Wittgenstein's later philosophy, particularly in Philosophical Investigations (1953), further influenced modern logical views by introducing the concepts of language games and family resemblances, which accommodate apparent circularity in meaning without undermining practical functionality. Wittgenstein argued that meanings arise from use within diverse "language games"—rule-governed activities embedded in forms of life—allowing concepts to cohere through overlapping similarities rather than rigid, essential definitions that might loop back on themselves. The notion of family resemblances, illustrated by the concept of "game," posits that categories are defined by a crisscrossing network of traits without a single common thread, thereby sidestepping the need for potentially circular explications and enabling fluid, context-dependent application in everyday discourse. In mid-20th-century , W.V.O. Quine's critique in (1951) bolstered these tolerant attitudes toward circularity by dismantling the analytic-synthetic distinction and advocating a holistic "web of belief." Quine contended that empirical confirmation applies to entire theories rather than isolated statements, implying that beliefs mutually support one another in a structure where revisions occur at the periphery, rendering circular dependencies inherent to rational adjustment rather than vicious. This web-like accepts such interconnections as pragmatic necessities for scientific progress, contrasting with classical demands for linear foundations. Ruth Millikan's 1984 work, Language, Thought, and Other Biological Categories, provided a biological grounding for distinguishing vicious from benign circularity in semantic theories. Millikan's teleosemantic approach defines meanings and functions etiologically, through historical selection processes, which avoids harmful loops by anchoring representations in real-world adaptations while permitting benign mutual supports that stabilize conceptual content without . Contemporary , particularly , builds on these ideas by endorsing circular justification in belief systems when it remains non-question-begging. Coherentists maintain that a belief's derives from its integration into a comprehensive, mutually reinforcing network of beliefs, where circularity manifests as symmetrical coherence rather than isolated , thus providing robust epistemic support without foundational privileges. This view, as articulated by philosophers like Laurence BonJour, tolerates such loops in large-scale systems, deeming them benign if they enhance overall and avoid arbitrary assumptions.

Lexicographic and Linguistic Applications

Circular Definitions in Dictionaries

Dictionaries strive to provide clear, non-circular explanations of words, ideally grounding definitions in ostensive demonstrations (pointing to real-world referents) or etymological origins, but lexicographers frequently encounter challenges when dealing with a of foundational terms that cannot be further simplified. For instance, the handles basic verbs like "be" or "have" through historical and etymological analysis rather than verbal definitions, as these primitives lack simpler synonyms without risking or circularity. Circular lexicographic definitions often form closed loops within or across entries, where terms reference each other without advancing understanding. A classic example is the entry for "define" in Merriam-Webster's dictionary, which states it as "to determine or set forth the meaning of (something)," thereby relying on "meaning" to explain the concept of defining itself. Such loops were more overt in early dictionaries, as seen in Samuel Johnson's 1755 A Dictionary of the English Language, where "network" is defined as "any thing reticulated or decussated, at equal distances, with interstices between the intersections," and "reticulated" is described as "having the form of a net or network." To mitigate circularity, lexicographers employ strategies like establishing a small set of indefinable primitives—root words that serve as the foundation for all other definitions. C. K. Ogden and I. A. Richards, in their 1923 work , advocated for a small set of indefinable primitives to build hierarchical explanations without loops; this approach influenced Ogden's later system with its 850-word . Modern dictionaries, such as , further break potential cycles through structured hierarchies, organizing definitions from more basic to complex terms (e.g., using genus-differentia formats like "a dog is a carnivorous animal...") and cross-referencing only acyclic paths. Historically, dictionary practices have shifted from Johnson's era, where overt circularity was common due to reliance on synonymous paraphrases amid limited resources, to contemporary methods that prioritize reductive clarity and empirical validation. While these techniques enable quick for users familiar with vocabulary, they carry risks: undetected loops can confuse readers, particularly in learner , underscoring the need for explicit flagging of or alternative explanations.

Circularity in Natural Language and Linguistics

In , circularity arises when meanings or interpretations loop back on themselves, creating apparent self-referential cycles that challenge straightforward comprehension. A classic example is the syntactically ambiguous sentence "Time flies like an ," which can be parsed in multiple ways—such as time progressing swiftly like an arrow, or (time flies) preferring an arrow—leading to interpretive loops where the structure refers back to its own elements for resolution. Such ambiguities highlight how everyday language often embeds relational dependencies that mimic circular definitions, requiring contextual cues to disentangle. These phenomena are not errors but inherent features of fluid communication, where speakers and listeners navigate loops for expressive efficiency. Ferdinand de Saussure's foundational work in posits that linguistic signs derive their value solely from their relations to other signs within the , the abstract system of . In this relational framework, "the value of each term results solely from the simultaneous presence of the others," forming a self-contained network where meaning emerges from differences and oppositions rather than isolated essences. This inherently circular structure—where signs function "not through their intrinsic value but through their relative position"—underpins the synchronic study of as a , emphasizing interdependence over linear hierarchies. Saussure acknowledges the potential in analyzing speech and as mutually defining, yet views it as essential to the and conventional nature of langue. In Chomskyan , deep structures incorporate recursive rules that introduce self-referential elements bordering on circularity, such as a phrase structure rule allowing a (S) to embed within itself (e.g., S → NP VP, VP → V S). This enables infinite productivity from finite means but risks definitional loops in syntactic generation, resolved through the innate constraints of (UG), which provides a non-circular biological endowment for . UG acts as an external anchor, ensuring that recursive definitions yield hierarchical structures rather than unproductive cycles, distinguishing generative models from purely empirical approaches. Seminal formulations in Chomsky's work underscore as a core property of the faculty, mitigating circularity by grounding it in cognitive universals. Psycholinguistic research from the 2010s demonstrates that humans exhibit notable tolerance for mild circularity and ambiguity in language processing, prioritizing communicative efficiency over perfect clarity. Listeners and readers often overlook pervasive ambiguities, such as those in proverbial expressions, resolving them rapidly through incremental interpretation without explicit rephrasing. This tolerance facilitates fluid discourse, as cognitive systems favor pragmatic inference over exhaustive disambiguation, allowing circular-like loops (e.g., tautological reinforcements in conversation) to convey intent succinctly. Studies in sentence comprehension reveal that such mechanisms enhance processing speed, with neural and behavioral evidence showing adaptation to relational ambiguities as a hallmark of efficient human communication. Cross-linguistic variations reveal differing degrees of embedded circularity, with polysynthetic languages like incorporating extensive morphological fusion that creates highly relational word-internal structures, contrasting with the more linear, analytic patterns in English. In polysynthetic systems, verbs can agglutinate multiple arguments and relations into single forms, yielding self-referential embeddings where grammatical roles define each other within the word, amplifying circular dependencies compared to analytic languages' reliance on separate words and order. This typological contrast influences how meanings loop: analytic languages expose circularity at the phrasal level, while polysynthetic ones internalize it morphologically, affecting interpretive depth across language families. In recent , large language models (LLMs) as of 2023 handle circular definitions through training on massive corpora, using probabilistic methods to resolve self-referential loops in sense disambiguation and without explicit hierarchies. Speakers and analysts mitigate circularity in through techniques like paraphrasing and contextual disambiguation in . Paraphrasing re-expresses looped concepts using alternative terms to break relational cycles, while contextual cues—such as surrounding propositions or shared —anchor ambiguous signs to non-circular interpretations. In , iterative similarity-based methods resolve circular definitions by converging on contextual patterns, paralleling how discourse participants iteratively refine meanings without vicious loops. These strategies, rooted in pragmatic and , ensure that mild circularity serves rather than hinders communication, often referencing dictionary-like tools briefly for initial grounding.

Formal and Mathematical Theories

Mathematical Models of Circularity

Mathematical models of circularity formalize the interdependent structure of definitions using tools from , , and . In these models, circularity arises when a term's meaning relies on itself, either directly or through a chain of dependencies, preventing a hierarchical or acyclic resolution. Such representations are crucial for analyzing definitional loops in formal systems, where traditional well-founded approaches fail. The graph-theoretic model represents definitions as a G = (V, E), where V correspond to terms and directed edges e \in E indicate definitional dependencies, pointing from a term to the terms used in its definition. Circularity manifests as cycles in this graph: a that returns to the starting , implying mutual reliance among terms. For instance, in lexical graphs derived from dictionaries, nodes are synsets and edges to definitional components, revealing thousands of cycles that reflect semantic loops essential for language coherence. can be performed using (DFS), which explores paths and identifies back edges to ancestors, or Tarjan's algorithm, which efficiently finds strongly connected components containing cycles. In practice, this model applies to resolving circular imports in programming languages, where modules form a ; if cycles exist, fails, signaling the need for refactoring to impose an acyclic order. A set-theoretic approach models circularity through non-well-founded sets, extending Zermelo-Fraenkel to allow sets that contain themselves or form infinite descending membership chains. Consider a set D of terms, where for a term t \in D, the meaning of t is the union of meanings of its definitional components. Term t is circular if t \subseteq \bigcup \{d \mid d depends on t\}, leading to a recursive inclusion that violates the axiom of foundation. Peter Aczel's anti-foundation axiom (AFA) resolves such structures by equating sets via bisimulation, enabling unique solutions to circular equations like \Omega = \{\Omega\}. This framework accommodates hypersets, where membership graphs may contain cycles, providing a mathematical basis for self-referential without . Fixed-point semantics, rooted in , addresses circularity by interpreting recursive definitions as solutions to semantic equations in complete partial orders (cpos). In , the meaning of a recursive term is the least fixed point of a functional from a to itself, ensuring a unique minimal solution that "unfolds" the circularity. Dana Scott's 1970s work established domains as reflexive cpos with continuous functions, allowing fixed points via the Kleene : for a f: D \to D, the least fixed point is \mathrm{lfp}(f) = \bigsqcup_{n=0}^\infty f^n(\bot), where \bot is the bottom element. This approach resolves circular definitions in programming languages by iteratively approximating meanings until convergence. For algebraic cycle detection in the graph model, represent the dependency structure via an A, where A_{ij} = 1 if term j depends on term i. Circularity exists if \mathrm{trace}(A^k) > 0 for some k \geq 2, as the trace counts closed walks of length k, indicating cycles. Computing matrix powers up to k = |V| suffices for finite graphs, with efficient s leveraging sparse representations. In applications, such as build systems or package managers, detecting these cycles via (e.g., Kahn's ) ensures dependencies are resolved in linear time when acyclic, highlighting circularity otherwise.

Implications in Formal Systems and Logic

In predicate logic, circularity within axioms can introduce undecidability by creating self-referential structures that undermine the system's . Gödel's incompleteness theorems (1931) demonstrate this indirectly through the construction of self-referential statements, such as the Gödel sentence, which asserts its own unprovability and reveals inherent loops in sufficiently expressive formal systems like Peano arithmetic. These theorems show that any consistent axiomatization capable of expressing basic arithmetic cannot prove all true statements within itself, as the self-referential mechanism exposes undecidable propositions. In axiomatic systems, efforts to establish non-circular foundations, as pursued in during the 1920s, ultimately failed due to the unavoidable loops in consistency proofs. Hilbert aimed to secure by proving the consistency of formal systems using finitary methods, but Gödel's second incompleteness theorem revealed that such proofs cannot be carried out within the system itself without invoking meta-level assumptions that risk circularity. This failure highlighted that consistency statements are self-referential, leading to an in foundational justifications. To resolve circularity, techniques such as —layering definitions to impose a strict —and iterative approximation in are employed to ensure well-founded derivations. Stratification prevents recursive definitions from cycling back on themselves by assigning levels to predicates, allowing cut-elimination and termination in logics extended with definitions. Iterative approximation, meanwhile, builds fixed points through successive refinements, enabling sound handling of inductive or coinductive structures without vicious loops. Vicious circularity in logic, which generates paradoxes through unchecked self-reference, is avoided in first-order logic via syntactic well-foundedness, where terms and formulas are constructed hierarchically without infinite descents. (1901), an extreme case of such circular self-reference, arises from naively assuming the set of all sets not containing themselves exists, leading to contradiction; it is resolved by ramified or axiomatic restrictions like ZFC, enforcing acyclic comprehension. In modern applications, circularity in AI and ontologies, such as the (2004), causes inference failures by introducing cycles in class or property definitions that prevent decidable reasoning. These issues are addressed through acyclic constraints, like enforcing strict subclass hierarchies or detecting cycles during ontology validation, ensuring tractable inferences. Tarski's undefinability theorem (1936) further underscores this by proving that truth predicates cannot be defined non-circularly within the same , as self-referential liar-like constructions lead to inconsistency, necessitating meta-languages for adequate semantics.

References

  1. [1]
    Definitions - Stanford Encyclopedia of Philosophy
    Apr 10, 2008 · Definitions have interested philosophers since ancient times. Plato's early dialogues portray Socrates raising questions about definitions.
  2. [2]
    [PDF] A Note on Analysis and Circular Definitions - Columbia University
    I. An analysis—in its simplest form—is an assertion aiming to capture a cer- tain intimate link between a given concept (the analysandum) and another,.
  3. [3]
    None
    ### Summary of Key Points on Circular Concepts and Definitions
  4. [4]
    A Note on Analysis and Circular Definitions - ResearchGate
    Aug 7, 2025 · A Note on Analysis and Circular Definitions ; responding definiens, according to the Gupta-Belnap proposal, can be. viewed as a monadic predicate ...Missing: source | Show results with:source
  5. [5]
    Posterior Analytics by Aristotle - The Internet Classics Archive
    Consequently the upholders of circular demonstration are in the position of saying that if A is, A must be-a simple way of proving anything. Moreover, even such ...Missing: circularity critique
  6. [6]
    [PDF] Aristotle on Circular Proof - NYU Arts & Science
    This definition, taken on its own, suggests that each of the last two syllogisms counts as a circular proof with respect to the original syllogism, or that the ...
  7. [7]
    Circular definitions, circular explanations, and infinite regresses
    Abstract. This paper discusses some of the ways in which circular definitions and circular explanations entail or fail to entail infinite regresses.Missing: source | Show results with:source
  8. [8]
    Petitio Principii (Begging the Question or Circular Argument)
    Petitio principii is sometimes defined as a simple or immediate argument, whereas circular reasoning is said to involve two or more arguments and so is a ...
  9. [9]
  10. [10]
    [PDF] Circular reasoning
    Circular reasoning occurs when an argument uses its own conclusion as support, instead of using agreed-upon facts and inferences.
  11. [11]
    Fallacies - Stanford Encyclopedia of Philosophy
    May 29, 2015 · 5. The fallacy of begging the question (petitio principii) can occur in a number of ways.
  12. [12]
    Plato's Ethics: An Overview - Stanford Encyclopedia of Philosophy
    Sep 16, 2003 · A reflection on the meaning of Socrates' quest for definitions in the early dialogues suggests that Plato cannot have been blind to the ...
  13. [13]
    SUMMA THEOLOGIAE: The simplicity of God (Prima Pars, Q. 3)
    Therefore God is not in any genus. I answer that, A thing can be in a genus in two ways; either absolutely and properly, as a species contained under a genus; ...
  14. [14]
    Authors/Thomas Aquinas/posteriorum/L1/Lect8 - The Logic Museum
    Jan 10, 2022 · For every syllogism must start with three terms and two propositions as a minimum. Therefore, in a circular demonstration three terms which ...
  15. [15]
    Descartes' Epistemology - Stanford Encyclopedia of Philosophy
    Dec 3, 1997 · Testing the cogito by means of methodical doubt is supposed to reveal its unshakable certainty. Hyperbolic doubt helps me appreciate that ...The Methods: Foundationalism... · The Cogito and Doubt
  16. [16]
    Pragmatism, a new name for some old ways of thinking
    Jul 31, 2008 · Pragmatism, a new name for some old ways of thinking; popular lectures on philosophy. by: James, William, 1842-1910. Publication date: 1907.
  17. [17]
    Pragmatism - Stanford Encyclopedia of Philosophy
    Aug 16, 2008 · Pragmatism is a philosophical tradition that – very broadly – understands knowing the world as inseparable from agency within it.4. Pragmatist Epistemology · 5. Pragmatism's Contribution... · Other References And...Missing: circular circularity
  18. [18]
  19. [19]
    [PDF] PHILOSOPHICAL INVESTIGATIONS - Squarespace
    Our clear and simple language-games are not preparatory studies for a future regularization of language—as it were first approximations, ignoring friction ...
  20. [20]
    [PDF] Two Dogmas of Empiricism
    Modern empiricism has been conditioned in large part by two dogmas. One is a belief in some fundamental cleavage between truths which are analytic, or grounded ...
  21. [21]
  22. [22]
    Language, Thought, and Other Biological Categories - MIT Press
    Ruth Millikan argues that the intentionality of language can be described without reference to speaker intentions.
  23. [23]
  24. [24]
    Coherentist Theories of Epistemic Justification
    Nov 11, 2003 · Yet there is an immediate problem with this response due to the fact that justificatory circles are usually thought to be vicious ones. If ...
  25. [25]
    Definition of DEFINE
    ### Summary of Primary Definitions of "Define" from Merriam-Webster
  26. [26]
    Dictionaries are trending | Illinois - Blogs
    Apr 22, 2017 · Johnson defines network as “any thing reticulated or decussated, at equal distances, with interstices between the intersections.” So you look up ...
  27. [27]
    Definitions - Help | Merriam-Webster
    Division of Senses. A boldface colon is used in this dictionary to introduce a definition: ... cir abbreviation 1 circle; circular 2 circuit 3 circumference.
  28. [28]
    NSM + LDOCE: A Non-Circular Dictionary of English | Oxford
    Nov 30, 2010 · Circular references seldom cause trouble for intermediate and advanced language learners: having already learned a larger vocabulary, they are ...Missing: definitions dictionaries
  29. [29]
    [PDF] Ambiguity in sentence processing - gerry altmann
    As listeners and readers, we rarely notice the ambiguities that pervade our everyday language. When we hear the proverb 'Time flies like an arrow' we might ...
  30. [30]
    [PDF] Course in General Linguistics Ferdinand de Saussure - Simon D. Levy
    Language was considered a specific sphere, a fourth natural kingdom; this led to methods of reasoning which would have caused astonishment in other sciences.
  31. [31]
    (PDF) The typological position and theoretical status of polysynthesis
    Aug 10, 2025 · Polysynthesis has fascinated linguists ever since polysynthetic languages, characterised by exceptional morphological complexity of verbs, have ...
  32. [32]
    [PDF] Similarity-based Word Sense Disambiguation - Shimon Edelman
    The circularity of this definition is resolved by an iterative, converging process, in which the system learns from the corpus a set of typical usages for each ...
  33. [33]
    Self-Reference and Paradox - Stanford Encyclopedia of Philosophy
    Jul 15, 2008 · Tarski showed that the liar paradox is formalisable in any formal theory containing his schema T, and thus any such theory must be inconsistent.
  34. [34]
    Hilbert's Program - Stanford Encyclopedia of Philosophy
    Jul 31, 2003 · 1.4 The impact of Gödel's Incompleteness Theorems. Gödel's incompleteness theorems showed that Hilbert's optimism was undue. In September ...
  35. [35]
    [PDF] Stratification in Logics of Definitions
    In this paper, we extend the logical foundations so these uses can be justified formally. We show here how this can be done for an extension of an ...
  36. [36]
    Russell's Paradox - Stanford Encyclopedia of Philosophy
    Dec 18, 2024 · Henri Poincaré read Russell's work and in his (1910) advocated a version of the vicious circle principle, which is presented not so much in ...Missing: foundedness | Show results with:foundedness
  37. [37]
    [PDF] arXiv:1410.7953v1 [cs.AI] 29 Oct 2014
    Oct 29, 2014 · In the first example, OWL won't detect that there is a circularity and in the other examples, OWL won't detect that ... The Description Logic ...<|separator|>