Ведь предикат должен быть отличен от субъекта: ничто не сказывается о самом себе; никто не говорит, что человек есть человек. Но определение не отлично от определяемого: «животное разумное смертное» есть не что иное, как человек; это – разъяснение человека и как бы его раскрытие. Следовательно, определения не сказываются о определяемых, а ограничивают, что есть определяемое.
Роды же и видовые отличия сказываются [о видах], потому что они отличны от них: ведь сказать «животное» – не то же, что сказать «человек», или «человек» – не то же, что «разумное». Когда мы говорим, что человек есть животное или разумное, мы сказываем о человеке то, что отлично от него.
Гипотезы же, как и вообще всякое утверждение и отрицание, высказывают о сущности присущее или неприсущее ей – либо само по себе, либо по совпадению.
Гипотеза, в свою очередь, делится на два вида: один называется гипотезой омонимично роду, другой – постулатом. Общее для всякой гипотезы то, что она основывается не на естественном понятии, а принимается от учителя; например, что в вещах есть движение, что ничто не происходит из ничего, что от любой точки до любой точки можно провести прямую линию, что вокруг любого центра и на любом расстоянии можно описать окружность.
Те [гипотезы], которые кажутся неочевидными и неизвестными, но требуют обоснования и принимаются от учителя без доказательства, называются постулатами. Например, что две прямые, исходящие под равными углами, совпадают, – это принимается от геометра без доказательства, но требует большего обоснования для доказательства. Так, Птолемей посвятил целую книгу доказательству этого.
Здесь следует остановиться на этом различии. Однако, углубляясь далее, [можно сказать, что] постулат делится на тот, который не известен ни так, ни иначе, и на тот, который известен противоположным образом.
Например, что он говорит? Когда геометр утверждает, что прямые углы равны между собой, слушатель, не знающий геометрии, не имеет мнения ни о том, что они равны, ни о том, что неравны; однако геометр принимает это как согласованное.
С другой стороны, когда геометр говорит: «две прямые не охватывают пространства», слушатель думает противоположное – что они охватят узкое пространство. И о точке он убеждён, что она не бестелесна, и о линии думает, что она имеет ширину.