p> Секст Емпірік
Істотний внесок у розвиток логіки належить Платону (427-347). Проблеми логіки розглядаються в його діалогах "Теєтет", "Парменід", "Софіст" та ін У них виявляється перша в історії філософії таблиця категорій. Платон був попередником схоластичного вчення про суб'єкт і предикат судження. Теорія судження міститься в діалозі "Софіст". Платон розрізняє два види мовних виразів: одні називають іменами, інші - дієсловами. У діалозі "Теєтет" сформульовано закон виключеного третього (tertium non datur). У діалозі "Евтидем" дано формулювання закону суперечності, який тлумачиться онтологічно. Платон відзначав необхідність поєднувати в мисленні визнання протилежностей в об'єкті з дотриманням вимог закону протиріччя, тобто заборони формальних протиріч у мисленні. У діалозі "Тімей" можна знайти положення, які є певним виразом закону достатньої підстави. Стверджується, що знання (епістеми) від думки (дока) відрізняється тим, що перше грунтується на достатньому підставі. Всього логічне вчення Платона є певним підсумком і завершенням усього попереднього розвитку античної логіки. Воно стало необхідною основою арістотелівської логіки.
Засновником традиційної логіки є Аристотель (384-322). Всі логічні трактати Арістотеля - це зібрання його лекцій, які в різний час читав він своїм учням. Саме учні дали загальну назву цим творам - "Органон", що в перекладі з давньогрецької означає "Знаряддя". "Органон" містить шість трактатів:
1. Категорії 2.Герменевтіка 3. Перша Аналітика 4. Друга Аналітика. 5. Топіка 6. Про софістичних спростування. p> Аристотель своє логічне вчення називав "Аналітика". У багатому творчому доробку Арістотеля принципи логіки, вперше їм сформульовані, грають дуже важливу роль. Закони мислення він трактував як закони природа, мають загальний характер. Аристотель довів, що в мисленні є такі принципи, що мають загальнолюдське значення і тому їх слід дотримуватися, шукаючи істину в процесі наукових досліджень. Про будь-який предмет не можна стверджувати і заперечувати одне і те ж. Необхідною умовою істинних висловлювань він вважав однозначність і сталість змісту кожного слова в рамках певного міркування.
Аристотель ретельно досліджував три з відомих у традиційній логіці закону: закон тотожності, закон суперечності і закон виключеного третього, між якими він встановлював певний взаємозв'язок. Закон достатньої підстави не був предметом його особливої вЂ‹вЂ‹уваги. p> Закон тотожності сформульований Аристотелем у праці "Перша Аналітика ". Він зазначав: "У висловлюється і про самого себе". У цьому законі відображені вимога визначеності думки.
Закон протиріччя формулюється Аристотелем в такому вигляді:
Неможливо, щоб спірні твердження були одночасно істинні стосовно одного й того ж предмета.
Аристотель
Таке формулювання закону виключає можливість протиріччя у мисленні. Аристотель не визнавав протиріччя ні в онтологічном...
