Наиболее известными учеными, работавшими над вопросами логики в Средиземноморье, являются Вильям Оккам, Дунс Скотт, Раймунд Луллий, Жан Буридан, Альберт Саксонский. Следует особо выделить Вильяма Оккама, который известен благодаря тому, что создал логическое орудие под названием «лезвие Оккама».
Проводником между античной и арабоязычной логикой послужила наука, разрабатываемая в Сирии. Вопросами логики в арабском мире занимались такие ученые, как аль-Фараби, которого считают основателем сирийской логики, Ибн-Сина (Авиценна), Ибн-Рушд (Авер-роес).
Аль-Фараби являлся идейным последователем Аристотеля. Он комментировал главный труд Аристотеля «Органон». Логика аль-Фараби направлена на изучение научного мышления и рассматривает вопросы истинности, опираясь на концепцию истинности, разработанную Аристотелем. Структура его логики состоит из двух частей, одна рассматривает представления и понятия, а другая изучает теорию суждений, выводов и доказательств. Особое внимание аль-Фараби уделял вопросам теории познания и гарм-матики.
Трактовку работ Аристотеля продолжил Ибн-Сина. Он пользовался переводами и комментариями античных работ, созданных аль-Фараби. Авиценна изучал аристотелевскую силлогистику, прослеживал зависимости и связи между категорическими и условными суждениями, а также выражение импликации через дизъюнкцию и отрицание. Свои идеи ученый закрепил в учебнике «Логика».
Самой известной и используемой работой по логике является трактат «Summulae logicales», содержащий ряд новых идей в области логики высказываний. Эта работа принадлежит перу Петра Испанского.
6. Логика Возрождения и Нового времени
Одним из ученых, работающих в эпоху Возрождения, был Френсис Бэкон (1561–1626), которого принято считать родоначальником английского материализма. Он внес значительный вклад в разработку материалистического логического подхода. Ф. Бэкон считал, что единственно правильным подходом к изучению предмета является не только сбор информации, но и ее интеллектуальная переработка и создание, таким образом, научных теорий. Главным достижением Ф. Бэкона считается его работа «Новый Органон», которая была призвана заменить собой «Органон» (средство познания), написанный древнегреческим философом Аристотелем. В работе Ф. Бэкона рассматриваются вопросы индукции, методы определения причинной связи между предметами и явлениями (сходства и различия сопутствующих изменений, остатков и объединенный метод сходства и различия).
Необходимо отметить, что Ф. Бэкон изучал работы Аристотеля в переводах и переработках средневековых ученых, вследствие чего был несправедлив к его «Органону».
Вопросами логики в эпоху Возрождения занимались и другие ученые, среди