вже згадані раніше роботи Аль-Фарабі, Ібн-Сіни, Ібн-Рушді ін) в Західній Європі з'являються і розвиваються нові ідеї в логіці. У своєрідних умовах теологічного панування ці ідеї осмислювався, освоювалися, а потім і входили в науковий ужиток.
У XII-XIII ст., після того як всі твори Аристотеля канонізуються церковної ортодоксією, виникає оригінальна середньовічна В«несхоластіческаяВ» логіка, відома під назвою В«logica modernorumВ». Контури її намічені вже В«ДіалектикоюВ» Абеляра, але остаточне оформлення вона отримує в кінці XIII - середині XIV ст. в роботах, Вільяма Шервуда, Іоанна Дунса Скота, Вальтера Бурлея (Берлі), Вільяма Оккама, Жана Бурідана і Альберта Саксонського. У творах цих авторів вперше простежуються прообраз В«універсуму мовиВ» і уявлення про двоякому використанні мову: для вираження думки про позамовних фактах, коли терміни В«вживаютьсяВ», і для вираження думки про саму мову, коли терміни В«згадуютьсяВ» (уживаються автономно). Вчення про пропозіціональних зв'язку і квантор (всі, деякий, кожен), що символізують характер логічної зв'язку, служить їм природним підставою для розрізнення між В«формоюВ» і В«змістомВ» суджень.
Великий внесок у поширення логіки через навчальний процес вніс своїм авторитетом і своєю книгою В«Summulae logicales В»Петро Іспанська (справжнє ім'я П'єтро Ребулі-Юліани). [8] Це посібник складається з семи логічних трактатів, присвячених розгляду пропозицій, предікабілій [9], категорій, силогізмів, топіки, хибних умовиводів, властивостей термінів. Перші шість трактатів перелагал зміст аристотелевского В«ОрганонаВ», однак грунтовні тексти Аристотеля тут зведені в короткі визначення і правила, забезпечені мнемонічними засобами. Нововведенням є сьомою трактат В«Про властивостях термінів В». У ньому розглядаються можливі підстановки в пропозиціях замість одних термінів інших; можливі розширення та обмеження термінів у пропозиціях, правила іменування, правила розподілу термінів при приєднання до них різних кванторів. У деяких дійшли до нас варіантах посібники міститься вчення про експонібіліях - пропозиціях, які мають означальні та додаткові слова, що виражають винятковість, вилучення, початок, кінець або відсутність кінця, порівняння, відмінність і т.п. Цим посібником користувалися в Європі майже три століття, і вже після винаходу друкарства воно видавалося безліч разів. Проблематика, якій був присвячений трактат В«Про властивості термінівВ», ретельно розроблялася середньовічними перипатетиками.
Говорячи про західноєвропейської середньовічної логіці, несправедливо було не згадати Раймонда Луллія. Цікаво те, що при загальній тенденції логіки звільнитися від метофізікі і теології, Раймунд пішов проти течії, поставивши логіку на службу релігійної мети. Його називали "прокуратором невірних", котрі вміли скористатися арсеналом безвідмовних засобів, звернувши в християнство євреїв і мусульман.
Він винайшов так зване В«велике мистецтвоВ» (В«Аrs magnaВ») або В«універсальне мистецтвоВ» (ars universalis). На це своє винахід він дивився як на дане йому божественне одкровення. Він вважав, що можливо, не вивчаючи самих явищ природи і не знаючи наук, дати відповіді на будь-які наукові питання за допомогою відкритого ним В«великого мистецтваВ». Пропонований їм для цього метод полягає в чисто механічному комбінуванні понять. Він висловлював ідею логічної машини, яку в XIX ст. відродив Джевонс.
Зображений ним механізм складається з семи кіл, які обертаються навколо однієї точки, що є їх спільним центром. При обертанні цих кіл будь довільно взяті поняття, з'єднуючись між собою, утворюють всілякі комбінації. Це відбувається легко, чисто механічно і потім показується сенс або нісенітниця отриманих комбінацій. У цьому Раймунд бачить загальне керівництво для відкриття всього, що про будь-якому предметі можна досліджувати, визначати, розрізняти і доводити. Таким суто механічним методом, на думку Луллія, можуть бути побудовані всі науки, і цей метод нібито в силах вирішити всі наукові проблеми. У Луллія було багато послідовників, уверовавших, що їм знайдений універсальний ключ до вирішення всіх наукових питань.
Аж до середини 18 століття луллітская доктрина користувалася незмінним успіхом. Але навіть переведена в 1634 році на французьку мову, вона залишалася недооціненою логіками. Лейбніц, наприклад, заявить пізніше, що "це лише слабка тінь справжнього мистецтва комбінаторики, від якого вона також далека, як фанфарон від солідного вченого ". Чарльз Пірс без натяків заявить, що ідеї Луллія просто абсурдні. Однак якщо не висмикувати їх з історичного контексту і не оцінювати з погляду сьогоднішніх досягнень логіки, то стане очевидною заслуга Луллія у справі систематичного використання символізму.
З XIV в. починається третій період схоластики - період розкладу і занепаду середньовічного світогляду і схоластичної філософії.
Найвизначнішим схоластиком першої половини XIV в. був Вільям Ок...
