o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o (01)
Henry, (02)
The line of thinking you mention is usually traced back to Ramsey: (03)
[[Frank Plumpton Ramsey|Ramsey, F.P.]] (1927), "Facts and Propositions",
''Aristotelian Society Supplementary Volume 7'', 153�170. Reprinted,
pp. 34�51 in F.P. Ramsey, ''Philosophical Papers'', David Hugh Mellor (ed.),
Cambridge University Press, Cambridge, UK, 1990. (04)
Ramsey, F.P. (1990), ''Philosophical Papers'', David Hugh Mellor (ed.),
Cambridge University Press, Cambridge, UK. (05)
I wrote up an account of Ramsey's paper for Wikipedia,
but it got messed over in the usual way. There may be
some remainder of what I wrote on Wikinfo: (06)
http://www.internet-encyclopedia.org/index.php/Truth (07)
Story Henry wrote:
>
> I need to read Donald Davidson [1] again, but he had a very
> interesting observation taken from Tarski, namely that truth is a
> predicate that applies to sentences.
>
> "Snow is white" is true in English if and only iff Snow is white .
>
> in the general case
>
> "S" is true in L <=> S
>
> Truth is therefore disquotational . It is a way of removing the
> quotes from a statement.
>
> Another way of looking at it is as follows. You have a resource
> <http://john.eg/foaf.rdf>.
> You get a representation back of which you can say
>
> <http://john.eg/foaf.rdf> log:semantics { :joe a foaf:Person } .
>
> if you believe it is true then you can add it to your database.
>
> :joe a foaf:Person .
>
> Now the other way of looking at truth is that there is a relation
> between statements and reality.
> That still holds. If you accept as true statements that are wrong,
> reality will soon remind you of your mistake.
>
> Henry
>
> [1] Truth and Interpretation
>
> On 1 Aug 2007, at 15:26, Jon Awbrey wrote:
>
> > What is truth? It's a property of a sign, or a representation,
> > that makes it a good sign, a representation that is so natured
> > or so designed as to further the achievement its proper object. (08)
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
inquiry e-lab: http://stderr.org/pipermail/inquiry/
�iare: http://www.centiare.com/Directory:Jon_Awbrey
getwiki: http://www.getwiki.net/-User_talk:Jon_Awbrey
zhongwen wp: http://zh.wikipedia.org/wiki/User:Jon_Awbrey
http://www.altheim.com/ceryle/wiki/Wiki.jsp?page=JonAwbrey
wp review: http://wikipediareview.com/index.php?showuser=398
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o (09)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (010)
|