Лекція Логіка Аристотеля
Страница 1 из 3
Лекція Логіка Аристотеля
Логіка – спеціальна наука про умовивід і доказ.
Логіка Аристотеля – теорії силогізму, доказу. Вчення про поняття («Аналітика», «Топіка») і про речення (судження).
Речення – стверджувальні (поняття з'єднуються) і негативні (поняття відокремлюються).
Пропозиції - істинні (затверджується з'єднання понять таке, яке з'єднання їхніх предметів у дійсності або поділ понять таке, яке їхній поділ у дійсності) і помилкові (з'єднується те, що розділено в дійсності чи розділяється те, що з'єднано в дійсності).
Виділяє три види можливого:
- можливе в звичайному змісті, тобто те, що будучи одним, може перейти в інше. Усе, що може стати іншим може бути визначено, як це інше в можливості;
- можливе, котре на ділі завжди існує тільки в якості дійсного. Тому що воно дійсно, те тим самим воно і можливо, але воно ніколи не зустрічається як можливе, а тільки як дійсне, наприклад небесні світила;
- можливе, котре вічно залишається тільки можливим і ніколи не переходить у дійсність. Наприклад, величина, велика всякої іншої величини, не можна не визнати її можливої, але вона ніколи не може стати дійсної: як би велика вона ні була, але як тільки її позначають відомим числом, виявляється, що додатком до нього може бути отримане ще більше число.
Аристотель – засновник формальної логіки, унаслідок зробленого ним фундаментального для всієї логіки відкриття: досліджуючи будівлю силогізму, він всі терміни в них представляє буквами, тобто вводить у логіку перемінні. … для того, щоб показати, що висновок виходить нами не як наслідок змісту посилок, а як наслідок їхньої форми і сполучення; букви є знаками спільності і показують, що такий висновок буде випливати завжди, який би термін ми не обрали.
Тобто логіка – наука про закони силогізмів, виражених у перемінних, а не наука про додаток цих законів до чи прикладів конкретним термінам.
Тільки під впливом логіки стоїків силогізм Аристотеля був витлумачений як «Всяке В є А; усяке З є В; отже, усяке З є А».
У самого Аристотеля:
|
Якщо А присуще всякому В
І В присуще всякому З,
|
Дві посилки складають конъюнкцию
|
Консеквент імплікації «А присуще всякому З»
Загальна формула всієї імплікації «Якщо α і β, те γ
|
|
Те А присуще всякому С.
|
Антецедент імплікації
|
Помилково силогізм розглядали як висновок, у той час як у самого Аристотеля ніде він не виступає як висновок зі словом «отже».
Як імплікація силогізм Аристотеля є пропозицію і тому повинний бути або щирим або помилкової. Традиційний силогізм як висновок може бути правильним або неправильної, але не може бути щирим або помилкової, тому що він не пропозиція, а ряд пропозицій, не спаяних у форму єдності.
Форма силогізму характеризується числом перемінних, з розташуванням і логічними константами.
Константи «і» і «якщо» входять у загальну логічну систему. Інші чотири константи – специфічні для логіки Аристотеля:
- «А» - «бути властивим усякий»,
- «Е» - «не бути властивим жодному»,
- «І» - «бути властивим деякий»,
- «ПРО» - «бути властивим деякий».
Аналізуючи форми силогізму, Аристотель виділив три основних види (три «фігури»), у які можуть бути зведені всі інші його «модуси».
Аристотель – «ми довідаємося фігуру по положенню середнього терміна».
У схемі Аристотеля: А – предикат силлогического висновку, У – його суб'єкт, а З – його середній термін.
Ціль силогізму – обґрунтувати відношення А к В. Для цього необхідно знайти щось загальне як для А, так і для В.
Знайти його можливо трьома способами:
1. за допомогою твердження А відносно З, а З відносно В.
2. за допомогою твердження З відносно їх обох.
3. за допомогою твердження А и В відносно С.
Аристотель розділив усі силогізми на:
- зроблені – аксіоми силогістики, не потребуючих доказів і недовідні самоочевидні твердження;
- недосконалі – позбавлені очевидності і доводяться.
Якщо не існує терміна середнього стосовно А и В, то пропозиція «А присуще В» буде «безпосереднім». Недовідні безпосередні положення, чи «початку», складають фонд основних істин.
Науковий доказ по теорії Аристотеля – чи чи силогізм ряд силогізмів, зв'язок яких опосередкована загальним для них елементом.
Можливість доказу, що складає з ряду силогізмів, спирається на дві умови:
1. припускають існування положень, що не можуть бути виведені з інших посилок;
2. ланки, чи елементи, опосредующие висновок і з'єднуючі вихідні вищі початки знання з кінцевим висновком, не можуть йти в нескінченність.
Аристотель обґрунтовує тезу про недовідність останніх, вищих посилок знання. Розрізняє два класи невиведених, недовідних істин:
1. найбільш загальні чи положення початку;
