Results 191 to 200 of about 28,310 (224)
Some of the next articles are maybe not open access.
Journal of Symbolic Logic, 2001
Abstract.This paper concerns Tarski's use of the term “model” in his 1936 paper “On the Concept of Logical Consequence.” Against several of Tarski's recent defenders. I argue that Tarski employed a non-standard conception of models in that paper. Against Tarski's detractors.
openaire +1 more source
Abstract.This paper concerns Tarski's use of the term “model” in his 1936 paper “On the Concept of Logical Consequence.” Against several of Tarski's recent defenders. I argue that Tarski employed a non-standard conception of models in that paper. Against Tarski's detractors.
openaire +1 more source
2003
Abstract Alfred Tarski first met Kurt Gödel on the occasion of his visit to Vienna early in 1930, at the invitation of Karl Menger. Their subsequent contact, both personal and by mail, which begins with a letter to Tarski from Gödel in 1931, extended at least to 1970; the relationship between them over this entire period is traced in S ...
openaire +1 more source
Abstract Alfred Tarski first met Kurt Gödel on the occasion of his visit to Vienna early in 1930, at the invitation of Karl Menger. Their subsequent contact, both personal and by mail, which begins with a letter to Tarski from Gödel in 1931, extended at least to 1970; the relationship between them over this entire period is traced in S ...
openaire +1 more source
Synthese, 2003
The paper under review is an attempt to explain Tarski's conception of logical notions based on the idea of invariance. The analyses included in the paper lead the author to the conclusion that this conception did not undego any significant modifications throughout Tarski's life.
openaire +2 more sources
The paper under review is an attempt to explain Tarski's conception of logical notions based on the idea of invariance. The analyses included in the paper lead the author to the conclusion that this conception did not undego any significant modifications throughout Tarski's life.
openaire +2 more sources
2014
Alfred Tarski (b. 1901–d. 1983) was a Polish–American mathematician, widely regarded as one of the greatest logicians of all time. Tarski’s work has been influential in philosophy, especially through his theories of three concepts of traditional philosophical and, specifically, logical interest: the concepts of truth, of logical consequence, and of a ...
openaire +2 more sources
Alfred Tarski (b. 1901–d. 1983) was a Polish–American mathematician, widely regarded as one of the greatest logicians of all time. Tarski’s work has been influential in philosophy, especially through his theories of three concepts of traditional philosophical and, specifically, logical interest: the concepts of truth, of logical consequence, and of a ...
openaire +2 more sources
TARSKI?S STAGGERING EXISTENTIAL ASSUMPTIONS
Synthese, 2005zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Alfred Tarski and the "Concept of Truth in Formalized Languages"
, 2016Monika Gruber
semanticscholar +1 more source
Polynomial Constraints and Unsat Cores in Tarski
International Congress on Mathematical Software, 2018Fernando Vale-Enriquez +1 more
semanticscholar +1 more source
Higher-Order Tarski Grothendieck as a Foundation for Formal Proof
International Conference on Interactive Theorem Proving, 2019C. Brown, C. Kaliszyk, Karol Pąk
semanticscholar +1 more source
Complete and atomic Tarski algebras
Archive for Mathematical Logic, 2019S. Celani
semanticscholar +1 more source
A New Proof of the McKinsey–Tarski Theorem
Studia Logica: An International Journal for Symbolic Logic, 2018G. Bezhanishvili +3 more
semanticscholar +1 more source