研究課題
基盤研究(C)
われわれが日常的に行う論証は、数学における証明とは異なり、不確実で反駁可能であり、そのため複数の論者間で議論・対話・論争が生じうる。このような不確実な推論を含む論証は近年、さまざまな分野で注目され研究が進められているが、論証の構造分析およびその評価・正当化の方法論は確立されていない。本研究では、数学における演繹推論を対象として発展してきた論理学証明論的手法を応用・拡張することで、不確実な日常的推論を含む論証、および議論・論争の数理モデルの構築を目指す。
