Uhh, I don't see how the Birth Order and the Termination Order aren't logical negations, when something that follows the
birth order is born (A), while something that follows the termination order is not born (literally non-A).
Yea, termination in the verse includes a lot more than the textbook definition where's it's mainly medical intervention to force stop the growth of a baby. Even something that looks like a natural failure of the mother's body to give birth in the physical world, is effectively under the Order of Termination itself (where the scan says her order doing something to the womb itself to fail and causing the baby to "not born").
Termination also works on undead beings and magic spells from the scans OP sent, but mod ignored it.
There are also core flaws in the way spaceman is showcasing the criteria:
1. In the domain strictly about birth and abortion, these are the only two ways one can transition from being not non being and vice versa. Same way creation and destruction is also fine as logical dualities, since they are only two ways a thing turns 0 to 1 and 1 to 0 (basically comes into existence and returns to nothingness). What a rock does for 100 years after coming into reality doesn't add more ways on how it turns from 0 to 1, same way what a baby does after birth (whether it dies after that, grows into a fully abled human being) doesn't add more ways on how something transitions from being to non being & vice versa, there are only two ways. It was never a matter of statis in between two processes or states (which is a category error), but the only two boundary within which an event can fit itself (following LEM) and whether or not the boundaries also follow LNC.
2. His own argument falls apart when you use
reductio ad absurdum and try to fit his formula in a logical negation of Born and Non born - Specifically if a human was born (subjected to "birth"), and is now living in the world then at that current moment he's neither under "born" nor "not born". But that simply doesn't negate these two as the logical negation, as it is a category error. So how come he can say that creation and destruction fails to be the same because a rock, after being created, is no longer under creation or destruction and doesn't see it being a category error ?
Anyways,
* The system follows LoEM (being the only two possibilities for a given domain, completely exhausting the domain).
* They also follow LoNC (simultaneous creation and destruction can't happen on the same thing at the same time).
* LoI ? That's evident enough (a bird is bird, world is world, humans are human).
When considering the duality of birth and non-birth, it seems difficult to define exactly how it works. If the baby goes through gestation, the moment of childbirth arrives, and it is born, it would definitely be A (birth), but what would non-birth be then? From the moment the baby goes through gestation and childbirth, it will be born, so what exactly would a "non-birth" be, and how would it occur when the baby has already gone through gestation and will naturally be born?
Logically speaking, non-A would have to be something different from simply "something that is there without having been born" when this duality only governs living beings that are born, such as non-A being the baby already "born" dead, where cosmology would consider "being born already dead" a "non-birth" (non-A).
Well, non birth is simply the whole process of birth not occuring at all. A live birth or a stillbirth would still come under the domain of birth, while neither of those things happening is non birth.
While most of the examples on this wiki portrays negation as just the not value, like ' baking a cake's negation is simple to not bake a cake ', for two processes tho it goes a step beyond just negation. It is what we call an state transition function and its inverse state transition function, where negation is the interruption of a process and is followed by a reverse process.
So two opposing state transition functions are further extensions of two logically negating states themselves and thus are also logical negations of each other. (So a process not being a logical negation is a absurd thing to say).
If we take a domain of "The directional movement of a single value along a 1 dimensional number line, excluding zero movement.", then the only two pathways are moving a value to the right (+x / addition) or moving a value to the left (-x / substraction). One of the scans that OP sent later has explicitly calling "Order inverts" when wenzel and andeluc switches with one another.
But mod ignored that as well.