数理論理学原論 : 近代ポーランド論理学の原典

著者

• Łukasiewicz, Jan
• 高松, 鶴吉 タカマツ, ツルキチ

書誌事項

数理論理学原論 : 近代ポーランド論理学の原典

ヤン・ウカシェーヴィチ著 ; 高松鶴吉訳

文化書房博文社, 1992.4

タイトル別名

Elementy logiki matematycznej

タイトル読み

スウリ ロンリガク ゲンロン : キンダイ ポーランド ロンリガク ノ ゲンテン

電子リソースにアクセスする 全1件

• 数理論理学原論 : 近代ポーランド論理学の原典

  1992

  NDLデジタルコレクション

  限定公開

注記

原著1929年刊の翻訳

内容説明・目次

目次

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

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BN07578966
• ISBN:
  • 4830106263
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 原本言語コード: pol
• 出版地: 東京
• ページ数/冊数: 228p
• 大きさ: 22cm
• 分類:
  • NDC8 : 410.96
  • NDC7 : 410.12
• 件名:
  • BSH : 記号論理学
  • NDLSH : 記号論理学