Sentence examples for logical technique from inspiring English sources

Further, since the scientist begins with problems rather than with observations or 'bare facts', Popper argues that the only logical technique which is an integral part of scientific method is that of the deductive testing of theories which are not themselves the product of any logical operation.

Small animal PET is a logical technique for validating new tracers relevant to human diseases.

The ability to extrapolate from animals to human studies makes PET a logical technique for both pre-clinical testing of new therapeutic drugs and for the validation of new tracers that might be relevant to the evaluation of human diseases.

Much work is being done to render logical means combining the agent logics discussed and the logical techniques from mainstream computer science for the verification of distributed systems (from section 3), but we are not there yet…!

They have succeeded in breaking new territory for logic by extending the scope of the reasoning problems to which logical techniques can be successfully applied.

Intuitions seem to conflict, and it is difficult to find ways to model the important phenomena using logical techniques.[35] Fagin et al. 1984 begins a tradition in computational logic that revives the modal approach to epistemic logic, developing generalized logical foundations and applications that had not occurred to the philosophers.

More important was Anselm's general method of using logical techniques in theology.

Certain things could be expressed in language, and these were best understood in terms of the logical techniques developed by Russell, he maintained.

To address this issue, we propose an intuitive generalization of logical techniques for handling inconsistency to those that are suitable for managing non-canonical requirements, which deals with incompleteness and redundancy, in addition to inconsistency.

In this paper non-classical logical techniques are introduced to formalize the analysis of multi-interpretable observation information, in particular in approximate classification processes where information on attributes of an object is to be inferred on the basis of observable properties of the object.

But much of the work in this last area has not made heavy use of logical techniques.