notation
notation copied to clipboard
prathyvsh
Peirce’s notation
Study the paper: “Untapped Potential in Peirce's Iconic Notation for the Sixteen Binary Connectives” and collect the references to notations devised by Peirce, Peirce’s students and others.
https://www.jstor.org/stable/27902743?read-now=1&seq=10#page_scan_tab_contents
Some links on notation related to Peirce’s work:
Marquand’s logical diagrams: https://www.tandfonline.com/doi/abs/10.1080/14786448108627104
Proof Theory for Reasoning with Euler Diagrams: A Logic Translation and Normalization: https://www.jstor.org/stable/23488586?seq=1
Linear diagrams for syllogisms (with relationals): https://projecteuclid.org/download/pdf_1/euclid.ndjfl/1093636009
Did Karnaugh Goof? Or—Why Didn’t Veitch Stick to His Guns?: http://homepages.math.uic.edu/~jbaldwin/put/Graphical%20Logical%20Design%20Aids.pdf
Extensions of Euler Diagrams in Peirce’s Four Manuscripts on Logical Graphs: https://www.researchgate.net/publication/305621831_Extensions_of_Euler_Diagrams_in_Peirce%27s_Four_Manuscripts_on_Logical_Graphs
Logical diagrams and machines article: https://www.clivemaxfield.com/diycalculator/popup-h-logicdiag.shtml
Continuity, Connectivity and Regularity in Spatial Diagrams for N Terms: http://ceur-ws.org/Vol-1132/paper5.pdf
Great presentation by Moktefi: https://f.hypotheses.org/wp-content/blogs.dir/4029/files/2019/06/moktefi.pdf
Stanley Jevons and Allan Marquand link in the history of computing: https://www.semanticscholar.org/paper/W.-Stanley-Jevons%2C-Allan-Marquand%2C-and-the-origins-Buck-Hunka/50ec5c0723b0d81c05187c8f3a7dd4511e13718c
A neat summary of modern logical diagrams: https://commons.wikimedia.org/wiki/Logic_diagram
Article on Martin Gardner’s work: https://www.researchgate.net/publication/280098558_One_more_class_Martin_Gardner_and_logic_diagrams
Dissertation on logical diagrams by Gailand Mac Queen: https://macsphere.mcmaster.ca/bitstream/11375/10794/1/fulltext.pdf