juraj on Nostr: They do not have to be true, they are just explicit. It is like building a ...

They do not have to be true, they are just explicit.

It is like building a mathematical theory. If A, B and C and not D, then E, F and G.... Does not say that A, B, C and D values are known, only if they are known and as stated, you can make the inference. It does not say anything about a world when they are not known.

Also, you can parametrize. Check the Grabby Aliens, first the videos and then the paper, you can see exactly what I mean:

https://grabbyaliens.com/