display all the ideas for this combination of texts
4 ideas
16345 | That Peano arithmetic is interpretable in ZF set theory is taken by philosophers as a reduction [Halbach] |
18692 | Realists believe in independent objects, correspondence, and fallibility of all theories [Button] |
18693 | Indeterminacy arguments say if a theory can be made true, it has multiple versions [Button] |
18695 | An ideal theory can't be wholly false, because its consistency implies a true model [Button] |