四、关于“应用逻辑学”问题