Incomplete formal proof that the KK-principle is wrong
(KK)If one knows that p, then one knows that one knows that p. Definitions A0is the proposition that 1+1=2. A1is the proposition that Emil knows that 1+1=2. A2is the proposition…
(KK)If one knows that p, then one knows that one knows that p. Definitions A0is the proposition that 1+1=2. A1is the proposition that Emil knows that 1+1=2. A2is the proposition…
This is another of those ideas that ive had independently, and that it turned out that others had thought of before me, by thousands of years in this case. The…
I just wanted to look up some stuff on the questions that a teacher had posed. Since i dont actually have the book, and since one cant search…
A followup to yesterday (?)'s post. I had an idea about how to be able to recognize the normal inference, but avoiding recognizing the other one if one so wants…
A thing occurred to me while i was reviewing the idea of enumerative induction becus i mentioned it to a friend of mine. The thing is that such inductions are…
He is a pretty cool guy himself: http://en.wikipedia.org/wiki/John_Graham-Cumming http://en.wikipedia.org/wiki/Charles_Babbage “In 1838, Babbage invented the pilot (also called a cow-catcher), the metal frame attached to the front of locomotives…
I'm writing this piece as i have gotten rather tired of explaining this point over and over. Writing an article about it saves me time. The form of reasoning goes…
I had been looking for this book for a long time. Finally found it. An Introduction to Non-Classical Logic From If to Is The book is extremely dry and boring…
Exerpt from Possible Worlds. It is a pees of very useful information. --------- Janus-faced sentences The method of possible-worlds testing is not only an invaluable aid towards resolving ambiguity; it…
http://spikedmath.com/445.html ----- Let E refer to the propositions expressed by the sentence: “Everyone wants beer” “everyone” refers to the three people on the right. Let's call them “a”, “b”, “c”…