|
Organizers |
A Philosophy of Knots: Symbolic and Diagrammatic Reasoning
by
L.S. Wang
McGill University
This paper outlines braid/knot groups as a topic of interest for philosophers of mathematics independently, and explores the problem of axiomatizing braids and knots as an under-addressed philosophically salient parallel to grounding foundations. Representational flexibility of braids produces further insight into the establishment of a more non-arbitrary connection between symbolic and diagrammatic systems as logical languages. I provide a sound knot logic for foundations and demonstrate advantages on existing diagrammatic systems, with attention to some historical predecessors.
Date received: December 10, 2018
Copyright © 2018 by the author(s). The author(s) of this work and the organizers of the conference have granted their consent to include this abstract in Topology Atlas. Document # cbpq-24.