[Top] [All Lists]

Re: [ontolog-forum] Logic As Formal Semiotic -- Discussion

To: Story Henry <henry.story@xxxxxxxxxxx>
Cc: Semantic Web Forum <semantic-web@xxxxxx>, Ontolog Forum <ontolog-forum@xxxxxxxxxxxxxxxx>, Arisbe <arisbe@xxxxxxxxxx>, Inquiry <inquiry@xxxxxxxxxx>
From: Jon Awbrey <jawbrey@xxxxxxx>
Date: Wed, 01 Aug 2007 10:12:32 -0400
Message-id: <46B094D0.C05EF2BB@xxxxxxx>
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)

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
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)

<Prev in Thread] Current Thread [Next in Thread>