So, what does intuitionism suggest instead of the definition of a proposition as a truth value ? Put differently, what does the form of assertion A : prop mean ?
Definition 1. A proposition is defined by laying down what counts as a cause of the proposition.
With this definition in place, it is natural to define truth of a proposition in the following way.
Definition 2. A proposition is true if it has a cause.
-- Johan George Granstrom, Treatise on Intuitionistic Type Theory
The value of these definitions is completely opaque to me. Could you elaborate on why you believe this is a good rationality quote?
Another month, another rationality quotes thread. The rules are: