哲学の議論を実証的に精密化