「太陽は東からのぼる」という文は、総合的(synthetic)な命題である。つまり、そこに含まれている語の意味だけでは文の真偽が判定できず、世界の観察を必要とする。「太陽は東からのぼる」は総合的に真な命題であり、必然ではない。よって、「太陽は東からのぼる」が成り立たない世界を想像できる。 いっぽう、「犬は動物である」という文は、分析的(analytic)な命題である。つまり、そこに含まれている語の意味だけで文の真偽が判定できて、世界の観察を必要としない。「犬は動物である」は分析的に真な命題であり、必然的に成り立つ。よって、「犬は動物である」が成り立たない世界は想像すらできない。 「東ではない方向からのぼる太陽」は、概念レベルで矛盾してはいないので、想像ができる。しかし「動物でない犬」は、概念レベルで矛盾しているので、想像すらできないのだ。 分析哲学では、想像できる世界のことを「可能世界」と