Part of the Problems in Philosophy book series (PRPH)
To this point, we have not considered iterated knowledge operators as we did iterated belief operators earlier. Consider the following formulae, where p abstracts some factual sentence:
Clearly (1) seems to be true, but (2) is the subject of considerable controversy. It may be useful to begin a discussion by indicating the connection between Ideal Analysis and an acceptance of (1) and (2) as conditions on knowledge.
KaKap ⊃ Kap.
Kap ⊃ KaKap.
Unable to display preview. Download preview PDF.
© Robert John Ackermann 1972