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? in just the same way as he argues the principle of bivalence is. To grasp why, consider why truth tables work for classical logic: first, it must be the case that the variable parts of the proposition are either true or false: if they could be other values, or fail to have truth values at all, then the truth table analysis of logical connectives would not exhaust the possible ways these could be applied. For example intuitionistic logic respects the classical truth tables, but not the laws of classical logic, because intuitionistic logic allows propositions to be other than true