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