Консеквент: различия между версиями

[отпатрулированная версия]

Содержимое удалено Содержимое добавлено

Линейный

Текущая версия от 17:45, 23 декабря 2021

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

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

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

Примечания

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

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

[1]

@@ Строка 1: / Строка 1: @@
+'''Сле́дствие''' (также ''консекве́нт'', от {{lang-la|consequens}} — от ''com'' "с, вместе с" + ''sequi'' "следовать" или ''сукцеде́нт'', от {{lang-la2|succedens}} — «от sub после + cedere "идти"») — используемое в [[философ]]ии (особенно [[кант]]овской школы) и [[Логика|логике]] в учении о [[Суждение|суждениях]], [[Заключение (логика)|заключениях]] и [[Доказательство (логика)|доказательствах]] понятие, означающее следствие, '''вывод'''  в отношении к [[Причина|причине]] — [[антецедент]]у.
-{{пишу|--[[User:Schekinov Alexey Victorovich|Schekinov Alexey Victorovich]] 06:39, 20 декабря 2010 (UTC)}}
-'''Консеквент''' ({{lang-la|соnsequens}}) — в буквальном смысле «''следствие''», «''вывод''», «''результат''».
+В условном высказывании «если <math>A</math>, то <math>B</math>» высказывание <math>A</math> есть [[антецедент]]; высказывание <math>B</math> называется консеквентом<ref>{{книга | заглавие = Философия: Энциклопедический словарь | место = М. | издательство = Гардарики | ответственный =  под редакцией А. А. Ивина | год = 2004 | часть = Консеквент}}</ref>. Например, в условном высказывании ''«если сейчас ночь, то темно»'' антецедент — ''«сейчас ночь»'', а следствие (консеквент) — ''«темно»''.
-На языке старых [[философ]]ов, особенно у [[Логика|логиков]] [[Кант]]овской школы, в их учении о суждениях, заключениях и доказательствах консеквент означает в его отношении к сказуемому следствие в в отношении к причине.
+В формальных логических исчислениях понятие консеквента используется как для правой части импликации (в <math>A \Rightarrow B</math> консеквентом является <math>B</math>), так и в понятиях о выводимости, например, в [[Исчисление секвенций|исчислении секвенций]], где основным выражением является секвенция вида <math>\Gamma \rightarrow \Delta</math>, показывающая выводимость формул списка <math>\Delta</math> из формул списка <math>\Gamma</math>, сукцедентом (консеквентом) называется список <math>\Delta</math>.
-В условном высказывании «''Если А, то В''» высказывание «А» есть [[антецедент]] ({{lang-la|antecedens}} — в буквальном смысле «''предшествующее''»); высказывание «В» называется консеквентом<ref>[http://dic.academic.ru/dic.nsf/enc_philosophy/68/%D0%90%D0%9D%D0%A2%D0%95%D0%A6%D0%95%D0%94%D0%95%D0%9D%D0%A2 Антецедент] // [[Философская энциклопедия]]</ref>). Например, в условном высказывании «''Если сейчас ночь, то темно''»: антецедент - «''сейчас ночь''», а  консеквент — «''темно''».
-Антецедентом называются вообще предшествовавшие события, поскольку они помогают уяснению настоящего — консеквента<ref>{{ВТ-ЭСБЕ|Антецедент}}</ref>.
-[[Категория:Логика]]
 == Примечания ==
 {{примечания}}
+{{logic-stub}}
-[[en:Consequent]]
-[[nl:Gevolg]]
+[[Категория:Логика]]
-[[sv:Konsekvent]]
-[[zh:后件]]

Консеквент: различия между версиями

Текущая версия от 17:45, 23 декабря 2021

Примечания

Навигация

Поиск