On the Concept of Following Logically

DOI10.1080/0144534021000036683MaRDI QIDQ4706125zbMATH OpenOpenAlexWikidataFDO

Authors Alfred Tarski

Publication date 28 October 2003

Published in History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/0144534021000036683

Mathematics Subject Classification ID

Collected or selected works; reprintings or translations of classics (01A75) History of mathematical logic and foundations (03-03)

Recommendations

• Twenty-five years of logical methodology in Poland. Translated from the Polish by Edmund Ronowicz and Stanisław Wojnicki
• Logic. A brief course. Translated from the Italian by Krzysztof R. Apt
• On the way to modern logic: the case of Polish logic
• scientific article; zbMATH DE number 6928470
• scientific article; zbMATH DE number 3273123
• The history and philosophy of Polish logic. Essays in honour of Jan Woleński
• The philosophy of mathematics and logic in the 1920s and 1930s in Poland. Translated from the Polish by Maria Kantor
• Leśniewski's conception of logic
• Translations between logical systems: A manifesto
• Logic in the \textit{Tractatus}

Cites work

• Did Tarski commit “Tarski's fallacy”?
• Einige Betrachtungen über die Begriffe der ω-Widerspruchsfreiheit und der ω-Vollständigkeit
• scientific article; zbMATH DE number 3122413 (Why is no real title available?)
• scientific article; zbMATH DE number 51086 (Why is no real title available?)
• scientific article; zbMATH DE number 3273123 (Why is no real title available?)
• scientific article; zbMATH DE number 3028332 (Why is no real title available?)
• On a fallacy attributed to tarski
• Tarski on logical consequences
• The bounds of logic. A generalized viewpoint
• What are logical notions?
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I

Cited in

(29)

• What is a non-truth-functional logic?
• Carnap's early metatheory: scope and limits
• Carnapian and Tarskian semantics
• Carnapian explication, formalisms as cognitive tools, and the paradox of adequate formalization
• On Lakatos's decomposition of the notion of proof
• What is the correct logic of necessity, actuality and apriority?
• Methodological Practice and Complementary Concepts of Logical Consequence: Tarski's Model-Theoretic Consequence and Corcoran's Information-Theoretic Consequence
• Reassessing logical hylomorphism and the demarcation of logical constants
• Validity, the squeezing argument and alternative semantic systems: the case of Aristotelian syllogistic
• Mathematical inference and logical inference
• The absence of multiple universes of discourse in the 1936 Tarski consequence-definition paper
• Models and logical consequence
• The different ways in which logic is (said to be) formal
• The absence of multiple universes of discourse in the 1936 Tarski consequence-definition paper
• Completeness: from Gödel to Henkin
• Quine's substitutional definition of logical truth and the philosophical significance of the Löwenheim-Hilbert-Bernays theorem
• Carnap's defense of impredicative definitions
• What is Tarski's Common Concept of Consequence?
• Buridan'sConsequentia: Consequence and Inference Within a Token-Based Semantics
• Harmonic inferentialism and the logic of identity
• Intuitions, theory choice and the ameliorative character of logical theories
• Proof-theoretic semantics for intuitionistic multiplicative linear logic
• The philosophy of logic of John Corcoran
• A logical consequence informed by probability
• Inferentialist resource semantics
• Nonconservative extensions by propositional quantifiers and modal incompleteness
• Proof-theoretic semantics for first-order logic
• Non-foundationalist frameworks for logical metainferentialism
• Proof-theoretic semantics for intuitionistic multiplicative linear logic

This page was built for publication: On the Concept of Following Logically

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4706125)