Välttämätön ja riittävä kunto

Välttämätön ja riittävä ehto ovat termejä matemaattisesta päättelystä, joka jakaa olosuhteet kahteen eri tyyppiin. Ehdollisen ja ehdollisen välisiä erilaisia ​​suhteita käsitellään logiikassa, erityisesti ehdotuslogiikassa .

Riittävä kunto

Heinän syöminen tyydyttää hamsterin nälän. Mutta onko heinä sen kylläisyyden vuoksi välttämätöntä, koska se voidaan saavuttaa myös muilla keinoilla (kuten porkkanoilla).

Riittävän ehdon pätevyys takaa väistämättä seurauksen pätevyyden . Tämä yhteys ilmaistaan ​​symbolisella merkinnällä , ts. "Ehto merkitsee seurausta " tai " seuraa siitä ". Kontekstia symboloiva nuoli edustaa johtopäätöstä (implikaatiota). Voi olla muita ehtoja, jotka riittävät tekemään lausunnon päteväksi . ${\ displaystyle B}$${\ displaystyle K}$${\ displaystyle B \ Rightarrow K}$${\ displaystyle B}$${\ displaystyle K}$${\ displaystyle B}$${\ displaystyle K}$${\ displaystyle K}$

Ehdotuksen näkökulmasta: Jos lausunnolla on useita riittäviä ehtoja , esim. H. sovelletaan subordinaattorit niin, riittää, että ainakin yksi täyttyy ( disjunktio ) siten, että sovelletaan seuraavaa: . Toisin sanoen riittävässä kunnossa: se menee sen läpi (tästä johtuen tekninen termi conditio per quam ). ${\ displaystyle K}$${\ displaystyle B_ {1}, B_ {2}, \ piste}$ ${\ displaystyle B_ {1} \ Rightarrow K, B_ {2} \ Rightarrow K, \ dotsc}$${\ displaystyle K}$${\ displaystyle B_ {1} \ lor B_ {2} \ lor \ dotsb \ Rightarrow K}$

Välttämätön kunto

Jauhetut pavut ovat välttämätön edellytys kahvin valmistamiselle - et voi tehdä ilman niitä. Mutta ne eivät riitä, koska tarvitset myös vettä ruoanlaittoon.

Väite on välttämätön edellytys lausunnolle, jos sen on välttämättä oltava totta (täytetty), jos se on totta. Yhteys ilmaistaan ​​symbolisella merkinnällä eli "ei tarkoita ei " tai "jos se ei ole totta, niin se ei myöskään ole totta". Joten ei tapahdu, että se toteutuu ilman, että se on totta. Siten ehdon välttämättömyys voidaan ilmaista myös (riittävällä) implikaatiolla . Onko lausunnolle useita välttämättömiä ehtoja , ts. H. pitää , kaikki on täytettävä samanaikaisesti, jos se täyttyy. Näin siis myös ( looginen yhteys ). ${\ displaystyle B}$${\ displaystyle K}$${\ displaystyle K}$${\ displaystyle \ lnot B \ Rightarrow \ lnot K}$${\ displaystyle B}$ ${\ displaystyle K}$${\ displaystyle B}$${\ displaystyle K}$${\ displaystyle K}$${\ displaystyle B}$${\ displaystyle B}$${\ displaystyle K \ Rightarrow B}$${\ displaystyle B_ {1}, B_ {2}, \ piste}$${\ displaystyle K}$${\ displaystyle K \ Rightarrow B_ {1}, K \ Rightarrow B_ {2}, \ dotsc}$${\ displaystyle K}$${\ displaystyle K \ Rightarrow B_ {1} \ land B_ {2} \ land \ dotsb}$

Onko olemassa toisistaan ​​loogisesti riippumattomia, välttämättömiä ehtoja, jotta kaikkia ehtoja voidaan soveltaa, joten kukaan ei voi yksinään olla tarpeeksi , koska tämä olisi ristiriidassa muiden tarpeellisuuden kanssa. Tarvittava ehto on siksi korvaamaton tapahtuman tapahtuessa. Mutta jos se ei riitä samaan aikaan, se ei yksin riitä tapahtuman tapahtumiseen. Toisin sanoen: ilman sitä se ei ole mahdollista (tästä syystä latinalainen termi condicio sine qua non , katso myös conditio-sine-qua-non-kaava ), mutta jotain muuta voi olla tarpeen esiintyä . ${\ displaystyle \ lnot (B_ {j} \ Nuoli oikealle B_ {k})}$${\ displaystyle j \ neq k}$ ${\ displaystyle K}$

Vastaavat lausunnot

Jos lausunto on sekä riittävä että välttämätön edellytys lausunnolle , eli se merkitsee ja viittaa lausuntoihin, ja niitä kutsutaan vastaaviksi. Onko looginen lause lyhenteelle iff - englanti. jos ja vain jos tavallista; Saksankielisiä vastineita ovat g. d. w. , lyhennetty jos ja sitten ja vain silloin . Että tarve voi myös ilmaista kautta epäsuorasti selittää symboleita varten vastaavuudesta ja . ${\ displaystyle B}$${\ displaystyle K}$${\ displaystyle B}$${\ displaystyle K}$${\ displaystyle \ lnot B}$${\ displaystyle \ lnot K}$${\ displaystyle B}$${\ displaystyle K}$ ${\ displaystyle B}$${\ displaystyle B \ Vasen nuoli K}$${\ displaystyle B \ Leftrightarrow K}$${\ displaystyle B}$${\ displaystyle K}$

INUS -kunto

Inus ehdon Australian filosofi John Leslie Mackie on sisäkkäistä käsite: Mitä tarkoitetaan on riittämätön, mutta välttämätön osa tarpeeton mutta riittävä edellytys. Erityisesti tämän käsitteen tarkoituksena on tehdä oikeutta tietoon siitä, että empiirisille tapahtumille on harvoin mahdollista tunnistaa vastaavia ehtoja edes ceteris paribus -lausekkeissa.

nettilinkit

Wikisanakirja: välttämätön  - selitykset merkityksille, sanojen alkuperä, synonyymit, käännökset

Wikisanakirja: riittävä  - selitykset merkityksille, sanojen alkuperä, synonyymit, käännökset

• Tarvittavat ja riittävät olosuhteet. Kirjoitus julkaisussa Edward N.Zalta (Toim.): Stanford Encyclopedia of Philosophy .Malli: SEP / Huolto / Parametri 1 eikä parametri 2 eikä parametri 3