包含所有的观察formula_33来进行的。公共的假定是假设的效果是独立的，就是说，对于所有的formula_35，formula_43成立。如果这些条件满足，溯因法就可看作集合覆盖的一种形式。
概念的历史.哲学家查尔斯·桑德斯·皮尔士把溯因法引入至现代逻辑。在他1900年前的工作中，他主要使用这个术语来意味使用规则来解释观察，比如“如果下雨则草地是湿的”是用来解释草地是湿的的已知规则。他后来使用这个术语来意味建立解释新观察的新规则，强调溯因法是实际上建立任何新东西的唯一逻