Logic puzzle might be present in lieu of a grid in a puzzle about the location of different shops. 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
Analytic philosophy sought to understand language (and hence philosophical problems) by using formal logic to formalize the way in which philosophical statements are made. Wittgenstein developed a comprehensive system of logical atomism in his "Tractatus Logico-Philosophicus" (, 1921). He thereby argued that the universe is the totality of actual states of affairs and that these states of affairs can be expressed by the language of first-order predicate logic. Thus a "picture" of the universe can be construed by means of expressing atomic facts in the form of atomic propositions, and linking them using logical operators. During the late 1920s, to 1940s, a