Аристотелевская классификация суждений

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

Крупнейшим достижением в области логики Аристотель считал открытие силлогизма, т.е. рассуждение, в котором при утверждении любого из него необходимо вытекает несколько отличное от того, что утверждается, и именно вследствие того, что это есть. Такое отличное не требует никакого постороннего срока, чтобы следовать из имеющихся суждений с необходимостью. Аристотель подает и более узкое определение силлогизма как умозаключения, в котором один из терминов должен содержаться в утвердительном предпосылки и один должен быть взят в полном объеме, поскольку без общего предпосылки корректный силлогизм невозможен. Силлогизмы первой фигуры он считал совершенными. Аристотель сформулировал следующие общие правила силлогизма:

- Если оба предпосылки отрицательные или частичные, то из них невозможно сделать вывод;

- В силлогизме один посылка должна быть общим, другой утверждающим;

- В силлогизме должно быть три и не более сроки.

Аристотелевская силлогистика была первой дедуктивной системой. Она заложила фундамент формализации процессов мышления и тем самым создала основы формальной логики как науки о законах и формах правильного мышления. На этой системе базировалась концепция исчисления предикатов в современной математической логике. Хотя Аристотель существенно опирался в логических исследованиях на идеи Гераклита, Демокрита, Платона и других древнегреческих мыслителей, он, бесспорно, является новатором, автором гениальных открытий в области логики. Он впервые изложил положения логики в систематическом виде, поэтому по праву считается основоположником логики как науки.

Рассмотрим ряд направлений в области логики, которые развивались после Аристотеля. Его ученики Феофраст и Евдем Родосский продолжали исследования своего учителя. Теофраст внес некоторые уточнения в трактовку операций отрицания и квантификации. Он подчеркивал, что не равнодушен, где ставить возражения: перед глаголом или существительным. Например, суждение "х не знает науку" и "х знает науку" друг друга отрицают. Если поставить частицу "не" перед существительным, а не глаголом, такие суждения не являются отрицательные "х знает науку", "х знает не науку".

Основы пропозиционной логики, или логики высказываний заложено логической школой стоиков. Ее основателем был Зенон из Китиона (336-264), а наибольший вклад в эту область логики сделал Хризипп (281-208). Стоикам принадлежит концепция аксиоматического построения теории, а также осмысление и систематизация несиллогистических и релятивных умозаключений. По мнению стоиков, соблюдение правил формальной логики гарантирует лишь корректность вывода выводу из предпосылок, а не действительную истинность заключения. Логическое учение стоиков было новаторским по сравнению с подходами Аристотеля и его учеников.

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

Епикур

Важным основополагающим принципом эпикуреизма есть такая идея: "Исследовать природу нужно не на основе полых посылок и предубеждений, а так, как того требуют сами явления". На этом положении основывается индукция эпикурейцев - первичными в процессе познания есть явления, а не аксиомы. Наиболее известным последователем Эпикура в области логики был Филодем (110-39) с Гадара, римлянин, современник Цицерона. На основе индукции он разработал метод аналогии, сравнивал факты и явления и соотносил их с другими фактами и явлениями.

Современниками стоиков и эпикурейцев были скептики, которые также интересовались логикой. Представители этой школы Пиррон (365-275), Тимон (320-230), Карнеад (214-129) сделали существенный вклад в теорию аргументации. Каждый высказывание они рассматривали как тезис и антитезис, подчеркивая, что тезис не является правильной, но и антитеза некорректна. Следовательно, и тезис, и антитезис являются ошибочными. Поэтому вполне правомерно сомнение о возможности существования истинных аподиктические суждений.

После долгого периода упадка логической науки в Ш-1V ст. н.э. возникает мистико-идеалистическая философия неоплатонизма. Логические исследования сводятся к комментариям положений Аристотеля. Самым талантливым комментатором аристотелевских работ был Порфирий (232-301). Он написал труд "Введение в" Категорий "Аристотеля", в которой анализируются такие понятия логики: * род, * вид, * видовое отличие, * собственная признак ", * случайная признак". Порфирий поставил вопрос об онтологическом статусе понятий, то есть о том, соответствует общим понятием что-то в реальной действительности и в каком смысле существуют эти универсалии - в зависимости от того или рядом с ними. Считается, что Порфирий заложил основы исчисления классов. В "Введении" Порфирия содержатся положения об отличной признак, по сути, отделяет одну вещь от другой.

Достижения логики римской эпохи античности стали промежуточным звеном между логическим учением Аристотеля, его последователей и логическими идеями Средневековья. В римский период наблюдается сближение проблематики логики с задачами Ритарыки. Организация общественной жизни Древнего рифму обусловила большую популярность ораторского искусства, благодаря чему была разработана латиномовна терминология. Значительный вклад в категориальный аппарат логики сделал М. Т. Цицерон (106-43). Он ввел ряд терминов, важных для развития логики: "evidente" - отчетливое представление, "varietas" - разнообразие, "differentia" - разница, "notio" - понятие, "propositio" - посылка силлогизма, "partitio" - разделение целого на части, "disparatus" - противоречивый, "complementum" - дополнения и др.