>> To clarify, I was informally referring to the standard correspondence with propositional logic [1], but generalizations of this to include quantifiers also s

>> To clarify, I was informally referring to the standard correspondence with propositional logic [1], but generalizations of this to include quantifiers also seem possible [2]. The order of logic doesn't matter. That "standard" mapping of probabilities to logic doesn't work with classical logical semantics and with the common assumption that all probabilities sum to 1. I pointed out why in my previous comment: mapping true to 1 and false to 0 makes for too many 1's to fit in the open interval (0,1). The wikipedia article (which lacks relevant references) and the LessWrong post do not stop to address this foundational inconsistency and instead plow on with building on top of it, but they're only building a house of cards: one cannot draw safe inferences from inconsistent assumptions. As I say, I get the impression that many such attempts to marry logic and probabilities come from people who understand probabilities, but not logic. They might be considered "standard" in communities that simply wish to do away with logic and only have to think about probabilities, but they are a cop-out supported by sloppy thinking. On the other hand, there are a number of frameworks that avoid the cardinal sin of mapping true and false to 1 and 0, which they do by eschewing classical semantcis, for example Łukasiewicz logic: https://en.wikipedia.org/wiki/%C5%81ukasiewicz_logic https://en.wikipedia.org/wiki/%C5%81ukasiewicz_logic These are the obvious choice of logical semantics if one wishes to combine probability with logic, but somehow I rarely see them used. Possibly because they are not as well-known as propositional logic. In general, I propose to anyone who is interested in the subject to get at least a functional understanding of classical logic, if not as good an understanding as they have of probabilities and statistics. >> I'm curious specifically what doesn't fit. I understand there's tension between logic and probability, and learning and human-like reasoning are obviously still burgeoning fields, but the rest seem fairly well explored with plenty of correspondences. What I mean by "the pieces of the puzzle don't fit" is that the various abstractions we have to describe computation don't work when we try to apply them to human thinking. All the formal systems we have are missing something. Trying to work outside formal systems of course leads away from the realm of science and into the world of wild speculation and wishful thinking. >> Which is kinda what you'd expect from evolution by natural selection. I don't follow. Evolution by natural selection should be expected to make us lose all hope of building consistent theories?