En grundläggande tanke i hans bok ”Tractatus logico-philosophicus” är att vanliga satser kan analyseras såsom uppbyggda av elementarsatser, som i sin tur är sammansättningar av enkla namn vilka refererar till ting i världen.