є побудова равносторонней прямокутної фігури, рівновеликої нерівносторонні, У відповіді цьому висловлено визначення. Особливість його в тому, що в ньому немає вказівки на причину самої равновеликости. Відповідно до Аристотеля, таке визначення є не доказ, воно дає лише висновок докази [9, II, 2,413 а 13 і сл.]. Таке визначення, по спостереженню Аристотеля, зустрічається рідко, і Аристотель вважає це недоліком більшості існуючих визначень. «Адже визначення, - говорить він, - має розкрити не тільки те, що є, як це робиться в більшості визначень, але визначення повинно містити в собі і виявляти причину» [там же] .У проблеми докази Аристотель розрізняє знання достовірне і лише ймовірне («правдоподібне»). Початком докази не може бути, за Арістотелем, ні неправдоподібне, ні навіть правдоподібне знання, і умовивід має бути побудовано з необхідних посилок. «... Початком, - читаємо в« Аналітиці », - не є правдоподібне або неправдоподібне, але первинне, належне до того роду, про який ведеться доказ ...» [5, I, 6, 74 в]. Дві думки характерні для арістотелівської теорії Докази. Перша полягає в твердженні, що вихідні початку докази - сутності, природа яких недоступна доказу; друга - в твердженні, що доказ все ж здатне отримувати з сутностей властивості, що випливають з їх природи. Досягається це за допомогою розподілу. Для цього необхідно. «Брати все, що відноситься до суті [речі], і діленням [все] розташувати по порядку, визначивши первинне і нічого не залишаючи без уваги. І це [приписуване] необхідно [містить визначення], якщо все включається в розподіл і нічого не береться до »[5, II, 5, 91 в 28 сл.]. Цінність, в очах Аристотеля, цього способу отримання властивостей з сутностей випаде ще більшої , якщо врахувати, що сутності, пізнання яких має на увазі Арістотель, в більшості не прості, а складні. Знання про такі сутності дано в судженнях, які вказують відношення «матерії» до «формі» .. 'Саме цей метод застосовується в доказі. Останнє є умовивід, в якому з суті з необхідністю виходять справжні властивості. свой- | |