論理学をつくる
著者
書誌事項
論理学をつくる
名古屋大学出版会, 2000.10
- タイトル別名
-
Learning logic through building it
- タイトル読み
-
ロンリガク オ ツクル
大学図書館所蔵 件 / 全423件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
ブックガイド: p422-425
内容説明・目次
内容説明
「論理的に出てくる」っていったい何だ。それを確かめるにはどんな方法があるだろう。その方法はどんなケースにも有効だろうか。かりに有効だとしても、そのことをどのように確かめたらよいだろう。…こうした問題にとりくむためには、おもちゃのような論理学をつくることからスタートし、それをだんだんと改良していく戦略が有効だ。学ぶに値するおもしろさに満ちた論理学の豊かな世界を基礎からマスターできる教科書。
目次
- 第１部 論理学をはじめる（Ｗｈａｔ ｉｓ ＴＨＩＳ Ｔｈｉｎｇ ｃａｌｌｅｄ Ｌｏｇｉｃ？；論理学の人工言語をつくる ほか）
- 第２部 論理学をひろげる（論理学の対象言語を拡張する；おおっと述語論理のセマンティクスがまだだった ほか）
- 第３部 論理をもう１つの目で見る（自然演繹法を使いこなそう；シンタクスの視点から論理学のゴールに迫る）
- 第４部 論理学はここから先が面白い！進んだ話題のロードマップ（めくるめく非古典論理の世界にようこそ！；古典論理にもまだ学ぶことがたくさん残っている）
「BOOKデータベース」 より