![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
guslA dream I had when I was trying to formalize theories of autism in ACT-R was about a system for reasoning about the design of psychology experiments.
The language should be able to express:
* experiments: what kind of experiments can be built.
* theories: possible ways the mind (or nature) works.
* interpretation: how to interpret experimental results in terms of these theories.
This should generalize to all experimental science.
Do there exist logics that talk about concept formation, theory revision, etc?
One might think that this would be too "meta" to fit into a logical framework, but I'm an optimist about this kind of thing.
The language should be able to express:
* experiments: what kind of experiments can be built.
* theories: possible ways the mind (or nature) works.
* interpretation: how to interpret experimental results in terms of these theories.
This should generalize to all experimental science.
Do there exist logics that talk about concept formation, theory revision, etc?
One might think that this would be too "meta" to fit into a logical framework, but I'm an optimist about this kind of thing.