Tarski’s World (inspired work on semantics and logic education)
E1325185
UNEXPLORED
Tarski’s World is an educational software program that teaches the basics of first-order logic and model-theoretic semantics through interactive block-world puzzles.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Tarski’s World (inspired work on semantics and logic education) canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T18458757 — 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: Tarski’s World (inspired work on semantics and logic education) Context triple: [Alfred Tarski, notableWork, Tarski’s World (inspired work on semantics and logic education)]
-
A.
Logics of Worlds
Logics of Worlds is a major philosophical work by Alain Badiou that develops his theory of being, appearance, and change as a sequel to his influential book Being and Event.
-
B.
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.
-
C.
Lectures on Logic
Lectures on Logic is a posthumously published collection of Sir William Hamilton’s influential 19th-century university lectures on formal and philosophical logic.
-
D.
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.
-
E.
Fitting semantics for modal logic
Fitting semantics for modal logic is a framework in mathematical logic that extends Kripke-style semantics to provide a more general and often intuitionistic treatment of modal operators.
- 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: Tarski’s World (inspired work on semantics and logic education) Target entity description: Tarski’s World is an educational software program that teaches the basics of first-order logic and model-theoretic semantics through interactive block-world puzzles.
-
A.
Logics of Worlds
Logics of Worlds is a major philosophical work by Alain Badiou that develops his theory of being, appearance, and change as a sequel to his influential book Being and Event.
-
B.
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.
-
C.
Lectures on Logic
Lectures on Logic is a posthumously published collection of Sir William Hamilton’s influential 19th-century university lectures on formal and philosophical logic.
-
D.
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.
-
E.
Fitting semantics for modal logic
Fitting semantics for modal logic is a framework in mathematical logic that extends Kripke-style semantics to provide a more general and often intuitionistic treatment of modal operators.
- F. None of above. chosen
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.
subject linked to:
Alfred Teitelbaum