Логіка Арістотеля
Аристотель народився Стагірі (на кордоні з Македонією) в 384 р. до н.е. Основні твори: Метафізика; Про душу;Органон;Категорії; Перша аналітика; Друга аналітика; Топика; фізика; Нікомахова етика; Політика; Поетика.
Про що б міркував Аристотель, логіка виразно є у його роботах. Думка, коли перебуває у русі, показує пройдений шлях через визначення елементів, структуру доказів. Для Аристотеля логіка не окрема наука, а знаряддя будь-якої науки. Логіку Аристотель розглядав як науку про форми мислення; виділяють відмінність матерій та форм (логіка лише форми).
У логічних дослідженнях Аристотеля цікавили три проблеми: питання про метод знання чи діалектика; питання двох основних методах з'ясування знання достовірного, ці методи – визначення і докази; питання місце знаходження посилок знання, це індукція. Важлива частина логіки Аристотеля - його вчення про поняття та пропозицію.
Завдання логіки вивчення і вказівку способів, з яких відоме це може бути зведено до елементів, здатним стати джерелом його пояснення. Форми мислення: поняття, судження, висновок. Судження виникають як результат об'єднання термінів у ланцюжок.
Аристотель класифікує висловлювання на 4 групи: ствердні істинні, негативні істинні, ствердні хибні, негативні хибні. Взаємини між ними визначаються трьома законами формальної логіки: закон тотожності - логічні висновки надійні лише за умови, що це поняття (терміни) у межах міркування мають той самий смысл;закон заборони протиріччя - неможливо знайти одночасно істинними два протилежні висловлювання про один і той самий предмет; закон виключеного третього - із двох протилежнихвисловлювань про той самий предмет одне неодмінно істинно.
Помилки:1)Сократ смертний, а хто бачив його смерть? Усі люди смертні – вбити всіх людей, чтобы доказать.2) Предикат предикату то, можливо предикатом вихідного суб'єкта. 3)Силлогизм - лише з видів дедуктивного докази (математика дедуктивна, але побудована не так на силогізмах).
Поняття- це те загальне, що притаманне всім предметам цього виду чи роду. Спільним у предметів одного виду (роду) є форма, тоді як матерія предмета постає як принцип індивідуації.Сужденіе- це така форма думки, в якій затверджується або заперечується щось щодо предметів і явищ, їх властивостей, зв'язків та відносин. Елементарне судження можна у вигляді формули: S немає P. Судження висловлює або істину, або брехня. Ці підрозділи важливі для з'ясування наступної форми мислення - умовиводи.Умозаключение– це таке логічне дію, у результаті якого з однієї чи кількох – певним чином пов'язаних – суджень (названих посилками) виходить нове судження (висновок), у якому міститься нове знання. Елементарний висновок виходить з однієї посилки (такий висновок називається безпосереднім).
Основне правило логічного вибору: Якщо термін не розподілений у посилці, він не може бути розподілений у висновку.Правила термінів: 1) У силогізмі є три терміни - не більше і не менше. 2)Терміни, не розподілені у посилках, неможливо знайти розподілені у выводе. 3)Середній термін повинен бути розподілений хоча б в одній із посилок.Правила посилок: 1) із двох приватних посилок не можна отримати жодного висновку. 2)Если одне з посилок – приватне судження, те й висновок (якщо він взагалі можливий) може лише приватним. 3) З двохнегативних посилок не можна одержати жодного висновку. 4)Если одне з посилок – негативне судження, те й висновок може бути негативним.