Click Here ">
« December 2024 »
S M T W T F S
1 2 3 4 5 6 7
8 9 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31
You are not logged in. Log in
Entries by Topic
All topics
Counterfactuals
defl@tionism  «
GENERAL LOGIC
HUMAN SEMANTICS
Interconnections
PARACONSISTENCY
Polemics
SCIENCE & NEWS
Cognition & Epistemology
Notes on Pirah?
Ontology&possible worlds
PRAGMATICS
PROPAEDEUTICS
Syn-Sem Interface
Temporal Logic
Blog Tools
Edit your Blog
Build a Blog
RSS Feed
View Profile
Translate this
INTO JAPANESE
BROTHER BLOG
MAIEUTIKOS
LINGUISTIX&LOGIK, Tony Marmo's blog
Wednesday, 14 September 2005

Topic: defl@tionism

Disquotationalism and Expressiveness


By Gary Kemp

With a truth-predicate ‘True’ we can write:
(1) ∀x[φ(x) → True(x)]

We expect this to be equivalent in some suitable sense to the infinite set of instances of φSi→Si. We expect the truth-predicate to enable us to express infinite conjunctions (or infinite disjunctions, in the case of existential generalisations), where no conjunct (disjunct) expresses anything not expressible without a truth-predicate. According to standard deflationism, since the expression of such generalisations is the only theoretically essential role discharged by a truth-predicate, adding a truth-predicate to a language does not extend the domain of facts treated of by the language.(...)

Posted by Tony Marmo at 00:01 BST
Updated: Wednesday, 14 September 2005 00:23 BST

Newer | Latest | Older