5 ideas
22104 | Truth is the conformity of being to intellect [Aquinas] |
16974 | The nature of each logical concept is given by a collection of inference rules [Correia] |
18198 | Mathematics is part of science; transfinite mathematics I take as mostly uninterpreted [Quine] |
22103 | Being is basic to thought, and all other concepts are additions to being [Aquinas] |
16973 | Explain logical necessity by logical consequence, or the other way around? [Correia] |