数理論理学原論

ウカシェーヴィチ，ヤン【著】〈Ｌｕｋａｓｉｅｗｉｃｚ，Ｊａｎ〉/高松 鶴吉【訳】

文化書房博文社 （1992/04発売）

• サイズ A5判／ページ数 228p／高さ 23X16cm
• 商品コード 9784830106262
• NDC分類 410.96
• Cコード C3010

目次

１　序論（数理論理学の方向。数理論理学と哲学的論理学；定理と推論規則。命題論理と名辞論理）
２　演繹理論（原始術語と演繹理論の公理；演繹理論の定義と推論規則；演繹理論の定理）
３　演繹理論の方法論から（演繹理論の無矛盾性と独立性。多値論理学について；演繹理論の完全性）
４　量記号付きの演繹理論について（量記号について。推論規則。テーゼ）
５　アリストテレス三段論法の理論（公理。定理。推論規則；アリストテレス推論式のテーゼ）
付録（自然科学における推論について）