虛假假設
Ⅰ便簽
原文復述
在論證與推理過程中,如果前提命題是非真實的,就需要提前確認命題是否合理。判定命題是否合理,可能從三個角度來看:
命題是否是個自相矛盾的,真值集永遠為空的命題。
命題與真正的事實不符,即并不真實存在。
命題不被受眾所接受,并不是受眾默認的真理。
滿足上述任一一條假設,都不是一個合格假設。一定要先修改這種不滿足要求的假設,然后再進行下一步論證與推理。否則,后面的論證與推理都是無效的。
原文分析
前
假設是分析問題時最常用的手段,避免無效的假設,就可降低無效分析的概率。
因
虛假假設的主要原因:
假設的之間是相互矛盾的
假設與事實不符
假設不被聽眾接受
其中前兩個是假設的客觀條件不滿足要求,后一個是假設的主觀條件不滿足。
直有同時符合客觀事實要求,并且被聽眾主觀接受的假設才是有效假設。
后
在分析論證前,先求證假設是否有效,這將決定整個分析過程是否正確。
果
前提假設的有效性不是每個分析論證都去確認的,這時有可能遺漏分析結果的關鍵限制條件。影響判斷結果。
適
用
虛假假設主要應用于那些包含有假設命題的推理。在推理前,要先確認假設的前提是正常合理的。對于那些沒有使用假設前提的推理,該條件不適用。
邊
界
A1便簽
去年產品里合入了一個用于解決問題的方案,這個方案在上網后觸發了非常多的問題。方案觸發這么多問題的主要原因是入口條件不合理導致大量不必要的誤觸發動作。
這種誤觸發動作在方案前期分析的時候也有討論,但當時大家給出了下面的這兩個假設:
假設一:正常條件下觸發后處理動作不會導致模塊工作異常
假設二:異常模塊觸發后處理動作可達到自愈的效果
但版本真正上線后,假設一被證明是不成立的。大量的模塊因為正常條件下被誤觸發而引異常。這導致了該功能被迫關閉。并在目前的版本里討論回退方案。
在這個方案設計時,假設一就不是一個一定被認定是永遠為真的假設,大家僅是認為這個假設出現的概率比較小。但真實網絡中沒有足夠的數據來量化這個概率。所以,僅根據一個定性的概率結論,而忽略了這個假設。
A2便簽
在使用有假設命題作為前提的推理和論證時,先使用下面的三個標準檢查下假設是否成立:
假設描述的命題是否是真命題
是否有與假設相反的真實事例,即使是小概率事件,也不可忽略反例的存在
從受眾的角度分析,命題是否有違其常識