Filosofia:materiaalinen implikaatio
materiaalinen implikaatio
| materiaalinen implikaatio |
Selite
Materiaalisen implikaatio on klassisen logiikan implikaatiokäsite. Materiaalisen implikaation sisältävä ehtolause on epätosi ainoastaan silloin kun ehtolauseen etulause (ehto) on tosi ja jälkilause on epätosi. Kaikilla muilla etu- ja jälkilauseiden totuusarvoyhdistelmillä ehtolause määritellään todeksi. Materiaalinen implikaatio on ainoa totuusfunktionaalinen implikaatiokäsite, sillä jos se määriteltäisiin toisin, se samaistuisi johonkin toiseen klassisen lauselogiikan perinteiseen konnektiiviin.
Lähikäsitteet
- ehtolause (kokonaisuuskäsite)
- implikaatio (yläkäsite)
- klassinen logiikka (kokonaisuuskäsite)
- konnektiivi (yläkäsite)
- relevantti implikaatio (vieruskäsite)
- tiukka implikaatio (vieruskäsite)
- totuusfunktionaalinen (ominaisuus)
Käytetyt lähteet
Alaviitteet
Lähdeviittaus tähän sivuun:
Tieteen termipankki 30.12.2024: Filosofia:materiaalinen implikaatio. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:materiaalinen implikaatio.)