Что значит «логика»?
Cлово «логика» означает:
(от греч. logike) — 1. совокупность наук о законах и нормах правильного мышления. 2. Разумность, внутренняя закономерность ч.-л., напр., Л. событий.
Источник: Социологический словарь
Значение слова «логика» в словарях
(от греч. logik — соответствующий рассуждениям) — англ. logic; нем. Logik. 1. Совокупность наук о законах и формах правильного мышления. 2. Разумность, внутренняя закономерность ч.-л., напр., Л. событий.
Источник: Социологический словарь
Философский словарь
Логика
В книге: 1) универсальная граница данности вещей в мире, сама остающаяся незримой; 2) методика косвенного выявления этой границы.
Словарь логики
Логика
(от греч. logos — слово, понятие, рассуждение, разум), или: Формальная логика, — наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или структурой, и не зависит от конкретного содержания входящих в него утверждений. Различие между формой и содержанием может быть сделано явным с помощью особого языка, или символики, оно относительно и зависит от выбора языка. Отличительная особенность правильного вывода в том, что от истинных посылок он всегда ведет к истинному заключению. Такой вывод позволяет из имеющихся истин получать новые истины с помощью чистого рассуждения, без обращения к опыту, интуиции и т. п. Неправильные выводы могут от истинных посылок вести как к истинным, так и к ложным заключениям. Л. занимается не только связями высказываний в правильных выводах, но и многими иными проблемами: смыслом и значением выражений языка, различными отношениями между терминами (понятиями), операциями определения и логического деления понятий, вероятностными и статистическими рассуждениями, парадоксами и логическими ошибками и т. д. Но главные темы логических исследований — анализ правильности рассуждения, формулировка законов и принципов, соблюдение которых является необходимым условием получения истинных заключений в процессе вывода. Правильным является, напр., рассуждение, следующее схеме: «Если есть первое, то есть и второе; есть первое, значит, есть и второе» (см.: Модус поненс). По этой схеме из высказываний «Если сейчас день, то светло» и «Сейчас день» вытекает высказывание «Сейчас светло». Какие бы конкретные истинные высказывания ни подставлялись в указанную схему, заключение обязательно будет истинным. В правильном рассуждении заключение вытекает из посылок с логической необходимостью, общая схема такого рассуждения выражает логический закон. Рассуждать логически правильно — значит рассуждать в соответствии с законами Л. Л. не просто перечисляет некоторые схемы правильного рассуждения. Она выявляет различные типы таких схем, устанавливает общие критерии их правильности, выделяет исходные схемы, из которых по определенным правилам могут быть получены другие схемы данного типа, исследует проблему взаимной совместимости схем и т. д. В современной Л. логические процессы изучаются путем их отображения в языках формализованных, или логических, исчислений. Построение исчисления отличается тщательностью, с которой формулируются его синтаксические и семантические правила, отсутствием исключений, характерных для естественного языка. Исследованием формального строения логических исчислений, правил образования и преобразования входящих в них выражений занимается логический синтаксис. Отношения между исчислениями и содержательными областями, служащими их интерпретациями или моделями, исследуются семантикой логической. Современная Л. слагается из большого числа логических систем, описывающих отдельные фрагменты, или типы, содержательных рассуждений. Эти системы принято делить на Л. классическую, включающую классические Л. высказываний и Л. предикатов, и Л. неклассическую, в которую входят модальная Л., интуиционистская Л., многозначная Л., неклассические теории логического следования, паранепротиворечивая Л., Л. квантовой механики и др. Каждая из этих Л. также включает, как правило, соответствующие Л. высказываний и Л. предикатов. Таким образом, хотя Л. как наука едина, она слагается из множества более или менее частных систем, ни одна из которых не может претендовать на выявление логических характеристик мышления в целом. Единство Л. проявляется прежде всего в том, что входящие в нее «отдельные» Л. пользуются при описании логических процессов одними и теми же методами исследования. Все они отвлекаются от конкретного содержания высказываний и умозаключений и оперируют только их формальным, структурным содержанием. В каждой применяется язык символов и формул, строящийся в соответствии с общими для всех систем принципами. И наконец, «сконструированная» Л. вызывает ряд вопросов, характерных для любой системы: нет ли в ней противоречий, охватывает ли она все истины рассматриваемого рода и др. (см.: Непротиворечивость, Полнота, Разрешения проблема). Между разными логическими системами имеются определенные связи. Одни системы могут быть эквивалентны другим, или включаться в них, или быть их обобщением и т. д. Единство Л. проявляется также в том, что разные Л. не противоречат друг другу: законами одной из них не являются отрицания законов, принятых в другой. История Л. насчитывает около двух с половиной тысячелетий и разделяется на два основных этапа. Первый начался с трудов Аристотеля (384-322 до н. э.) и продолжался до второй половины XIX — начала XX в., второй — с этого времени до наших дней. На первом этапе Л. развивалась очень медленно, это дало И. Канту повод заявить, что она является с самого начала завершенной наукой, не продвинувшейся после Аристотеля ни на один шаг. Ошибочность такого представления была ясно показана в последние сто с небольшим лет, когда в Л. произошла научная революция и на смену традиционной Л. пришла современная Л., называемая также математической или символической Л. В основе последней — идеи Г. Лейбница (1646-1716) о возможности представить доказательство как математическое вычисление. Д. Буль (1815-1864) истолковал умозаключение как результат решения логических равенств, в результате чего теория умозаключения приняла вид своеобразной алгебры, отличающейся от обычной алгебры лишь отсутствием численных коэффициентов и степеней. С работ Г. Фреге (1848-1925) начинается применение Л. для исследования оснований математики. Значительный вклад в развитие Л. в дальнейшем внесли Б. Рассел (1872-1970), А. Н. Уайтхед (1861-1947), Д. Гильберт (1862-1943) и др. В 30-е годы фундаментальные результаты получили К. Гёдель (1906-1978), А. Тарский (1901-1983), А.Чёрч(р. 1903). На первых порах современная Л. ориентировалась почти всецело на анализ только математических рассуждений. Это поддерживало иллюзию, что развитие Л. не зависит от эволюции теоретического мышления и не является в к.-л. смысле отображением последней. В 20-е годы XX в. предмет логических исследований существенно расширился. Начали складываться многозначная Л., предполагающая, что наши утверждения являются не только истинными или ложными, но могут иметь и другие истинные значения; модальная Л., рассматривающая понятия необходимости, возможности, случайности и т. п.; деонтическая Л., изучающая логические связи нормативных высказываний, и др. Все эти новые разделы не были непосредственно связаны с математикой, в сферу логического исследования вовлекались уже естественные и гуманитарные науки. В дальнейшем сложились и нашли интересные применения: Л. времени, описывающая логические связи высказываний о прошлом и будущем; паранепротиворечивая Л., не позволяющая выводить из противоречий все что угодно; эпистемическая Л., изучающая понятия «опровержимо», «неразрешимо», «доказуемо», «убежден», «сомневается» и т. п.; оценок Л., имеющая дело с понятиями «хорошо», «плохо», «безразлично», «лучше», «хуже» и т. п.; Л. изменения, говорящая об изменении и становлении нового; причинности Л., изучающая утверждения о детерминизме и причинности; парафальсифицирующая Л., не позволяющая отвергать положения, хотя бы одно следствие которых оказалось ложным; релевантная Л. и др. Экстенсивный рост Л. не завершился и сейчас. Основные ее ветви, или разделы, можно сгруппировать так: о базисная Л., в которую входят классическая Л., модальная Л., многозначная Л., неклассические теории логического следования; >> металогика, исследующая сами логические теории, их внутреннюю структуру и связи с описываемой ими реальностью; о разделы математического направления, включающие теорию доказательства, теорию множеств, теорию функций, Л. вероятностей, обоснование математики; о разделы, ориентированные на приложение в естественных и гуманитарных науках, такие, как индуктивная Л., изучающая проблематичные выводы, логические теории времени, причинности, норм, оценок, действия, решения и выбора и др.; >> разделы, находящие применение при обсуждении определенных философских проблем: Л. бытия, Л. изменения, Л. части и целого, логические теории вопросов, знания, убеждения, воображения, стремления и т. п. Границы между этими областями не являются четкими, одни и те же ветви Л. могут иметь одновременно отношение к философии и естествознанию, к математике и металогике и т. д. Прояснение и углубление оснований современной Л. сопровождалось пересмотром и уточнением таких центральных ее понятий, как логическая форма, логический закон, доказательство, логическое следование и др. Законы Л. долгое время представлялись абсолютными истинами, никак не связанными с опытом. Однако возникновение конкурирующих логических теорий, отстаивающих разные множества законов, показало, что Л. складывается в практике мышления и что она меняется с изменением этой практики. Логические законы — такие же продукты человеческого опыта, как и аксиомы евклидовой геометрии, тоже казавшиеся когда-то априорными. Именно постоянно повторяющаяся практика выявляла некоторые общие и инвариантные отношения между вещами, вовлеченными в трудовую деятельность, и закрепляла их в сознании в виде некоторых логических структур, лежащих в основе формулирования правил логики. Доказательство, и в особенности математическое, принято было считать императивным и универсальным указанием, обязательным для всякого непредубежденного ума. Развитие Л. показало, однако, что доказательства вовсе не обладают абсолютной, вневременной строгостью и являются только опосредствованными средствами убеждения. Даже способы математической аргументации на деле историчны и социально обусловлены. В разных логических системах доказательствами считаются разные последовательности утверждений, и ни одно доказательство не является окончательным. Перемены, происшедшие в Л. в XX в., приблизили ее к реальному мышлению и тем самым к человеческой деятельности, одной из разновидностей которой оно является. Для правильного понимания предмета и задач формальной Л. важно четко представлять ее соотношение с диалектической Л. Диалектика как Л. исследует становление и развитие понятий и представлений, их отношения, переходы, противоречия. Диалектические принципы историзма, конкретности истины, единства абстрактного и конкретного, практики как критерия истины и т. д. направлены на познание закономерностей мышления, взятого в его движении и развитии, в последовательном постижении реальности. Формальная Л. главное внимание направляет на прояснение структуры готового знания, на описание его формальных свя- зей и элементов. Диалектическая и формальная Л. — две разные науки, различающиеся как предметами своего исследования, так и методами. Современная Л. находит применение во многих областях. В частности, она оказала влияние на развитие математики, прежде всего теории множеств, формальных систем, алгоритмов, рекурсивных функций; идеи и аппарат Л. используются в кибернетике, вычислительной технике, в электротехнике и др.
Большой Энциклопедический Словарь
Логика
(греч. logike) — наука о способах доказательств и опровержений;совокупность научных теорий, в каждой из которых рассматриваютсяопределенные способы доказательств и опровержений. Основателем логикисчитается Аристотель. Различают индуктивную и дедуктивную логику, а впоследней — классическую, интуиционистскую, конструктивную, модальную идр. Все эти теории объединяет стремление к каталогизации таких способоврассуждений, которые от истинных суждений-посылок приводят к истиннымсуждениям-следствиям; каталогизация осуществляется, как правило, в рамкахлогических. исчислений. Особую роль в ускорении научно-техническогопрогресса играют приложения логики в вычислительной математике, теорииавтоматов, лингвистике, информатике и др. См. также Математическая логика.
Исторический словарь
Логика
— наука о способах доказательств и опровержений. Умение аргументированно и доходчиво убеждать собеседника.
Психологический словарь
Логика
Нормативная отрасль философии, которая имеет дело с критериями валидности в мышлении, законами правильной предикации и принципами рассуждения и демонстрации. занимается только процессом рассуждения, а не конечным результатом. К неправильным заключениям можно прийти с помощью логических средств, если первоначальные допущения были ложными. См. формальная логика, символическая логика.
Социологический словарь
Логика
(logic) — раздел философии, посвященный анализу универсальных и контекстно-свободных (априорных) принципов смыслового рассуждения и обоснованных выводов, посредством которых из начальных посылок выводятся заключения. Эти общие принципы "формальны", ибо абстрактны по природе, и могут также выражаться символической записью. Ранней формулировкой гики, господствовавшей до новых времен, послужила систематизация Аристотелем основ силлогизма (доказательная логика) . К 19-му столетию она была дополнена более техническими формами в основном связанными с математикой. См. также Индукция и пивная логика; Аналитическое и синтетическое; Диалектика; Модель сопроводительного закона и дедуктивное помологическое объяснение; Позитивизм.
Психологическая энциклопедия
Логика
Нормативная отрасль философии, которая имеет дело с критериями валидности в мышлении, законами правильной предикации и принципами рассуждения и демонстрации. занимается только процессом рассуждения, а не конечным результатом. К неправильным заключениям можно прийти с помощью логических средств, если первоначальные допущения были ложными. См. формальная логика, символическая логика.
Толковый словарь Даля
Логика
ж. греч. наука здравомыслия, наука правильно рассуждать; умословие. Логик м. умослов, правильный и здравый мыслитель, знающий науку правильного рассуждения. Логический, логичный, согласный с логикою; здравое, правильное рассуждение. Логистика математ. алгебра. | Логарифмика. | Часть тактики, о передвижении войск. Логомахия ж. словопрение, спор из пустого в порожнее. Логогриф м. род загадки, в которой слово разлагается по слогам.
Толковый словарь Ожегова
Логика
Наука о законах и формах мышления
Википедия
Логика
Одна из главных задач логики — определить, как прийти к выводу из предпосылок («правильное рассуждение») и получить истинное знание о предмете размышления, чтобы глубже разобраться в нюансах изучаемого предмета мысли и его соотношениях с другими аспектами рассматриваемого явления.
Большой современный толковый словарь русского языка
I ж.
1.Наука о законах и формах мышления.
2.Научная дисциплина, изучающая способы доказательств и опровержений. II ж.
1.Внутренняя закономерность, присущая явлениям природы, общества.
2.Правильный, разумный ход рассуждений, умозаключений.
Новый словарь иностранных слов
Логика
( гр. logike)
1) наука о законах и формах мышления; формальная л. — наука, изучающая формы мыслей и формы сочетаний их, отвлекаясь от конкретного содержания суждений, умозаключений, понятий; диалектическая л. — наука о мышлении, способном отразить в познании диалектику природы и общества; изучает мышление в его развитии, противоречиях и единстве формы и содержания; математическая л. — раздел математики, логика, развиваемая математическими методами; играет важную роль в вопросах обоснования математики; находит многочисленные приложения в вопросах конструирования и применения электронно-вычислительных машин;
2) ход рассуждений, умозаключений;
3) разумность, внутренняя закономерность.
Каким бывает «логика»?
Логика бывает:
- формальная
- неумолимая
- элементарная
- математическая
- машинная
- линейная
- пресловутая
- хвалёная
- несокрушимая
- абстрактная
Морфемный и фонетический разбор слова «логика»
Морфемный (разбор по составу, частям речи) и звуко-буквенный разбор слова логика. Слоги, перенос слова, транскрипция и цветовая схема.
Синонимы к слову «логика»
Какими словами можно заменить слово логика? В качестве синонимов в русском языке чаще всего используются:
- Закономерность
- Понятность
- Железная логика
- Рациональность
- Логичность
- Законность
- Разумность
- Логический блок
- Разум
- Закон
Ассоциации к слову «логика» (слова на тему)
С чем ассоциируется слово логика? В русском языке со словом логика чаще всего ассоциируются следующие слова:
Все ассоциации к слову ЛОГИКАСочетаемость слова «логика»
Как правильно употребляется слово логика? Примеры сочетаемости с прилагательными, существительными и глаголами помогут вам это лучше понять.
- банальная логика
- безупречная логика
- божественная логика
- вероятностная логика
- внутренняя логика
- высшая логика
- дедуктивная логика
Предложения со словом «логика»
Примеры употребления слова логика в классической литературе, цитаты из популярных фильмов и сериалов.
Огромный вклад в развитие формальной логики внесли русские учёные.
Валерий Вечканов, Логика в вопросах и ответах
Эта книга никогда не появилась бы, если бы мы вполне понимали логику развития общества, а другие тексты обеспечивали готовыми ответами.
В. Г. Колташов, Капитализм кризисов и революций. Как сменяются формационные эпохи, рождаются длинные волны, умирают реставрации и наступает неомеркантилизм
Его обходительность, доброта и простота зачастую позволяли привлечь футболистов, которые по месту жительства или чисто спортивным навыкам, следуя логике вещей, должны были играть в другом месте.
Жан Филипп, Зинедин Зидан. Биография
Женская логика — это бабская дурь.
Дурь
Все предложения и цитаты со словом ЛОГИКАCлово «логика» является ответом на вопросы
- Наука здравомыслящих
- Четкость в рассуждениях
- Наука здравомыслия, наука правильно рассуждать; умословие
- Внутренняя закономерность
- Умение рассуждать
- Путы фантазии
- Ход рассуждений
- Внутренняя обусловленность, закономерность развития событий
- Умение делать выводы
- Орудие, используемое для обоснования предубеждений