Meaning, Logic and Ludics by Alain Lecomte (PDF)

Description

This book presents several recent advances in natural language semantics and explores the boundaries between syntax and semantics over the last two decades. It is based on some of the most recent theories in logic, such as linear logic and ludics, first created by Jean-Yves Girard, and it also provides some sharp analyses of computational semantical representations, explaining advanced theories in theoretical computer sciences, such as the lambda-mu and Lambek-Grishin calculi which were applied by Philippe de Groote and Michael Moortgat. The author also looks at Aarne Ranta’s ‘proof as meaning’ approach, which was first based on Martin-Löf’s Type Theory.Meaning, Logic and Ludics surveys the many solutions which have been proposed for the syntax-semantics interface, taking into account the specifications of linguistic signs (continuous or discontinuous) and the fundamental mechanisms developed by linguists and notable Generativists. This pioneering publication also presents ludics (in a chapter co-authored with Myriam Quatrini), a framework which allows us to characterize meaning as an invariant with regard to interaction between processes. It is an excellent book for advanced students, and academics alike, in the field of computational linguistics.

User’s Reviews

Editorial Reviews: Review This book presents a large part of the ongoing research on linguistics and proof theory, as developed by the author and also by some other researchers. The very interesting content, previously unavailable in book form, is made intuitive and pleasant to read. — Mathematical Reviews “Mathematical Reviews” From the Back Cover 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, CurienHerbelin’s calculus, Wadler’s dual calculus and, the LambekGrishin 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.

Reviews from Amazon users which were colected at the time this book was published on the website:

⭐

⭐

⭐

Keywords

Free Download Meaning, Logic and Ludics in PDF format
Meaning, Logic and Ludics PDF Free Download
Download Meaning, Logic and Ludics 2011 PDF Free
Meaning, Logic and Ludics 2011 PDF Free Download
Download Meaning, Logic and Ludics PDF
Free Download Ebook Meaning, Logic and Ludics