Filosofia:looginen seuraus

    Tieteen termipankista

    looginen seuraus

    looginen seuraus
    Määritelmä propositio tai lause, joka seuraa loogisesti yhdestä tai useammasta toisesta propositiosta tai lauseesta
    Selite

    Loogisella seurauksella voidaan viitata kahteen erityyppiseen asiaan:

    1. Päätelmän semanttiseen pätevyyteen, sen välttämättömään totuudensäilyttävyyteen. Päätelmän johtopäätös on sen premissien looginen seuraus, kun kaikissa tapauksissa joissa premissit ovat tosia, on myös johtopäätös tosi.
    2. Päätelmän syntaktiseen eli deduktiiviseen pätevyyteen. Päätelmän johtopäätös on sen premissien looginen seuraus deduktiivisessa mielessä, kun se voidaan johtaa oletetun tai käytössä olevan päättelysysteemin päättelysääntöjen mukaisesti päätelmän premisseistä. Päättelysysteemin päättelysäännöiltä vaaditaan yleensä niiden välttämätöntä totuudensäilyttävyyttä, mutta tämä edellyttää yleensä erillistä tarkastelua, jossa ensin hyväksytään käytettävä päättelysysteemi, ja joka on riippumaton suhteessa sen käyttöön deduktioissa.

    Lähikäsitteet

    Käytetyt lähteet

    Rantala&Virtanen2003

    Alaviitteet

    Lähdeviittaus tähän sivuun:
    Tieteen termipankki 28.3.2024: Filosofia:looginen seuraus. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:looginen seuraus.)