16 ideas
| 15327 | Kripke's semantic theory has actually inspired promising axiomatic theories [Kripke, by Horsten] |
| 15343 | Kripke offers a semantic theory of truth (involving models) [Kripke, by Horsten] |
| 14966 | The Tarskian move to a metalanguage may not be essential for truth theories [Kripke, by Gupta] |
| 14967 | Certain three-valued languages can contain their own truth predicates [Kripke, by Gupta] |
| 16328 | Kripke classified fixed points, and illuminated their use for clarifications [Kripke, by Halbach] |
| 21075 | The state of nature always involves the threat of war [Kant] |
| 20569 | Kant made the social contract international and cosmopolitan [Kant, by Oksala] |
| 21079 | The a priori general will of a people shows what is right [Kant] |
| 21077 | Each nation should, from self-interest, join an international security constitution [Kant] |
| 21078 | A constitution must always be improved when necessary [Kant] |
| 21076 | Equality is where you cannot impose a legal obligation you yourself wouldn't endure [Kant] |
| 20570 | There is now a growing universal community, and violations of rights are felt everywhere [Kant] |
| 20571 | There are political and inter-national rights, but also universal cosmopolitan rights [Kant] |
| 21073 | Hiring soldiers is to use them as instruments, ignoring their personal rights [Kant] |
| 21074 | Some trust in the enemy is needed during wartime, or peace would be impossible [Kant] |
| 5470 | The idea of laws of nature arose in the Middle Ages [Hall,AR, by Ellis] |