ontolog-forum
[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)

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)

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