On Ignorance and Contradiction Considered as Truth-Values

A critical view of the alleged significance of Belnap four-valued logic for reasoning under inconsistent and incomplete information is provided. The difficulty lies in the confusion between truth-values and information states, when reasoning about Boolean propositions. So our critique is along the lines of previous debates on the relevance of many-valued logics and especially of the extension of the Boolean truth-tables to more than two values as a tool for reasoning about uncertainty. The critique also questions the significance of partial logic.

• Type: Journal
• Year: 2008
• Where: IGPL
• Authors: Didier Dubois
• Keywords: Alleged Significance, IGPL 2008, Logic, Reasoning