Your best guesses seem pretty close to how the terms are used on here; I think the community at large should be wary of appropriating terms that already have long histories in certain fields.
Regarding the classics: to what extent has the field drifted since Descartes? Since Godel’s? It’s been a while since Phil 101, but didn’t Descartes “reason” that God exists? (yes: Trademark argument)
Your best guesses seem pretty close to how the terms are used on here; I think the community at large should be wary of appropriating terms that already have long histories in certain fields.
Regarding the classics: to what extent has the field drifted since Descartes? Since Godel’s? It’s been a while since Phil 101, but didn’t Descartes “reason” that God exists? (yes: Trademark argument)