4 ideas
16974 | The nature of each logical concept is given by a collection of inference rules [Correia] |
13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
16973 | Explain logical necessity by logical consequence, or the other way around? [Correia] |
20565 | Men are created equal, and with certain inalienable rights [Jefferson] |