ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ

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

Философский энциклопедический словарь. — М.: Советская энциклопедия. . 1983.


.

Игры ⚽ Нужен реферат?

Полезное


Смотреть что такое "ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ" в других словарях:

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

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

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

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

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

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

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

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

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

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


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

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