Filosofia:ehtolause
ehtolause | hypoteettinen propositio | hypoteettinen arvostelma
| hypoteettinen arvostelma | |
| ehtolause | |
| hypoteettinen propositio | |
| implikaatiolause |
Traditionaalissa logiikassa tunnettiin kolme propostio- tai arvostelmatyyppiä, nk. kategoriset, hypoteettiset ja disjunktiiviset arvostelmat. Aristoteleen syllogismeissa esiintyi pelkästään kategorisia arvostelmia. Aristoteleen seuraajat Theophrastos ja Eudemos alkoivat tutkia myös syllogismeja joissa oli kompleksisempia premissejä, joita he kutsuivat hypoteettisiksi. Avicenna (980–1037 jaa.) piti disjunktiivisia propositioita hypoteettisten propositioiden alaluokkana, toisen alaluokan muodostivat konditionaalit.
Modernissa logiikassa puhutaan yleensä ehtolauseesta tai implikaatiolauseesta. Sillä on muoto "Jos A, niin B", missä lausetta A kutsutaan etujäseneksi tai ehto-osaksi ja lausetta B takajäseneksi. Ehtolauseen kahta osaa liittävän konnektiivin, implikaation luonteesta on kiistelty antiikin ajoista alkaen.
Lauseen "Jos Oswald ei tappanut Kennedyä, joku muu teki sen."
kaltaista ehtolausetta sanotaan indikatiiviseksi, koska sekä sen etu- että takajäsen ovat indikatiivimuodossa.
Lauseen "Jos Oswald ei olisi tappanut Kennedyä, joku muu olisi tehnyt sen."
kaltaista ehtolausetta kutsutaan puolestaan subjunktiiviseksi ehtolauseeksi, koska sen molemmat jäsenet ovat subjunktiivimuodossa. Niin kutsutut kontrafaktuaaliset (tosiasioiden vastaiset) ehtolauseet ovat sellaisia erityisiä subjunktiivisia ehtolauseita jotka olettavat, vaikkakaan eivät avoimesti väitä, että etujäsen on epätosi; esimerkiksi lause
"Jos Natsi-Saksa olisi voittanut sodan, Englannin juutalaiset olisivat joutuneet keskitysleireille"
on kontrafaktuaalinen. Tärkeä piirre kontrafaktuaaleissa on, etteivät ne ole totuusfunktionaalisia eli niitä ei voida esittää tyydyttävästi ekstensionaalisessa peruslogiikassa.
Equivalents
| hypothetical proposition | englanti | |
| conditional clause | englanti | |
| villkorssats | ruotsi | |
| Bedingungssatz | saksa | |
| konditsionaal·lause | viro |
Related Concepts
- kategorinen propositio (vieruskäsite)
- disjunktiivinen arvostelma (vieruskäsite)
- kontrafaktuaalinen konditionaalilause (alakäsite)
- implikaatio (osakäsite)
- implikaation paradoksit (ominaisuus)
Sources
Bobzien2016, RaatikainenP1997, Strobino2018
References
Lähdeviittaus tähän sivuun:
Tieteen termipankki 30.6.2022: Filosofia:ehtolause. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:ehtolause.)
Siirry tarkastelemaan sivun muokkaushistoriaa →