Assertion: logic | /r/HasProperty | free
Facets:
value: legitimately
type: MANNER
Source sentences:
text: But since the logic is free, specification requires the question-begging premise \(\rE!i\).
text: Whether such logics can legitimately be considered free is controversial.
text: Any logic that combines rigid designators with quantifiers over the domains of worlds in which their referents do not exist must be free.
text: The logic must be free because it deals with an empty singular term, and it must be positive, because only on a positive semantics can empty-termed atomic statements be true.
text: Moreover, on the strictly semantic definition used in this article (Section 1.1), which is also that of Lehman 2002, whether the members of \(\bD\) exist is irrelevant to the question of whether a logic is free.