教員紹介 :: 岡本 賢吾

研究テーマ (1)圏論・線型論理など、近年の重要な論理学的・数学的理論の発展を踏まえながら、(2)フレーゲ・ウィトゲンシュタインから、ヒルベルト・ブラウワー、さらにゲーデル・タルスキ・ゲンツェンらにいたる「論理学／数学基礎論」の歴史を捉え直し、(3)現代におけるその哲学的な意義・射程・可能性を考察する。 研究キーワード 命題、判断、証明、真理、無限、様相、概念記法、圏論、線型論理、包括原理、カリー=ハワード対応、双対性、フレーゲ、ウィトゲンシュタイン、ヒルベルト、ブラウワー、ゲーデル、タルスキ、ゲンツェン