Heinrich Wansing 研究室

主宰者：Heinrich Wansing
東北大学

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

Wansing研究室では、伝統的な論理学の枠組みを超えた非古典的な論理体系の理論的基礎を研究しています。特に注力しているのは、矛盾命題が証明可能でありながら論理体系として無矛盾性を保つという、一見矛盾した性質を備えた論理体系の解明です。このような論理がいかに形式的に成立し得るのか、また従来の論理観にどのような転換をもたらすのかを体系的に検討しています。 研究の中心には「connexive logic（関連性論理）」があり、これは含意や排他といった基本的な論理結合子の振る舞いに関する古典的な原理を問い直す体系です。証明可能性と反駁可能性という二つの導出関係を基礎とする「bilateralism（二層主義）」の枠組みを採用し、否定や共含意などの演算子の意味論を精密に構築することで、複数の帰結関係を持つ多層的な論理体系へと拡張しています。同時に、構成的論理や直観主義論理など既存の重要な論理体系との比較分析も行い、それらがいかなる点で connexive logic と関わるかを明らかにしています。 これらの研究は、単に形式論理の技術的発展にとどまりません。矛盾を許容する論理が理論的に統整的であり得るという発見は、論理学の哲学的基礎や、科学理論として受け入れられるべき条件についての深い問い直しにつながっています。論理とは本来どのような規範的な役割を担うべきかという基本的な問題に対して、新たな視点を提供することを目指しています。

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

外部リンク

関連研究室

共通タグ・同分野のラボが見つかりませんでした（タグ未生成の可能性）。

研究成果（16 件）

続きを表示（残り 6 件）

科研費（0 件）

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

所属学会・役職（0 件）

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