Saying Quotes - page 96
Well, we haven't learnt yet to live together peacefully... But I don't know what progress really means. Anyway, I think we need to have faith in the fact that there is more out there to be explained. Even the paradigms that we now have, including subjective value theory, for example, are only provisional. Some physicist might believe that ultimately, we will be able to explain everything. To me, that is utterly stupid, just like saying that an atheist is equally dogmatic as a Texas Baptist. It seems to me that, if you accept evolution, you can still not expect your dog to get up and start talking German. And that's because your dog is not genetically programmed to do that. We are human animals, and we are equally bound. There are whole realms of discourse out there that we cannot reach, by definition. There are always going to be limits beyond which we cannot go. Knowing that they are there, you can always hope to move a little closer – but that's all.
James M. Buchanan
Unfortunately, truth is neither a listable nor a decidable property; nor is the truth of a statement of arithmetic. The American logician John Myhill has used the term 'prospective' to characterize those attributes of the world that are neither listable nor decidable. They are properties that cannot be recognized by the application of some formula, made to conform to a rule, or generated by some computer program. They are characterized by incessant novelty that cannot be encompassed by any finite set of rules. 'Beauty', 'ugliness', 'truth', 'harmony', simplicity', and 'poetry' are names we give to some of the attributes of this sort. There is no way of listing all examples of beauty or ugliness, nor any procedure for saying whether or not something possesses either of those attributes, without redefining them in some more restrictive fashion that kills their prospective character.
John D. Barrow