SUO: RE: Re: Montague's type system
John, I understand set theory and logic very well.
What I'm having trouble with is your notation. It
isn't the same notation I studied in computer science
and electrical engineering where there is an emphasis
on communicating well. CS&EE people have to be
able to reach customers and so must study how to state
their ideas clearly.
If after each symbolic exercise, you were to paraphrase
the same thing in English, you would be able to reach
a lot more people who were reared on somewhat different
notation styles.
Rich
> -----Original Message-----
> From: owner-cg@cs.uah.edu [mailto:owner-cg@cs.uah.edu]On
> Behalf Of John
> F. Sowa
> Sent: Thursday, February 19, 2004 7:39 AM
> To: cg@cs.uah.edu; standard-upper-ontology@ieee.org
> Subject: CG: Re: Montague's type system
>
>
> Rich,
>
> That paper uses Unicode symbols for math & logic. If you
> were using an obsolete browser, such as IE, you won't see
> the correct symbols. If you don't have a good browser,
> I suggest FireFox (a fast, stripped-down version of Mozilla):
>
> http://www.mozilla.org/products/firefox/
>
> I'll admit that more English paraphrasing might be helpful
> for people who aren't familiar with set theory and logic.
> However, people who don't have that background won't be
> able to understand the point of the whole exercise.
>
> If you really want to understand Montague's system and
> other alternatives, you have to bite the bullet and study
> logic, set theory, and related topics.
>
> For starters, you could read my tutorial on math & logic
> notation:
>
> http://www.jfsowa.com/logic/math.htm
>
> There's no way around it. If you want to understand anything
> that deals with sets and logic, you have to study sets and
> logic.
>
> John
> ==============================================================
> ==========
> To post a message, send mail to cg@cs.uah.edu.
> To unsubscribe, send mail to majordomo@cs.uah.edu with the command
> 'unsubscribe cg' in the message body.
> See http://www.virtual-earth.de/CG/cg-list/ for the mailing
> list archive
> See http://www.cs.uah.edu/~delugach/CG for the Conceptual
> Graph Home Page
> For help or administrative assistance, mail to owner-cg@cs.uah.edu
> te
>