著者・出版社・関連アーティスト
商品説明
簡潔性、実用性に卓越したQuineの『方法』を詳説、それに基づきG¨odelやChurchの定理を含む、標準的な論理学を厳密に展開する。また、認識論理学の「自然演繹法」化の、1つの可能性を提案する。更に、「超実数」の必要性を強調し、それにより種々のアポリア(パラドックス等)の解明を試みる。
関連記事
収録内容
| 1 | 第1章 Quineの主要方法 |
| 2 | 第2章 Quineの自然演繹法 |
| 3 | 第3章 Craigの補間定理と2、3の応用 |
| 4 | 第4章 代入 |
| 5 | 第5章 G¨odel及びChurchの定理 |
| 6 | 第6章 認識と信念の論理 |
| 7 | 第7章 超実数とParadoxes |
