Логическое следование – отношение между некоторым множеством высказываний Г (гипотез) и высказыванием В (заключением), отображающее тот факт, что, в силу только логической структуры названных высказываний и, значит, независимо от их содержания нельзя приписать всем высказываниям из Г значение истинно, не будучи при этом быть вынужденным приписать это значение и высказыванию В. В этом случае говорят о логическом следовании В из Г в семантическом смысле и записывают этот факт как утверждение Γ⊧В, читаемое: из Г семантически следует В.[1].
Понятие логического следования следует отличать от материальной импликации.
Литература
- Сидоренко Е.А. Логическое следование и условные высказывания. М., 1983.
- Бочаров В. А., Маркин В. И. Основы логики: Учебник. — М.: ИНФРА-М, 2001. — 296 с. — ISBN 5-16-000496-3.
- Моисеева А.Ю. Соотношение логического следования и импликации в релевантной логике // Вестник Томского государственного университета. Философия. Социология. Политология. 2024. № 81. С. 39–47. doi: 10.17223/1998863Х/81/4
Примечания
- ↑Сидоренко Е.А. СЛЕДОВАНИЕ ЛОГИЧЕСКОЕ // Новая философская энциклопедия : в 4 т. / пред. науч.-ред. совета В. С. Стёпин. — 2-е изд., испр. и доп. — М. : Мысль, 2010. — 2816 с.
Это заготовка статьи. Помогите Википедии, дополнив её.
