■

[9-38]

Logic has limited usefulness in finding solutions to many problems. Outside of abstract models, we often cannot establish with confidence either the truth of the premises or the logical connections between them. Precise logic requires that we can make declarations such as "If X is true, then Y is true also" (a barking dog does not bite), and "X is true" (Spot barks). Typically, however, all we know is that "if X is true, then Y is often true also" (a barking dog usually does not bite) and "X seems to be approximately true a lot of the time" (Spot usually barks). Commonly, therefore, strict logic has to be replaced by probabilities or other kinds of reasoning that lead to much less certain results―for example, to the claim that on average, rain will fall before evening on 70 percent of days that have morning weather conditions similar to today's.

[9-38]

論理は，問題に対する解発見において限られた有益さしか持たない．抽象モデルの外側では，しばしば，前提条件またはそれらをつなぐ論理を自信を持って正しいものとすることができない．正確な論理のためには「もしXが真であるならば，そのときYもまた真である（もしある犬がよく吠えるならば，その犬は咬まない）」かつ「Xは真である（ブチは吠える）」といった宣言ができなければならない．しかし，典型的には，われわれが知っているのは「もしXが真であるならば，そのときYもしばしば真となる（ある犬がよく吠えるならば，その犬はたいてい咬まない）」と「Xがおおよそ長い間，真である（ブチは普通よく吠える）」くらいである．それゆえ普通，厳密な論理は確率や確からしさの落ちる他の推論に置き換えざるを得ない．例えば，平均的に，今朝の天気と同じような日の70パーセントでは夕方前に雨が降る，といった主張にである．