8 ideas
10247 | We have no adequate logic at the moment, so mathematicians must create one [Veblen] |
17744 | De Morgan started the study of relations and their properties [De Morgan, by Walicki] |
13501 | De Morgan found inferences involving relations, which eluded Aristotle's syllogistic [De Morgan, by Hart,WD] |
17743 | De Morgan introduced a 'universe of discourse', to replace Boole's universe of 'all things' [De Morgan, by Walicki] |
1554 | Contradiction is impossible, since only one side of the argument refers to the true facts [Prodicus, by Didymus the Blind] |
1555 | People used to think anything helpful to life was a god, as the Egyptians think the Nile a god [Prodicus] |
535 | The gods are just personified human benefits [Prodicus] |
1543 | He denied the existence of the gods, saying they are just exaltations of things useful for life [Prodicus] |