Без сомнения, Аристотель был прав, когда утверждал, что мы не должны пытаться доказать или снабдить доказательствами, или демонстрациями, все наше знание. Каждое доказательство должно исходить из посылок. Доказательство как таковое, т. е. выведение следствий из посылок, никогда не может установить истинность какого-либо заключения, а может только показать, что заключение будет истинным при условии истинности посылок. Если бы мы потребовали, чтобы посылки, в свою очередь, были доказаны, вопрос об истинности был бы только сдвинут на другую ступень к новому множеству посылок и т. д. до бесконечности. Именно для того, чтобы избежать этого бесконечного регресса (как говорят логики), Аристотель полагал, что нам следует допустить, что существуют посылки, являющиеся безусловно истинными и не нуждающиеся ни в каком доказательстве. Он называл их «базисными посылками». Если мы признаем верными методы, при помощи которых выводятся заключения из этих базисных посылок, то можно сказать, что, по Аристотелю, все научное знание содержится в этих базисных посылках и что мы обрели бы полное знание, если бы смогли построить энциклопедически полный список всех таких базисных посылок. Однако как же отыскать эти базисные посылки? Подобно Платону, Аристотель полагал, что мы, в конце концов, получаем все знание посредством интуитивного схватывания сущности вещей. «Ведь знание об отдельной вещи мы имеем тогда, когда мы узнали суть ее бытия», — пишет Аристотель11.28 и продолжает: «знать отдельную вещь — значит знать суть ее бытия». «Базисная посылка», по Аристотелю, есть не что иное, как высказывание, описывающее суть бытия (сущность) вещи. Такое высказывание и есть то, что он называет11.29 определением. Таким образом, все «базисные посылки доказательств» являются определениями.
Каким же образом строится определение? Примером определения является следующее высказывание: «Щенок — это молодой пес». Субъект этого определения-предложения — термин «щенок» — называется термином, подлежащим определению (или определяемым термином); слова «молодой пес» — это определяющая формула. Как правило, определяющая формула длиннее и сложнее определяемого термина, иногда намного. Аристотель рассматривал11.30 термин, подлежащий определению, как имя сущности вещи, а определяющую формулу как описание этой сущности. И он настаивал на том, что определяющая формула должна давать исчерпывающее описание сущности, или существенных признаков, рассматриваемой вещи. Таким образом, предложение типа «У щенка четыре ноги», хотя и истинно, тем не менее не является адекватным определением, поскольку оно не исчерпывает того, что может быть названо сутью щенка; оно истинно также и для лошади. Подобным же образом высказывание «Щенок — коричневый», будучи истинным для некоторых, не истинно для всех щенков, оно также описывает не существенный, а только случайный признак вещи, обозначаемой определяемым термином.
