логическое следование


логическое следование
- отношение, существующее между посылками и обоснованно выводимыми из них заключениями. Л.с. относится к числу фундаментальных, исходных понятий логики, точного универсального определения не имеет; в частности, описание его с помощью слов "выводимо", "вытекает" и т. п. содержит неявный круг, поскольку последние являются синонимами слова "следует". Понятие Л. с. обычно характеризуется через связи с другими логическими понятиями, и прежде всего через понятия логического закона и модели.
Из высказывания А логически следует высказывание В, когда импликация "Если A, то В" является частным случаем закона логики. Напр., из высказывания "Если натрий - металл, он пластичен"логически вытекает высказывание "Если натрий непластичен, он не металл", поскольку импликация, основанием которой является первое высказывание, а следствием - второе, представляет собой частный случай логического контрапозиции закона.
Иное, семантическое определение логического следования: из посылок A1, ..., Аn логически следует высказывание В, если не может быть так, что высказывания A1, ..., Аn истинны, а высказывание В ложно (т. е. если В истинно в любой модели, в которой истинны A1, ..., Аn).
Отличительной чертой Л. с. является, таким образом, то, что оно ведет от истинных высказываний только к истинным. Если выводы, относимые к обоснованным, дают возможность переходить от истины к лжи, то установление между высказываниями отношения Л.с. теряет всякий смысл, и логический вывод превращается из формы разворачивания и конкретизации знания в средство, стирающее грань между истиной и заблуждением.
В современной логике проблема адекватного описания Л. с. возникла в связи с тем, что логика классическая дает слишком широкое его описание, в ряде моментов не согласующееся с интуитивным представлением о следовании одних высказываний из других. В частности, согласно этой логике, из противоречия логически следует любое высказывание, логически истинное высказывание следует из любого и т. п. (см.: Импликация материальная, Парадоксы импликации).
Усовершенствованные описания Л. с. не содержат правил, позволяющих перейти от истинных посылок к ложному заключению. Они удовлетворяют, кроме того, ряду дополнительных условий. Выдвижение этих условий объясняется стремлением дать такое описание Л. с., при котором существование между высказываниями этого отношения зависело бы не только от истинностного значения высказываний (как в классической логике), но и от их смысловой связи. Поскольку "связь по смыслу" понимается по-разному, существуют различные неклассические теории Л. с. С их помощью решается задача исключения нежелательных, или парадоксальных, правил следования и показано, что нет привилегированной логической системы, являющейся единственно правильным описанием Л. с. Дальнейшая задача формально-логического анализа данного отношения состоит в разработке единой логической теории, взаимосвязанными фрагментами которой оказались бы уже построенные и иные возможные теории Л. с.

Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. . 1997.

Смотреть что такое "логическое следование" в других словарях:

  • ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ —         отношение между некоторыми высказываниями (посылками) Г и высказыванием В (заключением), отображающее тот факт, что из Г, используя правильные приёмы рассуждения, можно получить В. В логике, фиксирующей нормы рассуждения с помощью… …   Философская энциклопедия

  • Логическое следование — или Импликация в повседневной речи читается если A, то В. Обозначается: Избавление от операции импликации: Таблица истинности: A B 0 0 1 0 1 1 1 0 …   Википедия

  • логическое следование —         ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ отношение между высказываниями; более точно отношение между посылками и заключением, которое характеризуется тем, что заключение с необходимостью следует из посылок.         Понятие Л. с. является центральным в… …   Энциклопедия эпистемологии и философии науки

  • СЛЕДОВАНИЕ ЛОГИЧЕСКОЕ —     СЛЕДОВАНИЕ ЛОГИЧЕСКОЕ отношение между некоторым множеством высказываний Г (гипотез) и высказыванием В (заключением), отображающее тот факт, что, в силу только логической структуры названных высказываний и, значит, независимо от их содержания… …   Философская энциклопедия

  • следование — см.: Логическое следование …   Словарь терминов логики

  • Логическое отрицание — Отрицание в логике унарная операция над суждениями, результатом которой является суждение (в известном смысле) «противоположное» исходному. Обозначается знаком ¬ Как в классической, так и в интуиционистской логике «двойное отрицание» ¬¬A является …   Википедия

  • Логическое мышление — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος  «речь», «рассуждение»)  наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… …   Википедия

  • СЛЕДОВАНИЕ — (логическое следо в а н и е) – отношение между суждениями (высказываниями, предложениями, утвержде ниями), играющее центр. роль в (дедуктивной) логике: изучение свойств С. в конечном счете породило всю логич. проблематику. Поскольку С.… …   Философская энциклопедия

  • ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… …   Философская энциклопедия

  • Конструктивный прием — – вид семантических отношений между основными смысловыми элементами логического единства, выступающий как средство стилистической выразительности и соответствующий определенной структурно смысловой целостности дискурса. Конструктивные приемы, так …   Стилистический энциклопедический словарь русского языка

Книги

Другие книги по запросу «логическое следование» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.