Tarski's conception of logic

DOI10.1016/j.apal.2003.10.016zbMath1055.03003OpenAlexW2019567752MaRDI QIDQ598260

Solomon Feferman

Publication date: 6 August 2004

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2003.10.016

zbMATH Keywords

TarskiTruthConception of logicLogical consequenceLogical termSatisfactionSet theory

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) Other classical set theory (including functions, relations, and set algebra) (03E20) Basic properties of first-order languages and structures (03C07)

Related Items

Independence-friendly logic and axiomatic set theory, From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory, Leon Henkin

Cites Work

• The adequacy problem for inferential logic
• On a generalization of quantifiers
• What are logical notions?
• Logic, logics, and logicism
• Logic and philosophy in the Lvov-Warsaw school
• Logical operations
• Unnamed Item
• Unnamed Item
• Unnamed Item