ЛОГИКА: значение слова

ЛО́ГИКА (греч. logik;), наука о способах доказательств и опровержений; совокупность науч. теорий, рассматривающих определ. способы доказательств и опровержений. Основателем Л. считается Аристотель. Различают индуктивную и дедуктивную Л., а в последней - классич., интуиционистскую, конструктивную, модальную и др. Все эти теории объединяет стремление к каталогизации таких способов рассуждений, к-рые от истинных суждений-посылок приводят к истинным суждениям-следствиям; каталогизация осуществляется, как правило, в рамках логич. исчислений. Особую роль в ускорении науч.-техн. прогресса играют приложения Л. в вычислит. математике, теории автоматов, лингвистике, информатике и др. См. также Математическая логика .

ЛО́ГИКА ВЫСКАЗЫВАНИЙ, раздел логики, в к-ром вопрос об истинности или ложности высказываний рассматривается и решается на основе изучения способа построения высказываний из т.н. элементарных (далее не разлагаемых и не анализируемых) высказываний с помощью логич. операций конъюнкции ("и"), дизъюнкции ("или"), отрицания ("не"), импликации ("если..., то...") и др. Л.в., задаваемую системой постулатов (аксиом и правил вывода), наз. исчислением высказываний.

ЛО́ГИКА КЛАССОВ, логика объёмов понятий, раздел логич. теорий, в к-ром изучаются операции над классами (множествами) и свойства этих операций (законы Л.к.).

ЛО́ГИКА НАУКИ, область науки, применяющая понятия и техн. аппарат совр. логики к анализу систем науч. знания. Сформировалась в 1-й четв. 20 в. Разрабатывалась представителями неопозитивизма. В 60-х гг. получила творч. развитие в СССР. Термин "Л.н." употребляется также для обозначения законов развития науки (логика науч. развития), правил и процедур науч. иссл. (логика иссл.), учения о психол. и методол. предпосылках науч. открытий (логика науч. открытий).

ЛО́ГИКА ПРЕДИКАТОВ, раздел логич. теорий, в к-ром изучаются общезначимые связи между высказываниями о свойствах и отношениях предметов; в основе Л.п. лежит формализованный язык, отображающий субъективно-предикатную структуру высказываний. См. также Исчисление предикатов .

ЛОГИКА , -и, ж.

• 1. Наука о законах и формах мышления. Формальная л. Диалектическая л.

• 2. Ход рассуждений, умозаключений. У этого человека своя л. Женская л. (непоследовательная, непонятная; шутл.).

• 3. Разумность, внутренняя закономерность чего-н. Л. вещей. Л. событий. || прил. логический, -ая, -ое. Л. вывод. Логическая ошибка.

логики, ж. (греч. logike от logos - слово, разум). 1. Наука об общих законах развития объективного мира и познания (филос.). Логика есть учение не о внешних формах мышления, а о законах развития "всех материальных, природных и духовных вещей", т. е. развития всего конкретного содержания мира и познания его, т. е. итог, сумма, вывод истории познания мира. Ленин. Формальная, логика идеалистической философии считает общие понятия и формы познания неизменными, раз навсегда данными. Логика диалектического материализма утверждает, что формы познания меняются вместе с изменением объективного мира, и потому является наукой об историческом развитии человеческого мышления, как отражения в сознании развития объективного мира. 2. Разумность, правильность умозаключений. Говорить с неотразимой логикой. 3. Внутренняя закономерность. Логика вещей. Логика событий. Неумолимая логика истории. В его поступках нет никакой логики.

ж.
1) Научная дисциплина, изучающая способы доказательств и опровержений.
2) Внутренняя закономерность, присущая явлениям природы, общества.
3) Правильный, разумный ход рассуждений, умозаключений.

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

(от λόγος, разум, слово, мышление) ≈ по мнению одних, наука о доказательстве, по мнению других, наука о законах и формах мышления. Чтобы познать сущность Л. и ее задачи, следует обратиться к истории. I. Л. есть продукт греческого ума. Признавать здесь первенство индусов нет серезных оснований (см. Индийская философия). Творцом Л. считается по справедливости Аристотель, хотя в греческой философии, в особенности у Сократа и Платона, и раньше были затронуты некоторые логические вопросы. Диалектика элеатов, учение софистов, опровержение их Сократом и Платоном дали богатый материал, из которого Аристотель мог создать свое дивное логическое построение. Его "Органон" состоит из пяти сочинений: категорий, учения об истолковании, двух аналитик, топики и софистических доказательств. Категории отчасти соответствуют той части Л., которую теперь называют учением о понятиях; в сочинении об истолковании излагается учение о суждениях, в аналитиках ≈ учение о силлогизме и о научном доказательстве, в топике, наиболее устаревшем из всех логических сочинений Аристотеля, ≈ о диалектических доказательствах и вероятных заключениях; наконец, в софистических доказательствах приводятся примеры ложных умозаключений и показаны пути, как избавиться от софистических ошибок. Важнейшая заслуга Аристотеля и в то же самое время наиболее самостоятельная его работа состоит в разъяснении различных видов силлогизма и в анализе различных способов научного доказательства. Аристотеля обыкновенно считают творцом того логического направления, которое называется формальным и занимается анализом понятий, суждений и умозаключений, рассматривая их совершенно независимо от самого содержания понятий и суждений. Возможность такого отвлеченного рассмотрения заключается, по-видимому, в том, что во всяком познании можно различить два момента: материальный (то, что мыслится) и формальный (как оно мыслится), и эти моменты в известной степени отделимы друг от друга. История Л. есть в значительной степени история формального логическо…