Розділ VII. Історичний характер логіки як науки

У праці "Категорії" Арістотель розкриває природу найзагальніших понять або категорій. У праці "Про тлумачення" дається визначення судження як форми мислення, здійснюється класифікація суджень, досліджуються умови їхньої істинності. Основною працею з логіки є "Аналітики", що складаються з двох книжок. У "Першій Аналітиці" розглядається силогістика (вчення про умовивід), у "Другій Аналітиці" - теорія доведення. "Топіка" присвячена теорії ймовірних доведень. У книжці "Про софістичні спростування" досліджено джерела неправильних умовиводів і доведень, показано засоби виявлення та усунення помилок.

Створюючи основи науки логіки, Арістотель спирався на праці своїх попередників. Щоправда, в них проблеми з логіки викладалися не систематично, і були вплетені в контекст філософії, риторики, граматики. І все ж вони були солідним підґрунтям, на якому могла з'явитися така теорія, як логіка Арістотеля.

Наукові дослідження в галузі логіки започаткував Демокріт (460370 рр. до н.е.). Він вперше описав індукцію як спосіб міркування, схарактеризував гіпотезу, аналогію, логічну операцію визначення понять, дав перше формулювання закону достатньої підстави ("ніщо не відбувається безпричинно, але все має достатню підставу").

У Парменіда (540-480 рр. до н.е.) знаходимо перші спроби визначити закон тотожності.

Зенон Єлейський (490-430 рр. до н.е.) прославився своїми апоріями (від грецького "безвихідність", "скрутне становище"): "Ахілес і черепаха", "Дихотомія", "Стріла", "Стадій", які показали своєрідність чуттєвого і раціонального ступенів пізнання. Ця своєрідність стала безпосередньо доступною завдяки логіці. Логіка довела, що нехтування своєрідністю чуттєвого і раціонального етапів пізнання призводить до визнання з необхідністю очевидного неочевидним (або , як кажуть, визнання чорного білим, і навпаки). Наприклад, мало хто заперечуватиме, що випущена з лука стріла летить. Але розглянувши траєкторію польоту стріли як лінію, що складається з нескінченної множини точок місцезнаходження стріли, ми будемо вимушені визнати, що стріла не летить, а знаходиться у стані спокою.

Після Зенона протягом багатьох віків робилися спроби допомогти йому вибратися із скрутного становища , в яке він потрапив із своїми апоріями. Та і у сучасній літературі зустрічаються подібні спроби (наприклад, що Зенон ділив до нескінченності траєкторію польоту, а треба було ділити ще й час польоту і таке інше).

А насправді, в такій легкій для сприйняття формі Зенон показав, що логіка - це особлива рефлексія над процесом пізнання і результатами процесу пізнання.

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

Ще одна цікава постать античної логіки - Сократ (469-399 рр. до н.е.), який не залишив після себе жодного твору. Про відкриття Сократа відомо із свідчень його учнів і послідовників.

Сократ описує два способи дослідження: індукцію ("наведення") і дефініцію ("визначення"). Суть сократівської індукції полягає в утворенні понять. Щоб утворити поняття, слід посилатися на звичайнісінькі уявлення людей, на приклади повсякденного життя, на загально визнані положення. Уникнути випадковості і не систематичності цього процесу допомагає мистецтво зіставлення протилежних думок, поглядів.

Індукція є основою дефініції. Завдяки індукції (або наведенню) встановлюють, що є суттєвим для досліджуваного предмета, а що - ні. Кінцевий результат індукції - утворення дефініції.

Свій метод утворення понять Сократ називав "маєвтикою" ("мистецтво повитухи"). Сократівський метод, об'єднуючи індукцію і дефініцію, допомагав народитися думці. Платон дав чудові зразки застосування цього методу у "сократичних діалогах".

Сократ спочатку вимагав від співбесідника дефініції обговорюваного предмета, наприклад, що таке добро. Як правило, перші визначення цього поняття поверхові, насичені емоційними та психологічними відтінками. Ці визначення підправляють доти, поки не знаходять такого, яке адекватно відображає предмет дослідження. Учні Сократа заснували школи, що розробляли його ідеї. Евклід заснував мегарську школу, Федон - елідо-еретрійську, Атисфен - кінічну, Арістіп - кіренську. Найвидатніший учень Сократа Платон заснував (приблизно 387 р. до н.е.) в Афінах школу і назвав Академією (іменем міфічного героя Академа).

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

Значний вплив на формування логіки Аристотеля справили софісти. Софістами у Стародавній Греції називали вчителів мудрості і красномовства. Софістів поділяють на старших (Протагор, Горгій, Гіпій, Продик, Антифон) і молодших (Крітій, Гіпподам).

Старші софісти досить фундаментально досліджували питання політики, етики, держави, права, мовознавства. Всі вони виходили з того, що істина може бути тільки відносною. Саме Протагору належить знаменитий афоризм "Людина є виміром усіх речей".

Молодші софісти абсолютизуючи релятивізм старших софістів, приходять до того, що софістика (тобто мудрість) вироджується в них в жонглювання словами, у фальшиві прийоми "доведення" істини і хиби одночасно.

3. Логічне вчення Арістотеля

Критично аналізуючи відкриття з логіки своїх попередників, Арістотель ставить за мету створити таку науку про мислення, яка б ґрунтувалася на стійких об'єктивних принципах і не допускала свавілля у процесі міркування.

Такими принципами у процесі міркування повинні бути закони: не протиріччя, тотожності і виключеного третього. У праці "Метафізика" Арістотель дає визначення цих законів. Закон не протиріччя: "Неможливо, щоб суперечливі міркування були істинними щодо одного і того самого". Закон виключеного третього: "Рівним чином не може бути нічого посередині між двома суперечливими (один одному судженнями), але про одне необхідно або стверджувати, або заперечувати". Закон тотожності: "Неможливо нічого мислити, якщо не мислити (щоразу) щось одне".