Античная философия

В науке ценность причинных определений обусловлена их ролью в доказательстве. Собственная задача определения в том и состоит, что оно дает причинное, необходимое объяснение, и притом объяснение, касающееся сущности. Соответственно с этим, по Аристотелю, имеются доказательные определения. В них сущность — предмет непосредственного созерцания — доставляет уму предмет для рассуждения. Для этого в этой сущности различают часть, не подлежащую доказательству, а также часть доказуемую В первой части находится основание для бытия второй. «…Наше искание, — выразительно говорит Аристотель, — направлено на материю» почему она образует нечто определенное. Например, почему данный материал образует дом? Потому что в нем находится суть бытия для дома… Таким образом, отыскивается причина для материи, и это — форма, в силу которой материя есть нечто определенное; а форма — это сущность» [7, VII, 17, 1041 в 5–9].

Кроме доказательного определения Аристотель различает еще один вид определения. Поставим, например, вопрос: что такое квадратура? Ответ гласит: квадратура есть построение равносторонней прямоугольной фигуры, равновеликой неравносторонней, В ответе этом высказано определение. Особенность его в том, что в нем нет указания на причину самой равновеликости. Согласно Аристотелю, такое определение есть не доказательство, оно дает лишь заключение доказательства [9, II, 2,413 а 13 и сл.]. Такое определение, по наблюдению Аристотеля, встречается редко, и Аристотель считает это недостатком большинства существующих определений. «Ведь определение, — говорит он, — должно вскрыть не только то, что есть, как это делается в большинстве определений, но определение должно заключать в себе и обнаруживать причину» [там же].

В проблеме доказательства Аристотель различает знание достоверное и лишь вероятное («правдоподобное»). Началом доказательства не может быть, по Аристотелю, ни неправдоподобное, ни даже правдоподобное знание, и умозаключение должно быть построено из необходимых посылок. «…Началом, — читаем в «Аналитике», — не является правдоподобное или неправдоподобное, но первичное, принадлежащее к тому роду, о котором ведется доказательство…» [5, I, 6, 74 в]. Две мысли характерны для аристотелевской теории Доказательства. Первая состоит в утверждении, что исходные начала доказательства — сущности, природа которых недоступна доказательству; вторая — в утверждении, что доказательство все же способно получать из сущностей свойства, вытекающие из их природы. Достигается это посредством деления. Для этого необходимо. «брать все, относящееся к существу [вещи], и делением [все] расположить по порядку, постулируя первичное и ничего не оставляя без внимания. И это [приписываемое] необходимо [содержит определение], если все включается в деление и ничего не упускается» [5, II, 5, 91 в 28 сл.].

Ценность, в глазах Аристотеля, этого способа получения свойств из сущностей представится еще большей, если учесть, что сущности, познание которых имеет в виду Аристотель, в большинстве не простые, а сложные. Знание о таких сущностях дано в суждениях, которые указывают отношение «материи» к «форме».

Именно этот метод применяется в доказательстве. Последнее есть умозаключение, в котором из сущности с необходимостью получаются истинные свойства. Свойства эти следуют из сущности, но не порождают ее как таковую. Научное умозаключение исходит как из начальных и непосредственных, из максимально очевидных истин. Заключение зависит от них как от своей причины, а его применение адекватно его предмету.

Задача доказательства — привести к усмотрению, что некоторое свойство принадлежит предмету или что некий предикат принадлежит субъекту.

Возможные виды силлогизмов не исчерпываются его научной формой. «…[Всякое] доказательство, — говорит Аристотель, — есть некоторого рода силлогизм, но не всякий силлогизм — доказательство» [4, I, 4, 25 в 29]. И он выделяет в классе силлогизмов «риторические» и «диалектические» силлогизмы, вполне корректные по логической связи между посылками и заключениями, но начала их — только вероятные положения, принятые на веру. А в «Топике» [см. Топика, IX, 11, 171 в 8] Аристотель указывает как виды умозаключений силлогизмы «софистические» и «эвристические». В этих силлогизмах, которые по сути есть лишь разновидности предшествующих, более обнажен всего лишь вероятный характер положений, на которых они основываются.

Силлогизм, лишенный того, что делает его доказательным, не способен дать знания о необходимой причинной связи. Для такого знания в известном смысле лучше, если причинная связь интерпретирована в понятиях содержания, например «смертность принадлежит человеку». Аристотель часто дает именно такую интерпретацию. Но еще важнее для него интерпретация причинной связи как включения. Это или включение частного в общее, или вида в род посредством выделения видового различия, или единичного экземпляра в класс.