Sentence examples for view logic from inspiring English sources

According to this traditional view, logic is equated with syllogistic; i.e., with a part of that part of first-order logic that deals with properties and not with relations.

On their view, logic is concerned with validity simpliciter, not just validity that holds in virtue of a limited set of "logical forms".

From the proof-theoretic point of view, logic programming is a theory of atomic reasoning with respect to clausal definitions of atoms.

From this point of view, logic is not just an auxiliary tool for analyzing biological models based on some external formalism, but becomes the core of a research program in which biological processes are the intended semantical interpretation of a non-classical logical system.

Peirce viewed logic as a species of semiotics, but Thomas of Erfurt draws no conclusions at all about logic, which he would have regarded as a separate field of inquiry.

During the pilot, colleagues of Dr. Jones can see new types of recommendations being generated, and they can click on the small view-logic-link next to the new recommendation.

Both the intuitionistic view of logic as essentially sterile, and the existence of results in intuitionistic logic that are incompatible with classical logic, depend essentially on that conception.

According to this view, probability logic is just a particular kind of many-valued logic, and probabilistic validity boils down to "truth preservation": truth (i.e., probability 1) carries over from the premises to the conclusion.

In retrospect, it appears that Łukasiewicz was keen to wish onto Aristotle his own (Fregean) view of logic as a system of theorems based on a propositional logic.

Lincoln incorporated this "Euclidian" view on logic and mathematical reasoning in order to build logical bridges between opposing factions.

From an implementation point of view this logic statement was added to check the increase in runtime due to nesting multiple temporal logic propositions.