СЛЕДОВАНИЕ


СЛЕДОВАНИЕ
СЛЕ́ДОВАНИЕ
(логическое следо-в а н и е) – отношение между суждениями (высказываниями, предложениями, утвержде-ниями), играющее центр. роль в (дедуктивной) логике: изучение свойств С. в конечном счете породило всю логич. проблематику. Поскольку С. принадлежит к числу фундаментальных, исходных, понятий логики, чрезмерные претензии на "строгую" его дефиницию приводят к кругу в определении. Но понятие С. можно охарактеризовать, с одной стороны, в содержательных, интуитивных терминах, а с другой – "операционально", указанием связи его с др. логич. понятиями.
Чтобы избежать – по крайней мере внешне – тавтологичности такой трактовки С., когда "определяемое" – С. определяют посредством глагола "вытекает" – синонима слова "следует", можно, напр., определить содержательное (семантическое) С. высказывания А из высказывания В как включение области выполнимости А в область выполнимости В (см. Логическая истинность, Модель) или, что равносильно, как включение класса всех (правильных) интерпретаций А в соответствующий класс для В. Конечно, такое сведéние С. суждений к объемным соотношениям между соответствующими им классами истинности (выполнимости) означает по существу отождествление интенсионального и экстенсионального понимания суждений (см. Семантика в логике) и связано, вообще говоря, с принятием ряда постулатов (объемности принципа и, главное, принципа свертывания – см. Принцип абстракции), характерных для теоретико-множеств. трактовки логики (см. Теоретико-множественная логика).
Интуитивные представления о содержат. "С." одних суждений из других в человеч. мышлении предшествуют любой формальной логике; более того, именно эти интуитивные представления вызвали связанную с понятием С. проблематику, так что задача установить параллелизм (или хотя бы какую-нибудь корреляцию) между этим понятием и к.-л. точно определенными с и н т а к с и ч е с к и м и ("операциональными") его аналогами представляется вполне осмысленной. Из таких аналогов в первую очередь необходимо назвать два: логич. связку импликацию, формализующую языковый оборот "если..., то...", и металогич. (см. Металогика) отношение (формальной) в ы в о д и м о с т и (см. Вывод в математической логике). Между этими понятиями существует двоякого рода связь, позволяющая считать их в известном смысле экспликатами понятия С.: 1) если из к.-л. совокупности посылок выводимы (или – при отсутствии посылок – доказуемы) суждение А и импликация A⊃B, то выводимо (соответственно доказуемо) и суждение В (в этом состоит осн. правило вывода логики высказываний – т.н. modus ponens); 2) если из к.-л. множества посылок Г и высказывания (формулы) А выводимо высказывание В, то из Г выводима импликация A⊃B (соответственно с заменой "выводимо" на "доказуемо" при пустом Г; это т.н. теорема о дедукции, справедливая для исчисления высказываний и при нек-рых естественных дополнит. условиях – для исчисления предикатов).
При всей естественности и простоте связи между понятием С., импликацией и формальной выводимостью остается ряд проблем, не снимаемых кратко охарактеризованной выше и ставшей уже классической трактовкой этих понятий. В первую очередь это проблема "С. по смыслу" (интуитивным представлениям о к-ром, очевидно, противоречат т.н. парадоксы импликации: "из лжи следует любое высказывание" и "истина следует из любого высказывания"), а также задача более или менее адекватного уточнения н е д е д у к т и в н ы х модификаций понятия С. Различные видоизменения понятия С., приспособленные к устранению упомянутых и подобных им трудностей, рассматриваются в модальной логике, логике индуктивной, вероятностной логике, а также в эвристике; при этом идеалом в каждом случае остается именно получение точного формального определения, пригодного, в частности, для использования в получающих все больший размах работах по машинному поиску логич. вывода, и вообще во всякого рода "эвристич. программировании". Есть основания полагать, что исчерпывающая экспликация понятия С. в рамках одной логич. системы вообще недостижима и для этой цели может потребоваться и е р а р х и я с и с т е м. См. также Следствие.
Лит.: Клини С. К., Введение в метаматематику, пер. с англ., М., 1957; Чёрч Α., Введение в математическую логику, пер. с англ., т. 1, М., 1960; Карри X. Б., Основания математической логики, пер. с англ., М., 1969; Минц Г. Е., О некоторых исчислениях модальной логики, "Тр. Математич. ин-та АН СССР", 1968, т. 98, с. 88–111; Зиновьев Α. Α., Логика высказываний и теория вывода, М., 1962; Пойа Д., Математика и правдоподобные рассуждения, пер. с англ., т. 1–2, М., 1957; Anderson A. R., Belnap N. D., The pure calculus of entailment, "J. Symb. Logic", 1962, v. 27; Schütte K., Vollständige Systeme der moduler und intuitionistischer Logik, B.–Hdlb.–N. Y., 1968.
Ю. Гастев. Москва.

Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия. . 1960—1970.


.

Синонимы:

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

  • СЛЕДОВАНИЕ — СЛЕДОВАНИЕ, следования, мн. нет, ср. (книжн.). Действие по гл. следовать в 1, 3, 4 и 8 знач. Во время следования поезда. По пути следования войск. Следование новой моде. Следование запутанного дела. Толковый словарь Ушакова. Д.Н. Ушаков. 1935… …   Толковый словарь Ушакова

  • следование — соблюдение, приверженность, руководствование, эпигонство, движение, подражание. Ant. нарушение Словарь русских синонимов. следование сущ. 1. • вытекание 2. • соблюдение Словарь русских синонимов. Контекст 5.0 Информатик. 20 …   Словарь синонимов

  • следование — СЛЕДОВАТЬ, дую, дуешь; несов. Толковый словарь Ожегова. С.И. Ожегов, Н.Ю. Шведова. 1949 1992 …   Толковый словарь Ожегова

  • следование — следовать — [А.С.Гольдберг. Англо русский энергетический словарь. 2006 г.] Тематики энергетика в целом Синонимы следовать EN follow …   Справочник технического переводчика

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

  • следование — • неукоснительное следование …   Словарь русской идиоматики

  • Следование — ср. процесс действия по гл. следовать 1., 3., 4. Толковый словарь Ефремовой. Т. Ф. Ефремова. 2000 …   Современный толковый словарь русского языка Ефремовой

  • следование — следование, следования, следования, следований, следованию, следованиям, следование, следования, следованием, следованиями, следовании, следованиях (Источник: «Полная акцентуированная парадигма по А. А. Зализняку») …   Формы слов

  • следование — сл едование, я …   Русский орфографический словарь

  • следование — Syn: соблюдение Ant: нарушение …   Тезаурус русской деловой лексики

Книги

Другие книги по запросу «СЛЕДОВАНИЕ» >>


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

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

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