On 12/16/2012 2:31 AM, Bruno Marchal wrote:
No. With the CTM the ultimate truth is arithmetical truth, and we cannot really define it (with the CTM). We can approximate it in less obvious ontologies, like second order logic, set theory, etc. But with CTM this does not really define it. Don't confuse truth, and the words pointing to it. Truth is always beyond words, even the ultimate 3p truth.
What would it mean to 'define truth'? We can define 'true' as a property of sentence that indicates a fact. But I'm not sure how to conceive of defining mathematical 'true'. Does it just mean consistent with a set of axioms, i.e. not provably false?
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@example.com. To unsubscribe from this group, send email to everything-list+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/everything-list?hl=en.