Treatise on Logic

Ein Argument, das aus zwei Prämissen, die ein gemeinsamer Mittelbegriff verbindet, einen Schluss zieht. Aus „Jeder Mensch ist ein Lebewesen“ und „Jedes Lebewesen empfindet“ folgt, dass jeder Mensch empfindet; „Lebewesen“ ist der Mittelbegriff, der die beiden anderen verknüpft und dann wegfällt. Die Abhandlung legt die Figuren dar, also die Stellungen dieses Mittelbegriffs, und sagt, welche davon einen gültigen Schluss ergeben.

Sie werden nach ihren Prämissen geordnet. Ein Beweis ruht nur auf wahren Prämissen und beweist. Ein dialektisches Argument ruht auf allgemein anerkannten Meinungen und gewinnt Streitgespräche. Ein rhetorisches ruht auf dem, was man von vertrauenswürdigen Menschen übernimmt, und überredet. Ein sophistisches verbirgt eine Unwahrheit und täuscht. Ein poetisches wirkt durch Bilder und Vergleiche und lässt Dinge anziehend oder abstoßend erscheinen. Wer weiß, welche Art er vor sich hat, weiß, wie weit er ihr trauen darf.

Ein Wort, das für mehrere verschiedene Dinge gebraucht wird. Im vollen Fall haben die Dinge nichts gemeinsam: Das hebräische Wort ajin bedeutet sowohl das Auge als auch eine Wasserquelle. Andere gemeinsame Namen sind von einer Sache auf eine andere übertragen oder entlehnt, weil eine gewisse Ähnlichkeit besteht. Die Bedeutungen eines Wortes zu verwechseln, ist eine der häufigsten Quellen falscher Argumente, darum zählt die Abhandlung sechs Arten gemeinsamer Namen auf.

Sie nennt die weitere Gattung, zu der ein Ding gehört, und dann das Merkmal, das es innerhalb dieser Gattung abhebt. „Der Mensch ist ein Lebewesen, das spricht“: Lebewesen ist die Gattung, die der Mensch mit den Tieren teilt, und das Sprechen, gemeint ist die Fähigkeit zu denken, ist der Unterschied, der ihn absondert. Nennt man die Gattung nur mit einer bloßen Eigentümlichkeit statt mit dem Unterschied, erhält man eine Beschreibung, keine Definition.