(Различные виды определений)
Но так как определение, как полагают, есть высказывание, объясняющее что есть (данная) вещь, то очевидно, что оно есть или некоторое высказывание, разъясняющее, что обозначает название, или высказывание, обозначающее (вещь) другими (словами), например, что обозначает треугольник (или) что есть (фигура), поскольку она (называется) треугольником. Когда мы (в таком случае) знаем, что (вещь) есть, мы спрашиваем, почему она есть. Но трудно так понять (вещь), о которой мы не знаем, что она есть. Причина же этой трудности была уже указана раньше, (именно), что мы даже не знаем, есть ли (данная вещь) или нет, разве только случайно. Высказывание же едино в двояком смысле: или через объединение, как, например, "Илиада" [1], или же так, что одно высказывается об одном, (притом) не случайно [2].
Итак, одно определение определения есть то, о котором (только что) сказано; другое же определение есть высказывание, объясняющее, почему (вещь) есть. Первый (вид определения), хотя и обозначает (нечто), но не доказывает его; второй же (вид) является как бы доказательством того, что есть (данная вещь), но отличается от доказательства по положению (терминов). Ведь не одно и то же, скажем ли мы: почему гром гремит? и что такое гром? На первый вопрос ответят: потому, что огонь потухает в облаках; но что такое гром? - шум при потухании огня в облаках. Так что одно и то же высказывание выражается (двумя) различными способами: один раз - как связное доказательство, другой раз - как определение. Далее, определение грома будет: шум в облаках; но это есть заключение доказательства того, что есть (гром). Определение же неопосредствованного есть недоказуемое положение о том, что есть (это неопосредствованное).
Таким образом, одни определения являются недоказуемыми высказываниями о том, что есть (данная вещь), другие же - силлогизмами о том, что (она) есть, отличающимися от доказательства падежом; третьи же (определения) являются заключениями доказательства того, что есть (данная вещь). Из сказанного, таким образом, очевидно, в каком случае может быть дано доказательство того, что есть (данная вещь), и в каком случае - нет, а также - (доказательство) чего есть и чего - нет; далее, сколькими способами дается определение и каким образом оно доказывает, что есть (данная вещь), и каким образом - нет, а также - определение чего есть и чего - нет; затем, каково его отношение к доказательству и каким образом можно (дать определение) того, (для чего есть доказательство), и каким образом нельзя.