Closure on knowability.

The author discusses the two approaches to the paradox of knowability or the Church-Fitch argument, including denying that knowledge distributes over conjunction and moving to a typed logic. He argues that neither of the approaches works. He further argues that a Church-Fitch argument can be run with an assumption weaker than distribution of knowledge over conjunction. He adds that a modified Church-Fitch argument can be constructed in a typed logic.