Filosofia:looginen seuraus
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:
- 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.
- 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
- propositio
- pätevyys (ominaisuus)
- totuusehto
Käytetyt lähteet
Alaviitteet
Lähdeviittaus tähän sivuun:
Tieteen termipankki 21.11.2024: Filosofia:looginen seuraus. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:looginen seuraus.)