“To a first approximation, the immediate value of a year of your work is equal to the value of a year of your life.”
This statement demonstrates a type error. The value of a year of work is not the same type of thing as the value of a year of life. They are not comparable. We cannot meaningfully compare one to the other, or exchange one for the other. The value of each is found in a different set of intrinsic goods.
“To a first approximation, the immediate value of a year of your work is equal to the value of a year of your life.”
This statement demonstrates a type error. The value of a year of work is not the same type of thing as the value of a year of life. They are not comparable. We cannot meaningfully compare one to the other, or exchange one for the other. The value of each is found in a different set of intrinsic goods.
I think you meant to link to https://qchu.wordpress.com/2013/05/28/the-type-system-of-mathematics/.
Yep, thanks. Link corrected.