Seurauksena

Seuraus (myös consequence , lat. consequens - com "kanssa, yhdessä" + sequi "seuraa" tai succedens , sanasta succedens - "alista jälkeen + cedere "mennä") - käytetty filosofiassa (erityisesti kantialaisessa koulukunnassa ) ja logiikka tuomioiden , johtopäätösten ja todisteiden opissa , käsite, joka tarkoittaa seurausta, päätelmää suhteessa syyn - edeltäjään .

Jos-then -ehtolausekkeessa lause on edeltäjä ; lausetta kutsutaan konsekventiksi [1] . Esimerkiksi ehdollisen lauseen "jos on yö, niin on pimeää" edeltäjä on "on yö" ja seuraus (seuraus) on "pimeä" . $A$ $B$ $A$ $B$

Formaalisessa loogisessa laskennassa konsekventin käsitettä käytetään sekä implikaation oikealle puolelle (se on konsekventti ), että johdettavuuden käsitteissä, esimerkiksi sekventtilaskennassa, jossa päälauseke on muodon sekvenssi. , joka osoittaa listakaavojen johdettavuuden listakaavoista , peräkkäistä ( seuraavaa) kutsutaan listaksi . $A\Nuoli oikealle B$ $B$ $\Gamma \oikea nuoli \Delta$ $\Delta$ $\Gamma$ $\Delta$

Muistiinpanot

↑ Seuraus // Filosofia: Encyclopedic Dictionary / toimittanut A. A. Ivin. - M .: Gardariki, 2004.