Monotónnost zavinění - Monotonicity of entailment

tento článek ne uvést žádný Zdroje. Prosím pomozte vylepšit tento článek podle přidávání citací ke spolehlivým zdrojům. Zdroj bez zdroje může být napaden a odstraněn. Najít zdroje: „Monotónnost zavinění“  – zprávy  · noviny  · knihy  · učenec  · JSTOR (Květen 2008) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

Monotónnost zavinění je majetkem mnoha lidí logické systémy který uvádí, že hypotézy jakékoli odvozené skutečnosti lze volně rozšířit o další předpoklady. v následující kalkul tuto vlastnost lze zachytit odvozovacím pravidlem s názvem oslabení, nebo někdy ředěnía v takových systémech se to dá říci obviňování je monotónní, právě když je pravidlo přípustné. Logické systémy s touto vlastností se občas nazývají monotónní logika abychom je od sebe odlišili nemonotonické logiky.

Oslabující pravidlo

Pro ilustraci zvažte přirozený odpočet následující:

Γ ${ displaystyle vdash}$ C

To znamená, že na základě seznamu předpokladů can lze prokázat C. Oslabení přidáním předpokladu A umožňuje dospět k závěru:

Γ, A ${ displaystyle vdash}$ C

Například sylogismus „Všichni lidé jsou smrtelní. Sokrates je muž. Sokrates je tedy smrtelný.“ lze oslabit přidáním předpokladu: "Všichni lidé jsou smrtelní. Sokrates je muž. Krávy produkují mléko. Proto je Sokrates smrtelný." Přidáním prostor se platnost původního závěru nemění.

Non-monotónní logika

Ve většině logik je oslabení buď odvozovacím pravidlem, nebo a metateorem pokud logika nemá výslovné pravidlo. Pozoruhodné výjimky jsou:

• Přísná logika nebo příslušná logika, kde je pro závěr nutná každá hypotéza.
• Lineární logika což zakazuje svévolnost Idempotence zavinění.

Viz také

• Kontrakce
• Pravidlo výměny
• Substrukturální logika
• Věta o klonování

Tento logika související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.