Redigerer Betingelse

{{Kildeløs|Helt uten kilder.|dato=10. okt. 2015}}
En '''betingelse''' (latin ''conditio'') beskriver et logisk eller faktisk avhengighetsforhold mellom to eller flere tilstander eller hendelser. Ofte betegnes én av hendelsene som ''betingelsen'' og den andre som ''det betingete'', som betyr at gyldigheten av det betingete avhenger av betingelsen.

Betingelser uttrykkes ofte med «hvis ..., så», eller «fordi ..., så». Betingelser inngår ofte i [[vitenskap]]elige [[forklaring]]er av [[årsak]]ssammenhenger.

== Tilstrekkelige og nødvendige betingelser ==
Betingelse kan ha ulike betydninger i filosofien, og kan derfor uttrykkes gjennom forskjellige [[sannhetsfunksjon]]er:

* ''A'' er en '''tilstrekkelig betingelse''' (latin ''conditio per quam'', «betingelse gjennom hvilken») for ''B'' hvis ''B'' er oppfylt alltid når ''A'' er oppfylt. Symbolsk skrives dette som «'''''A'' → ''B'''''» (leses «hvis ''A'', så ''B''»). Det er altså ''tilstrekkelig'' å vite at ''A'' gjelder for å vite at ''B'' også gjelder. ''B'' kan imidlertid også være oppfylt uten at ''A'' er oppfylt: Pilen peker bare til høyre, ''B'' forteller altså ingenting om ''A''. En tilstrekkelig betingelse er derfor sammenfallende med sannhetsfunksjonen [[subjunksjon]].
* ''A'' er en '''nødvendig betingelse''' (latin ''conditio sine qua non'', «betingelse uten hvilken ikke») for ''B'' hvis ''B'' aldri er oppfylt uten at ''A'' er oppfylt. Symbolsk skrives dette som «'''¬''A'' → ¬''B'''''» (der «¬» betyr ''[[negasjon|ikke]]''). For at ''B'' skal gjelde er det altså ''nødvendig'' at også ''A'' gjelder. Her kan imidlertid ''A'' være oppfylt uten at ''B'' er oppfylt. En nødvendig betingelse er derfor sammenfallende med den [[konvers subjunksjon|konverse subjunksjonen]].
* ''A'' er en '''nødvendig og tilstrekkelig betingelse''' for ''B'' hvis ''B'' er oppfylt [[hvis og bare hvis]] ''A'' er oppfylt. Symbolsk skrives dette som «'''''A'' ↔ ''B'''''». I&nbsp;dette tilfellet er altså ''A'' og ''B'' alltid oppfylt samtidig. En nødvendig og tilstrekkelig betingelse er derfor sammenfallende med [[bisubjunksjon]]en.
* ''A'' kan også være en betingelse for ''B'' som er '''verken nødvendig eller tilstrekkelig'''. Dette kan f.eks. være tilfellet når det gjelder «'''(''A''''' <math>\land</math> '''''X'') → ''B'''''» (der «<math>\land</math>» betegner et [[konjunksjon (logikk)|logisk ''og'']]). ''A'' er med på å betinge ''B'', men sammen med en ytterligere betingelse, ''[[randbetingelse]]n X''. Derfor er det ikke tilstrekkelig for ''B'' at ''A'' er oppfylt. Det er heller ikke nødvendig, siden ''B'' godt kan gjelde uten at ''A'' gjelder. Derimot er det korrekt å si at ''A'' (som i en slik sammenheng gjerne kalles ''startbetingelse'' eller ''forutsetning'') og randbetingelsen ''X til sammen'' er tilstrekkelige for ''B''.

Når det ikke er spesifisert hva slags betingelse det er snakk om, menes vanligvis en tilstrekkelig betingelse, «''A'' → ''B''», der ''A'' er betingelsen og ''B'' er det betingete. Den nødvendige betingelsen er på en måte en tilstrekkelig betingelse som er «snudd». Dette blir tydelig når man ser at «¬''A'' → ¬''B''» (den nødvendige betingelsens definisjon) er [[bisubjunksjon|ekvivalent]] med «''A'' ← ''B''» (eller «''B'' → ''A''»). Dette forklarer også dobbelpilen i den nødvendige og tilstrekkelige betingelsen, «''A'' ↔ ''B''»: Når ''A'' og ''B'' gjensidig betinger hverandre, er det snakk om en nødvendig og tilstrekkelig betingelse.

== Se også ==
* [[Forklaring]]
* [[Forutsetning]]
* [[Kausalitet]]
* [[Premiss]]
* [[Randbetingelse]]
* [[Årsak]]
{{Autoritetsdata}}

[[Kategori:Logikk]]
[[Kategori:Vitenskapsteori]]