Dowody że P

W jednej z niedawnych rozmów przypomniano mi o dwóch całkiem doskonałych zestawach dowodów że P w wydaniu różnych filozofów, a niedługo potem okazało się że mam znajomych którzy się z nimi nie zetknęli. Bez niepotrzebnego gadania, KLIK 1 oraz KLIK 2. Na zachętę:

Outline Of A Proof That P (1):
Saul Kripke

Some philosophers have argued that not-p. But none of them seems to me to have made a convincing argument against the intuitive view that this is not the case. Therefore, p.
_________________
(1) This outline was prepared hastily -- at the editor's insistence -- from a taped manuscript of a lecture. Since I was not even given the opportunity to revise the first draft before publication, I cannot be held responsible for any lacunae in the (published version of the) argument, or for any fallacious or garbled inferences resulting from faulty preparation of the typescript. Also, the argument now seems to me to have problems which I did not know when I wrote it, but which I can't discuss here, and which are completely unrelated to any criticisms that have appeared in the literature (or that I have seen in manuscript); all such criticisms misconstrue my argument. It will be noted that the present version of the argument seems to presuppose the (intuitionistically unacceptable) law of double negation. But the argument can easily be reformulated in a way that avoids employing such an inference rule. I hope to expand on these matters further in a separate monograph.

Ah, jeśli ktoś byłby zainteresowany zrobieniem czegoś podobnego o polskim środowisku, ja bardzo chętnie dorzucę kilka od siebie. Z AJN kiedyś robiliśmy odpowiednik przyczyn śmierci i to też było całkiem awesome.