論理学をつくる
4,180
著者：戸田山 和久【著】
出版社：名古屋大学出版会
出版社：名古屋大学出版会
商品説明
内容説明
「論理的に出てくる」っていったい何だ。それを確かめるにはどんな方法があるだろう。その方法はどんなケースにも有効だろうか。かりに有効だとしても、そのことをどのように確かめたらよいだろう。…こうした問題にとりくむためには、おもちゃのような論理学をつくることからスタートし、それをだんだんと改良していく戦略が有効だ。学ぶに値するおもしろさに満ちた論理学の豊かな世界を基礎からマスターできる教科書。
目次
第１部 論理学をはじめる（Ｗｈａｔ ｉｓ ＴＨＩＳ Ｔｈｉｎｇ ｃａｌｌｅｄ Ｌｏｇｉｃ？；論理学の人工言語をつくる ほか）
第２部 論理学をひろげる（論理学の対象言語を拡張する；おおっと述語論理のセマンティクスがまだだった ほか）
第３部 論理をもう１つの目で見る（自然演繹法を使いこなそう；シンタクスの視点から論理学のゴールに迫る）
第４部 論理学はここから先が面白い！進んだ話題のロードマップ（めくるめく非古典論理の世界にようこそ！；古典論理にもまだ学ぶことがたくさん残っている）
出版社内容情報
論理学って、こんなに面白かったのか！ 出来あいの論理学を天下り式に解説
するのでなく、論理学の目的をはっきりさせた上で、それを作り上げていくプロセ
スを読者と共有することによって、考え方の「なぜ」が納得できるようにした傑作
テキスト。初歩の論理学が一人でマスターできる。
目次：
はじめに
第I部 論理学をはじめる 第１章 What is THIS Thing called Logic?／第２章
論理学の人工言語をつくる／第３章 人工言語に意味を与える／第４章 機械もす
なる論理学／第I部のまとめ
第II部 論理学をひろげる 第5章 論理学の対象言語を拡張する／第6章 おおっ
と述語論理のセマンティクスがまだだった／第7章 さらに論理言語を拡張する／
第8章 さらにさらに論理言語を拡張する／第II部のまとめ
第III部 論理をもう１つの目で見る 第9章 自然演繹法を使いこなそう／第10章
シンタクスの視点から論理学のゴールに迫る／第III部のまとめ
第IV部 論理学はここから先が面白い！ 進んだ話題のロードマップ 第11章 め
くるめく非古典論理の世界にようこそ！／第12章 古典論理にもまだ学ぶことがた
くさん残っている／第IV部のまとめ
付録 Ａ．A little bit of mathematics／Ｂ．練習問題解答／Ｃ．ブックガイド
【ご確認ください】
■ご注文確定時に在庫切れの場合もございます。
ご注文時の在庫先によっては4日以上（〜7日）かかる場合もございます。 当ストアではお取り寄せのご対応を行っておりません。
■ご予約品と既刊商品はカート・ご注文番号が分かれます。
ひとつのご注文番号におまとめすることはできません。
※ご予約品のうち、発売日が同じ商品のみひとつのカート・ご注文番号でご注文可能です。
※送料はご注文番号ごとに計算されます。
■ギフトなどのためにお届け先を別住所に登録されましても、金額入りの明細書は商品に同梱されます。当ストアでは一切のギフト対応を行っておりません。
■ご注文・お問い合わせの前に「お買い物ガイド」「ご注意点」をよくお読みください。
■お届け日のご指定は承っておりません。
■「帯」はお付けできない場合がございます。
■ご注文確定時に在庫切れの場合もございます。
ご注文時の在庫先によっては4日以上（〜7日）かかる場合もございます。 当ストアではお取り寄せのご対応を行っておりません。
■ご予約品と既刊商品はカート・ご注文番号が分かれます。
ひとつのご注文番号におまとめすることはできません。
※ご予約品のうち、発売日が同じ商品のみひとつのカート・ご注文番号でご注文可能です。
※送料はご注文番号ごとに計算されます。
■ギフトなどのためにお届け先を別住所に登録されましても、金額入りの明細書は商品に同梱されます。当ストアでは一切のギフト対応を行っておりません。
■ご注文・お問い合わせの前に「お買い物ガイド」「ご注意点」をよくお読みください。
■お届け日のご指定は承っておりません。
■「帯」はお付けできない場合がございます。