Логіка Давньої Греції

Платоном було розроблено вчення про природу понять, їх відношення за обсягом і змістом, про відношення роду і видів, про поєднуваність і непоєднуваність понять, про дефініції. Для дефініції понять він іноді застосовував особливий, «гіпотетичний метод».

Софісти — це умовна назва великої групи мислителів Давньої Греції середини V — першої половини IV ст. до н.е., які мали своєрідний вплив на розвиток логіки. Вони належали до різних шкіл, мали різні погляди, але користувалися подібним методом. Його істотною ознакою був релятивізм, класичним виявленням якого може бути відомий вислів Протагора: «Людина є мірою всіх речей: існуючих, що вони існують, і неіснуючих, що вони не існують» [3].Слово „софос” спочатку означало «майстер», «винахідник», «митець», «мудрець» тощо. Софістами називали вчителів мудрості і красномовства. Проте з другої половини V ст. до н.е. слово «софіст» набуває специфічного, загалом негативного змісту. Софістами в цей час стали називати платних учителів філософії, риторики (красномовства), еристики (мистецтва суперечки) тощо.

Так звані старші софісти ( Протагор, Горгій, Гіппій, Продик, Антифон та ін.) відзначались енциклопедичною освіченістю, вони досліджували питання етики, політики, держави, права, мовознавства тощо. Молодші софісти (Лікофрон, Алкідамант, Трасімах) настільки абсолютизували принцип релятивізму, що майстерність обґрунтування в них вироджується в жонглювання словами, у фальшиві засоби створення видимості доведення істинності чи хибності будь-яких положень.

Софісти постійно зверталися до проблем логіки. Про це свідчать їх праці. Так, Протагор написав трактат «Мистецтво суперечки». Заперечуючи наявність об'єктивного критерію істинності думок, софісти твердили, ніби в кожної людини є своя особлива істина. Виступаючи проти судження як форми мислення, вони заявляли, що суб'єкт не може мати з предикатом ніякого зв'язку.

Роль софістів у розвитку логіки полягає щонайменше в тому, що необхідність боротьби проти їх умисних логічних помилок (так званих хитрощів) змусила захисників строго логічного мислення чітко сформулювати ті його норми, які дають можливість уникнути навмисних, професійно сконструйованих порушень вимог логіки.

Логіка Аристотеля.

Основоположником логіки вважається Арістотель (384—322 до н.е.) — геніальний давньогрецький філософ і логік, вчений-енциклопедист. Творчо узагальнюючи перші успіхи логіки, він прагнув створити таку науку про мислення, яка б ґрунтувалася на чітко визначених об'єктивних засадах і не давала можливості свавільно будувати міркування, як це робили софісти. За деякими свідченнями, Арістотель написав майже тисячу праць. Його логічні твори пізніше були об'єднані під загальною назвою «Органон», куди ввійшли «Категорії», «Про тлумачення», «Аналітики. Перша і друга», «Топіка» і «Про софістичні спростування». Сам Арістотель своє логічне вчення називав аналітикою. Термін «логіка» з'явився пізніше, його ввели скептики.

Арістотель вперше чітко сформулював закон суперечності (основний закон мислення в логіці Арістотеля, який називав його найбільш безперечним принципом), закон виключеного третього і закон тотожності.

Врахування вимог законів логіки мало забезпечити такі риси правильного мислення, як визначеність, послідовність і несуперечливість. Риса логічно правильного мислення — доказовість — теж була в полі уваги Арістотеля, проте чіткого формулювання закону достатньої підстави (а тим більше назви цього закону) в його творах немає.

Арістотель детально досліджував основні форми мислення (поняття, судження, умовиводи), та головною його заслугою у сфері логічної науки було вчення про силогізм, створення дедуктивної логічної системи.

Стоїчній школі (Зенон, Хризіпп, Евбулід, Філон та ін.) належать оригінальні логічні ідеї. Правда, ця оригінальність стає зрозумілою в світлі досягнень сучасної логіки. стоїки вперше проаналізували судження, що зараз називають імплікативними, диз'юнктивними, кон'юнктивними тощо. До того ж, стоїки чи не вперше зробили спробу визначати логічне значення складних суджень, абстрагуючись від змісту простих, що входять до їх складу. Знаменно й те, що логіка, на думку стоїків, повинна вивчати не лише поняття, судження і умовиводи, а й слова та речення (читай — імена і висловлювання). Стоїки вперше ввели змінні для позначення простих суджень. Все це свідчить про те, що саме стоїки започаткували логіку висловлювань.