Triple
T17487095
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Susan Haack |
E425803
|
entity |
| Predicate | notableWork |
P4
|
FINISHED |
| Object | Philosophy of Logics |
—
|
NE NERFINISHED |
How this triple was built (3 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: Philosophy of Logics | Statement: [Susan Haack, notableWork, Philosophy of Logics]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Philosophy of Logics Context triple: [Susan Haack, notableWork, Philosophy of Logics]
-
A.
Philosophy of Logic
Philosophy of Logic is a work by philosopher Willard Van Orman Quine that examines the nature, foundations, and implications of logical systems within his broader analytic philosophy.
-
B.
Mathematical Logic
Mathematical Logic is a branch of mathematics and logic that studies formal systems, proof theory, model theory, recursion theory, and set theory to rigorously analyze the foundations of mathematics and reasoning.
-
C.
Formal Logic
Formal Logic is a foundational 19th-century work in mathematical logic that systematically develops the principles of symbolic reasoning and inference.
-
D.
Algebraic Methods in Philosophical Logic
Algebraic Methods in Philosophical Logic is a scholarly work that systematically applies algebraic techniques to the study and clarification of systems in philosophical logic.
-
E.
Logic, Methodology and Science
"Logic, Methodology and Science" is a scholarly work by philosopher Alan Musgrave that explores foundational issues in logic, scientific method, and the philosophy of science.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Philosophy of Logics Target entity description: Philosophy of Logics is a 1978 book by philosopher Susan Haack that offers a rigorous and influential examination of the nature, scope, and foundations of logical systems.
-
A.
Philosophy of Logic
Philosophy of Logic is a work by philosopher Willard Van Orman Quine that examines the nature, foundations, and implications of logical systems within his broader analytic philosophy.
-
B.
Mathematical Logic
Mathematical Logic is a branch of mathematics and logic that studies formal systems, proof theory, model theory, recursion theory, and set theory to rigorously analyze the foundations of mathematics and reasoning.
-
C.
Formal Logic
Formal Logic is a foundational 19th-century work in mathematical logic that systematically develops the principles of symbolic reasoning and inference.
-
D.
Algebraic Methods in Philosophical Logic
Algebraic Methods in Philosophical Logic is a scholarly work that systematically applies algebraic techniques to the study and clarification of systems in philosophical logic.
-
E.
Logic, Methodology and Science
"Logic, Methodology and Science" is a scholarly work by philosopher Alan Musgrave that explores foundational issues in logic, scientific method, and the philosophy of science.
- F. None of above. chosen
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_69d889dccf7481909264a1844a2e9100 |
completed | April 10, 2026, 5:25 a.m. |
| NER | Named-entity recognition | batch_69e451d2a5208190b25944626e779fdc |
completed | April 19, 2026, 3:53 a.m. |
Created at: April 10, 2026, 5:48 a.m.