Nothing but the Truth |
| |
| Authors: | Andreas Pietz Umberto Rivieccio |
| |
| Affiliation: | 1. LOGOS-Group, Department of Logic, History and Philosophy of Science, University of Barcelona, C. Montalegre 6-8, Barcelona, 08001, Spain
2. Research Center for Integrated Science, Japan Advanced Institute of Science and Technology, 1-1 Asahidai, Nomi, Ishikawa, 923-1292, Japan
|
| |
| Abstract: | A curious feature of Belnap’s “useful four-valued logic”, also known as first-degree entailment (FDE), is that the overdetermined value B (both true and false) is treated as a designated value. Although there are good theoretical reasons for this, it seems prima facie more plausible to have only one of the four values designated, namely T (exactly true). This paper follows this route and investigates the resulting logic, which we call Exactly True Logic. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
