Assertion: formal consequence | /r/HasProperty | the one
Facets:
value: for him
type: OTHER
Source sentences:
text: The Pseudo-Scotus treatise also offers an interesting formulation of the simple vs. as-of-now distinction: in contrast with e.g. Burley, according to Pseudo-Scotus this distinction applies only to material consequences (recall that for him, a formal consequence is the one that satisfies the substitutional criterion), and amounts to the modal value of the missing premise that can be added in order to turn the (enthymematic) consequence into a formal one.