W3C home > Mailing lists > Public > semantic-web@w3.org > August 2007

Re: Logic As Formal Semiotic -- Discussion

From: Jon Awbrey <jawbrey@att.net>
Date: Wed, 01 Aug 2007 10:12:32 -0400
Message-ID: <46B094D0.C05EF2BB@att.net>
To: Story Henry <henry.story@bblfish.net>
CC: Ontolog Forum <ontolog-forum@ontolog.cim3.net>, Semantic Web Forum <semantic-web@w3.org>, Arisbe <arisbe@stderr.org>, Inquiry <inquiry@stderr.org>

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Henry,

The line of thinking you mention is usually traced back to Ramsey:

[[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.

Ramsey, F.P. (1990), ''Philosophical Papers'', David Hugh Mellor (ed.),
Cambridge University Press, Cambridge, UK.

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:

http://www.internet-encyclopedia.org/index.php/Truth

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.

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
Received on Wednesday, 1 August 2007 14:12:56 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 21:45:17 GMT