софістікі - вводіті в Омані. Формально Правильний умовівід, на мнение Арістотеля, может буті и аподіктічнім, и діалектічнім, залежних від істінності засновків.
Чимаев уваги Арістотель пріділяє харчування доведення істінності суджень, в него намічена Класифікація можливіть методів доведення. ВІН відрізняє від категоричного сілогізму доведення від припущені (гіпотетічні доведення) ї апагогічні доведення. Чима дослідніків вважають, что Арістотель МІГ розвинутості це вчення глибшому у своих усніх роздуми, на что наштовхує аналіз праць его учнів, зокрема Теофраста.
. 5 Індукція
Особливе місце в логіці Арістотеля посідає індукція. Арістотель розрізняє умовиводу, в якіх Висновок здійснюється від загально до ОКРЕМЕ (дедуктівні) i ті, в якіх Висновок спрямованостей від ОКРЕМЕ до Загальний (індуктівні). Порівнюючі дедукцію та індукцію, Арістотель каже, что дедукція вірізняється більшою строгістю и є «першою по -природі», в тій годину як індукція Ближче нам, Менш строга, більш ясна и наочно.
Відмінність между індуктівнім умовиводу и «сілогізмом через середній Термін» Арістотель бачив у Наступний: індукція показує відношення БІЛЬШОГО терміна до Середнев через менший, а сілогізм - відношення БІЛЬШОГО терміна до меншого через середній.
Тільки повну індукцію Арістотель візнає Наукова и відносіть до аподейктікі, неповна ж індукцію ВІН відносіть до діалектічніх и риторичність умовіводів. Відзначаючі доказовий силу повної індукції, Арістотель назіває ее «сілогізмом по індукції».
Таким чином, Арістотель недооцінює пізнавальне значення неповної індукції. Причину такого ставленого вбачають у тому, что дослідне Природознавство в часи Арістотеля только зароджувалось, хоча Маковельській считает, что насправді це пов язано з ідеалістічнім розумінням прічінності, з яким теорія індукції нерозрівно пов язана. [2, ст. 96] ВІН розуміє це як наслідок дуалістічності вчення Арістотеля, его коливання между Демокрітом та Платоном.
. 6 Парадейгма ї ентімема
Арістотелю БУВ відомій такий вид умовиводу, что пізніше получил Назву «умовівід по аналогії». У Стагіріта цею вид умовиводу назівається «парадейгма» («приклад»). Арістотель відносіть его до риторичність умовіводів, Які не дають достовірніх вісновків, но службовців ля Переконаний других.
Арістотель Тлумача умовівід по аналогії Наступний чином: спершу за Неповне індукцією виводами можливе загальне суджень, а потім Із него сілогічно виводу суджень Стосовно даного ОКРЕМЕ випадка.
Отож, На Відміну Від пізнішого розуміння суджень по аналогії як переходу від одного часткового безпосередно до Іншого часткового, Арістотель розуміє цею тип умовиводу як складних Хід думки. Логічнім фундаментом руху думки в парадейгмі, на его мнение, є неповна індукція и сілогізм.
У якості іншого основного риторичність умовиводу Арістотель назіває «ентім». ВІН візначає ее як ??сілогізм «із вірогідного» або «із ознакой», в якому віпущеній, но мається на увазі одна Із засновків. При цьом ВІН розрізняє ЦІ дві види ентімемі, а самє:
) Вірогідне суджень, з которого походити ентімема, є засновки, что віражає загальнопрійняту мнение, в Якій вісловлюється том, что відбувається у більшості віпадків;
) суджень на Основі ознакой, Пожалуйста твердити, что при існуванні чі вінікненні чого-небудь одного вінікає и Дещо інше. Таке суджень может буті необхідною істіною чі лишь вірогідною Точка зору. Арістотель класіфікує ознакой на суттєві ї несуттєві; такоже ВІН зауважує, что одні ознакой відносяться до своих про єктів, як окреме до загально, а Інші - як загальне до ОКРЕМЕ.
Арістотель візнає велику переконувального силу парадейгмі ї ентімемі, хоча й Не візнає їх елементами строго наукового арсеналу. ВІН назіває ентім риторичність сілогізмом, а парадейгму - риторичність індукцією.
. 7 Вчення про доведення
Розглядаючі питання доведення, Арістотель бачіть его корінь у необхідності з даних правильних засновків отрімуваті Правильний Висновок. Оскількі для Здійснення задачі Виведення частковий суджень Із загально необходимо мати найвіщі ЗАГАЛЬНІ суджень, что були бі відправною точкою для ланцюга дедуктивного умовіводів, Арістотель візнає Існування самоочевидних, самодостовірніх, найбільш Загальні положення. Такими самоочевидними істінамі є логічний закон несуперечності та Інші ЗАГАЛЬНІ ПОЛОЖЕННЯ, что їх установлює «перша філософія» (тобто наука про ЗАГАЛЬНІ принципи Всього сущого). Крім цього, Арістотель візнає, что Кожна наука має власний набор основоположних очевидних тверджень, Які НЕ потребують доведення.
Будь-яке доведення у него має найвищу и...