Sentence examples for a logical analysis from inspiring English sources

This development, by extending the use of function-argument analysis in mathematics to logic and providing a notation for quantification, was essentially the achievement of his first book, the Begriffsschrift (1879), where he not only created the first system of predicate logic but also, using it, succeeded in giving a logical analysis of mathematical induction (see Frege FR, 47-78).

The writing section will still have two parts, one asking for a logical analysis and the other seeking an expression of the student's own views.

His own claim that he thought he won nine rounds, and therefore the fight, was a confirmation of continuing pride rather than a logical analysis.

Sometimes a difficult diagnosis is made, not by performing a large number of lab tests or by a logical analysis of what the patient presents, but by a fortunate association in the physician's mind.

In a logical analysis of a sentence, the various predicate-functions are isolated, and the truth-value of the whole is seen to be determined by the outputs of these functions.

In his three stages Comte combined what he considered to be an account of the historical order of development with a logical analysis of the leveled structure of the sciences.

Although subsequent philosophers were to question the assumption that there could ever be a definitive logical analysis of a given statement, the idea that ordinary language may be systematically misleading has remained.

Playing chess requires a deep logical analysis of the possible moves that can be made next in the game.

The modeling works of gasification process requires a systematic logical analysis in order to efficiently disseminate the embedded information.

If this analysis is successful then it would constitute a broadly logical analysis, since the expressions on the right hand side of the account can each be defined using only broadly logical vocabulary.

Computer scientists in general are familiar with the idea that logic provides techniques for analyzing the inferential properties of languages, and with the distinction between a high-level logical analysis of a reasoning problem and its implementations.