I haven't read it all yet, but I am very interested in the topic of formalizing any kind of reasoning... I also happen to be reading about empirical equivalence vs. structural(?) equivalence in physics theories.
"I will then use to say that two theories are metaphysically equivalent if this correspondence gives a one-to-one correspondence between the models of the two theories."
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
krja![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
(no subject)
Date: 2004-09-06 12:17 am (UTC)(no subject)
Date: 2004-09-06 01:27 am (UTC)"I will then use to say that two theories are metaphysically equivalent if this correspondence gives a one-to-one correspondence between the models of the two theories."
by the way, did you have this double-checked?