っていうか、>>654みたいなboolを返すメソッドがある時、
その戻り値が「BarはFooである」っていう命題の正誤を表すと考えるプログラマはいないよ、
ってそんな難しい話かな？w

>>654はどうだか知らないけど、普通の人は、戻り値は「BarはFooであるかどうか」を表していると考えるんだよ。
別の表現をすれば、それは「BarはFooですか？」という質問に対する回答を表していると考える。