Triple
T10729069
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Concept Script |
E253024
|
entity |
| Predicate | isFoundationFor |
P2421
|
FINISHED |
| Object | Fregean logic |
E253029
|
NE FINISHED |
Disambiguation candidates (1 decision)
The exact options the model was shown at each disambiguation step, with the option it chose highlighted — the evidence behind this triple's disambiguated ids.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Fregean logic Context triple: [Concept Script, isFoundationFor, Fregean logic]
-
A.
Leibnizian logic
Leibnizian logic is the rationalist, formal approach to logic and calculation developed by Gottfried Wilhelm Leibniz, emphasizing symbolic representation, logical calculus, and the reduction of mathematical and philosophical reasoning to precise logical principles.
-
B.
Fregean semantics
chosen
Fregean semantics is a theory of meaning in philosophy of language that distinguishes between the sense (Sinn) and reference (Bedeutung) of linguistic expressions to explain how terms can be cognitively significant even when they refer to the same object.
-
C.
Intensional Logic
Intensional Logic is a branch of logic that studies meaning, modality, and context-dependence in language and reasoning, extending classical logic to handle notions like necessity, belief, and time.
-
D.
Tarski school of logic
Tarski school of logic is a scholarly work on mathematical logic and the legacy of Alfred Tarski, reflecting the contributions and perspectives of his students and followers in the development of modern logic and model theory.
-
E.
Symbolic Logic
Symbolic Logic is a foundational work in mathematical logic by John Venn that systematically develops and popularizes the use of diagrams and algebraic methods to represent logical relations.
- F. None of above.
- G. Unsure - the case is ambiguous/there is not enough information to decide.
Provenance (3 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69d6aa5d8be481909a43218b2bfdbe95 |
elicitation | completed |
| NER | batch_69d70fc92a18819089cc67afee1c9b96 |
ner | completed |
| NED1 | batch_69de22a97fec8190bb97f68353c2144e |
ned_source_triple | completed |
Created at: April 8, 2026, 9:14 p.m.