内容説明
簡潔性、実用性に卓越したＱｕｉｎｅの『方法』を詳説、それに基づきＧ¨ｏｄｅｌやＣｈｕｒｃｈの定理を含む、標準的な論理学を厳密に展開する。また、認識論理学の「自然演繹法」化の、１つの可能性を提案する。更に、「超実数」の必要性を強調し、それにより種々のアポリア（パラドックス等）の解明を試みる。
目次
第１章 Ｑｕｉｎｅの主要方法
第２章 Ｑｕｉｎｅの自然演繹法
第３章 Ｃｒａｉｇの補間定理と２、３の応用
第４章 代入
第５章 Ｇ¨ｏｄｅｌ及びＣｈｕｒｃｈの定理
第６章 認識と信念の論理
第７章 超実数とＰａｒａｄｏｘｅｓ
著者等紹介
戸辺弘之［トベヒロユキ］
昭和１４年東京都に生まれる。昭和３７年茨城大学文理学部理学科（数学専攻）卒業。昭和３７～４４年茨城県立緑岡高等学校教諭。昭和４４年国立茨城工業高等専門学校講師。昭和４９年同校助教授。昭和６３年同校教授。平成１５年同校定年退官。現在、同校名誉教授（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
