тим самим створила основи формальної логіки як науки про закони і форми правильного мислення. На цій системі базувалася концепція обчислення предикатів в сучасної математичної логіки. Хоча Аристотель істотно спирався в логічних дослідженнях на ідеї Геракліта, Демокріта, Платона та інших давньогрецьких мислителів, він, безперечно, є новатором, автором геніальних відкриттів в області логіки. Він вперше виклав положення логіки в систематичному вигляді, тому по праву вважається основоположником логіки як науки.
Розглянемо ряд напрямків в області логіки, які розвивалися після Аристотеля. Його учні Феофраст і Евдем Родоський продовжували дослідження свого вчителя. Теофраст вніс деякі уточнення до трактування операцій заперечення і квантифікації. Він підкреслював, що не байдужий, де ставити заперечення: перед дієсловом або іменником. Наприклад, судження "Х не знає науку" і "х знає науку" одне одного заперечують. Якщо поставити частку "не" перед іменником, а не дієсловом, такі судження не є негативні "х знає науку", "х знає не з науку ".
Основи пропозіціонной логіки, або логіки висловлювань закладено логічної школою стоїків. Її засновником був Зенон з Китіона (336-264), а найбільший внесок у цю область логіки зробив Хрізіпп (281-208). Стоїкам належить концепція аксіоматичної побудови теорії, а також осмислення і систематизація несилогістичних і релятивних умовиводів. За думку стоїків, дотримання правил формальної логіки гарантує лише коректність виведення висновку з передумов, а не дійсну істинність ув'язнення. Логічне вчення стоїків було новаторським в порівнянні з підходами Аристотеля і його учнів. p> Істотний внесок у розробку логічної проблематики здійснили мислителі школи, засновником якої був Епікур (341-270) з Афін. Він вважав, що мислення є спогадом про минуле досвіді. Епікур використовує індуктивний підхід до пояснення виникнення логічних форм. Всі думки народжуються з почуттів завдяки збігу, відповідності, подібності та синтезу.
Епікур
Важливим основоположним принципом епікуреїзму є така ідея: "Дослідити природу потрібно не на основі порожнистих посилок і упереджень, а так, як того вимагають самі явища ". На цьому положенні грунтується індукція епікурейців - первинними в процесі пізнання є явища, а не аксіоми. Найбільш відомим послідовником Епікура в області логіки був Філодем (110-39) з Гадара, римлянин, сучасник Цицерона. На основі індукції він розробив метод аналогії, порівнював факти і явища і співвідносив їх з іншими фактами і явищами.
Сучасниками стоїків і епікурейців були скептики, які також цікавилися логікою. Представники цієї школи Піррон (365-275), Тімон (320-230), Карнеад (214-129) зробили істотний внесок у теорію аргументації. Кожен вислів вони розглядали як теза і антитеза, підкреслюючи, що теза не є правильною, але і антитеза некоректна. Отже, і теза, і антитеза є помилковими. Тому цілком правомірно сумнів про можливість існу...
