株式会社極東書店トップ ＞ 商品一覧 ＞ The Elements of Formal Logic.
商品詳細
The Elements of Formal Logic.
・ISBN 978-0-367-42043-7 hard GB£ 171.99
￥54,486.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
| 著者・編者 | Hughes, G. E. / Londey, D. G., |
|---|---|
| シリーズ | (Routledge Library Editions: Logic) |
| 出版社 | (Routledge, UK) |
| 出版年月 | 2019 |
| ページ数 | 420 pp. |
| 言語 | ENG |
| ニュース番号 | ＜A02-35387＞ |
解説
Originally published in 1965. This is a textbook of modern deductive logic, designed for beginners but leading further into the heart of the subject than most other books of the kind.
The fields covered are the Propositional Calculus, the more elementary parts of the Predicate Calculus, and Syllogistic Logic treated from a modern point of view. In each of the systems discussed the main emphases are on Decision Procedures and Axiomatisation, and the material is presented with as much formal rigour as is compatible with clarity of exposition. The techniques used are not only described but given a theoretical justification. Proofs of Consistency, Completeness and Independence are set out in detail. The fundamental characteristics of the various systems studies, and their relations to each other are established by meta-logical proofs, which are used freely in all sections of the book. Exercises are appended to most of the chapters, and answers are provided.