On Jan 24, 2009, at 8:49 AM, paola.dimaio@xxxxxxxxx wrote: (01)
> Ali,
>
>
>> My point (and the one I think Paolo was making) is that while the
>> physical
>> relationship between your desk and computer is independent of
>> logic, your
>> account of the fact that your desk and computer are in said
>> relation appeals
>> to some form of, if not logic, then coherency.
>
> yes I intended that, but also something else
> this is what I mean
>
> 1. that the computer on the desk is a spatial relationship caused by
> the function. I dont know how to call this, but I would call it
> 'logical', (02)
Please don't. Use a less loaded word, like 'sensible' or 'rational'.
But 'logical' , especially when used in this forum, is often
interpreted as implying some connection to sentential logic. (03)
> as opposed to the computer being place under the table or
> in a waterfountain. but maybe there is a better way of defining this
> inherent, implied relationship between two things . (04)
One problem is there there are many, many possible such relationships.
In my office the computers are normally kept under the tables, and for
some purposes computers belong inside waterfountains. (05)
> 2, as you point above, logic is a way of representing, expressing,
> communicating, capturing the relationship, which can be done using
> different formalism
>
> and yes, natural language is a formalism (in reply to PH)
>
> # [noun] A formalism is a means to represent the rules used in the
> establishment of a models of linguistic knowledge.
> portal.bibliotekivest.no/terminology.htm (06)
Quite. So natural language is not a formalism. NL is not a "means to
represent the rules" used in "models" of anything. (07)
On this particular issue, I will not engage in a war of dictionary
definitions, but simply assert authority, having worked in the logical
and linguistic fields for 30 years. Natural language is not a formalism. (08)
PatH (09)
------------------------------------------------------------
IHMC (850)434 8903 or (650)494 3973
40 South Alcaniz St. (850)202 4416 office
Pensacola (850)202 4440 fax
FL 32502 (850)291 0667 mobile
phayesAT-SIGNihmc.us http://www.ihmc.us/users/phayes (010)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: 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 join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (011)
|