4. Аристотелівська класифікація суджень

Інша форма мислення - поняття, за Арістотелем, - це загальне, властиве усім предметам роду або виду, воно відображає сутність речей. У його творах знаходимо класифікацію понять: * тотожні, * контрарні, * контрадікторі, * підпорядковані, * співпідпорядковані, * субконтрарности поняття, а також * категорії. Процес мислення, як вважав Аристотель, йде від менш загальних понять до більш загальних і завершується найбільш широкими за обсягом поняттями - категоріями, які перебувають на вершині ієрархії понять.

Найбільшим досягненням в галузі логіки Арістотель вважав відкриття силогізму, тобто міркування, в якому при затвердженні будь-якого з нього необхідно випливає дещо відмінне від того, що затверджується, і саме внаслідок того, що це є. Таке відмінне не вимагає ніякого стороннього терміну, щоб слідувати з наявних суджень з необхідністю.Аристотель подає і більш вузьке визначення силогізму як умовиводу, в якому один з термінів повинен міститися в позитивному передумови і один повинен бути взятий в повному обсязі, оскільки без загального передумови коректний силогізм неможливий. Силогізми першої фігури він вважав досконалими. Аристотель сформулював наступні загальні правила силогізму:

- Якщо обидва передумови негативні або часткові, то з них неможливо зробити висновок;

- У силогізмі один посилка повинна бути загальним, інший стверджує;

- У силогізмі має бути три і не більше терміни.

Аристотелівська сіллогістіка була першою дедуктивної системою. Вона заклала фундамент формалізації процесів мислення і тим самим створила основи формальної логіки як науки про закони і формах правильного мислення. На цій системі базувалася концепція обчислення предикатів у сучасній математичній логіці. Хоча Аристотель істотно спирався в логічних дослідженнях на ідеї Геракліта, Демокріта, Платона та інших давньогрецьких мислителів, він, безперечно, є новатором, автором геніальних відкриттів в області логіки. Він вперше виклав положення логіки в систематичному вигляді, тому по праву вважається основоположником логіки як науки.

Розглянемо ряд напрямів у сфері логіки, які розвивалися після Аристотеля. Його учні Феофраст і Евдем Родоський продовжували дослідження свого вчителя. Теофраст вніс деякі уточнення в трактування операцій заперечення і квантифікації. Він підкреслював, що не байдужий, де ставити заперечення: перед дієсловом або іменником. Наприклад, судження "х не знає науку" і "х знає науку" один одного заперечують. Якщо поставити частку "не" перед іменником, а не дієсловом, такі судження не є негативні "х знає науку", "х знає не науку".

Основи пропозиційні логіки, або логіки висловлювань закладено логічної школою стоїків. Її засновником був Зенон з Китиона (336-264), а найбільший внесок у цю область логіки зробив Хрізіпп (281-208). Стоїкам належить концепція аксіоматичної побудови теорії, а також осмислення і систематизація несиллогистических і релятивних умовиводів. На думку стоїків, дотримання правил формальної логіки гарантує лише коректність виведення висновку із засновків, а не дійсну істинність висновку. Логічне вчення стоїків було новаторським в порівнянні з підходами Аристотеля і його учнів.

Істотний внесок у розробку логічної проблематики здійснили мислителі школи, засновником якої був Епікур (341-270) з Афін. Він вважав, що мислення є спогадом про минуле досвіді. Епікур використовує індуктивний підхід до пояснення виникнення логічних форм. Всі думки народжуються з почуттів завдяки збігу, відповідності, схожості та синтезу.

Епікур

Важливим основоположним принципом епікуреїзму є така ідея: "Дослідити природу потрібно не на основі порожнистих посилок і упереджень, а так, як того вимагають самі явища". На цьому положенні грунтується індукція епікурейців - первинними в процесі пізнання є явища, а не аксіоми. Найбільш відомим послідовником Епікура в області логіки був Філодем (110-39) з Гадара, римлянин, сучасник Цицерона. На основі індукції він розробив метод аналогії, порівнював факти та явища і співвідносив їх з іншими фактами та явищами.

Сучасниками стоїків і епікурейців були скептики, які також цікавилися логікою. Представники цієї школи Піррон(365-275), Тимон (320-230), Карнеад (214-129) зробили істотний внесок у теорію аргументації. Кожен вислів вони розглядали як теза і антитеза, підкреслюючи, що теза не є правильною, але й антитеза некоректна. Отже, і тезу, і антитезу є помилковими. Тому цілком правомірно сумнів щодо можливості існування істинних аподиктичні суджень.

Після довгого періоду занепаду логічної науки в Ш-1V ст. н.е. виникає містико-ідеалістична філософія неоплатонізму. Логічні дослідження зводяться до коментарів положень Аристотеля. Найталановитішим коментатором аристотелевских робіт був Порфирій (232-301). Він написав працю "Введення в" Категорій "Арістотеля", в якій аналізуються такі поняття логіки: * рід, * вид, * видову відмінність, * власна ознака », * випадкова ознака". Порфирій поставив питання про онтологічному статусі понять, тобто про те, чи відповідає загальним поняттям щось в реальній дійсності і в якому сенсі існують ці універсалії - залежно від того чи поруч з ними. Вважається, що Порфирій заклав основи обчислення класів. В "Запровадження" Порфирія містяться положення про відмінну ознаку, по суті, відокремлює одну річ від іншої.

Досягнення логіки римської епохи античності стали посередником між логічним вченням Аристотеля, його послідовників і логічними ідеями Середньовіччя. У римський період спостерігається зближення проблематики логіки з завданнями Рітарикі. Організація громадського життя Стародавнього риму зумовила велику популярність ораторського мистецтва, завдяки чому була розроблена латиномовна термінологія. Значний вклад в категоріальний апарат логіки зробив М. Т. Цицерон (106-43). Він ввів ряд термінів, важливих для розвитку логіки: "evidente" - виразне уявлення, "varietas" - різноманітність, "differentia" - різниця, "notio" - поняття, "propositio" - посилка силогізму, "partitio" - поділ цілого на частини , "disparatus" - суперечливий, "complementum" - доповнення та ін