Tarski's conception of logic
TLDR
The paper traces this particular conception of logic back to the influence of his teachers in set theory and topology in Warsaw, and then details how it affected his explication of the notions of satisfaction, truth, logical consequence and logical term.About:
This article is published in Annals of Pure and Applied Logic.The article was published on 2004-04-01 and is currently open access. It has received 7 citations till now. The article focuses on the topics: Philosophy of logic & Term logic.read more
Citations
More filters
Journal ArticleDOI
Was Tarski's Theory of Truth Motivated by Physicalism?
TL;DR: The authors argue that Tarski's only published remarks that speak approvingly of physicalism were written in unusual circumstances, and that they were likely attempting to appease an audience of physicalists that he viewed as hostile to his ideas.
DissertationDOI
The Liar Paradox: A Consistent and Semantically Closed Solution
TL;DR: In this paper, a new approach to the formal denition of a truth predicate that allows a consistent, semantically closed denition within classical logic is developed. The approach is built on an analysis of structural properties of languages that make Liar Sentences and the paradoxical argument possible.
Journal ArticleDOI
Mario Bunge’s Philosophy of Mathematics: An Appraisal
TL;DR: In this paper, the main elements of Mario Bunge's philosophy of mathematics are discussed and discussed critically, and how mathematical knowledge is accounted for in the systemic emergent materialism.
Book ChapterDOI
Tarski's Practice and Philosophy: Between Formalism and Pragmatism
TL;DR: Considering works by Tarski, the author of as mentioned in this paper claimed that Tarsski's fundamental aim was to establish formal semantics as a new branch of mathematics, and that formal semantics can be regarded as a branch of logic.
Sobre a Concepção da Verdade em Tarski
TL;DR: In this paper, the authors investigate whether Tarski's truth definition explains the notion of truth as correspondence with reality and whether it is really a semantic definition of truth, and they defend the view that, according to his own criteria of correctness and adequacy, the definitions obtained by his method neither explain the main point of a correspondence theory of truth nor can be considered genuinely semantic.
References
More filters
Journal ArticleDOI
On a generalization of quantifiers
TL;DR: In this paper, the problem of setting up a formal calculus that would enable to prove all true propositions involving the new quantifiers is discussed. But it is clear from the partial results that are discussed in the chapter that the answer is essentially negative.
Book
The Concept of Logical Consequence
TL;DR: In this article, Tarski on logical truth and interpretational semantics are discussed, as well as the reduction principle and the myth of the logical constant in the context of logic from the metatheory.
Journal ArticleDOI
What are logical notions
John Corcoran,Alfred Tarski +1 more
TL;DR: In this paper, Tarski explores the concept of logical notion and draws on Klein's Erlanger Programm to locate the logical notions of ordinary geometry as those invariant under all transformations of space.
Book ChapterDOI
On a generalization of quantifiers
TL;DR: In this article, the problem of setting up a formal calculus that would enable to prove all true propositions involving the new quantifiers is discussed. But it is clear from the partial results that are discussed in the chapter that the answer is essentially negative.