a thoughtful web.
Good ideas and conversation. No ads, no tracking.   Login or Take a Tour!
comment
Devac  ·  1542 days ago  ·  link  ·    ·  parent  ·  post: Semantic primes

Two, probably silly, questions:

1. Why are there no conjunctions (and/or) in the list of primes? In logic, it can be proven that all possible binary operators (there are 16 of them) can be defined only in terms of either NAND (not and) or NOR (not or), so I figured you'd need at least one in a list of semantic primes. Is it done purely through syntax?

2. Similarly, is there a deeper reason why some of the primes aren't removed on account of being defined as a negative of another prime (e.g. want - don't want, few - not many)?