We present a theory VF of partial truth over Peano arithmetic and we prove that VF and ID 1 , have the same arithmetical content. The semantics of VF is inspired by van Fraassen's notion of supervaluation.
No takes yet. Share an insight, caveat, or question.
Andrea Cantini (1990) studied this question.
Synapse has enriched 2 closely related papers on similar clinical questions. Consider them for comparative context: