Learn More
Anti-realist epistemic conceptions of truth imply what is called the knowability principle: All truths are possibly known. The principle can be formalized in a bimodal proposi-tional logic, with an alethic modality ♦ and an epistemic modality K, by the axiom scheme A ⊃ ♦KA (KP). The use of classical logic and minimal assumptions about the two modalities(More)
  • 1