Logic puzzle Logic puzzle A logic puzzle is a puzzle deriving from the mathematics field of deduction. The logic puzzle was first produced by Charles Lutwidge Dodgson, who is better known under his pen name Lewis Carroll, the author of "Alice's Adventures in Wonderland". In his book "The Game of Logic" he introduced a game to solve problems such as confirming the conclusion "Some greyhounds are not fat" from the statements "No fat creatures run well" and "Some greyhounds run well". Puzzles like this, where we are given a list of premises and asked what can be deduced from them, are known
Is Logic Empirical? idea of a propositional logic with rules radically different from Boolean logic in itself was not new. Indeed a sort of analogy had been established in the mid-nineteen thirties by Garrett Birkhoff and John von Neumann between a non-classical propositional logic and some aspects of the measurement process in quantum mechanics. Putnam and the physicist David Finkelstein proposed that there was more to this correspondence than a loose analogy: that in fact there was a logical system whose semantics was given by a lattice of projection operators on a Hilbert space. This, actually, was the correct logic for reasoning about