6 ideas
18487 | We want to know what makes sentences true, rather than defining 'true' [McFetridge] |
9560 | S5 provides the correct logic for necessity in the broadly logical sense [Fine,K] |
17807 | To study formal systems, look at the whole thing, and not just how it is constructed in steps [Curry] |
17806 | It is untenable that mathematics is general physical truths, because it needs infinity [Curry] |
17808 | Saying mathematics is logic is merely replacing one undefined term by another [Curry] |
18488 | We normally explain natural events by citing further facts [McFetridge] |