structure for 'Formal Logic'    |     alphabetical list of themes    |     unexpand these ideas

---

4. Formal Logic / E. Nonclassical Logics / 10. Justification Logics

[logic that adds reasons for belief to the logic of knowledge]

1 idea

15379	Justication logics make explicit the reasons for mathematical truth in proofs [Fitting]
	Full Idea: In justification logics, the logics of knowledge are extended by making reasons explicit. A logic of proof terms was created, with a semantics. In this, mathematical truths are known for explicit reasons, and these provide a measure of complexity.
	From: Melvin Fitting (Intensional Logic [2007], 3.6.1)