ST as a criterion must distinguish what makes inferences valid *qua* logic from what makes premises ...
This proposition has not been edited since the history system was added.