Sentence examples for areas of logic from inspiring English sources

Combinatory logic (henceforth: CL) is an elegant and powerful logical theory that is connected to many areas of logic, and has found applications in other disciplines, especially, in computer science and mathematics.

Of a much less controversial nature is the extensive and fruitful use of recursive function theory and related areas of logic in formal grammars and in the formal models of language users.

Johann Jakob Engel, the renowned philosopher and writer, introduced the young Humboldt to modern and contemporary European philosophy in the areas of logic, aesthetics, metaphysics and language philosophy.

With the assistance of this Agent Intellect, the potential intellect is able to receive all intelligible forms, beginning with "the first intelligibles which are common to all men," in the areas of logic, ethics and science (Walzer, 205).

It makes model-theoretic techniques applicable to linguistic reasoning, This makes the underlying reasoning problems much more transparent, and makes it possible to apply many well-developed areas of logic to grammar formalisms.

Original philosophical contributions are testified only for Diodorus Cronus and Philo, in the areas of logic, language and theory of motion (for Diodorus' contributions in the latter two areas see entry Diodorus Cronus); their views on logic were influential on Stoic logic, which in turn anticipated many of the developments in 20th century logic.

When (1), (2), and (4) are considered, the field is the central area of logic that is variously known as first-order logic, quantification theory, lower predicate calculus, lower functional calculus, or elementary logic.

This area of logic deserves, and urgently needs, to be studied by historians.

Although Bolzano did not directly influence modern developments — in the area of logic, for instance —, he obviously did achieve a very tangible "indirect" and subliminal effect.

The one that is considered the standard model in the area of logic of belief change was proposed by Alchourrón, Gärdenfors and Makinson in 1985 and is, nowadays, known as the AGM model.

We anticipate that this will facilitate research both in the primary area of logic-based reasoning that underlies ontology technology and in cheminformatics, and pave the way for fruitful cheminformatician-logician collaborative opportunities.