Results 191 to 200 of about 24,422 (242)
De egel en de vos - Over logica, taal en waarheid bij Lesniewski en Tarski
, 2004 Arianna Betti
openalex +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
2011
This chapter offers a simplified account of the most basic features of Alfred Tarski's model theory. Tarski foresaw important applications for a notion of truth in mathematics, but also saw that mathematicians were suspicious of that notion, and rightly so given the state of understanding of it circa 1930.
Alexis G. Burgess, John P. Burgess
+4 more sources
This chapter offers a simplified account of the most basic features of Alfred Tarski's model theory. Tarski foresaw important applications for a notion of truth in mathematics, but also saw that mathematicians were suspicious of that notion, and rightly so given the state of understanding of it circa 1930.
Alexis G. Burgess, John P. Burgess
+4 more sources
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
Journal of Symbolic Logic, 1986
This is a brief biography, listing also all of Tarski's Ph. D. students, and mentioning some other students and colleagues influenced by him.
openaire +2 more sources
This is a brief biography, listing also all of Tarski's Ph. D. students, and mentioning some other students and colleagues influenced by him.
openaire +2 more sources
Bulletin of Symbolic Logic, 1999
AbstractThis paper is an edited form of a letter written by the two authors (in the name of Tarski) to Wolfram Schwabhäuser around 1978. It contains extended remarks about Tarski's system of foundations for Euclidean geometry, in particular its distinctive features, its historical evolution, the history of specific axioms, the questions of independence
Alfred Tarski, Steven Givant
openaire +1 more source
AbstractThis paper is an edited form of a letter written by the two authors (in the name of Tarski) to Wolfram Schwabhäuser around 1978. It contains extended remarks about Tarski's system of foundations for Euclidean geometry, in particular its distinctive features, its historical evolution, the history of specific axioms, the questions of independence
Alfred Tarski, Steven Givant
openaire +1 more source
Synthese, 2005
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Logique et Analyse, 2023
Summary: Émile Borel regards the Banach-Tarski Paradox as a reductio ad absurdum of the Axiom of Choice. Peter Forrest instead blames the assumption that physical space has a similar structure as the real numbers. This paper argues that Banach and Tarski's result is not paradoxical and that it merely illustrates a surprising feature of the continuum ...
openaire +1 more source
Summary: Émile Borel regards the Banach-Tarski Paradox as a reductio ad absurdum of the Axiom of Choice. Peter Forrest instead blames the assumption that physical space has a similar structure as the real numbers. This paper argues that Banach and Tarski's result is not paradoxical and that it merely illustrates a surprising feature of the continuum ...
openaire +1 more source