display all the ideas for this combination of texts
3 ideas
8729 | Intuitionists deny excluded middle, because it is committed to transcendent truth or objects [Shapiro] |
9561 | The mathematics of relations is entirely covered by ordered pairs [Chihara] |
9552 | Sentences are consistent if they can all be true; for Frege it is that no contradiction can be deduced [Chihara] |