Assertion: correct logic | /r/HasProperty | such that
Facets:
Source sentences:
text: It follows that whenever two putatively equally correct logics, \(L_{1}\) and \(L_{2}\) are such that \(L_{2}\) is a proper sub-system of \(L_{1}\), one would appear to have reason to opt for \(L_{1}\) since it is more conducive to one’s aim of having true beliefs.