Konsekvens

Konsekvens (også konsekvent , af lat. consequens - fra com "med, sammen med" + sequi "følge" eller succedent , fra succedens - "fra sub efter + cedere "at gå"") - brugt i filosofien (især den kantianske skole ) ) og logik i doktrinen om domme , konklusioner og beviser , et begreb, der betyder en konsekvens, en konklusion i forhold til en årsag - en antecedent .

I if-then betinget er udsagnet antecedenten ; udsagnet kaldes konsekvensen [1] . For eksempel i den betingede erklæring "hvis det er nat, så er det mørkt" er antecedenten "det er nat" , og konsekvensen (følgende) er "mørkt" . $EN$ $B$ $EN$ $B$

I formel logisk calculus bruges begrebet konsekvens både til højre side af implikationen (det er en konsekvens ), og i begreberne om afledning, for eksempel i sekvent calculus , hvor hovedudtrykket er en sekvens af formen , der viser udledningsevnen af listeformler fra listeformler , efterfølgende (konsekvent) kaldes en liste . $A\højrepil B$ $B$ $\Gamma \rightarrow \Delta$ $\Delta$ $\Gamma$ $\Delta$

Noter

↑ Konsekvens // Filosofi: Encyclopedic Dictionary / redigeret af A. A. Ivin. — M .: Gardariki, 2004.