Re: Logical?
| From: | And Rosta <a-rosta@...> |
|---|
| Date: | Wednesday, June 12, 2002, 1:12 |
|---|
Mike P:
> Meep! I don't get the idea of "logical languages" at all. Surely 'logic'
> relates to the structure of statements and arguments, not the language that
> these statements and arguments are phrased in. Using the old
> premiss/syllogism standby "all men are mortal/x is a man/x is therefore
> mortal" is true no matter what language you translate it into, whether
> real-world, con, aux or otherwise.
> Mike
Are you coming late to the thread? Earlier in the thread I explained what
a loglang is: in a broader sense, a language in some significant way
based on formal logic, or, in a narrow sense, a language in which
the grammar assigns to every sentence exactly one (possibly underspecified)
logical formula.
--And.
Reply