一限I先生授業。エンピリカルな学問分野としての論理学、という発想について。古典論理は中心的重要性をもつにしても、機械学習等の周辺分野においてはユニバーサルな使用価値を保持できるわけではないだろう、と。PROLOGなりGOLEMの論理学に対する位置関係…