Aristotle's great contribution to rationalist thinking comes from his use of syllogistic logic.
In Dignāga's method of syllogistic logic, agreeing and different examples are needed to establish concomitance of the middle term.
The system is also useful in the analysis of syllogistic logic, serving to identify the allowed logical conversions from one type to another.
Prior to the work of these three men, term logic (syllogistic logic) was widely considered adequate for formal deductive reasoning.
It was so near to syllogistic logic that Blade was again taken aback.
This advancement was different from the traditional syllogistic logic which was focused on terms.
Predicate logic has been described as combining "the distinctive features of syllogistic logic and propositional logic."
Traditional Aristotelian syllogistic logic and modern symbolic logic are examples of formal logics.
Nonetheless, problems with syllogistic logic were not seen as being in need of revolutionary solutions.
Aristotelian syllogistic logic specifies a small number of forms that the relevant part of the involved judgements may take.