株式会社極東書店トップ商品一覧What Logics Mean : From Proof Theory to Model-Theoretic Semantics.

商品詳細

What Logics Mean

What Logics Mean : From Proof Theory to Model-Theoretic Semantics. 論理の意味するもの-証明論からモデル理論的意味論

・ISBN 978-1-107-03910-0 hard GB£ 75.00

¥23,760.- (税込) (※)価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。

お気に入り

・ISBN 978-1-107-61196-2 paper GB£ 28.00

¥8,870.- (税込) (※)価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。

お気に入り

電子版あり 大学・学術機関向け電子ブック(eBook)ISBN 978-1-139-85646-1

著者・編者Garson, James W.,
出版社(Cambridge U. Pr., UK)
出版年月2013
ページ数260 pp.
言語ENG
ニュース番号<608-3093 608-L42>

解説

What do the rules of logic say about the meanings of the symbols they govern? In this book, James W. Garson examines the inferential behaviour of logical connectives (such as 'and', 'or', 'not' and 'if ... then'), whose behaviour is defined by strict rules, and proves definitive results concerning exactly what those rules express about connective truth conditions. He explores the ways in which, depending on circumstances, a system of rules may provide no interpretation of a connective at all, or the interpretation we ordinarily expect for it, or an unfamiliar or novel interpretation. He also shows how the novel interpretations thus generated may be used to help analyse philosophical problems such as vagueness and the open future. His book will be valuable for graduates and specialists in logic, philosophy of logic, and philosophy of language.