А отсюда ясно, что о разном, или инаковом, и о несходном говорится в различных значениях. И «другое» в одном значении противолежит «тождественному», а потому каждая вещь по отношению к каждой другой есть либо то же самое, либо другое; в ином смысле говорят о «другом», когда у них ни материя не одна, ни определение не одно и то же, поэтому ты и твой сосед — разное. А третье значение «другого» — то, в каком оно употребляется в математике [5]. Таким образом, каждая вещь обозначается по отношению к каждой другой как «разное» или «тождественное» в той мере, в какой о ней говорится как о едином и сущем, и вот почему: «другое» не есть противоречащая противоположность «тождественному», поэтому оно (в отличие от "нетождественного") не сказывается о не-сущем, а сказывается о всем сущем: ведь всякое сущее и единое есть от природы либо «одно», либо не «одно».
Вот каким образом противополагаются «разное», или «инаковое», и «тождественное», а различие-это не то, что инаковость. Ведь «инаковое» и то, в отношении чего оно инаковое, не должны быть инаковыми в чем-то определенном (ибо всякое сущее есть или инаковое, или тождественное). Различное же различается от чего-то в чем-то определенном, так что необходимо должно быть нечто тождественное, в чем различаемые вещи различаются между собой [6] А это нечто тождественное — род или вид. Ибо все различающееся между собой различается либо по роду, либо по виду: по роду различаются вещи, у которых нет общей материи и которые не могут возникать друг из друга (таково, например, то, что принадлежит к разным категориям); по виду — те, что принадлежат к одному и тому же роду (а называется родом то, благодаря чему различающиеся между собой вещи называются тождественными по сущности).
Противоположные же друг другу вещи различаются между собой, и противоположность есть некоторого рода различие. Что мы здесь исходим из правильного предположения, это ясно из наведения. Ведь все противоположные друг другу вещи очевидным образом различаются между собой; они не только разные вещи, но одни разные по роду, а другие попарно находятся в одной и той же категории, так что принадлежат к одному и тому же роду, т. е. тождественны друг другу по роду. А какие вещи по роду тождественны или различны — это было указано в другом месте [7]
Так как различающиеся между собой вещи могут различаться в большей и в меньшей степени, то имеется и некоторое наибольшее различие, и его я называю противоположностью. Что она есть наибольшее различие — это ясно из наведения. Вещи, различающиеся между собой по роду, не переходят друг в друга, а в большей мере отдалены друг от друга и несопоставимы; а у тех, что различаются по виду, возникновение происходит из противоположностей как крайностей; но расстояние между крайностями — самое большое, а потому и расстояние между противоположностями такое же.
Но право же, наибольшее в каждом роде есть нечто законченное, ибо наибольшее есть то, что не может быть превзойдено, а законченное — то, за пределами чего нельзя найти что-то [относящееся к вещи]; ведь законченное различие достигло конца (так же как и остальное называется законченным потому, что достигло конца), а за проделами конца нет уже ничего, ибо конец — это крайний предел во всякой вещи и объемлет ее, а потому нет ничего за пределами конца, и законченное не нуждается в чем-либо еще.
Таким образом, из только что сказанного ясно, что противоположность есть законченное различие; а так как о противоположном говорится в различных значениях, то ему каждый раз будет сопутствовать законченность в том же смысле, в каком ему присуще быть противоположным. И если это так, то ясно, что каждая противоположность не может иметь больше одной противоположности: ведь ничего не может быть еще более крайним, чем крайнее, как и не может быть у одного расстояния больше чем две конечные точки; да и вообще если противоположность есть различие, а различие бывает между двумя вещами, то и законченное различие должно быть между двумя.
Равным образом необходимо правильны и другие определения противоположного, а именно: законченное различие есть наибольшее различие, ибо за пределами такого различия ничего нельзя найти у вещей, различающихся по роду или по виду (ведь было показано, что между чем-то и вещами, находящимися вне [его] рода, нет «различия», а между вещами, принадлежащими к одному роду, законченное различие — наибольшее); вещи, больше всего различающиеся внутри одного и того же рода, противоположны (ибо законченное различие — наибольшее между ними); противоположны также вещи, больше всего различающиеся между собой в том, что может быть их носителем (ведь у противоположностей материя одна и та же); наконец, из тех вещей, которые подпадают под одну и ту же способность, больше всего различающиеся между собой противоположны (ведь и наука об одном роде вещей — одна), и законченное различие между ними — наибольшее.