Sentence examples for logical works from inspiring English sources

Gradually, he eliminated simpler logical works and added monographs on logic by Boethius, an early 6th-century Roman philosopher.

Historical precedents for the pedagogical and research interests that characterize informal logic include Aristotle's rhetorical and logical works, which have been a touchstone for much discussion.

For all his deserved reputation, his logical views are sometimes derivative[11] and occasionally very idiosyncratic.[12] Ockham's main logical writings consist of a series of commentaries (or "expositions") on Aristotle's and Porphyry's own logical works, plus his own Summa of Logic, his major work in the field.

Aristotle's logical works contain the earliest formal study of logic that we have.

However, it should be noted that: (1) these arguments draw on Aristotle's views about logic to a greater extent than any treatise outside the logical works themselves; (2) in the logical works, the principle of non-contradiction is one of Aristotle's favorite illustrations of the "common principles" (koinai archai) that underlie the art of dialectic.

In the monumental if rarely creative volumes of the Greek commentators on Aristotle's logical works we find elements of Stoic and later Peripatetic logic; the same holds for the Latin logical writings of Apuleius (2nd c. CE) and Boethius (6th c. CE), which pave the way for the thus supplemented Aristotelian logic to enter the medieval era.

These characters, and the rest of the programmers, are the least mystical people imaginable, but their severely logical work invokes great mysteries.

Some spintronic devices may be able to do more logical work with a given number of components than traditional chips can manage.

Discussing the earlier logical work of Kurt Gödel, Leavitt says that it established that the axiomatic system of Bertrand Russell and Alfred North Whitehead's "Principia Mathematica" was "inconsistent," when Gödel proved no such thing, and a definition of something called Skewes number is precisely backward.

On Tarski's logical work see also Simmons (2009).

In most logical work on verification, for example, there is no useful notion of world information.