more from this thinker     |     more from this text


Single Idea 19205

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

Full Idea

It is contingently true that 'snow is white' expresses the proposition that snow is white.

Gist of Idea

'Snow is white' only contingently expresses the proposition that snow is white

Source

Trenton Merricks (Propositions [2015], 1.V n14)

Book Ref

Merricks,Trenton: 'Propositions' [OUP 2015], p.25


A Reaction

Tarski stuck to sentences, but Merricks rightly argues that truth concerns propositions, not sentences. Sentences are subservient entities - mere tools used to express what matters, which is our thoughts (say I).


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 made truth respectable, by proving that it could be defined [Tarski, by Halbach]
A physicalist account must add primitive reference to Tarski's theory [Field,H on Tarski]
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 had a theory of truth, and a theory of theories of truth [Tarski, by Read]
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]
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]