ロンリガクをつくる
論理学をつくる
オモチャのような論理学をつくることからはじめ
徐々に拡張していきながら
論理学(formal logic)を、
段階を踏んでお勉強できるよう
それがどうできているかということについて
解説するスタイルで書かれている
論理学の教科書。
----------------------------------------------------------------------------------------
【目次】
はじめに
第Ⅰ部 論理学をはじめる 第１章 What is THIS Thing called Logic?／第２章
論理学の人工言語をつくる／第３章 人工言語に意味を与える／第４章 機械もす
なる論理学／第Ⅰ部のまとめ
第Ⅱ部 論理学をひろげる 第5章 論理学の対象言語を拡張する／第6章 おおっ
と述語論理のセマンティクスがまだだった／第7章 さらに論理言語を拡張する／
第8章 さらにさらに論理言語を拡張する／第Ⅱ部のまとめ
第Ⅲ部 論理をもう１つの目で見る 第9章 自然演繹法を使いこなそう／第10章
シンタクスの視点から論理学のゴールに迫る／第Ⅲ部のまとめ
第Ⅳ部 論理学はここから先が面白い！ 進んだ話題のロードマップ 第11章 め
くるめく非古典論理の世界にようこそ！／第12章 古典論理にもまだ学ぶことがた
くさん残っている／第Ⅳ部のまとめ
付録 Ａ．A little bit of mathematics／Ｂ．練習問題解答／Ｃ．ブックガイド
----------------------------------------------------------------------------------------
このページに
携帯でアクセス
２次元バーコード対応の携帯で読み取ってください
- 商品名: 論理学をつくる
- 価格: ¥3,990
- 著者: 戸田山 和久
- 出版社: 名古屋大学出版会
- 発売日: 2000-10
-
詳細をみる
- 2011/06/18更新
- 2005/07/22登録
- 4493クリック
「論理学をつくる」に関連するキーワード
人工言語学研究会
スマリヤンの決定不能...
linear logic...
ブログパーツ
-
メイン
つながりキーワード (10)
Sheffer stroke
- (カオナシ)
1913年、Henry Maurice Shefferが ￢(否定。「～でない」にあたる)、∨(論理和。「～または～」にあたる)、∧(論理積。「～かつ～」にあたる)、→(含意。「～ならば～」...
論理学の基礎と演習
- (カオナシ)
原題は、 Language, Proof and Logic 慶應義塾大学出版会株式会社が刊行した、 スタンフォード大が提供しているthe Language, Proo...
linear logic
- (カオナシ)
線形論理。 1987年にフランス人の論理学者Jean-Yves Girardが発表した、 古典論理(classical logic)のように双対性を満たしつつも 直感主...
圏論による論理学―高階論理とトポス
- (カオナシ)
主にトポス(topos)を題材にして、 圏論(category theory)に基づいて展開されている 数理論理学(論理を数学によって研究する学問領域)における成果につい...
シークエント計算
- (カオナシ)
シークエント計算(Sequent Calculus)とは、 ドイツの論理学者Gerhard Karl Erich Gentzenが定式化した LK(Logischer Kalkül: 論理計...
パズルランドのアリス
- (カオナシ)
原題は、 ALICE IN PUZZLE-LAND: A Carrollian Tale for Children Under Eighty ルイス・キャロルの生誕15...
シリーズ・講座『ゲーデルと２０世紀の論理学［全4巻］』
- (カオナシ)
ゲーデルの生誕100年にあたる今年2006年を記念して、 20世紀の近代論理学の発展・成果を 取りまとめその歴史的な位置づけを試みようという 全4巻シリーズ。 東京大学出...
Mizar
- (カオナシ)
2005年に信州大工学部教授の中村八束氏らが Jordan曲線定理(「閉じた曲線が平面を、内と外とに分ける」という 直感的には明らかな定理)の (厳密な最終)証明（http://www.mi...
人工言語学研究会
- (カオナシ)
ベーシック・イングリッシュやらエスペラント語やら クリンゴン語のような人工言語を言語学の範疇として研究することを主旨とした 非営利の研究会。
スマリヤンの決定不能の論理パズル
- (カオナシ)
原題は、 Forever Undecided: A Puzzle Guide to Gödel レイモンド・Ｍ・スマリヤン著の 論理パズル本にして ゲーデルの不完全性...
携帯でこのページにアクセス
２次元バーコード対応の
携帯で上の画像を読み
取るとアクセスできます
