Triple

T32789498
Position Surface form Disambiguated ID Type / Status
Subject law of excluded middle E838588 entity
Predicate instanceOf P0 FINISHED
Object classical logic principle C39431 CONCEPT FINISHED

How this triple was built (1 step)

Every LLM step that produced this triple, in pipeline order — named-entity classification, the disambiguation choices (the exact options shown, with the pick highlighted), and the generated description. The batch + timestamp of each is in the Provenance table below.

CD Concept disambiguation gpt-5-mini-2025-08-07 
Target class: classical logic principle
Context triple: [law of excluded middle, instanceOf, classical logic principle]
  • A. non-classical logic
    Non-classical logic is a broad family of logical systems that modify or reject one or more principles of classical logic (such as bivalence, excluded middle, or monotonicity) to better model reasoning in contexts like vagueness, inconsistency, modality, or resource sensitivity.
  • B. logical law chosen
    A logical law is a fundamental principle or rule that governs valid reasoning and inference within a logical system.
  • C. nonclassical logic semantics
    Nonclassical logic semantics is the study of meaning and truth conditions for logics that deviate from classical principles, such as by altering truth values, inference rules, or structural constraints.
  • D. formal logic
    Formal logic is the systematic study of valid reasoning and inference using precisely defined symbols, rules, and structures independent of specific content.
  • E. principle
    A principle is a fundamental rule or guiding truth that shapes decisions, behavior, or understanding within a particular domain.
  • F. None of above.

Provenance (1 batch)

The batch behind each pipeline step, in order, with when it ran. Timestamps are batch-level — stages were processed in waves, so the object chain (NER → NED1 → NEDg → NED2) reads in order, but predicate / elicitation batches can sit in a different wave.

Step Stage Batch ID Status When
creating Elicitation batch_69f3493b83f48190be335cd42465cecf completed April 30, 2026, 12:21 p.m.
Created at: May 1, 2026, 1:14 a.m.