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

, отношение между нек-рыми высказываниями (посылками) Г и высказыванием В (заключением), отображающее тот факт, что из Г, используя правильные приёмы рассуждения, можно получить В. В логике, фиксирующей нормы рассуждения с помощью построения формализов аксио-матич.

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

* см. к ст. Логика.

<< | >>

↑

Источник: Федосеев, Ильичев. Философский энциклопедический словарь. 1986

Еще по теме ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ:

- Архитектура и строительство - Безопасность жизнедеятельности - Библиотечное дело - Бизнес - Биология - Военные дисциплины - География - Геология - Демография - Диссертации России - Естествознание - Журналистика и СМИ - Информатика, вычислительная техника и управление - Искусствоведение - История - Культурология - Литература - Маркетинг - Математика - Медицина - Менеджмент - Педагогика - Политология - Право России - Право України - Промышленность - Психология - Реклама - Религиоведение - Социология - Страхование - Технические науки - Учебный процесс - Физика - Философия - Финансы - Химия - Художественные науки - Экология - Экономика - Энергетика - Юриспруденция - Языкознание -