search

normativeai / backend

GNU General Public License v3.0
3 stars 3 forks source link

rename connectives #39

Closed Gauntlet173 closed 5 years ago

Gauntlet173 commented 5 years ago

"permission if" and "permission only if" sound like the difference between implication and bi-directional implication, and don't make their actual distinction clear. Perhaps they should be renamed "if _ permission __" and "permission if " in the interface.

Gauntlet173 commented 5 years ago

Also, "obligation", "permission" and "forbidden" are not a matched set. Either "forbidden" should be "prohibited", or the first two should be "required" and "allowed" for consistency.

The meaning of "definitional" is not clear. perhaps 'if then " and " if " would be clearer, if that is the distinction between the two.

shaolintl commented 5 years ago

@Gauntlet173 I have followed your renaming for all connectives. Please check and reopen if there are still problems.

Gauntlet173 commented 5 years ago

I mentioned in email that I agree with Tereza it is confusing-looking. I think we should go with shorter names, and consider using the text with blanks as a tool-tip when you hover your mouse over the name?