Mathematics is a mental construct created to reliably manipulate abstract concepts. You can describe mathematical statements as elements of the mental models of intelligent beings. A mathematical statement can be considered “true” if, when an intelligent beings use the statement in their reasoning, their predictive power increases. Thus, ” ‘4+4=8’ is true” implies statements like “jslocum’s model of arithmetic predicts that ‘4+4=8’, which causes him to correctly predict that if he adds four carrots to his basket of four potatoes, he’ll have eight vegetables in his basket”
I’m no sure that “use the statement in their reasoning” and “their predictive power increases” are well formed concepts, though, so this might need some refining.
Mathematics is a mental construct created to reliably manipulate abstract concepts. You can describe mathematical statements as elements of the mental models of intelligent beings. A mathematical statement can be considered “true” if, when an intelligent beings use the statement in their reasoning, their predictive power increases. Thus, ” ‘4+4=8’ is true” implies statements like “jslocum’s model of arithmetic predicts that ‘4+4=8’, which causes him to correctly predict that if he adds four carrots to his basket of four potatoes, he’ll have eight vegetables in his basket”
I’m no sure that “use the statement in their reasoning” and “their predictive power increases” are well formed concepts, though, so this might need some refining.