Особливості схоластичної логіки
На VІ—ХУ ст. припадає період розвитку логіки, який називають «схоластичною логікою». До видатних представників схоластичної логіки належать Іоанн Росце- лін, П’єр Абеляр, Михайло Псьол, Петро Іспанський, Раймунд Луллій, Дунс Скот, Уільям Оккам та ін.
Схоластична логіка, особливо починаючи з ІХ ст., прагне творчо розробляти арістотелівське вчення і логіку стоїків. У цей час багато робиться для того, щоб сформувати логіку як навчальну дисципліну.
Так, візантійський учений Михайло Псьол, з метою кращого запам’ятовування логічних відношень між категоричними судженнями, вводить схему, яка дістала назву «логічний квадрат». Він же запропонував назви для модусів простого категоричного силогізму і дав позначення для категоричних суджень (А, Е, І, О).
Значний внесок у розробку арістотелівської логіки і логіки стоїків зробив Петро Іспанський. Його праця «Сум- мули» була основним підручником з логіки середньовічної Європи. Він займався визначенням таких логічних операцій, як диз’юнкція, кон’юнкція, знав закони заперечення кон’юнкції і диз’юнкції, які в сучасній логіці називаються «законами де Моргана».
У схоластичній логіці розробляється низка проблем, які знайшли своє продовження в сучасній логіці. Це стосується, зокрема, дослідження властивостей формальної імплікації (Раймунд Луллій), природи логічного слідування (Уільям Оккам, Дунс Скот), аналізу семантичних анти- номій.
Оригінальним відкриттям схоластичної логіки було вчення про суппозиції (з латинської «підміна», «підкладання»). Середньовічні логіки словом «суппозиція» позначали різноманітні випадки вживання термінів.
Річ у тому, що у природній мові один і той самий термін може відноситися до предметів різних типів. Аналіз суппозиції термінів сприяє запобіганню та усуненню логічних помилок.
Візьмемо для прикладу слово «метал» і розглянемо різні варіанти його вживання.
1. Термін «метал» може використовуватися для позначення окремого представника класу металів. Стверджуючи, що «метал — електопровідник», ми маємо на увазі «Кожен із металів — електропровідник». Така суппозиція називається формальною.
2. Слово може позначати саме себе. Наприклад, «Метал» складається з п’яти букв. Це — матеріальна суппозиція.
3. Слово може позначати множину предметів, але в конкретному випадку воно може позначати окремий предмет, наприклад, у фразі «Перед вами метал». Тут маємо на увазі «Перед нами конкретний метал». Це — персональна суппозиція.
4. Слово «Метал» може позначати клас предметів як ціле, наприклад: «Метал є одним із видів хімічних елементів». Це — проста суппозиція.
У сучасній логіці використовуються формальна і матеріальна суппозиції. Матеріальна суппозиція дістала назву автонімного використовування виразів.
Дослідження суппозицій середньовічними логіками значною мірою сприяло ефективній розробці формалізованих мов логіки, для яких однозначність вживання термінів є однією з фундаментальних вимог.
Як етап у розвитку логіки схоластична логіка, з одного боку, сприяла популяризації та розвитку античної логіки (насамперед, арістотелівської), а з іншого — в певному розумінні зумовила негативне ставлення до логіки Арістотеля.
6.