Самостійна №1

1.Софісти — це умовна назва великої групи мислителів Давньої Греції середини V — першої половини IV ст. до н.е., які мали своєрідний вплив на розвиток логіки. Вони належали до різних шкіл, мали різні погляди, але користувалися подібним методом. Його істотною ознакою був релятивізм, класичним виявленням якого може бути відомий вислів Протагора: «Людина є мірою всіх речей: існуючих, що вони існують, і неіснуючих, що вони не існують»
Слово sofistes спочатку означало «майстер», «винахідник», «митець», «мудрець» тощо. Софістами називали вчителів мудрості і красномовства. Проте з другої половини V ст. до н.е. слово «софіст» набуває специфічного, загалом негативного змісту. Софістами в цей час стали називати платних учителів філософії, риторики (красномовства), еристики (мистецтва суперечки) тощо.
Так звані старші софісти ( Протагор, Горгій, Гіппій, Продик, Антифон та ін.) відзначались енциклопедичною освіченістю, вони досліджували питання етики, політики, держави, права, мовознавства тощо. Молодші софісти (Лікофрон, Алкідамант, Трасімах) настільки абсолютизували принцип релятивізму, що майстерність обґрунтування в них вироджується в жонглювання словами, у фальшиві засоби створення видимості доведення істинності чи хибності будь-яких положень.
Софісти постійно зверталися до проблем логіки. Про це свідчать їх праці. Так, Протагор написав трактат «Мистецтво суперечки». Заперечуючи наявність об'єктивного критерію істинності думок, софісти твердили, ніби в кожної людини є своя особлива істина. Виступаючи проти судження як форми мислення, вони заявляли, що суб'єкт не може мати з предикатом ніякого зв'язку.
Роль софістів у розвитку логіки полягає щонайменше в тому, що необхідність боротьби проти їх умисних логічних помилок (так званих хитрощів) змусила захисників строго логічного мислення чітко сформулювати ті його норми, які дають можливість уникнути навмисних, професійно сконструйованих порушень вимог логіки.
Логіка Арістотеля
Основоположником логіки вважається Арістотель (384—322 до н.е.) — геніальний давньогрецький філософ і логік, вчений-енциклопедист. Творчо узагальнюючи перші успіхи логіки, він прагнув створити таку науку про мислення, яка б ґрунтувалася на чітко визначених об'єктивних засадах і не давала можливості свавільно будувати міркування, як це робили софісти. За деякими свідченнями, Арістотель написав майже тисячу праць. Його логічні твори пізніше були об'єднані під загальною назвою «Органон», куди ввійшли «Категорії», «Про тлумачення», «Аналітики. Перша і друга», «Топіка» і «Про софістичні спростування». Сам Арістотель своє логічне вчення називав аналітикою. Термін «логіка» з'явився пізніше, його ввели скептики.
Арістотель вперше чітко сформулював закон суперечності (основний закон мислення в логіці Арістотеля, який називав його найбільш безперечним принципом), закон виключеного третього і закон тотожності.
Врахування вимог законів логіки мало забезпечити такі риси правильного мислення, як визначеність, послідовність і несуперечливість. Риса логічно правильного мислення — доказовість — теж була в полі уваги Арістотеля, проте чіткого формулювання закону достатньої підстави (а тим більше назви цього закону) в його творах немає.
Арістотель детально досліджував основні форми мислення (поняття, судження, умовиводи), та головною його заслугою у сфері логічної науки було вчення про силогізм, створення дедуктивної логічної системи.
Стоїчній школі (Зенон, Хризіпп, Евбулід, Філон та ін.) належать оригінальні логічні ідеї. Правда, ця оригінальність стає зрозумілою в світлі досягнень сучасної логіки. Тривалий час існували хибні уявлення про логіку цієї школи. «Під впливом Прантля і Целле-ра, — писав О. Маковельський, — в історії філософії встановився хибний погляд на логіку стоїків як на систему, що не містить у собі нічого нового й оригінального» [58]. Насправді ж логічні ідеї стоїків перегукуються з ідеями, які лежать в основі сучасної логіки. Так, вважаючи основними і первинними не категоричні умовиводи, а ті, в яких роль більшого засновку відіграють складні судження (гіпотетичні, розділові, єднальні), стоїки вперше проаналізували судження, що зараз називають імплікативними, диз'юнктивними, кон'юнктивними тощо. До того ж, стоїки чи не вперше зробили спробу визначати логічне значення складних суджень, абстрагуючись від змісту простих, що входять до їх складу. Так, на думку Філона, необхідна і достатня умова істинності умовного судження полягає в тому, щоб перша її частина (читай — антецедент) не була істинним судженням, коли друга частина (читай — консеквент) є хибною. В останніх трьох випадках умовні судження будуть істинні. Хіба це не збігається з таблицею істинності імплікації?!
Знаменно й те, що логіка, на думку стоїків, повинна вивчати не лише поняття, судження і умовиводи, а й слова та речення (читай — імена і висловлювання). Стоїки вперше ввели змінні для позначення простих суджень. Все це свідчить про те, що саме стоїки започаткували логіку висловлювань.
Можна назвати й інші аргументи, які свідчать про оригінальність ідей представників цієї філософської школи.

2. Логіка середньовіччя (схоластична логіка)
Щодо логіки середньовіччя (як і всієї тогочасної культури) існують протилежні точки зору. Одні вчені розглядають цю епоху як час занепаду культури, інші, відзначаючи прояви прогресу, — як необхідний етап розвитку людства.
Середньовічна логіка, як і філософія загалом, була поставлена на службу релігії. Головне її завдання полягало в обґрунтуванні догматів релігії, доведенні існування Бога, поясненні питань створення світу та безсмертя людської душі тощо. З цією метою зверталися до арістотелівського вчення. Панівним напрямом логіки середньовіччя була «схоластична логіка», яка, популяризуючи логіку Арістотеля, водночас зумовила негативне ставлення до неї.
«Перетворивши логіку Арістотеля на мертву, безплідну науку, середньовічні схоласти піддали її вчення витонченій обробці...». Теми схоластичних виступів часто були такими курйозними, що кидали тінь на тогочасну логіку: скільки духів можуть уміститися на вістрі голки, чи є в жінки душа, чи носитимуть люди одяг у потойбічному житті тощо.
Проте схоластична логіка була необхідним етапом розвитку цієї науки хоча б тому, що сприяла популяризації логічних знань. У цей час активно пропагувалися твори античних філософів, зокрема Арістотеля, вчення якого глибоко вивчали і творчо розробляли. Логіка поступово формувалась як навчальна дисципліна.
Петро Іспанський відіграв велику роль у розробці логіки Арістотеля і стоїків. Його праця «Суммули» (яка перевидавалася майже 50 разів) була основним підручником1 Західної Європи в епоху середньовіччя.
З метою кращого запам'ятовування логічних знань учені середньовіччя нерідко вдавалися до мнемонічних (грец. mnemonikon — мистецтво запам'ятовування) засобів: штучно створених схем, умовних знаків, символів тощо.
Михайло Псьол, логіку якого називали «мистецтвом мистецтв» і «наукою наук», у своєму «Синопсисі» вводить для різних видів суджень символічні позначення (А, І, Е, О) а для різних модусів силогізму — спеціальні слова, голосні яких позначали кількість і якість суджень, що входили до складу відповідного різновиду силогізму.
До мнемонічних засобів вдавалися й деякі інші мислителі (Вільям Шервуд, Жан Буридан та ін.).
У середньовічній логіці час від часу виникали ідеї, які збагачували традиційну логіку, а іноді передували численним галузям сучасної логіки. Так, деякі вчені займалися проблемами модальної логіки. Ібн Ругяд розробив класифікацію модальних суджень, зокрема розрізняв сильну, нейтральну і слабку можливості, Жан Буридан детально дослідив модальні умовиводи. Ансельм Кентерберійський аналізував речення, які містили модальні функтори «можливо», «сумнівно», «необхідно», а оскільки він розглядав і функтори-при-писи («заборонено», «обов'язково» тощо), його вважають одним із основоположників деонтичної логіки.
Інші мислителі працювали над проблемою логічного слідування. Так, Дуне Скот відкрив логічний закон, який нині виражають формулою P—>(P~->q). Інген Марселій вважав за можливе робити висновок від кожного члена диз'юнкції до всієї диз'юнкції, від уні-
ЧІідручники з логіки писали й раніше: Апулей з Мадав-ра у II ст. н.е., Ібн Сіна (приблизно
версального — до будь-якого члена диз'юнкції. Він знав правило виключення знака кон'юнкції, що сучасними засобами виражається формулою (АлВ)—А або (ААБ) І— В1. А одне із сформульованих ним правил передує сучасній операції введення знака диз'юнкції: A -{AvB) або В -{AvB).
У працях мислителів середньовіччя містилися деякі елементи сучасного числення висловлювань. Так, твори Фарабі, якого називали «другим учителем», тобто другим Арістотелем, містили здогади про матеріальну імплікацію. Ібн Сіна детально аналізував кон'юнкцію, був обізнаний з імплікацією. П'єр Абеляр застосовував у логічних операціях деякі правила імплікації та диз'юнкції. Бурлей Вальтер досліджував проблеми імплікації, диз'юнкції та суппозиції.
Деяким середньовічним мислителям були відомі закони, які нині називають законами де Моргана. Це стосується, зокрема, Петра Іспанського та Рагхунатха Сіромані. Адам де Пті-Пон випередив канторівську ідею про можливість існування множини речей, яка містить підмножину, в певному розумінні рівну самій цій множині. Ним же була випереджена й ідея Пірса про те, що скінченна множина не може бути взаємно-однозначно відображена на її власну підмножину.
Раймонд Луллій побудував «логічну машину», за допомогою якої одержував різні поєднання понять. Ця ідея була сприйнята його сучасниками з недовірою. Проте вже у XVII ст. ідея Р. Луллія про машинізацію умовиводів, мислених процесів мала великий вплив на засновника математичної логіки німецького філософа Готфріда-Вільгельма Лейбніца.