Re: [Corpora-List] Suggested Track for Studying Computational Linguistics

From: John F. Sowa (sowa@bestweb.net)
Date: Sun Oct 02 2005 - 21:05:34 MET DST

  • Next message: Mark P. Line: "Re: [Corpora-List] Suggested Track for Studying Computational Linguistics"

    Mark,

    I've been a long-term "math-head", but I sympathize
    with your point to a considerable extent:

    MPL> As a matter of personal preference, I could do
    > with fewer math-heads in linguistics.

    There are quite a few people with both linguistics
    degrees and other kinds of degrees who try to pursue
    elegant formalisms at the expense of preserving the
    phenomena.

    In fact, some of the worst offenders are those who do
    *not* have math or comp. sci. degrees. They suffer
    from a certain degree of math envy and overcompensate
    by becoming "more formal than thou". One could accuse
    Chomsky of that fault, but there are many, many others.

    There are also people with a solid background in logic,
    such as Montague, who have tried to force their view
    of logic onto language. Although I believe the formal
    semanticists have made some interesting contributions,
    I also believe that lexical semantics has made far more
    useful contributions to NLP as well as theoretical
    linguistics. Barbara P. has also been softening her
    views on that issue. (See the quotation below.)

    And I would add one further advantage of having a good
    background in math: self defense. It gives you enough
    self confidence to see through the some of the empty
    formalism. (See the poem by Henry Kautz below.)

    John Sowa
    ____________________________________________________________

    Source: http://people.umass.edu/partee/RGGU_2005/RGGU054.pdf

    In Montague’s formal semantics the simple predicates of the
    language of intensional logic (IL), like love, like, kiss,
    see, etc., are regarded as symbols (similar to the “labels”
    of [predicate calculus]) which could have many possible
    interpretations in many different models, their “real meanings”
    being regarded as their interpretations in the “intended model”.
    Formal semantics does not pretend to give a complete characterization
    of this “intended model”, neither in terms of the model structure
    representing the “worlds” nor in terms of the assignments of
    interpretations to the lexical constants. The present formalizations
    of model-theoretic semantics are undoubtedly still rather primitive
    compared to what is needed to capture many important semantic
    properties of natural languages, including for example spatial
    and other perceptual representations which play an important role
    in many aspects of linguistic structure. The logical structure
    of language is a real and important part of natural language
    and we have fairly well-developed tools for describing it. There
    are other approaches to semantics that are concerned with other
    aspects of natural language, perhaps even cognitively “deeper”
    in some sense, but which we presently lack the tools to adequately
    formalize. It is to be hoped that these different approaches can
    be seen as complementary and not necessarily antagonistic.
    ____________________________________________________________

        If your thesis is utterly vacuous,
        Use first-order predicate calculus.
           With sufficient formality,
           The sheerest banality
        Will be hailed by all as miraculous.

        If your thesis is quite indefensible,
        Reach for semantics intensional.
           Over Montague grammar,
           Your committee will stammer,
        Not admitting it's incomprehensible!

    by Henry Kautz



    This archive was generated by hypermail 2b29 : Sun Oct 02 2005 - 21:17:34 MET DST