Dave Beisecker (Philosophy) published a paper, "Regions of Force: Peirce, Frege, Carroll and Bilateral Proof Trees," in the European logic journal, Logique & Analyse. The paper shows how distinct and overlooked diagrammatic insights in the logical notations of three 19th-century logicians are brought together in a novel visual system of proof.
Comments
Share your thoughts about this story. To comment, you'll need to login into your Facebook account. Your comment will post immediately. Comments that are not in keeping with our comment policies may be removed by editors.