Сегодня: 03 | 04 | 2020

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Якщо А присуще всякому В

І В присуще всякому З,

Дві посилки складають конъюнкцию

Консеквент імплікації «А присуще всякому З»

Загальна формула всієї імплікації «Якщо α і β, те γ

Те А присуще всякому С.

Антецедент імплікації

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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