机读格式显示(MARC)
- 000 02146cam a2200301 a 4500
- 008 110826s2011 enka b 001 0 eng d
- 035 __ |a (OCoLC)ocn426796350
- 040 __ |a BTCTA |c BTCTA |d YDXCP |d SCT |d BWX |d UAT |d DLC
- 050 00 |a P98 |b .L39 2011
- 100 1_ |a Lecomte, Alain, |d 1947-
- 245 10 |a Meaning, logic and ludics / |c Alain Lecomte.
- 260 __ |a London : |b Imperial College Press, |c c2011.
- 300 __ |a xvii, 369 p. ; |c 24 cm.
- 504 __ |a Includes bibliographical references (p. 353-361) and index.
- 520 __ |a The book aims to present several main advances in Natural Language Semantics and the interface between syntax and semantics after the last two decades, based on some of the most recent logical theories of linear logic and ludics, and on sharp analyses of computing due to advanced theories in Theoretical Computer Sciences (i.e., the extensions of the Curry-Howard isomorphism to classical logic, which has led to several variants of calculi like Parigot's calculus, Curien–Herbelin's calculus, Wadler's dual calculus and, the Lambek–Grishin calculus revisited by M Moortgat and R Bernardi, among others). Meaning, Logic and Ludics surveys the many solutions which have been proposed for the syntax semantics interface, taking into account the specifications of the linguistic signs (continuous or discontinuous) and the fundamental mechanisms put in light by the linguists and notable Generativists. This pioneering publication ends with a presentation of Ludics, a framework which allows to characterize Meaning as an invariant with regard to the interaction between processes.Key Features? The first didactic presentation of Ludics? The first applications of Ludics to this topic? The first didactic presentation of the use of continuations? Offers well-supported philosophical viewpoint on topics
- 650 _0 |a Computational linguistics.