Hitoshi Omori 研究室

主宰者：Hitoshi Omori
東北大学

AI 要約（直近 5 年の研究成果）

この研究室は、古典論理とは異なる様々な非古典論理体系の構造と意味を研究しています。特に、矛盾を許容する論理（含矛盾論理）、古典論理よりも弱い論理体系、および複数の真偽値を扱う多値論理の性質について、意味論と証明論の両面から解明することに取り組んでいます。研究対象は、論理演算子の表現可能性、否定の概念の多様な定義方法、および異なる論理体系間の相互関係など、論理学の基礎的な問題に及びます。 手法としては、関係的意味論や非決定論的意味論といった拡張された意味論フレームワークを開発し、それに対応する公理体系の妥当性と完全性を数学的に証明しています。また、同一の論理結合子が異なる論理体系でどのような意味を持つかを比較検討することで、論理体系の本質的な違いを明確にしています。複数の論文を横断して見ると、古典論理のみに基づくのではなく、より広い視点から論理体系を理解しようとするアプローチが特徴的です。 これらの研究を通じて、一つの論理体系から別の論理体系へ移行する際に、必ずしも論理演算子の意味が変わる必要がないこと、および多値論理も基本的には二つの真偽値の制限された読み方として統一的に理解できることなど、論理的多元主義を支持する知見を蓄積しています。

※ AI（Claude）が、公開されている論文要旨から研究の問い・手法・主要な発見を事実情報として抽出・再構成して自動生成しています。誤りを含む可能性があるため、正確性は研究室公式情報でご確認ください。

外部リンク

関連研究室(8 件)

研究成果（27 件）

続きを表示（残り 17 件）

科研費（0 件）

まだデータがありません（KAKEN 取り込み後に表示）。

所属学会・役職（0 件）

まだデータがありません（学会データ連携後に表示）。