Logical Syntax and Semantics
E1253540
UNEXPLORED
"Logical Syntax and Semantics" is a seminal work in the philosophy of language and logic that explores the formal structure of languages and the relationship between syntactic form and meaning.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Logical Syntax and Semantics canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T17162399 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Logical Syntax and Semantics Context triple: [Yehoshua Bar-Hillel, notableWork, Logical Syntax and Semantics]
-
A.
The Logic of Computer Programming
The Logic of Computer Programming is a foundational textbook in theoretical computer science that rigorously develops methods for specifying, proving, and reasoning about the correctness of computer programs.
-
B.
Description Logic
Description Logic is a family of formal knowledge representation languages used to model and reason about the concepts and relationships within a domain, forming the logical foundation of ontology languages like OWL.
-
C.
Logical Methods in Computer Science
Logical Methods in Computer Science is a peer-reviewed open-access journal focusing on theoretical computer science, particularly logic and its applications to computer science.
-
D.
On the Concept of Following Logically
"On the Concept of Following Logically" is a seminal philosophical essay by Alfred Tarski that rigorously analyzes the notion of logical consequence and its formal characterization.
-
E.
Introduction to Logical Theory
Introduction to Logical Theory is a mid-20th-century philosophical work by P. F. Strawson that critically examines traditional formal logic and its relation to ordinary language.
- 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: Logical Syntax and Semantics Target entity description: "Logical Syntax and Semantics" is a seminal work in the philosophy of language and logic that explores the formal structure of languages and the relationship between syntactic form and meaning.
-
A.
The Logic of Computer Programming
The Logic of Computer Programming is a foundational textbook in theoretical computer science that rigorously develops methods for specifying, proving, and reasoning about the correctness of computer programs.
-
B.
Description Logic
Description Logic is a family of formal knowledge representation languages used to model and reason about the concepts and relationships within a domain, forming the logical foundation of ontology languages like OWL.
-
C.
Logical Methods in Computer Science
Logical Methods in Computer Science is a peer-reviewed open-access journal focusing on theoretical computer science, particularly logic and its applications to computer science.
-
D.
On the Concept of Following Logically
"On the Concept of Following Logically" is a seminal philosophical essay by Alfred Tarski that rigorously analyzes the notion of logical consequence and its formal characterization.
-
E.
Introduction to Logical Theory
Introduction to Logical Theory is a mid-20th-century philosophical work by P. F. Strawson that critically examines traditional formal logic and its relation to ordinary language.
- F. None of above. chosen
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.