On 12/18/2012 10:27 AM, Stephen P. King wrote:
On 12/18/2012 12:51 PM, meekerdb wrote:
On 12/17/2012 11:51 PM, Quentin Anciaux wrote:
Which implies there is some measure of 'true' other than 'provable'.
What do you mean ? that provable true is truer ?
No, just that there must be propositions we judge to be true that aren't
provable.
Brent
--
Hi Brent,
How do we defend such "propositions we judge to be true that aren't provable" from
claims of subjectivity?
Of course being provable does eliminate subjectivity - it just pushes it back to the
axioms. Generally what we mean by objective is that there is almost universal subjective
agreement, e.g. given any number x there is a successor of x not equal to x. So if there
is some proposition of arithmetic that everyone agrees must be true, then it's as
'objective' as the axioms and as 'objective' as anything proven from the axioms even
though it is not provable from them.
Brent
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en.
