大学出版部協会

 

論理学の基礎と演習〈CD-ROM付〉

論理学の基礎と演習〈CD-ROM付〉

B7 768ページ 並製
価格:10,780円 (消費税:980円)
ISBN978-4-7664-1313-7(4-7664-1313-X) C3010
奥付の初版発行年月:2006年09月 / 発売日:2006年09月上旬

内容紹介

視覚で理解する画期的論理学テキスト、ついに翻訳刊行。
▼ゲーム感覚で学べる、スタンフォード大学 CSLI 論理学テキスト Language, Proof and Logic の翻訳書。付属のCD-ROM(Tarski's World)は1997年Educom Medalを受賞しています。
▼テキストは、初歩の命題論理からゲーデルの不完全性定理に至るまで、幅広く説明され、Tarski's Worldで、立体図形を感覚的に操作しながら、論理学の基本概念を学びます。
▼膨大な数の練習問題を収録し、その解答はインターネットを利用して自動的に採点されます。


【著者】
ジョン・バーワイズ(Jon Barwise )
論理学の世界的権威。スタンフォード大学Ph.D. (1967)。イェール大学,ウィスコンシン大学で教鞭を執った後、スタンフォード大学言語情報センター(CSLI: Center for the Study of Language and Information)の初代所長を務める。1990年にはインディアナ大学に迎えられた。研究分野は数学から言語学まで非常に幅広く、数学基礎論や状況理論・状況意味論に関する業績が大きい。主な著作にThe Situation in Logic(1988)、The Liar: An Essay in Truth and Circularity(共著、1988)、Situations and Attitudes(共著,1983)など。2000年5月逝去。

ジョン・エチメンディ(John Etchemendy)
スタンフォード大学副学長。2000年より現職。1990〜1993年スタンフォード大学言語情報センター(CSLI: Center for the Study of Language and Information)の所長を務め,現在は同センターの上席研究員でもある。スタンフォード大学Ph.D. (1982)。
専門は論理学(言語,論理,意味論など)。主な著作にThe Concept of Logical Consequence(1990、1999)、The Liar: An Essay in Truth and Circularity(共著、1988)など。

【訳者】
大沢秀介(おおさわ ひですけ)
1950年、東京都生まれ。早稲田大学第一文学部人文専攻卒、早稲田大学大学院修士課程修了・博士課程単位取得退学。現在、,愛知教育大学教育学部教授。
専門は哲学。共著書に『心の科学と哲学』(戸田山和久・柴田正良・服部裕幸・美濃正編)昭和堂、『シリーズ心の哲学Ⅰ人間編』(信原幸弘編)勁草書房など、論文に「外在主義と自己知」愛知教育大学研究報告第50輯、「アブダクションの論理としてのプラグマティズム」理想669号など。

白旗 優(しらはた まさる)
1961年、神奈川県生まれ。京都大学文学部哲学科卒、スタンフォード大学哲学科Ph. D。現在、慶應義塾大学商学部助教授。
専門は論理学および数学基礎論。共著書に『ゲーデルと20世紀の論理学』第3巻(田中一之編、東京大学出版会)、共訳書に『数学の基礎をめぐる論争』(田中一之編・監訳、シュプリンガー・フェアラーク東京)、論文に“A linear conservative extension of Zermelo-Fraenkel set theory”(Studia Logica, 56)、「特性配置陳述と個物の問題」(関西哲学会『アルケー』10号)など。

中川 大(なかがわ はじめ)
1961年、北海道生まれ。北海道大学文学部哲学科卒、北海道大学大学院修士課程修了・博
士課程単位取得退学。現在、北海道教育大学教育学部札幌校助教授。
専門は哲学。共著書に『言語哲学を学ぶ人のために』(野本和幸・山田友幸編、世界思想社)、『ウィトゲンシュタインの知88』(野家啓一編、新書館)など、共訳書に『フレーゲ著作集』(野本和幸他編、勁草書房)、『リーディングス数学の哲学』(飯田隆編,勁草書房)など、論文に「マイノング学派におけるラッセルのパラドクス」(『科学哲学』36巻2号)、「フレーゲ的記号法とルイス・キャロルのパラドクス」(北海道哲学会『哲学年報』49号)など。

中戸川孝治(なかとがわ こうじ)
1951年、大阪生まれ。東京教育大学文学部哲学科卒、カリフォルニア大学バークレー理学修士(数学)、筑波大学博士(文学)。現在、北海道大学大学院文学研究科教授。
専門は論理学、哲学。共著書に『哲学思索と現実の世界(永井博還暦記念論文集)』(工藤喜作、斎藤博、澤口昭聿、米沢克夫編集、創文社)、『AI事典』(土屋俊、中島秀之他編集、共立出版)など、論文に「投票ゲームと可測基数」(『科学基礎論研究』16号)など、共著論文に“Sequent Systems for Classical and Intuitionistic Substructural Modal Logics” (Proceeding s of the 7th and 8th Asian Logic Conferences, ed.by R.Downey, M.Yasugi, and Others, World Scientific Press.)など。

橋本康二(はしもと こうじ)
1962年,福岡県生まれ。京都大学文学部哲学科卒、マサチューセッツ工科大学理学修士、京都大学博士(文学)。現在、筑波大学人文社会科学研究科助教授。
専門は哲学。訳書にF. P.ラムジー『ラムジー哲学論文集』(共訳・勁草書房)、論文に「原子命題論理とそのメタ論理学—女の理由のすべて—」(『筑波哲学』13号)など。

目次

詳細な目次はこちらから
日本語版訳者による序言
謝辞
序論
 
第I 部 命題論理
第1 章 原子文
第2 章 原子文の論理
第3 章 ブール結合子
第4 章 ブール結合子の論理
第5 章 ブール論理の証明方法
第6 章 形式的証明とブール論理
第7 章 条件文
第8 章 条件文の論理

第II 部 限量子
第9 章 限量入門
第10 章 限量子の論理
第11 章 複数の限量子
第12 章 限量子についての証明の方法
第13 章 形式的証明と限量子
第14 章 限量子についての補足(オプション)

第III 部応用とメタ理論
第15 章一階集合論
第16 章 数学的帰納法
第17 章 命題論理の更に進んだ話題
第18 章 FOL の更に進んだ話題
第19 章 完全性と不完全性

形式的証明規則の要約
用語解説

ソフトウェア・マニュアル
1 はじめに
2 Submit を使う
3 Tarski’s World を使う
4 Fitch を使う
5 Boole を使う

一般索引
練習問題ファイル索引
マニュアル索引


一般社団法人 大学出版部協会 Phone 03-3511-2091 〒102-0073 東京都千代田区九段北1丁目14番13号 メゾン萬六403号室
このサイトにはどなたでも自由にリンクできます。掲載さ>れている文章・写真・イラストの著作権は、それぞれの著作者にあります。
当協会 スタッフによるもの、上記以外のものの著作権は一般社団法人大学出版部協会にあります 。