. . . "any formal system of reasoning that arrives at the truth by the exchange of logical arguments" . . "Wordnet Synset 06173264-n" . .