意味、論理、ゲーム Meaning, Logic and Ludics

意味、論理、ゲーム<br>Meaning, Logic and Ludics

個数：

意味、論理、ゲーム
Meaning, Logic and Ludics

Lecomte, Alain

ウェブストア価格 ¥31,882（本体¥28,984）
Imperial College Press（2011/03発売）
外貨定価 US$ 153.00
ポイント 289pt

提携先の海外書籍取次会社に在庫がございます。通常3週間で発送いたします。
【重要ご説明事項】
1. 納期遅延や、ご入手不能となる場合が若干ございます。
2. 複数冊ご注文の場合は、ご注文数量が揃ってからまとめて発送いたします。
3. 美品のご指定は承りかねます。

●3Dセキュア導入とクレジットカードによるお支払いについて

【入荷遅延について】
世界情勢の影響により、海外からお取り寄せとなる洋書・洋古書の入荷が、表示している標準的な納期よりも遅延する場合がございます。
おそれいりますが、あらかじめご了承くださいますようお願い申し上げます。

◆画像の表紙や帯等は実物とは異なる場合があります。

◆ウェブストアでの洋書販売価格は、弊社店舗等での販売価格とは異なります。
また、洋書販売価格は、ご注文確定時点での日本円価格となります。
ご注文確定後に、同じ洋書の販売価格が変動しても、それは反映されません。

製本 Hardcover:ハードカバー版／ページ数 388 p.
言語 ENG
商品コード 9781848164567
DDC分類 511.3

基本説明

Contents: Truth-Conditional Meaning; Logic; Proof Theory Applied to Linguistics; Ludics. Presents several recent advances in natural language semantics and explores the boundaries between syntax and semantics over the last two decades.

Full 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.

Compositional Semantics and Generative Grammar; Mathematics of Syntactic Structure; Elements of Proof Theory; Variants of the Lambek Calculus; Grammatical Reasoning; Minimalist Derivations; Continuations and Contexts; Towards Dynamics of Meaning; Interaction and Dialogue.