27 ideas
10688 | 'Equivocation' is when terms do not mean the same thing in premises and conclusion [Beall/Restall] |
10690 | Formal logic is invariant under permutations, or devoid of content, or gives the norms for thought [Beall/Restall] |
10691 | Logical consequence needs either proofs, or absence of counterexamples [Beall/Restall] |
10695 | Logical consequence is either necessary truth preservation, or preservation based on interpretation [Beall/Restall] |
10689 | A step is a 'material consequence' if we need contents as well as form [Beall/Restall] |
10696 | A 'logical truth' (or 'tautology', or 'theorem') follows from empty premises [Beall/Restall] |
10693 | Models are mathematical structures which interpret the non-logical primitives [Beall/Restall] |
10692 | Hilbert proofs have simple rules and complex axioms, and natural deduction is the opposite [Beall/Restall] |
8463 | Maths can be reduced to logic and set theory [Quine] |
8461 | The category of objects incorporates the old distinction of substances and their modes [Quine] |
8462 | A hallucination can, like an ague, be identified with its host; the ontology is physical, the idiom mental [Quine] |
7337 | In Mosaic legal theory, crimes are sins and sins are crimes [Johnson,P] |
7339 | Because human life is what is sacred, Mosaic law has no death penalty for property violations [Johnson,P] |
7353 | The Pharisees undermined slavery, by giving slaves responsibility and status in law courts [Johnson,P] |
7340 | Mosaic law was the first to embody the rule of law, and equality before the law [Johnson,P] |
7338 | Man's life is sacred, because it is made in God's image [Johnson,P] |
7348 | The Jews sharply distinguish human and divine, but the Greeks pull them closer together [Johnson,P] |
7336 | A key moment is the idea of a single moral God, who imposes his morality on humanity [Johnson,P] |
7341 | Sampson illustrates the idea that religious heroes often begin as outlaws and semi-criminals [Johnson,P] |
7342 | Isaiah moved Israelite religion away from the local, onto a more universal plane [Johnson,P] |
7355 | The Torah pre-existed creation, and was its blueprint [Johnson,P] |
7345 | In exile the Jews became a nomocracy [Johnson,P] |
7344 | Judaism involves circumcision, Sabbath, Passover, Pentecost, Tabernacles, New Year, and Atonement [Johnson,P] |
7347 | Zoroastrians believed in one eternal beneficent being, Creator through the holy spirit [Johnson,P] |
7349 | Immortality based on judgement of merit was developed by the Egyptians (not the Jews) [Johnson,P] |
7354 | The main doctrine of the Pharisees was belief in resurrection and the afterlife [Johnson,P] |
7356 | Pious Jews saw heaven as a vast library [Johnson,P] |