5. The oracle
Here’s something more complex but still pretty basic:
Athens will prevail if the oracle said so for the oracle is always right. But we know that the oracle said so for Eubulides reported this and Eubulides never lies.
Something is going on with Athens, Eubulides and the oracle. What’s the structure of the reasoning?
Eubulides reported that the oracle said that Athens will prevail | | Eubulides never lies |
| | The oracle is always right |
The oracle said that Athens will prevail | | If the oracle said that Athens will prevail, then Athens will prevail |