"chess" is not just the board. It is also the learning problem, i.e. one needs to include the subjective learning process as object of the formalism. Well, need is a big word. If one wants a better "ground" level, meaning the set of assumptions to agree from and build something that yields interesting new statements by logic applied to this bigger definition or construction of the problem.
The video shows well that logic itself is just about finding the consequences of the set of assumptions, it can't itself leap to changing those assumptions toward better assumptions. It works within those human created leaped bounds.
Yet there are rational ways to think about various formalism given the data of the "universe" we try to model something about.
We have to be clear about what that last part is the something about, the universe and the model are to be clear in which set of questions (well defined mutually) we want to answer, in relation to which "ground" assumptions we are willing to include for our fog to have some domain.
logic needs meaning to be useful. We provide the meaning.
"chess" is not just the board. It is also the learning problem, i.e. one needs to include the subjective learning process as object of the formalism. Well, need is a big word. If one wants a better "ground" level, meaning the set of assumptions to agree from and build something that yields interesting new statements by logic applied to this bigger definition or construction of the problem.
The video shows well that logic itself is just about finding the consequences of the set of assumptions, it can't itself leap to changing those assumptions toward better assumptions. It works within those human created leaped bounds.
Yet there are rational ways to think about various formalism given the data of the "universe" we try to model something about.
We have to be clear about what that last part is the something about, the universe and the model are to be clear in which set of questions (well defined mutually) we want to answer, in relation to which "ground" assumptions we are willing to include for our fog to have some domain.
logic needs meaning to be useful. We provide the meaning.