How a computer might think
Inspired by Nuel Belnap's "How a computer should think," which gave rise to the four-valued logic FDE, we contemplate, in this article, how a computer might think if we add a fifth value for unknowable or cannot be known. We devise two new five-valued logics, UKN1 and UKN2, called the logics of the unknowable. These are different from the five-valued logic FDEe of the FDE-family. The main difference is in the number of designated truth values. While FDEe takes two designated values, UKN1 and UKN2 have three. The four-valued reducts of these logics are also different from FDE. This is due to…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2606.24927
curl -X POST /api/v1/records/arxiv/2606.24927/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2606.24927/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'