Identifiable Collections of Countable Structures
Daniel N. Osherson, Scott Weinstein · Philosophy of Science · 1989
A model of idealized scientific inquiry is presented in which scientists are required to infer the nature of the structure that makes true the data they examine. A necessary and sufficient condition is presented for scientific success within this paradigm.