Disclaimer: Some not too structured thoughts. It’s commonly said that correlation does not imply causation. That is true (see Gwern’s analysis), but does causation imply correlation? Specifically, if “→” means causes and “~~” means correlates with, does X→Y imply X~~Y? It may seem obvious that the answer is yes, but it is not so clear. […]

Title says it all. Apparently, some think this is not the case, but it is a straightforward application of Bayes’ theorem. When I first learned of Bayes’ theorem years ago, I thought of this point. Back then I also believed that stereotypes are irrelevant when one has individualized information. Alas, it is incorrect. Neven Sesardic […]

From researchgate: www.researchgate.net/post/What_is_the_actual_difference_between_1st_order_and_higher_order_logic What is the actual difference between 1st order and higher order logic? Yes, I know. They say, the 2nd order logic is more expressive, but it is really hard to me to see why. If we have a domain X, why can’t we define the domain X’ = X u 2^X and […]

From here. btw this thread was one of the many discussions that helped form my views about what wud later become the essay about begging the question, and the essay about how to define “deductive argument” and “inductive argument”. Reconstructo  Do you know much about Jung’s theory of archetypes? If so, what do you make […]

In my hard task to avoid actually doing my linguistics exam paper, ive been reading a lot of other stuff to keep my thoughts away from thinking about how i really ought to start writing my paper. In this case i am currently reading a book, Human Reasoning and Cognitive Science (Keith Stenning and Michiel […]

(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 that Emil knows that Emil knows that 1+1=2. … Anis the proposition that Emil knows that Emil knows that … that 1+1=2. Where “…” is […]