鈴木 潤

論理学、特に線形論理を中心とした部分構造論理を研究しています。証明論と(代数的)意味論の双方に加え、それら相互の関係に強い関心があります。

証明論と意味論の関係への関心は、線形論理の創始者であるジャン=イヴ・ジラールの思想や理論から影響を受けています。ジラールの近年の哲学的なプロジェクト「超越論的シンタクス」についても調査中です。

また論理学の研究とは別に、アニメについての哲学的な研究も行っています。分析美学・芸術哲学の議論を参照して日本の商業アニメの特徴を解明したいです。