Inadequacy of FOPL 2

• Everything Bob believes is true.

• Bob believes everything Bill believes.

• Bill believes Kevin’s favorite proposition.

• Kevin’s favorite proposition is that John is taller than Mary.

• Is John taller than Mary?

Previous slide

Next slide

Back to first slide

View graphic version