アリストテレスは，自身の推論の理論に，固有名を含む命題を前提とすることを拒否している．そこで，アリストテレスの『分析論前書』において，固有名が用いられている箇所について検討を加えて，その原因を明らかにすることを試みた．その結果として，固有名を含む命題は全称命題への還元が不可能であるために用いられていないと論じた．