I have often mentioned and cited work by C. S. Peirce. And today, I came across an article with a good, short summary of his work and its implications: https://aeon.co/essays/charles-sanders-peirce-was-americas-greatest-thinker
There is, of course, much more reading necessary to do anything useful with his ideas, but the following slides show how his logic and semiotic could support useful tools: htttp://jfsowa,com/talks/eswc.pdf
For more detail, which includes the URL for a 76-page article, see the following slides: "Peirce, Polya, and Euclid, integrating logic, heuristics, and geometry", http://jfsowa.com/talks/ppe.pdf
John