Lawrence Moss
http://math.indiana.edu/home/moss/aarticles.htm#MAN

Applied Logic: A Manifesto, in D. Gabbay, S. Goncharov, and M. Zakharyaschev (eds.) Mathematical Problems from Applied Logics I: New Logics for the XXIst Century, 2006, Springer.

ABSTRACT: My main purposes in this essay are to introduce applied logic as a research area, to situate it in a broader context, to make the case that it is a significant and worthwhile enterprise, and to detail some of its research areas. These are my main overt purposes. But my "covert" purpose is to write something that might open new doors for young students with interests in logic. In my younger days I remember the excitement I felt from subjects at the borders of mathematics, computer science, and linguistics. It was not until many years later that I began to think more explicitly about the "politics" of what I and many others have been doing. I think it would have helped me to ponder a manifesto or two along the way, even in my high school or college days. So my hope about this article is that somewhere, sometime, somebody will pick it up and . . .

可以通过下述找到：
http://www.springerlink.com/content/q87847j74750gh30/

+==+==+==+==+==+==+==+==+==+==+==+==+==+