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