Assertion: formal logic | /r/HasProperty | concerned with syllogistic forms of deduction
Facets:
value: mainly
type: OTHER
Source sentences:
text: a system of formal logic mainly concerned with the syllogistic forms of deduction that is based on Aristotle and includes some of the changes and elaborations made by the Stoics and the Scholastics