5 ideas
16974 | The nature of each logical concept is given by a collection of inference rules [Correia] |
15938 | Platonists ruin infinity, which is precisely a growing structure which is never completed [Dummett] |
15939 | For intuitionists it is constructed proofs (which take time) which make statements true [Dummett] |
18431 | Internal relations combine some tropes into a nucleus, which bears the non-essential tropes [Simons, by Edwards] |
16973 | Explain logical necessity by logical consequence, or the other way around? [Correia] |