“Logic, Semantics, Metamathematics”

E353633
book essay collection

“Logic, Semantics, Metamathematics” is a landmark collection of Alfred Tarski’s foundational papers that helped shape modern logic, model theory, and the formal study of truth.

Try in SPARQL Jump to: Surface forms Statements Referenced by

All labels observed (4)

Label Occurrences
The Concept of Truth in Formalized Languages 1
The Semantic Method in Metamathematics 1
“Logic, Semantics, Metamathematics” canonical 1

Statements (50)

Predicate Object
instanceOf book ⓘ
essay collection ⓘ
author Alfred Tarski ⓘ
containsWorkBy Alfred Tarski ⓘ
countryOfPublication United States of America ⓘ
surface form: United States
editor John Corcoran ⓘ
genre mathematical logic literature ⓘ
philosophy of logic literature ⓘ
hasEdition second edition ⓘ
hasPart papers on completeness and consistency ⓘ
papers on decision problems ⓘ
papers on definability ⓘ
papers on logical consequence ⓘ
papers on truth definitions ⓘ
includesEssay Foundations of the calculus of systems ⓘ
On definable sets of real numbers ⓘ
On the Concept of Following Logically ⓘ
On the Concept of Logical Consequence ⓘ
On the Concept of Logical Consequence ⓘ
surface form: On the Concept of Logical Consequence (1936)

Some methodological investigations on the definability of concepts ⓘ
“Logic, Semantics, Metamathematics” self-linksurface differs ⓘ
surface form: The Concept of Truth in Formalized Languages

The Establishment of Scientific Semantics ⓘ
The Semantic Conception of Truth and the Foundations of Semantics ⓘ
“Logic, Semantics, Metamathematics” self-linksurface differs ⓘ
surface form: The Semantic Method in Metamathematics
influenced formal semantics in linguistics ⓘ
metalogic ⓘ
model-theoretic semantics ⓘ
philosophy of language in analytic tradition ⓘ
truth-conditional semantics ⓘ
isCollectionOf foundational papers in logic ⓘ
foundational papers in metamathematics ⓘ
foundational papers in semantics ⓘ
language English ⓘ
mainSubject logic ⓘ
metamathematics ⓘ
model theory ⓘ
semantics ⓘ
theories of truth ⓘ
notableFor formal definition of truth for formalized languages ⓘ
influence on formal semantics in linguistics ⓘ
influence on modern model theory ⓘ
influence on philosophy of language ⓘ
systematic development of model-theoretic semantics ⓘ
originalLanguage German ⓘ
Polish language ⓘ
surface form: Polish
pageCount xii+471 ⓘ
publicationYear 1956 ⓘ
publisher Oxford University Press ⓘ
surface form: Clarendon Press

Oxford University Press ⓘ
secondEditionPublicationYear 1983 ⓘ

Referenced by (4)

Full triples — surface form annotated when it differs from this entity's canonical label.

Alfred Tarski → notableWork → “Logic, Semantics, Metamathematics” ⓘ
this entity surface form: “The Concept of Truth in Formalized Languages”
Alfred Tarski → notableWork → “Logic, Semantics, Metamathematics” ⓘ
“Logic, Semantics, Metamathematics” → includesEssay → “Logic, Semantics, Metamathematics” self-linksurface differs ⓘ
subject surface form: Logic, Semantics, Metamathematics
this entity surface form: The Concept of Truth in Formalized Languages
“Logic, Semantics, Metamathematics” → includesEssay → “Logic, Semantics, Metamathematics” self-linksurface differs ⓘ
subject surface form: Logic, Semantics, Metamathematics
this entity surface form: The Semantic Method in Metamathematics