16 ideas
13831 | Logic is based on transitions between sentences [Prawitz] |
13825 | Natural deduction introduction rules may represent 'definitions' of logical connectives [Prawitz] |
13823 | In natural deduction, inferences are atomic steps involving just one logical constant [Prawitz] |
15897 | Zermelo realised that Choice would facilitate the sort of 'counting' Cantor needed [Zermelo, by Lavine] |
7352 | Jesus said learning was unnecessary, and only the spirit of the Law was needed [Jesus, by Johnson,P] |
6289 | Love your enemies [Jesus] |
6292 | Love thy neighbour as thyself [Jesus] |
5356 | Treat others as you would have them treat you [Jesus] |
6286 | Blessed are the merciful: for they shall obtain mercy [Jesus] |
6290 | Except ye become as little children, ye shall not enter heaven [Jesus] |
6287 | If you lust after a woman, you have committed adultery [Jesus] |
6285 | Blessed are the meek; for they shall inherit the earth [Jesus] |
6288 | Don't resist evil, but turn the other cheek [Jesus] |
6293 | It is almost impossible for the rich to go to heaven [Jesus] |
6291 | No one is good except God [Jesus] |
7351 | Jesus turned the ideas of Hillel into a theology reduced to its moral elements [Jesus, by Johnson,P] |