Stickman Logic Stickman Logic 1. Indeed, the main division between the so-called Continental and Analytic traditions has been disputes over whether the task of being unclear should be carried out in natural language or in a formal system. Below we develop a formal system equivalent in power to the usual sentential logic, but deployed in a humane and aesthetic framework.
Any atomic proposition is a wff.
If is a wff and is a sequence of 's longer than any such sequence that appears in , then is a wff. If , are wff's and is a sequence of 's longer than any such sequence that appears in either or , then is a wff. All and only wff's can be generated from the above rules. Just as we may sometimes omit parentheses from the usual propositional calculus, we will omit 's from Stickman Logic where possible. We further define a proof theory and semantics for Stickman Logic in the obvious way.