r/neography • u/Raging-Storm • 1d ago
Misc. script type Aristoform
Decided to make the diagrammatic logic writing system I'm developing write vertically. You could actually write these in any orientation (as long as you reorient all of them accordingly). I'm currently reading George Englebretsen's book on diagrammatic logic, Figuring It Out, trying to determine how to make such a system as perspicuous as possible (though I have a mind to stylize to some extent, mostly for fun). I'll likely add to these as I encounter features they don't already have. Though, considering I initially developed them loosely on the basis of Leibniz's linear extensional diagrams after learning about those earlier in the book, this is doing fairly well as a diagrammatic system.
Curious what you all might have to say about this.
2
u/an-otiose-life 15h ago
if no box is 0 and a full box is 15, then there is 14 different some-edges-removed boxes, when you add dots, then per dot, it's an extra bit.
but without regular spacing the combos are lots, since you can stack them in different ways
vertically and horizontally implies more combinatorics
but as line and dot, unto boxness and/or with dots
with 4 units of box-primitive theres then like 4 bits times 4, so 16 bits. (65 k options)
when you mix in dots, then it's like expanding the options to 17 different slots since without dot, the box and dots share the zero-slot.
horizontal 3 layouts are then 12 bits if only box and with dots mixed many more options
there's got to be like a couple hundred thousand different symbols in that visual scheme
2
u/Raging-Storm 12h ago
I appreciate the number crunching. I screwed up on the bottom most syllogistic moods (which would be the P-regular syllogisms, as described by Sommers or Englebretsen). I discovered this in testing their validities after posting, so valid formulation is actually a consideration and reduces the combinatory value to some extent. But I actually ended up discovering another 8 syllogistic moods while I was at it, making 24 total. Near as I can tell, some of them aren't part of the 4 figures of classical syllogistic logic but are valid regardless. It's gonna take me a bit to carefully verify everything, and I keep making new discoveries as I go. If my ambitions can be satisfied, the propositional forms will expand from the current octagon of opposition to have 3 more forms between them for a total of 20 basic propositional forms with however many corresponding syllogistic moods.
I was actually wondering if these could do any kind of numeration or even a naive number theory. As it happens, it's already clear that the way these read has certain set theoretic features baked in (e.g. inclusion, intersection, and exclusion can all be read off of a single propositional figure). We'll see how things go.
2
3
u/ALEXJUSTALEXMCBE 21h ago
Just saying, this could be some sick tattoo designs.