Följd

Konsekvens (även konsekvent , av lat. consequens - från com "med, tillsammans med" + sequi "följa" eller succedent , från succedens - "från sub efter + cedere "att gå"") - används i filosofin (särskilt den kantianska skolan ) och logik i doktrinen om domar , slutsatser och bevis , ett begrepp som betyder en konsekvens, en slutsats i förhållande till en orsak - ett antecedent .

I if-then conditional är uttalandet antecedenten ; påståendet kallas konsekvent [1] . Till exempel, i det villkorliga uttalandet "om det är natt, så är det mörkt" är föregångaren "det är natt" , och konsekvensen (följande) är "mörk" . $A$ $B$ $A$ $B$

I formell logisk kalkyl används begreppet följdkalkyl både för den högra sidan av implikationen (det är en följd ), och i begreppen härledning, till exempel i sekvenskalkyl , där huvuduttrycket är en sekvens av formen , som visar härledningsförmågan för listformler från listformler , efterföljande (följande) kallas en lista . $A\högerpil B$ $B$ $\Gamma \rightarrow \Delta$ $\Delta$ $\Gamma$ $\Delta$

Anteckningar

↑ Konsekvens // Filosofi: Encyclopedic Dictionary / redigerad av A. A. Ivin. — M .: Gardariki, 2004.