LINGUIST List 5.163

Sat 12 Feb 1994

Books: Semantics; Philosophy of Lang; Logic; Computational

Editor for this issue: <>

Additional information on the following books, as well as a short backlist of the publisher's titles, may be available from the Listserv for some of the publishers listed here. To get this information, simply send a message to: Listserv

tamvm1.tamu.edu (Internet) or Listserv

tamvm1 (Bitnet) The message should consist of the single line: get publishername lst linguist For example, to get more information on a book published by Mouton de Gruyter, send the message: get mouton lst linguist At the moment, the following lists are available: benjamin lst (John Benjamins) erlbaum lst (Lawrence Erlbaum) kluwer lst (Kluwer Academic Publishers) mouton lst (Mouton de Gruyter) sil lst (Summer Institute of Linguistics) ucp lst (University of Chicago Press) uma-glsa lst (U. of Massachusetts Graduate Linguistics Association)

Directory

I, Semantics; Philosophy of Lang; Logic; Computational

Message 1: Semantics; Philosophy of Lang; Logic; Computational

Date: Sat 12 Feb 1994
From:

I <>
Subject: Semantics; Philosophy of Lang; Logic; Computational

SEMANTICS

Portner, Paul. (University of Massachusetts, Amherst); Situational Theory
 and the Semantics of Propositional Expressions, Pb. xii +
 396 pp. Ph. D. diss., 1992. $16. Graduate Linguistics Student
 Association (GLSA), University of Massachusetts, Amherst.
 This work discusses the variety of propositional expressions in
 English. It is proposed that one can assign different characteristic
 sorts of propositions to each class of expressions. For further
 information, contact glsalinguist.umass.edu


PHILOSOPHY OF LANG

title: Descriptions
 author: Stephen Neale
 publisher: The MIT Press
 price: $14.95 paper, $35.00 cloth
 to order call: 1-800-356-0343 or 617-625-8569
This is a paperback reprint. Stephen Neale provides the first sustained
defense, extension, and application of Russell's Theory of Descriptions.
He provides a systematic criticism of traditional arguments against this
"paradigm of philosophy" and lucidly demonstrates its importance to
contemporary theories of syntax and semantics and to philosophical
inquiry.


LOGIC

Etchemendy, John and Jon Barwise TARSKI'S WORLD VERSION 4.0 (FOR BOTH
MACINTOSH AND MS WINDOWS)
 CSLI Publications 1993 xviii, 116 pp. First-order Logic
 US $19.50 (paper only) ISBN 1-881526-27-5 (Macintosh),
 1-881526-28-3 (MS Windows)
 Distributed by The University of Chicago Press (1-800-621-2736)
This program allows students to build three-dimensional worlds and to
describe them in first-order logic. Intended as a supplement to any
standard logic text, or for use by anyone wanting to learn the
syntax and semantics of logical notation.

Aczel, Peter, David Israel, Yasuhiro Katagiri, and Stanley Peters
(Eds.) SITUATION THEORY AND ITS APPLICATIONS, VOLUME THREE
 CSLI Publications 1993 xi, 408 pp. Language and Logic
 US $27.95 (paper) $59.95 (cloth) ISBN 1-881526-08-9 (paper),
 1-881526-09-7 (cloth)
 Distributed by The University of Chicago Press (1-800-621-2736)
The chapters presented in this volume continue both the mathematical
development of situation theory, including the introduction of a
graphical notation for the theory and applications of the theory.
Contributors include Robin Cooper, Keith Devlin, Jonathan Ginzburg,
Jon Barwise, Massimo Poesio, and Dag Westerstahl, and others.


COMPUTATIONAL LING

Keller, Bill FEATURE LOGICS, INFINITARY DESCRIPTIONS AND GRAMMAR
 CSLI Publications 1993 x, 173 pp. Computational Linguistics
 US $17.95 (paper) $45.00 (cloth) ISBN 1-881526-25-9 (paper),
 1-881526-26-7 (cloth)
 Distributed by The University of Chicago Press (1-800-621-2736)
This books provides a detailed survey and comparison of recent
approaches to the logical formalization of feature structures and
their description languages in constraint- and unification-based
grammar formalisms.

Mail to author|Respond to list|Read more issues|LINGUIST home page|Top of issue