人文・社会科学セミナー 論理学

意味とモデルの理論

人文・社会科学セミナー 論理学
著者 森田 茂行
ジャンル その他
出版年月日 1999/06/01
ISBN 9784501617103
判型・ページ数 A5・194ページ
定価 本体2,100円+税
在庫 在庫あり

この本に関するお問い合わせ・感想

 本書は論理学を初めて学ぼうとする人対象にパズルを解くかのようなおもしろさ,わかりやすさで書かれている。
 また,論理学体系を二分した場合の説明が可能であるか否かを追求する証明論と,真か疑かが問題となる解釈論の両方を取り込んだ形のセマンティックタブロー体系の立場から書かれていること,最近議論され初めたG体系についても本格的に書かれている点では非常に意義の高い本となっている。

 情報科学の基礎として,またそれ以外の目的でも論理学を初めて学ぼうとされている方を対象に本書は書かれています。初めて論理学を学ぶ場合,論理学が面白いパズルやゲームのようなものであれば楽しい導入ができるでしょう。
 確かに問題を解いている過程でパズル解きを実感することがあります。しかしパズルやゲームである以上規則に従わねばなりません。論理ゲームは自動販売機のようにお金さえ投入すればすぐ品物が手に入るという訳にはいかず,お金の入れ方にも細かい規程があり,それを守らないとお金さえ投入できないという頑固な自動販売機なのです。
 ただし透明な箱の中身は外から丸見えですから,お金が品物に変換される過程の一部始終を見ることができます。この変換過程が論理的な推論の過程に当たります。つまりお金と品物の関係は,論理的推論の仮定と結論の関係に当たるのです。
 論理学の用語が日常で使われることも頻繁にあります。例えば議論の中で,「その理論は絶対論理的に出てこない」とか,「その主張は矛盾している」とか言います。しかし絶対論理的に出てこない結論が,厳密には仮定を増やせば出てきたり,矛盾している主張が実は単に対立しているだけで,必ずしも矛盾していない場合がほとんどです。論理学を学ぶことで仮定と結論の関係や,矛盾についてその本来の意味が理解できるでしょう。
 論理には様々の体系があり,それぞれに味わいが異なります。なるべく多くの体系を試みることが実は各々の体系をより理解することに繋がるのです。
 そこで本書では解釈が容易であるという点で,もっとも直観的に理解できると思われるセマンティックタブローの体系を出発点とし,他の体系との関連を考慮しながら議論が展開されています。
 その中でも特にセマンティックタブロー体系,G体系,LK体系の関係が強調されています。議論の進み方はなるべく自分で議論の過程をゆっくりたどれるようにわりと遅くなっています。例題を解く場合も解方のこつを交えて,推論の過程がなるべく理解し易いようにしました。例題に関しては自分で解き方を十分に身に付けてください。
 どの体系もその体系の健全性と完全性を証明した時点で,武芸の道と同じように免許皆伝となります。そこで,本書でも論理学を学ばれた方が論理学の各体系の免許皆伝となるよう,健全性と完全性の証明を様相論理を除いて命題論理と一階の述語論理については幾つかの方法で与えました。
 モデルによる論理式の解釈ということがここでのキーポイントです。始めて論理学を学ばれる方には厳密すぎると思われるでしょうが,こればかりは仕方ありません。それが論理学です。これを山登りの一つの到達点だと思ってください。一度頂上に立てば,見晴らしもいいし,ジェットコースターなら降りる快感があるでしょう。最初は一歩一歩着実に歩んでください。もちろん先を急ぐ人は飛ばし読みをして全体像を掴んでからでもいいですし,一挙にロジックプログラミングまで進んでも良いですが,立ち止まったときは必ず前に戻って基礎を固め直してから先に進んでください。
序    対象言語とメタ文字
第1章 命題論理
第2章 一階の述語論理
第3章 等号関係をもつ一階の述語論理
第4章 直観主義の論理(IG体系)
第5章 様相命題論理
第6章 嘘つきのパラドックスと論理

ご注文

2,100円+税

カートに入れる

外部サイトで調べる

シェアする

このエントリーをはてなブックマークに追加

おすすめ書籍

お知らせ

一覧

2018.05.30 NEWS

『コンピュータとは何か?』読売新聞にて紹介!

2018.05.25 NEWS

平成30年度 東京電機大学学術振興基金「研究成果出版費援助」募集中!

2018.05.10 NEWS

『Inventorによる3D CAD入門』ロボコンマガジンに紹介

2018.05.09 イベント

『良書を誇る大学出版部特集』フェア開催

2018.05.02 NEWS

『スティーブ・ジョブズIV-楽園追放とピクサー創立-』毎日新聞に掲載!

2018.04.25 NEWS

『Inventorによる3D CAD入門』日刊工業新聞に掲載!

2018.04.13 NEWS

『学生力を高めるeポートフォリオ』 全私学新聞に掲載されました。

2018.03.28 NEWS

『学生力を高めるeポートフォリオ』 日刊工業新聞にて書籍紹介されました。

2018.03.20 NEWS

新刊情報 3月10日刊行『第一級陸上特殊無線技士試験 集中ゼミ 第3版』

2018.03.16 NEWS

新刊情報 3月15日刊行『Inventorによる3D CAD入門』

2018.03.15 NEWS

新刊情報 3月15日刊行『スティーブ・ジョブズⅣ』

2018.03.09 PR

『アマゾン・コムの野望』の著者 脇 英世氏がテレビ出演いたしました

2018.03.07 NEWS

『学生力を高めるeポートフォリオ』 ニュースリリース

2018.03.07 NEWS

新刊情報 2月20日刊行『学生力を高めるeポートフォリオ』

2018.03.07 PR

計測自動制御学会誌「計測と制御」書評掲載 『バッテリマネジメント工学』

2018.02.16 NEWS

2月23日,2月24日 試験本番! 航空無線通信士試験を突破しよう!!

2018.02.15 NEWS

新刊情報 2月20日刊行『電気法規と電気施設管理 平成30年度版』

2018.02.15 NEWS

本日2月15日より、HPをリニューアルいたしました。

2018.02.14 イベント

「築地本マルシェ」に東京電機大学出版局が出店いたします!

2018.02.02 PR

小局の書籍を,日刊工業新聞(2018年1月31日発行)に広告掲載しました。

2018.01.18 NEWS

航空無線通信士試験 定番対策本 2冊発売!

2018.01.08 PR

『社会シミュレーション』が2017年12月20日「化学工業日報」にて紹介

2017.12.17 PR

『社会シミュレーション』が、「日経エコロジー」2018年1月号にて紹介

2017.12.10 NEWS

ジュンク堂書店池袋本店:『スティーブ・ジョブズ』『スティーブ・ジョブズⅡ』紹介

2017.12.10 NEWS

情報処理技術者試験・情報処理安全確保支援士試験を突破しよう!! 厳選問題集発売!