論理学考究―アポリアへの挑戦 [単行本]

論理学考究―アポリアへの挑戦 [単行本] の 商品概要

• 要旨(「BOOK」データベースより）

  簡潔性、実用性に卓越したＱｕｉｎｅの『方法』を詳説、それに基づきＧ¨ｏｄｅｌやＣｈｕｒｃｈの定理を含む、標準的な論理学を厳密に展開する。また、認識論理学の「自然演繹法」化の、１つの可能性を提案する。更に、「超実数」の必要性を強調し、それにより種々のアポリア（パラドックス等）の解明を試みる。

• 目次(「BOOK」データベースより）

  第１章　Ｑｕｉｎｅの主要方法
  第２章　Ｑｕｉｎｅの自然演繹法
  第３章　Ｃｒａｉｇの補間定理と２、３の応用
  第４章　代入
  第５章　Ｇ¨ｏｄｅｌ及びＣｈｕｒｃｈの定理
  第６章　認識と信念の論理
  第７章　超実数とＰａｒａｄｏｘｅｓ

• 著者紹介（「BOOK著者紹介情報」より）（本データはこの書籍が刊行された当時に掲載されていたものです）

  戸辺 弘之(トベ ヒロユキ)
  昭和１４年東京都に生まれる。昭和３７年茨城大学文理学部理学科（数学専攻）卒業。昭和３７～４４年茨城県立緑岡高等学校教諭。昭和４４年国立茨城工業高等専門学校講師。昭和４９年同校助教授。昭和６３年同校教授。平成１５年同校定年退官。現在、同校名誉教授

論理学考究―アポリアへの挑戦 [単行本] の商品スペック