よくわかる記号論理

記号嫌いのあなたが初歩の初歩から学べるテキスト。この本をマスターする頃、あなたの論理感覚は確実に磨かれています。

著者 藤村 龍雄 著
ジャンル 哲学・思想・倫理
出版年月 2005年11月
ISBN 978-4-326-10158-0
Cコード 3010
判型・ページ数 A5・256ページ
定価 3,080円(本体2,800円 + 税)
在庫 在庫あり

この本への感想・お問い合わせ

本書は、文科系の学生が記号論理の考え方を理解し、スキルを習得できるようになることをめざす。内容を限定し、予備知識なしに学べるように工夫してある。第I部命題論理学では、論理学とは何か、文の形式と意味等、第II部述語論理学では、文の内部構造、述語から文へ等を順次学ぶ。

まえがき

I 命題論理学

第1章 論理学とは何か
1.1 議論
1.2 "論理的に正しい"議論
1.3 前提・結論の真偽
1.4 議論の形式
1.5 妥当な議論形式
1.6 妥当性と健全性
1.7 議論の形式と文の形式

第2章 文の形式と意味(I)
2.1 否定
2.2 連言
2.3 選言
2.4 等値な文
2.5 シェファーの縦棒

第3章 文の形式と意味(II)
3.1 条件法
3.2 双条件法
3.3 命題言語の構文論
3.4 議論の形式化
3.5 文と言明と命題

第4章 論理的妥当性
4.1 命題言語の意味論
4.2 論理的帰結――議論形式の妥当性
4.3 恒真――論理式の妥当性
4.4 反例法

第5章 真理木
5.1 符号付き論理式
5.2 否定の真理木
5.3 連言の真理木
5.4 選言の真理木
5.5 条件法の真理木
5.6 双条件法の真理木

第6章 真理木からタブローへ
6.1 真理木の簡略化
6.2 真理木からタブローへ

第7章 自然演繹
7.1 ∧についての推論規則
7.2 ∨についての推論規則
7.3 →についての推論規則
7.4 ¬についての推論規則
7.5 矛盾についての推論規則
7.6 排中律
7.7 推論規則の相互導出可能性
7.8 双条件法について
7.9 決定可能性

II 述語論理学

第8章 文の内部構造
8.1 命題論理学の限界
8.2 文と名前と述語
8.3 述語の特性
8.4 述語と名前の表記

第9章 述語から文へ
9.1 名前の代入
9.2 述語量の限定
9.3 普遍記号と存在記号の関係

第10章 さまざまな限量文
10.1 2 項述語の限量
10.2 定言文の現代表記
10.3 日常文の記号化

第11章 真理木
11.1 普遍限量の真理木
11.2 存在限量の真理木
11.3 2 項述語を含む限量文の真理木
11.4 真理木からタブローへ

第12章 自然演繹
12.1 ∀についての推論規則
12.2 ∃についての推論規則
12.3 2 項述語を含む限量文の演繹
12.4 3つの論理

第13章 述語言語
13.1 自由変項と束縛変項
13.2 述語言語の構文論
13.3 述語言語の意味論

参考文献
練習問題解答

ご注文

3,080円(税込)

個人情報の取扱いについて

このサイトでの購入手続きにおける個人情報の取扱いについて下記リンク先にてご案内しております。
『商品購入における個人情報の取扱いについて』

商品をご購入いただく際はこちらに同意をしたうえでお支払方法(クレジットカードまたは代金引換)をお選びください。

ジャンルから探す
シリーズから探す

AltStyle によって変換されたページ (->オリジナル) /