зивають основними законами логіки (основними законами мислення); розробив особливу форму міркування (Категоричний силогізм) і теорію докази; дав класифікацію логічних помилок (Паралогізм і софізмів).
Таким чином, за Арістотелем, предмет науки логіки - основні форми думки, їх структурні особливості та залежності, закони і найбільш поширені помилки, можливі при порушенні цих законів. Однак, предмет логічного аналізу, предмет логіки як науки послідовниками та учнями Аристотеля розумівся і розроблявся трохи інакше. Якщо Аристотель використовував форми мислення та їх закони для відображення та досягнення істини, в більшою мірою розробляючи логіку дедуктивного характеру, то його учні, його послідовники розробляли прийоми і форми думки, швидше, лише наближають до істині. Вони аналізували міркування імовірнісного характеру, розробляли проблематичну, індуктивну логіку. Так, стоїки (нова школа у філософії, виникла в III в. до н. е.) створили оригінальне вчення про виведення імовірнісного характеру, свою логіку умовних суджень і умовиводів (логіку імплікації). Правда, логічне вчення стоїків в період переходу від античності до середньовіччя було забуто і європейським мислителям довелося як би заново відкривати в середині XIX ст. закономірності імплікатівних міркуванні.
Таким чином, навіть у перші століття існування логіки як науки її предмет, нехай і не дуже істотно, але все ж змінювався. За більш ж тривалий термін її історії, а це майже дві з половиною тисячі років, предмет її зазнавав і більш значні зміни, він розширювався, включаючи в свою сферу нові і нові форми думки, він удосконалювався; удосконалювалося з часом і виклад її змісту.
дедуктівізм Аристотеля і стоїків протистояв індуктівізм Епікура і його школи, що спиралися більшою мірою на досвід і аналогію. Саме епікурейці сформували школу індуктівістов (Філодем з Гадара - II-I ст. до н. е.), що ні заперечує вкладу в осмислення індукції як Демокритом, так і самим Аристотелем. Період ранньої античності, можна сказати, активної античності в відношенні логічних питань, змінила антична схоластика (II-V ст. н. е.).
Цей період (від Цицерона і аж до Боеція) характерний входженням до логічний ужиток латинської термінології: схоластика посилено розробляла логічний апарат. Логіка в цей час входила до числа семи вільних мистецтв і тим самим становила невід'ємну частину енциклопедичного гуманітарного освіти.
Апулей з Медавра (II ст. н. е.) уточнив форми висловлювань, ввів операцію заперечення над предикатом. Секст Емпірика і Діоген Лаерцій (II-III ст.) Зібрали відомості з історії логіки; Гален (ок.130-200) розробив полісіллогізм і силогізми відносин; Порфирій (ок.232-303) - дихотомічне розподіл, вчення про видах і родах; Боецій (480-524) написав ряд спеціальних робіт з логіки. p> У середні століття логіка в Європі - церковно-шкільна дисципліна, пристосована до потреб віровчення християнства, і тільки в арабських країнах, в країнах арабомовних культури логіка ще зберігає самостійне значення (Аль-Фарабі, Ібн-Сін, Ібн-Рушд та ін.) Наступив в Європі тривалий період середньовічної схоластики в логіці проявляється у детальній розробці відмінностей її мови, символіки, її техніки. Найбільш значущою фігурою цього періоду можна назвати Михайла Псела (1018-1096). Він ввів в ужиток буквене (давньогрецькими) позначення суджень, спеціальними словами - модуси фігур силогізму.
У Європі в період середньовіччя державна християнська ідеологія підпорядкувала собі не тільки науку, але і політику, культуру, і логіка (як і філософія в цілому) стає служницею богослов'я. Вона використовується як інструментарій, як засіб обгрунтування догматів церкви, як то вчення, яке виступає неупередженим, загальноприйнятим інструментом полеміки, критики, обгрунтування, докази. Саме в середньовіччі логіка все більш набувала той самий формальний вигляд і значення, з яким ми зараз тільки і пов'язуємо цю науку. Логіка як би все далі відволікалася від матеріального критерію істини (Виділяється ще Аристотелем) і все більш орієнтувалася і орієнтувала на формальний її критерій, на відповідність вимогам до структури думки (до умовиводів або доказам). У цей період отримав особливий розвиток формально-логічний апарат, вчення про модуси, фігурах, мнемонічних прийомах і пр.
Великий внесок у поширення логіки через навчальний процес вніс своїм авторитетом і своєю книгою "Summulae Logicales" Петро Іспанець (папа Іван XXI - 1210-1277 рр..). Ця його робота в плині більш ніж трьох століть була єдиним підручником за логікою в Західній Європі. Період середньовіччя дав нам і цікаві приклади несхоластіческой логіки - Абеляр, У. Шервуд, П. Рамі, І.Д. Худоба, В. вирує, У. Оккам, Ж. Буридан, Альберт Саксонський та ін Тут в рамках розрізнення формального і фактичного слідування розроблялося вчення про дедукції, способствовавшее аксіоматизації логіки висловлювань; формувалася ідея про "машинізації" мислення.
Були навіть спроби практично...
