Sentence examples for logic on which from inspiring English sources

Every fictional story needs its own internal logic on which real world plausibility cannot trespass.

What could possibly be the logic on which criticism of "The Hunting Ground" could be said to contribute to a hostile environment, or to cause a student to feel unsafe?

The formalization of intuitionistic logic on which all formalizations are based has already been treated above.

Also involved was Peirce's so-called "reduction thesis" in logic (on which more will given below), to which Peirce had concluded as early as 1870.

For Russell, the revolutionary innovations in logic starting in the last decades of the nineteenth century had destroyed Hegel's metaphysics by overturning the Aristotelian logic on which, so Russell claimed, it was based, and in line with this dismissal, Hegel came to be seen within the analytic movement as an historical figure of little genuine philosophical interest.

Pronto implements a probabilistic extension of Description Logics (DLs) [ 27], the First-Order Logic on which OWL is based [ 28].

A better response denies that modal logics on which (1) is true, namely any system as strong as or stronger than the system T, are the right logics for modeling ability.

As a user interacts with Glassware, Mirror sends information about that interaction back to Glassware, which can then perform logic depending on which interaction was chosen, and possibly update the contents of the card.

So the acceptability of axioms for modal logic depends on which of these uses we have in mind.

Moreover, ANN does not propose the core logic base on which the decisions can be made (Hatua et al. 2014).

The idea of possible worlds raised the prospect of extensional respectability for modal logic, not by rendering modal logic itself extensional, but by endowing it with an extensional semantic theory — one whose own logical foundation is that of classical predicate logic and, hence, one on which possibility and necessity can ultimately be understood along classical Tarskian lines.