株式会社極東書店トップ ＞ 商品一覧 ＞ Goedel, Tarski and the Lure of Natural Language : Logical Entanglement, Formalism Freeness.
商品詳細
Goedel, Tarski and the Lure of Natural Language : Logical Entanglement, Formalism Freeness. ゲーデル、タルスキ、自然言語の魅力
・ISBN 978-1-107-01257-8 hard GB£ 99.00
￥31,363.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
お気に入り
★★★
電子版あり 大学・学術機関向け電子ブック（eBook）ISBN 978-0-511-99839-3
| 著者・編者 | Kennedy, Juliette, |
|---|---|
| 出版社 | (Cambridge U. Pr., UK) |
| 出版年月 | 2020.12 |
| ページ数 | 220 pp. |
| 言語 | ENG |
| ニュース番号 | ＜659-P468 660-103＞ |
解説
Is mathematics 'entangled' with its various formalisations? Or are the central concepts of mathematics largely insensitive to formalisation, or 'formalism free'? What is the semantic point of view and how is it implemented in foundational practice? Does a given semantic framework always have an implicit syntax? Inspired by what she calls the 'natural language moves' of Goedel and Tarski, Juliette Kennedy considers what roles the concepts of 'entanglement' and 'formalism freeness' play in a range of logical settings, from computability and set theory to model theory and second order logic, to logicality, developing an entirely original philosophy of mathematics along the way. The treatment is historically, logically and set-theoretically rich, and topics such as naturalism and foundations receive their due, but now with a new twist.