[logic-ml] A Workshop on Philosophical Logic and Philosophy of Logicのご案内