Исследованию умозаключений и рассуждении посвящена «Топика» Аристотеля. В ней в качестве цели «диалектики» указывается или установление определения или опровержение.
Кроме различных способов «испытания», «диалектика» Аристотеля выдвигает другую важную проблему. Это исследование высших начал знания посредством рассмотрения противоречий и трудностей, которые могут обнаружиться при разработке того или иного вопроса. Такое рассмотрение образует «апоретический» метод исследования[29]. происходит от aporia («трудность», «недоумение»)
«Апоретический» метод — тренировка ума, ведущая к непосредственному усмотрению начальных положений науки об исследуемом предмете. Здесь мысль Аристотеля приближается к учениям Сократа и особенно Платона об «эвристическом» и педагогическом значении «диалектики» противоречий в подготовке к познанию трудно уловимой истины.
Вторая часть теории познания совпадает с логикой. Она выясняет условия, исследует методы уже не вероятного только, а достоверного знания. Главные предмета этой части — теория определения и теория доказательства
Согласно первой точке зрения на определение, задача определения в том, чтобы указать такие свойства определяемой сущности, которые, не составляя самой этой сущности как таковой, все же следовали бы из нее. Только при наличии определения знанию не угрожает регресс в бесконечность, а доказательство получает необходимый для него отправной пункт. Такова первая точка зрения на определение. Но ею вопрос об определении не исчерпывается. Согласно второй точке зрения Аристотеля на определение неделимые простые сущности имеют бытие не только как сущности в себе, но и как сущности для нас.
В науке ценность причинных определений обусловлена их ролью в доказательстве. Собственная задача определения в том и состоит, что оно дает причинное, необходимое объяснение, и притом объяснение, касающееся сущности. Соответственно с этим, по Аристотелю, имеются доказательные определения. В них сущность — предмет непосредственного созерцания — доставляет уму предмет для рассуждения. Для этого в этой сущности различают часть, не подлежащую доказательству, а также часть доказуемую.
В проблеме доказательства Аристотель различает знание достоверное и лишь вероятное («правдоподобное»). Началом доказательства не может быть, по Аристотелю, ни неправдоподобное, ни даже правдоподобное знание, и умозаключение должно быть построено из необходимых посылок.
Две мысли характерны для аристотелевской теории доказательства. Первая состоит в утверждении, что исходные начала доказательства — сущности, природа которых недоступна доказательству; вторая — в утверждении, что доказательство все же способно получать из сущностей свойства, вытекающие из их природы.
Ценность, в глазах Аристотеля, этого способа получения свойств из сущностей представится еще большей, если учесть, что сущности, познание которых имеет в виду Аристотель, в большинстве не простые, а сложные. Знание о таких сущностях дано в суждениях, которые указывают отношение «материи» к «форме».
Именно этот метод применяется в доказательстве. Последнее есть умозаключение, в котором из сущности с необходимостью получаются истинные свойства. Свойства эти следуют из сущности, но не порождают ее как таковую. Научное умозаключение исходит как из начальных и непосредственных, из максимально очевидных истин. Заключение зависит от них как от своей причины, а его применение адекватно его предмету.
Задача доказательства — привести к усмотрению, что некоторое свойство принадлежит предмету или что некий предикат принадлежит субъекту.
Всякое доказательство опирается на некоторые положения, как на исходные начала. Иногда начала, в свою очередь, выводятся из некоторых предшествующих им начал посредством нового доказательства.
Так обстоит дело с познанием свойств, приписываемых единичным «сущностям». Аристотель различает три вида недоказуемых начал: 1) аксиомы[30]; 2) предположения; 3) постулаты[31].
Аксиомы — положения, обусловливающие возможность какого бы то ни было знания либо в любой науке, либо в группе взаимозависимых наук. Пример аксиомы, общей для группы наук: две величины остаются равными, если у них отнять равные части. Пользуются ими, потому что они определяют сущее как таковое.
Предположениями Аристотель называет положения, которые сами по себе доказуемы, но в пределах данного научного рассуждения принимаются без доказательства.
Постулатами («требованиями») Аристотель называет положения, которые принимаются в пределах данного научного рассуждения, но принимаются или при полном отсутствии у учащегося мнения по поводу исследуемого предмета, или даже при наличии несогласия учащегося с постулируемым положением.
Главная и наиболее оригинальная часть логики Аристотеля — его теория силлогизма и теория доказательства. В учении о силлогизме он сам сознавал себя пионером и признавался, что на создание этой теории он затратил большой труд.
Аристотель — основатель формальной логики. Он мог стать им вследствие сделанного им фундаментального для всей логики открытия. Исследуя строение силлогизмов, он все термины в них представляет буквами, т. е. вводит в логику переменные.
Логика эта не есть конкретное учение о конкретных вещах или терминах, не есть учение о «человеке», «смертности» и «Сократе» («все люди смертны», «Сократ — человек», «следовательно, Сократ смертен»). Логика — наука о законах силлогизмов, выраженных в переменных, а не наука о приложении этих законов к примерам или конкретным терминам. Силлогизм Аристотеля вовсе не есть вывод типа: «Всякое В есть Л; всякое С есть В; следовательно, всякое С есть Л». Только под влиянием логики стоиков силлогизм Аристотеля был истолкован как вывод, вроде указанного. У самого Аристотеля силлогизм — импликация указанного выше типа:
Если А присуще всякому В
и В присуще всякому С,
то А присуще всякому С.
Это адекватный пример аристотелевского силлогизма
Аристотелевская логика предполагает свое применение только к общим терминам — вроде: «животное» или «млекопитающее». Но и эти термины собственно характеризуют не саму его логическую систему, а лишь сферу ее применения.
Аристотель разделил все силлогизмы на «совершенные» и «несовершенные». «Совершенные» силлогизмы — это, по сути, аксиомы силлогистики: не требующие доказательства и недоказуемые самоочевидные утверждения. «Несовершенные» силлогизмы лишены очевидности и доказываются.
Логика Аристотеля была подготовлена всем предшествующим развитием философской мысли Древней Греции. Уже первые греческие философы занимались научным исследованием природы, и только потому, что до нас дошли лишь свидетельства о результатах этих исследований, а не о том, какими путями философы пришли к ним, мы не знаем, какими умозаключениями и доказательствами они пользовались. Ионийские философы-материалисты придерживались того взгляда, что мышление должно опираться на чувственные данные и ими же проверять свои заключения. Парменид же отверг достоверность чувственных данных и в противоположность ионийским философам в качестве основного критерия истины выдвинул формально-логический закон отсутствия внутреннего противоречия, согласие истины с самой собой. Демокрит уже выступает в качестве автора специального трактата по логике, в котором проводит мысль, что основой умозаключений должны служить достоверные данные опыта, а проверкой истинности заключений – их пригодность для объяснения явлений мира.
Софистика и риторика (основатель последней Горгий) повысили интерес к вопросам логики. Сократ и Платон пытались решить основные вопросы логики на идеалистической основе.
Аристотель имел перед собой логику Демокрита и логику Платона. От них он исходит. Так, самое главное логическое учение Аристотеля – его теория категорического силлогизма – возникло из критики платоновского учения об определении понятия путем логического деления. Аристотель, критикуя Платона, указывает, что платоновский «путь вниз» (от высших понятий к низшим путем их логического деления) может дать лишь вероятные результаты, а не вполне достоверные, что это лишь «диалектический путь вниз», а не аподиктический. Этому пути Аристотель противопоставляет свою дедукцию в форме категорического силлогизма, гарантирующего абсолютную достоверность заключения при истинности посылок.