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

Re: [ontolog-forum] Logic As Formal Semiotic

From: Jenny ure <jure2@inf.ed.ac.uk>
Date: Wed, 01 Aug 2007 18:03:04 +0100
Message-ID: <46B0BCC8.6070405@inf.ed.ac.uk>
To: "[ontolog-forum]" <ontolog-forum@ontolog.cim3.net>
CC: Semantic Web Forum <semantic-web@w3.org>, Arisbe <arisbe@stderr.org>, Inquiry <inquiry@stderr.org>
________________________________________________________________________________________________________

JAwbrey
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.
_________________________________________________________________________________________________________

In a  recent discussion on spatio-temporal representations of  
'apparently' straightforward realworld concepts such as the difference 
between a river and a lake in GIS, the  environmentalists, the 
geographers, the fishermen, the freshwater biologists used very 
different criteria reflecting fact that the 'proper object' they sought 
to achieve were not the same.

However...the Ordnance Survey team will make a choice
We will then all adopt and use it as a given when the maps come out.
It will then become so embedded in a range of other processes that will 
make it well nigh impossible to coordinate activities without 
reinforcing it as a benchmark.

Like the aboriginal songlines we do appear to create and recreate many 
aspects of the 'real' world by validating and enacting those we agree on.

Peirce said that: The opinion which is fated to be ultimately agreed to 
by all who investigate, is what we mean by the truth, and the object 
represented in this opinion is the real. Perhaps over-egging the pudding 
a little but think there is something to it!



Jon Awbrey wrote:

>o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
>
>LAFS.  Note 3
>
>o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
>
>Peirce continues a classical line of calling logic a normative science,
>a science of how we ought to do things of we want to achieve a certain
>class of objectives.  This makes logic, whose object is truth, akin to
>aesthetics, whose object is beauty, pleasure, or experiential goodness,
>and ethics, whose object is virtue, justice, or comportmental goodness.
>
>What is the good of logic?  The classical answer is "truth".
>
>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.
>
>Jon Awbrey
>
>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
>
> 
>_________________________________________________________________
>Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
>Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
>Unsubscribe: mailto:ontolog-forum-leave@ontolog.cim3.net
>Shared Files: http://ontolog.cim3.net/file/
>Community Wiki: http://ontolog.cim3.net/wiki/ 
>To Post: mailto:ontolog-forum@ontolog.cim3.net
> 
>
>  
>
Received on Wednesday, 1 August 2007 17:10:56 GMT

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