Remarkably, he found that a simple modification of general relativity's equations entailed something that would have, well, blown Newton's mind: antigravity — a gravitational force that pushes instead of pulls.
This is produced by a self-referential sentence claiming 'If I am true, then ⊥', where ⊥ is a constant (what logicians usually call the falsum) which is or entails something that is also dialetheically unacceptable, say ⊥ = 'Everything is true', the trivialist claim.
For instance, the principle of identity, Everything is identical to itself entails There exists something that is identical to itself.
'Ronald McDonald' seems like a referring term, open to existential generalization, in the sense that a sentence like 'Ronald McDonald does not exist' entails 'There is something that does not exist', and 'exists' seems like a predicate that applies or fails to apply to the designation of subject-place terms.
They know that they need to be ready to do anything to fight against the terrorist threat, even if that entails doing something that's actually inefficient.
But according to the Meinongian picture, (2) and (3) are acceptable consequences, since they do not entail the existence of something that is both round and square.
Outsourcers also threaten us because their growth entails the dismantling of something that was familiar.
For an actualist, from the fact that there might have been aliens (◇∃xAx), BF entails that there exists something that could have been an Alien (∃x◇Ax).
With so many pressures on journalists to do good work with ever-diminishing resources and opportunities, I wish I did not want to suggest something that entails even more time and effort.
Paul and Patricia Churchland assert that Turing's "results entail something remarkable, namely that a standard digital computer, given only the right program, a large enough memory and sufficient time, can compute any rule-governed input-output function.
