論理学の基礎と演習

目次 : 序論/ 第１部　命題論理（原子文/ 原子文の論理/ ブール結合子/ ブール結合子の論理/ ブール論理の証明方法/ 形式的証明とブール論理/ 条件文/ 条件文の論理）/ 第２部　限量子（限量入門/ 限量子の論理/ 複数の限量子/ 限量子についての証明の方法/ 形式的証明と限量子/ 限量子についての捕足（オプション））/ 第３部　応用とメタ理論（一階集合論/ 数学的帰納法/ 命題論理の更に進んだ話題/ ＦＯＬの更に進んだ話題/ 完全性と不完全性）/ ＬＰＬソフトウェア・マニュアル（Ｓｕｂｍｉｔを使う/ Ｔａｒｓｋｉ’ｓ　Ｗｏｒｌｄを使う/ Ｆｉｔｃｈを使う/ Ｂｏｏｌｅを使う）

【著者紹介】
ジョン・バーワイズ : 論理学の世界的権威。スタンフォード大学Ｐｈ．Ｄ．（１９６７）。イェール大学、ウィスコンシン大学で教鞭を執った後、スタンフォード大学言語情報センターの初代所長を務める。１９９０年にはインディアナ大学に迎えられた。研究分野は数学から言語学まで非常に幅広く、数学基礎論や状況理論・状況意味論に関する業績が大きい。２０００年５月逝去

ジョン・エチメンディ : スタンフォード大学副学長。２０００年より現職。１９９０〜１９９３年スタンフォード大学言語情報センターの所長を務め、現在は同センターの上席研究員でもある。スタンフォード大学Ｐｈ．Ｄ．（１９８２）

大沢秀介 : １９５０年、東京都生まれ。早稲田大学第一文学部人文専攻卒、早稲田大学大学院修士課程修了・博士課程単位取得退学。愛知教育大学教育学部教授。専門は哲学

白旗優 : １９６１年、神奈川県生まれ。京都大学文学部哲学科卒、スタンフォード大学哲学科Ｐｈ．Ｄ。慶應義塾大学商学部助教授。専門は論理学および数学基礎論

中川大 : １９６１年、北海道生まれ。北海道大学文学部哲学科卒、北海道大学大学院修士課程修了・博士課程単位取得退学。北海道教育大学教育学部札幌校助教授。専門は哲学（本データはこの書籍が刊行された当時に掲載されていたものです）

ジョン・バーワイズ

論理学の世界的権威。スタンフォード大学Ｐｈ．Ｄ．（１９６７）。イェール大学、ウィスコンシン大学で教鞭を執った後、スタンフォード大学言語情報センターの初代所長を務める。１９９０年にはインディアナ大学に迎えられた。研究分野は数学から言語学まで非常に幅広く、数学基礎論や状況理論・状況意味論に関する業績が大

プロフィール詳細へ