Свое главное сочинение по логике Аристотель назвал “Аналитики первая и вторая”

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

Греческий философ-материалист эпохи эллинизма Эпикур (341-270 до н. э.) положил начало индуктивной логике, высоко ценил роль аналогии и опыта в познании. Эпикур и его последователи считали: чтобы индукция и аналогия давали истинные знания, они должны быть построены, прежде всего на наблюдении. Эпикур разработал учение о гипотезе. Он говорил, что когда еще нельзя с достоверностью установить причины явлений, допустимы любые гипотезы, удовлетворяющие двум условиям: если они не прибегают к сверхъестественным силам и объясняют явление как возникающее естественным способом; если нет фактов, противоречащих данной гипотезе.

Значительная роль в разработке логики принадлежит стоикам, которые ввели понятие “логика” как название одного из основных разделов философии, исследующего законы мыслительной деятельности. Философское учение стоицизма возникло в конце IV в. до н. э. на базе эллинистической культуры. Отмечая заслуги стоиков в развитии логики, К. Маркс и Ф. Энгельс писали в “Немецкой идеологии”, что после Аристотеля стоики явились главными основателями логики и систематики вообще.

2. Вопрос. История логического учения в Античности

ЛОГИКА (от греч. logos), в античном мире зачастую отождествлялась с диалектикой. Проблемами категорий логики занимался Парменид, с помощью дизъюнктивного силлогизма стремившийся доказать тождество мыслимого бытия и мысли. Сократ и Платон с их диалектическим методом раскрытия понятий, а также Демокрит внесли значительный вклад в дальнейшее развитие логики. Но подлинным основателем науки логики считается Аристотель. Поставив перед собой цель опровергнуть заведомо ложные положения софистов и их тезис об отсутствии объективной истины, Он заложил основы науки о мышлении, позволяющей отделять истинные аргументы от ложных.

Платон

Платон (428-347 гг. до н. э.), создавший систему объективного идеализма. Платон был идеологом рабовладельческой аристократии, и основанная им Академия стала центром политической реакции в Афинах. Исходя из учения Сократа об общих понятиях как сущности вещей, Платон превращает эти общие понятия в абсолютные идеи, которые существуют сами по себе, вне познающего субъекта и независимо от материального мира. По учению Платона, идеи первичны, вечны и неизменны и образуют особый потусторонний мир, который является "истинным бытием". Этому миру противостоит материя, нечто хаотическое и бесформенное, в которой отражаются идеи. Благодаря их отражению это "небытие" становится миром чувственных вещей. В материальном изменчивом мире отражаются вечные неизменные идеи, которые являются прообразами всех существующих в нем вещей. Эти вещи суть только "тени" идей.

Платон развил обширную преподавательскую и литературную деятельность, в которой значительное место было отведено вопросам теории познания и логики. Истину и знание, по Платону, следует искать не в данных чувственного восприятия, не в ощущениях, а в чистой деятельности духа. Лишь тот метод исследования, по учению Платона, является строго научным и ведет к истине, в котором оперируют с чистыми понятиями.

Во времена Платона стояла задача преодоления того скепсиса, той эристики, того отрицания истины, которые развивались в сократовских школах. Сократовская философия дала толчок к размышлениям о сущности логических функций. Но, занявшись вопросами логики, сократовские школы пришли к теориям, разрушавшим объективную истину и общезначимое знание. Необходимо было, так сказать, спасти мышление, восстановить его в правах, найти выход из лабиринта эристики, разбить всю эту скептическую аргументацию сократовских школ. Эта задача была выполнена Аристотелем. Еще раньше пытался ее решить Платон, но он был не в состоянии сделать это.

Главный порок логики Платона - отрыв понятий от единичных вещей, перенесение их в потусторонний мир, превращение понятий в самостоятельные сущности. Роды вещей у Платона существуют по ту сторону единичных вещей. По Платону, даже вся совокупность единичных вещей данного рода (в том случае, если бы мы могли охватить ее полностью) не даст нам понятия о роде. Невозможно извлечь понятие из вещей через простое их сравнение. Напротив, нужно уже заранее привнести готовое понятие, чтобы иметь возможность судить, что в вещах соответствует понятию и что не соответствует. Отдельные же вещи являются лишь примерами, которые нам напоминают об общих понятиях. Сами понятия в их чистом и совершенном виде существуют в потустороннем мире, материальные же вещи вовсе не являются той реальностью, к которой относятся понятия. Чтобы найти последние, недостаточно путем наблюдения установить общие, остающиеся себе равными, свойства вещей определенного рода. Для этого необходимо подняться к миру идей.