矢田部 俊介

研究（論理学）

私の専門は哲学的論理学で、循環的な現象（自己言及的な現象とも言います）に興味を持ち、非古典論理、特にファジイ論理上の素朴集合論および無制限なT-図式を許すような真理理論を主に研究しています。どちらの理論も、古典論理上ではラッセルのパラドックスや嘘つきのパラドックスのような循環的なパラドックスにより矛盾を導きますが、非古典論理上では矛盾を導きません。それらの理論は、非常に面白い性質、例えば一般化された再帰的定義や余帰納的定義などが可能になるという性質を持ち、その研究は、哲学的論理学の視点からのみならず、計算機科学の視点からも非常に興味深いものです。

過去の大学での論理学の授業は、以下のYouTubeチャンネルで配信しています。

https://www.youtube.com/channel/UCwXt5me9JwL1N7gkXIDLYXQ?view_as=subscriber
Erdös Number は 3、Shelah number は2。