Okamžitý závěr - Immediate inference - Wikipedia

An okamžitý závěr je odvození který lze vyrobit pouze z jednoho prohlášení nebo tvrzení.[1] Například z výrazu „Všechny ropuchy jsou zelené.“ můžeme okamžitě odvodit, že „žádné ropuchy nejsou zelené.“ Existuje celá řada okamžité závěry které mohou platně být provedeno pomocí logických operací, jejichž výsledkem je a logicky ekvivalentní formulář prohlášení k danému výpisu. Existují také neplatné okamžité závěry, které jsou sylogistické omyly.

Platné okamžité závěry

Viz také: Kategorická věta § Operace s kategorickými výroky

Konverzovat

Hlavní článek: Konverzace (logika)
  • Vzhledem k typu E prohlášení, z tradičního náměstí opozice, "Ne S jsou P. ", lze provést okamžitý závěr že „Ne P jsou S"což je obrácením daného tvrzení.
  • Vzhledem k typu Já prohlášení: „Někteří S jsou P. ", lze provést okamžitý závěr že „Někteří P jsou S"což je obrácením daného tvrzení.

Lícní

Hlavní článek: Obversion
  • Vzhledem k typu A prohlášení: „Vše S jsou P. ", lze provést okamžitý závěr že „Ne S jsou non-P"což je lícová strana daného tvrzení.
  • Vzhledem k typu E prohlášení: „Ne S jsou P. ", lze provést okamžitý závěr to všechno S jsou non-P"což je lícová strana daného tvrzení.
  • Vzhledem k typu Já prohlášení: „Někteří S jsou P. ", lze provést okamžitý závěr že „Někteří S nejsou non-P"což je lícová strana daného tvrzení.
  • Vzhledem k typu Ó prohlášení: „Někteří S nejsou P. ", lze provést okamžitý závěr že „Někteří S jsou non-P"což je lícová strana daného tvrzení.

Kontrapozitivní

Hlavní článek: Contraposition (tradiční logika)
  • Vzhledem k typu A prohlášení: „Vše S jsou P. ", lze provést okamžitý závěr to všechno non-P jsou ne-S"což je kontrapozitiv daného tvrzení.
  • Vzhledem k typu Ó prohlášení: „Někteří S nejsou P. ", lze provést okamžitý závěr že „Někteří non-P nejsou non-S"což je kontrapozitiv daného tvrzení.

Neplatné okamžité závěry

Případy nesprávného použití opaku, subkonverzních a subalternačních vztahů se nazývají sylogistické omyly protiprávní opak, nedovolené subkontinentní, a nedovolené střídání. Případy nesprávného použití rozporného vztahu jsou natolik vzácné, že „nedovolený rozporuplný“ klam obvykle není rozpoznán.

Nedovolený opak

  • Je falešné, že všechno A jsou B, proto č A jsou B.
  • Je nepravdivé, že ne A jsou B, tedy vše A jsou B.

Nedovolený subkonkrétní

  • Nějaký A jsou B, proto je nepravdivé, že některé A nejsou B.
  • Nějaký A nejsou B, proto někteří A jsou B.

Nedovolená alternativa (superalternace)

  • Nějaký A nejsou B, proto č A jsou B.
  • Je falešné, že všechno A jsou B, proto je nepravdivé, že některé A jsou B.

Viz také

Reference

  1. ^ Churchill, Robert Paul (1990). Logika: Úvod (2. vyd.). New York: St. Martin's Press. p. 162. ISBN  0-312-02353-7. OCLC  21216829. Okamžitý závěr je předpokladem, bez zásahu - nebo „zprostředkování“ - premisy, že protože jeden kategorický výrok je pravdivý (nebo nepravdivý), logicky ekvivalentní kategorický výrok musí být také pravdivý (nebo nepravdivý).