Triple

T20189169
Position Surface form Disambiguated ID Type / Status
Subject Formal and Transcendental Logic E492937 entity
Predicate hasOriginalTitle P38 FINISHED
Object Formale und transzendentale Logik — NE NERFINISHED

How this triple was built (2 steps)

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.

NER Named-entity recognition gpt-5-mini
Instruction
Given a phrase, classify it is english named entity (e.g., persons, organizations, works of art) in Latin script, or not (e.g., literals, dates, URLs, verbose phrases). For disambiguation, the statement where the phrase occurs as object is also given. Please return a JSON object with `phrase` (string, the phrase being analyzed) and `is_ne` (boolean, indicating whether the phrase is a Named Entity).
Input
Phrase: Formale und transzendentale Logik | Statement: [Formal and Transcendental Logic, hasOriginalTitle, Formale und transzendentale Logik]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07 
Target entity: Formale und transzendentale Logik
Context triple: [Formal and Transcendental Logic, hasOriginalTitle, Formale und transzendentale Logik]
  • A. Formal and Transcendental Logic chosen
    Formal and Transcendental Logic is a major philosophical work by Edmund Husserl that develops a rigorous account of logic grounded in transcendental phenomenology and the structures of consciousness.
  • B. Über die Grundlagen der Logik
    Über die Grundlagen der Logik is a philosophical work by neo-Kantian thinker Richard Hönigswald that examines the fundamental principles and structure of logical reasoning.
  • C. System der Logik und Geschichte der logischen Lehren
    System der Logik und Geschichte der logischen Lehren is a 19th-century comprehensive treatise that combines a systematic exposition of logic with a historical survey of logical doctrines.
  • D. Wissenschaft der Logik
    Wissenschaft der Logik is Georg Wilhelm Friedrich Hegel’s foundational philosophical work that systematically develops his dialectical logic as the core of his idealist system.
  • E. "Grundzüge der theoretischen Logik"
    "Grundzüge der theoretischen Logik" is a foundational textbook in mathematical logic that helped formalize and systematize the principles of modern symbolic logic.
  • F. None of above.
  • G. Unsure - the case is ambiguous/there is not enough information to decide.

Provenance (2 batches)

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_69da6268a034819081cbd9ea5a1c9475 completed April 11, 2026, 3:02 p.m.
NER Named-entity recognition batch_69e66ad404508190981cfb7cab18d8d3 completed April 20, 2026, 6:05 p.m.
Created at: April 11, 2026, 11:37 p.m.