ellauri096.html on line 173: (K-0) This sentence is known to be false.
ellauri096.html on line 175: If (K-0) is true then it known to be false. Whatever is known to be false, is false. Since no proposition can be both true and false, we have proven that (K-0) is false. Given that proof produces knowledge, (K-0) is known to be false. But wait! That is exactly what (K-0) says – so (K-0) must be true.
ellauri096.html on line 177: The (K-0) argument stinks of the liar paradox. Subsequent commentators sloppily switch the negation sign in the formal presentations of the reasoning from K∼p
ellauri096.html on line 184: The skeptic could hope to solve (K-0) by denying that anything is known. This remedy does not cure (K). If nothing is known then (K) is true. Can the skeptic instead challenge the premise that proving a proposition is sufficient for knowing it? This solution would be particularly embarrassing to the skeptic. The skeptic presents himself as a stickler for proof. If it turns out that even proof will not sway him, he bears a damning resemblance to the dogmatist he so frequently chides.
4