Аристотель. Метафизика // Сочинения.. В 4 т. М., 1975. Т 1. С. 159, 258 — 262
Противолежащими называются противоречащее одно другому, противоположное (tanantia) одно другому, соотнесенное, лишенность и обладание, а также последнее «откуда» и последнее «куда» — такие, как разного рода возникновение и уничтожение; равным образом противолежащими называются те свойства, которые не могут вместе находиться в том, что приемлет их, — и сами эти свойства, и то, откуда они. Действительно, серое и белое не находятся вместе в одном и том же, а потому те [цвета] откуда они, противолежат друг другу.
Противоположными называются [1] те из различающихся по роду свойств, которые не могут вместе находиться в одном и том же; [2] наиболее различающиеся между собой вещи, принадлежащие к одному и тому же роду; [3] наиболее различающиеся между собой свойства, наличие которых возможно в одном и том же носителе; [4] наиболее различающееся одно от другого среди относящегося к одной и той же способности; [5] то, различия чего наибольшие или вообще, или по роду, или по виду. Все остальное называется противоположным или потому, что имеет указанные противоположности, или потому, что способно принимать их, или потому, что способно делать или испытывать таковые, или оно на самом деле их делает или испытывает, утрачивает или приобретает, имеет или не имеет.
...В одном смысле мы иногда как о тождественном говорим о едином по числу, затем — когда нечто едино и по определению, и по числу, например: ты сам c собой одно и по форме, и по материи; и далее — когда обозначение первичной сущности одно, например, равные прямые линии тождественны, и равные и равноугольные четырехугольники — тоже, хотя их несколько, но у них равенство означает единство.
А сходными называются вещи, когда, не будучи во всех отношениях тождественными и имея различие в своей составной сущности, они одни и те же по форме, как больший четырехугольник сходен c малым, и неравные прямые сходны друг c другом, ибо они именно сходны друг c другом, но не во всех отношениях одни и те же. Далее, вещи называются сходными, когда, имея одну и ту же форму и будучи в состоянии быть больше и меньше, они не больше и не меньше. А другие вещи, когда у них одно и то же по виду свойство (например, белый цвет) бывает [у одной] в значительной степени и [у другой] слабее, называются сходными, потому что форма у них одна. Наконец, вещи называются сходными, когда у них больше тождественных свойств, нежели различных, или вообще, или очевидных; например, олово сходно c серебром, а золото — c огнем, поскольку оно желтое и красноватое.
А отсюда ясно, что о разном, или инаковом, и о несходном говорится в различных значениях. И «другое» в одном значении противолежит «тождественному», а потому каждая вещь по отношению к каждой другой есть либо то же самое, либо другое; в ином смысле говорят о «другом», когда у них ни материя не одна, ни определение не одно и то же, поэтому ты и твой сосед — разное. А третье значение «другого» — то, в каком оно употребляется в математике. Таким образом, каждая вещь обозначается по отношению к каждой другой как «разное» или «тождественное» в той мере, в какой о ней говорится как о едином и сущем, и вот почему: «другое» не есть противоречащая противоположность «тождественному», поэтому оно (в отличие от «нетождественного») не сказывается о не-сущем, а сказывается о всем сущем: ведь всякое сущее и единое есть от природы либо «одно», либо не «одно».
Вот каким образом противополагаются «разное», или «инаковое», и «тождественное», а различие — это не то, что инаковость. Ведь «инаковое» и то, в отношении чего оно инаковое, не должны быть инаковыми в чем-то определенном (ибо всякое сущее есть или инаковое, или тождественное). Различное же различается от чего-то в чем-то определенном, так что необходимо должно быть нечто тождественное, в чем различаемые вещи различаются между собой. А это нечто тождественное — род или вид. Ибо все различающееся между собой различается либо по роду, либо по виду; по роду различаются вещи, у которых нет общей материи и которые не могут возникать друг из друга (таково, например, то, что принадлежит к разным категориям); по виду — те, что принадлежат к одному и тому же роду (а называется родом то, благодаря чему различающиеся между собой вещи называются тождественными по сущности).
Противоположные же друг другу вещи различаются между собой, и противоположность есть некоторого рода различие. Что мы здесь исходим из правильного предположения, это ясно из наведения. Ведь все противоположные друг другу вещи очевидным образом различаются между собой; они не только разные вещи, но одни разные по роду, а другие попарно находятся в одной и той же категории, так что принадлежат к одному и тому же роду, т.е. тождественны друг другу по роду...
Так как различающиеся между собой вещи могут различаться в большей и в меньшей степени, то имеется и некоторое наибольшее различие, и его я называю противоположностью. Что она есть наибольшее различие — это ясно из наведения. Вещи, различающиеся между собой по роду, не переходят друг в друга, а в большей мере отдалены друг от друга и несопоставимы; а у тех, что различаются по виду, возникновение происходит из противоположностей как крайностей; но расстояние между крайностями — самое большое, а потому и расстояние между противоположностями такое же.
Но право же, наибольшее в каждом роде есть нечто законченное, ибо наибольшее есть то, что не может быть превзойдено, а законченное — то, за пределами чего нельзя найти что-то [относящееся к вещи]; ведь законченное различие достигло конца (так же как и остальное называется законченным потому, что достигло конца), а за пределами конца нет уже ничего, ибо конец — это крайний предел во всякой вещи и объемлет ее, а потому нет ничего за пределами конца, и законченное не нуждается в чем-либо еще.
Таким образом, из только что сказанного ясно, что противоположность есть законченное различие; а так как о противоположном говорится в различных значениях, то ему каждый раз будет сопутствовать законченность в том же смысле, в каком ему присуще быть противоположным. И если это так, то ясно, что каждая противоположность не может иметь больше одной противоположности: ведь ничего не может быть еще более крайним, чем крайнее, как и не может быть у одного расстояния больше чем две конечные точки; да и вообще если противоположность есть различие, а различие бывает между двумя вещами, то и законченное различие должно быть между двумя.
Равным образом необходимо правильны и другие определения противоположного, а именно: законченное различие есть наибольшее различие, ибо за пределами такого различия ничего нельзя найти у вещей, различающихся по роду или по виду (ведь было показано, что между чем-то и вещами, находящимися вне [его] рода, нет «различия», а между вещами, принадлежащими к одному роду, законченное различие — наибольшее); вещи, больше всего различающиеся внутри одного и того же рода, противоположны (ибо законченное различие — наибольшее между ними); противоположны также вещи, больше всего различающиеся между собой в том, что может быть их носителем (ведь у противоположностей материя одна и та же); наконец, из тех вещей, которые подпадают под одну и ту же способность, больше всего различающиеся между собой противоположны (ведь и наука об одном роде вещей — одна), и законченное различие между ними — наибольшее.
А первичная противоположность — это обладание и лишенность, но не всякая лишенность (ведь о лишенности говорится в различных смыслах), а законченная. Все же остальные противоположности будут называться так сообразно c этими первичными ротивоположностями; одни потому, что имеют их, другие потому, что порождают или способны порождать их, третьи потому, что приобретают или утрачивают эти или другие противоположности. Если же виды противолежания — это противоречие, лишенность, противоположность и отношение, а первое из них — противоречие и у противоречия нет ничего промежуточного, тогда как у противоположностей оно возможно, то ясно, что противоречие и противоположность не одно и то же. Что же касается лишенности, то она есть некоторого рода противоречие: ведь обозначают как лишенное то, что чего-то лишено либо вообще, либо в некотором отношении, или то, что вообще не в состоянии обладать чем-то, или то, что, будучи по природе способным иметь его, его не имеет (мы говорим здесь о лишенности уже в различных значениях... это разобрано у нас в другом месте); так что лишенность — это некоторого рода противоречие, иначе говоря, неспособность, точно определенная или взятая вместе c ее носителем. Поэтому у противоречия нет ничего промежуточного, но у лишенности в каких-то случаях оно бывает: все или есть равное, или не есть равное, но не все есть или равное, или неравное, разве только то, что может быть носителем равенства. Так вот, если разного рода возникновение для материи происходит из противоположного и исходным служит либо форма и обладание формой, либо некоторая лишенность формы, или образа, то ясно, что всякое противоположение есть некоторого рода лишенность, но вряд ли всякая лишенность есть противоположение (и это потому, что вещь, лишенная чего-то, может быть лишена его не одинаковым образом): ведь противоположно [только] то, от чего изменения исходят как от крайнего. А это очевидно также из наведения. В самом деле, каждое противоположение содержит лишенность одной из противоположностей, но не во всех случаях одинаково: неравенство есть лишенность равенства, несходство — лишенность сходства, а порок — лишенность добродетели. И различие здесь бывает такое, как об этом было сказано раньше: в одном случае имеется лишенность, когда нечто вообще лишено чего-то, в другом — когда оно лишено его или в определенное время, или в определенной части (например, в таком-то возрасте, или в главной части), или повсюду. Поэтому в одних случаях бывает нечто промежуточное (и человек, например, может быть не хорошим и не плохим), а в других — нет (необходимо же числу быть либо нечетным, либо четным). Кроме того, одни противоположности имеют определенный носитель, а другие нет. Таким образом, очевидно, что всегда одна из противоположностей подразумевает лишенность [другой]; но достаточно, если это верно для первичных противоположностей и их родов, например для единого и многого: ведь все другие противоположности сводятся к ним.