Логика

(от греч. logos), в античном мире зачастую отождествлялась с диалектикой. Проблемами категорий Л. занимался Парменид, с помощью дизъюнктивного силлогизма стремившийся доказать тождество мыслимого бытия и мысли. Опираясь на это положение и принцип исключённого третьего, он разработал учение, направл. на доказательство несостоятельности с формально-логич. точки зрения диалектич. противоречия – внутр. источника всякого движения, в т. ч. движения во времени и пространстве. В его понимании кажущееся изменение бытия есть всего лишь субъективная видимость. Его ученик Зенон Элейский вскрыл имеющиеся противоречия в понятиях движения, бесконечности, наименьшей величины с помощью своих «Апорий», способами решения которых по сей день занимаются математич. теории. Сократ и Платон с их диалектич. методом раскрытия понятий, а также Демокрит внесли значительный вклад в дальнейшее развитие Л. Но подлинным основателем науки Л. считается Аристотель. Поставив перед собой цель опровергнуть заведомо ложные положения софистов и их тезис об отсутствии объективной истины, он заложил основы науки о мышлении, позволяющей отделять истинные аргументы от ложных. Важнейшими сочинениями в своде логич. трактатов «Органон» считаются «Аналитики». Аристотель отделил логич. формы речи от её содержания и первым начал оперировать таким понятием, как переменная величина. При этом он не отвергал связь между Л. и действительностью, поскольку его букв, символы отражали возможное реальное положение вещей. Разработав систему силлогистики, предназнач. для выявления объективной связи между понятиями и суждениями, он заложил основы учения о логич. доказательстве. Благодаря его системе оказалось возможным из 2 посылок (Prämissen) получить истинный вывод (Conclusio).

: Если всякое А есть В;

И всякое В есть С;

То всякое А есть С.

Аристотель первым сформулировал 3 логич. закона: закон тождества, закон противоречия и закон исключ. третьего. Вслед за Аристотелем разработкой проблем Л. занялись стоики. Аристотелевская силлогистика представляла собой объективные правила, которые независимы от частных конкретных объектов. Напр.:

: Все люди смертны;

Сократ – человек;

Сократ – смертен.

В Л. стоиков основное внимание уделялось изучению простых и сложных высказываний:

: (Если идёт дождь, то дорога мокрая;

Идёт дождь;

Следовательно, дорога мокрая.)

Стоики установили виды связи суждений, интерпретируемых совр. понятиями конъюнкции и дизъюнкции. Они уменьшили число аристотелевских категорий до 4. Впоследствии разработкой учения о логич. доказательствах, и прежде всего аристотелевской силлогистикой, занимались Боэций и схоласты, которые приспособили её к своим целям.