more on this theme
|
more from this text
Single Idea 14964
[filed under theme 5. Theory of Logic / L. Paradox / 6. Paradoxes in Language / a. The Liar paradox
]
Full Idea
There is the idea that the Liar paradox is solved simply by noting that truth is a property of propositions (not of sentences), and the Liar sentence does not express a proposition. But we then say 'I am not now expressing a true proposition'!
Gist of Idea
The Liar reappears, even if one insists on propositions instead of sentences
Source
Anil Gupta (Truth [2001], 5.1)
Book Ref
'Blackwell Guide to Philosophical Logic', ed/tr. Goble,Lou [Blackwell 2001], p.90
A Reaction
Disappointed to learn this, since I think focusing on propositions (which are unambiguous) rather than sentences solves a huge number of philosophical problems.
The
16 ideas
from Anil Gupta
11215
|
Notable definitions have been of piety (Plato), God (Anselm), number (Frege), and truth (Tarski)
[Gupta]
|
11216
|
If definitions aim at different ideals, then defining essence is not a unitary activity
[Gupta]
|
11217
|
Chemists aim at real definition of things; lexicographers aim at nominal definition of usage
[Gupta]
|
11220
|
Ostensive definitions look simple, but are complex and barely explicable
[Gupta]
|
11218
|
Stipulative definition assigns meaning to a term, ignoring prior meanings
[Gupta]
|
11221
|
A definition can be 'extensionally', 'intensionally' or 'sense' adequate
[Gupta]
|
11222
|
The ordered pair <x,y> is defined as the set {{x},{x,y}}, capturing function, not meaning
[Gupta]
|
11223
|
Definitions usually have a term, a 'definiendum' containing the term, and a defining 'definiens'
[Gupta]
|
11224
|
Traditional definitions are general identities, which are sentential and reductive
[Gupta]
|
11226
|
Traditional definitions need: same category, mention of the term, and conservativeness and eliminability
[Gupta]
|
11225
|
A definition needs to apply to the same object across possible worlds
[Gupta]
|
11227
|
The 'revision theory' says that definitions are rules for improving output
[Gupta]
|
14965
|
Truth rests on Elimination ('A' is true → A) and Introduction (A → 'A' is true)
[Gupta]
|
14964
|
The Liar reappears, even if one insists on propositions instead of sentences
[Gupta]
|
14968
|
A weakened classical language can contain its own truth predicate
[Gupta]
|
14969
|
Strengthened Liar: either this sentence is neither-true-nor-false, or it is not true
[Gupta]
|