Formal validity (via syntax/rules) and material validity (via impossible premises) are metaphysicall...
This proposition has not been edited since the history system was added.