doctrine of philosophical necessity