REREADING TARSKI ON LOGICAL CONSEQUENCE

DOI10.1017/S1755020309090200zbMath1186.03010MaRDI QIDQ3395326

Mario Gómez-Torrente

Publication date: 26 August 2009

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

logical consequence; Tarski; truth; Etchemendy; variable domain; omega consistency

Mathematics Subject Classification ID

03A05: Philosophical and critical aspects of logic and foundations

03-03: History of mathematical logic and foundations

03B22: Abstract deductive systems

Related Items

The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper, The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper, Carnap's early semantics, On exhibiting representational validity, Carnap’s Untersuchungen: Logicism, Formal Axiomatics, and Metatheory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reduction and Tarski's definition of logical consequence
• The indefinability of truth in the ``Wahrheitsbegriff
• Logical truth and Tarskian logical truth
• Some methodological investigations on the definability of concepts
• Tarski on logical consequences
• On a fallacy attributed to tarski
• Tarski on truth and logical consequence
• On tarski on models
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
• Einige Betrachtungen über die Begriffe der ω-Widerspruchsfreiheit und der ω-Vollständigkeit
• Did Tarski commit “Tarski's fallacy”?
• What is Tarski's Common Concept of Consequence?
• On the Nature of Mathematical Truth
• A note on formality and logical consequence