Your English writing platform
Discover LudwigSuggestions(1)
Exact(12)
The inclusive logic of the immigration-rights movement suggests that everyone in the country has the right to be here — which implies that everyone not in the country has the right to come here, too, preferably without being made to run a potentially lethal obstacle course in the Arizona desert.
Inclusive logic (sometimes also called empty or universally free logic) rejects them both.
Finally, this semantics calls for inclusive logic if any world has an empty domain.
For an overview of free logic and inclusive logic, see Bencivenga (1986).
Inclusive logic was conceived and formalized before free logic per se was.
Thus while inclusive logic for a language containing singular terms must be free, free logics need not be inclusive.
Similar(48)
(See Williamson (1999) for an illuminating discussion of problems engendered by permitting open formulas in inclusive logics).
For non-inclusive logic, we may add a rule that introduces ∃xE!x.
Arguably, then, an inclusive, free logic provides the ideal logical environment for applying the quantifier account.[17] A second objection to the sufficiency of the quantifier account relates to the interpretation of the quantifiers of first-order logic.
Some free logics qualify as inclusive quantificational logics, but not all do.
This is, for example, the path taken in Kripke (1963), where Kripke proposes to weaken the axiom of universal instantiation in line with the first version of inclusive quantificational logic discussed earlier.
Write better and faster with AI suggestions while staying true to your unique style.
Since I tried Ludwig back in 2017, I have been constantly using it in both editing and translation. Ever since, I suggest it to my translators at ProSciEditing.

Justyna Jupowicz-Kozak
CEO of Professional Science Editing for Scientists @ prosciediting.com