Sentence examples for strict implication from inspiring English sources
noun
A material implication that is acted upon by the necessity operator from modal logic.
Modal logic, formal systems incorporating modalities such as necessity, possibility, impossibility, contingency, strict implication, and certain other closely related concepts.
In logic, Lewis criticized contemporary formal systems using material implication and proposed an alternative system of logic based upon strict implication.
An alternative equivalent way of explaining the notion of strict implication is by saying that p strictly implies q if and only if it is necessary that p materially implies q. "John's tie is scarlet," for example, strictly implies "John's tie is red," because it is impossible for John's tie to be scarlet without being red (or it is necessarily true that, if John's tie is scarlet, it is red).
Diodorus' conditional is thus reminiscent of strict implication.
Critics objected that strict implication posed its own alleged paradoxes.
Diodorus' criterion bears some resemblance to the modern concept of strict implication.
Philo introduced a version of material implication; Diodorus devised a forerunner of strict implication.
He added a new connective to classical logic, that of strict implication.
Paradoxes of strict implication similar to those of material implication arise too.
Unfortunately, from a relevant point of view, the theory of strict implication is still irrelevant.
Should it be, he would then adjudicate S1 as the proper system for strict implication.
