John, (01)
John F. Sowa wrote:
<snip> (02)
>And to comment on Patrick's note,
>
>PD> While certainly useful, logic should not be portrayed as
> > the warp and woof of ontologies or ontological work.
>
>I agree. Ontology and logic are different subjects. But I
>would add that *every* precise declarative notation that is
>capable of making statements that are judged true or false
>*is* a version of logic.
>
>UML diagrams, for example, are a version of logic. The
>declarative subset of natural languages forms a version of
>logic -- and in fact, NL (actually Greek) was Aristotle's
>inspiration for the first formal logic. And *every*
>statement in *every* version of logic that anyone has
>ever invented can be translated into natural language.
>
>So anyone who is doing any work on ontology is stating
>their results in some version of logic (but possibly in
>a rather imprecise and insufficiently understood version).
>
>
>
My, what a large definition of logic you have. ;-) (03)
While I agree that "*every* statement in *every* version of logic" can
be translated into some natural language, I am not sure that the reverse
is true. (04)
Unless you are arguing that natural language is "a rather imprecise and
insufficiently understood version" of logic? (05)
Genuinely curious if you see no distinction (other than imprecision and
lack of understanding) between logic and natural language. (06)
Hope you are having a great day! (07)
Patrick (08)
>John
>
>
>_________________________________________________________________
>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
>
>
>
>
>
> (09)
--
Patrick Durusau
Patrick@xxxxxxxxxxx
Chair, V1 - Text Processing: Office and Publishing Systems Interface
Co-Editor, ISO 13250, Topic Maps -- Reference Model
Member, Text Encoding Initiative Board of Directors, 2003-2005 (010)
Topic Maps: Human, not artificial, intelligence at work! (011)
_________________________________________________________________
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 (012)
|