noun: any formal system of reasoning that arrives at the truth by the exchange of logical arguments noun: a contradiction of ideas that serves as the determining factor in their interaction See Also Logic Syllogism