display all the ideas for this combination of texts
2 ideas
8487 | Arithmetic is a development of logic, so arithmetical symbolism must expand into logical symbolism [Frege] |
8473 | The logicists held that is-a-member-of is a logical constant, making set theory part of logic [Orenstein] |