16. Логіка Арістотеля

Лекція Логіка Аристотеля

Логіка – спеціальна наука про умовивід і доказ.

Логіка Аристотеля – теорії силогізму, доказу. Вчення про поняття («Аналітика», «Топіка») і про речення (судження).

Речення – стверджувальні (поняття з'єднуються) і негативні (поняття відокремлюються).

Пропозиції - істинні (затверджується з'єднання понять таке, яке з'єднання їхніх предметів у дійсності або поділ понять таке, яке їхній поділ у дійсності) і помилкові (з'єднується те, що розділено в дійсності чи розділяється те, що з'єднано в дійсності).

Виділяє три види можливого:

-  можливе в звичайному змісті, тобто те, що будучи одним, може перейти в інше. Усе, що може стати іншим може бути визначено, як це інше в можливості;

-  можливе, котре на ділі завжди існує тільки в якості дійсного. Тому що воно дійсно, те тим самим воно і можливо, але воно ніколи не зустрічається як можливе, а тільки як дійсне, наприклад небесні світила;

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

Аристотель – засновник формальної логіки, унаслідок зробленого ним фундаментального для всієї логіки відкриття: досліджуючи будівлю силогізму, він всі терміни в них представляє буквами, тобто вводить у логіку перемінні. … для того, щоб показати, що висновок виходить нами не як наслідок змісту посилок, а як наслідок їхньої форми і сполучення; букви є знаками спільності і показують, що такий висновок буде випливати завжди, який би термін ми не обрали.

Тобто логіка – наука про закони силогізмів, виражених у перемінних, а не наука про додаток цих законів до чи прикладів конкретним термінам.

Тільки під впливом логіки стоїків силогізм Аристотеля був витлумачений як «Всяке В є А; усяке З є В; отже, усяке З є А».

У самого Аристотеля:

Якщо А присуще всякому В І В присуще всякому З,	Дві посилки складають конъюнкцию	Консеквент імплікації «А присуще всякому З» Загальна формула всієї імплікації «Якщо α і β, те γ
Те А присуще всякому С.	Антецедент імплікації

Помилково силогізм розглядали як висновок, у той час як у самого Аристотеля ніде він не виступає як висновок зі словом «отже».

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

Форма силогізму характеризується числом перемінних, з розташуванням і логічними константами.

Константи «і» і «якщо» входять у загальну логічну систему. Інші чотири константи – специфічні для логіки Аристотеля:

-  «А» - «бути властивим усякий»,

-  «Е» - «не бути властивим жодному»,

-  «І» - «бути властивим деякий»,

-  «ПРО» - «бути властивим деякий».

Аналізуючи форми силогізму, Аристотель виділив три основних види (три «фігури»), у які можуть бути зведені всі інші його «модуси».

Аристотель – «ми довідаємося фігуру по положенню середнього терміна».

У схемі Аристотеля: А – предикат силлогического висновку, У – його суб'єкт, а З – його середній термін.

Ціль силогізму – обґрунтувати відношення А к В. Для цього необхідно знайти щось загальне як для А, так і для В.

Знайти його можливо трьома способами:

1.  за допомогою твердження А відносно З, а З відносно В.

2.  за допомогою твердження З відносно їх обох.

3.  за допомогою твердження А и В відносно С.

Аристотель розділив усі силогізми на:

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

-  недосконалі – позбавлені очевидності і доводяться.

Якщо не існує терміна середнього стосовно А и В, то пропозиція «А присуще В» буде «безпосереднім». Недовідні безпосередні положення, чи «початку», складають фонд основних істин.

Науковий доказ по теорії Аристотеля – чи чи силогізм ряд силогізмів, зв'язок яких опосередкована загальним для них елементом.

Можливість доказу, що складає з ряду силогізмів, спирається на дві умови:

1.  припускають існування положень, що не можуть бути виведені з інших посилок;

2.  ланки, чи елементи, опосредующие висновок і з'єднуючі вихідні вищі початки знання з кінцевим висновком, не можуть йти в нескінченність.

Аристотель обґрунтовує тезу про недовідність останніх, вищих посилок знання. Розрізняє два класи невиведених, недовідних істин:

1.  найбільш загальні чи положення початку;

2.  початку, найбільше частки – відносяться до одиничного буття.

Тому що положення про одиничний даються сприйняттям, то сприйняття – джерело істини. Якби в основі сприйняття не коренилися дійсні факти, то сама поява сприйняття бути б незбагненно.

Ілюзія, обман сприйняття – щира причина обману не самі почуття як такі, його причина в нашому судженні про сприйманий.

Сприйняття має важлива властивість для пізнання – воно не вимагає ніякого особливого доказу своєї істинності. Факт сприйняття як такий убедительнее всякого доказу, отриманого за допомогою операцій розуму. Хоча розум і має у своєму розпорядженні можливість виправляти виниклі в пізнанні помилки.

Засобу узагальнення одиничних і загальних положень:

-  індукція – зводить до силогізму першої фігури, тому індукція сама припускає загальні принципи і не може обґрунтовувати положення, які б мали значення вищих посилок знання;

-  умовивід за аналогією (Аристотель його називає «прикладом») – висновок за аналогією від однієї частки випадку до іншого, теж частці случаю: окремий випадок – висновок з нього загального положення – висновок нової частки випадку.

-  способи для повідомлення усього лише ймовірним положенням максимуму обґрунтованості

«Топіка» указує загальні місця, чи точки зору, з яких можливо одержати положення, опорні для доказу думки, що саме по собі лише ймовірно:

-  думки знаючих людей і народу;

-  аналіз слів і понять;

-  розсуд подібності;

-  розсуд розходжень.

Система наукового знання:

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

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

Первісний, що вводить у науку підхід до цієї проблеми в навчанні про категорії.

«Категорії» - основні роди чи розряди буття і відповідно основні роди понять про буття, його властивостях і відносинах.Це визначення свого роду реконструкція думки Аристотеля, що так і не дала визначення поняття категорія.В Аристотеля категорії виступають те як категорії буття і пізнання, те як категорії мови (1. ізольовані слова, 2. зв'язки слів у пропозиції, що представляють у формах мови клас понять і клас висловлень).

Категорії мають двоякий аспект:

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

-  у гносеологічному – різні точки зору, під якими можуть бути розглянуті предмети і які не можуть бути зведені до єдиного для усіх їх, що піднімається точці зору.

У творі «Про категорії» зазначено десять аспектів: 1. сутність, 2. кількість, 3. якість, 4. відношення, 5. місце, 6. час, 7. положення, 8. володіння, 9. действование, 10. страждання.Самі ці аспекти вводяться емпірично, причому в різних роботах указується з різне число. Більш-менш докладно Аристотель розглядає тільки перші чотири. У роботі «Метафізика» додатково з'являється категорія «рух».