Tractatus Logico-Philosophicus
『論理哲学論考』が命題の意味に関連して事実との一致不一致に基づき、真偽判定可能な命題を有意味命題 (sinnliche Satz) としたのに対し、論理実証主義たちは検証可能／不可能という概念に基づき、「検証可能な命題＝自然科学によって判定される命題＝有意味な命題、検証不可能な命題＝擬似命題＝除去されるべき命題」という二分法を導入した。それにより、科学とは検証可能な諸命題の総体である、と主張する言語哲学に基づく科学観を形成した(→科学哲学)。