を修正した理論である *と関連付けられる (2) 修正された理論 *というのは, の還元が成立するようにするために修正された理論を指す 導出可能性 (3) が不十分あるいは誤りであると考えられているときに, ないし *が の適用範囲においてより正確な予測 を与えることができる (4) は によって説明される. これが成り立つのは, *と の間に強いアナロジーが成立し, ないし *が がなぜ歴史的に機能してきたのかを説明するとき, または, ないし *によって の適用範囲が説明されたとき である. シャフナーの定義は ・理論間の還元が成立するために, 理論に適宜修正が加えられる点 ・導出可能性を説明という概念に帰着させている点 が特徴的であるが, ネーゲルと同様に理論を命題の集合としてとらえている 再掲 : 図2.1 接続可能性と導出可能性も更新 ⇒ しかし, 実際の物理学では理論を命題の集合として表現しないため, 使いづらいものにとどまっている ⇒ さらに洗練 ⇒ 「一般化されたネーゲル・シャフナー還元」