3 ideas
10792 | The substitutional quantifier is not in competition with the standard interpretation [Kripke, by Marcus (Barcan)] |
3568 | Surely ALL truths are externally justified, by the facts? [Cross,A] |
7294 | No crime and no punishment without a law [Roman law] |