Открыть главное меню

Сле́дствие (также консекве́нт, от лат. consequens — «следствие, вывод, результат»; или сукцеде́нт, от succedens — «последующее») — используемое в философии (особенно кантовской школы) и логике в учении о суждениях, заключениях и доказательствах понятие, означающее следствие в отношении к причинеантецеденту.

В условном высказывании «если , то » высказывание есть антецедент; высказывание называется консеквентом[1]. Например, в условном высказывании «если сейчас ночь, то темно» антецедент — «сейчас ночь», а следствие (консеквент) — «темно».

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

ПримечанияПравить

  1. Консеквент // Философия: Энциклопедический словарь / под редакцией А. А. Ивина. — М.: Гардарики, 2004.