{"id":"arxiv/2606.24927","url":"https://arxiv.org/abs/2606.24927","tags":["cs.LO","math.LO"],"score":0,"title":"How a computer might think","domain":"cs.LO","source":"arxiv","authors":["Sankha S. Basu"],"reviews":0,"subject":"cs.LO","summary":"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…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-06-21","reactions":{}}