more from this thinker     |     more from this text


Single Idea 2571

[filed under theme 3. Truth / F. Semantic Truth / 2. Semantic Truth ]

Full Idea

Tarski says "we may remain naïve realists or idealists, empiricists or metaphysicians… The semantic conception is completely neutral toward all these issues."

Clarification

Tarski was a famous Polish logician (fl. c. 1944). The 'semantic conception' is his theory of truth as a relationship within languages

Gist of Idea

Tarski says that his semantic theory of truth is completely neutral about all metaphysics

Source

report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Susan Haack - Philosophy of Logics 7.5

Book Ref

Haack,Susan: 'Philosophy of Logics' [CUP 1980], p.111


The 35 ideas with the same theme [significance of formal defintions of linguistic truth]:

If listing equivalences is a reduction of truth, witchcraft is just a list of witch-victim pairs [Field,H on Tarski]
Tarski had a theory of truth, and a theory of theories of truth [Tarski, by Read]
Tarski's 'truth' is a precise relation between the language and its semantics [Tarski, by Walicki]
Tarskian truth neglects the atomic sentences [Mulligan/Simons/Smith on Tarski]
Tarski made truth respectable, by proving that it could be defined [Tarski, by Halbach]
Tarski defined truth for particular languages, but didn't define it across languages [Davidson on Tarski]
Tarski didn't capture the notion of an adequate truth definition, as Convention T won't prove non-contradiction [Halbach on Tarski]
Tarski says that his semantic theory of truth is completely neutral about all metaphysics [Tarski, by Haack]
Physicalists should explain reference nonsemantically, rather than getting rid of it [Tarski, by Field,H]
A physicalist account must add primitive reference to Tarski's theory [Field,H on Tarski]
Talk of 'truth' when sentences are mentioned; it reminds us that reality is the point of sentences [Quine]
The word 'true' always refers to a possible statement [Strawson,P]
In Tarski's definition, you understand 'true' if you accept the notions of the object language [Putnam]
Tarski has given a correct account of the formal logic of 'true', but there is more to the concept [Putnam]
Only Tarski has found a way to define 'true' [Putnam]
Semantic notions do not occur in Tarski's definitions, but assessing their correctness involves translation [Putnam]
The semantic theory requires sentences as truth-bearers, not propositions [O'Connor]
What does 'true in English' mean? [O'Connor]
Truth is part of semantics, since valid inference preserves truth [Dummett]
Tarski's truth is like rules for winning games, without saying what 'winning' means [Dummett, by Davidson]
Many say that Tarski's definitions fail to connect truth to meaning [Davidson]
Tarski does not tell us what his various truth predicates have in common [Davidson]
Truth is the basic concept, because Convention-T is agreed to fix the truths of a language [Davidson]
To define a class of true sentences is to stipulate a possible language [Davidson]
Kripke's semantic theory has actually inspired promising axiomatic theories [Kripke, by Horsten]
Kripke offers a semantic theory of truth (involving models) [Kripke, by Horsten]
Truth in a model is more tractable than the general notion of truth [Hodes]
Truth is quite different in interpreted set theory and in the skeleton of its language [Hodes]
If we define truth by listing the satisfactions, the supply of predicates must be finite [Kirkham]
A weakened classical language can contain its own truth predicate [Gupta]
A first-order language has an infinity of T-sentences, which cannot add up to a definition of truth [Hart,WD]
While true-in-a-model seems relative, true-in-all-models seems not to be [Reck/Price]
'Snow is white' only contingently expresses the proposition that snow is white [Merricks]
Disquotational truth theories are short of deductive power [Halbach]
The T-sentences are deductively weak, and also not deductively conservative [Halbach/Leigh]