13 ideas
10163 | Propositional modal logic has been proved to be complete [Kripke, by Feferman/Feferman] |
10760 | With possible worlds, S4 and S5 are sound and complete, but S1-S3 are not even sound [Kripke, by Rossberg] |
16189 | The variable domain approach to quantified modal logic invalidates the Barcan Formula [Kripke, by Simchen] |
15132 | The Barcan formulas fail in models with varying domains [Kripke, by Williamson] |
16383 | Puzzled Pierre has two mental files about the same object [Recanati on Kripke] |
19855 | The purpose of society is to protect the rights of liberty, property, security and resistance [Mirabeau/committee] |
19856 | The law expresses the general will, and all citizens can participate [Mirabeau/committee] |
19861 | There is only a constitution if rights are assured, and separation of powers defined [Mirabeau/committee] |
19858 | No one should be molested for their opinions, if they do not disturb the established order [Mirabeau/committee] |
19859 | Free speech is very precious, and everyone may speak and write freely (but take responsibility for it) [Mirabeau/committee] |
19857 | All citizens are eligible for roles in the state, purely on the basis of merit [Mirabeau/committee] |
19862 | Property is a sacred right, breached only when essential, and with fair compensation [Mirabeau/committee] |
19860 | Everyone must contribute to the state's power and administration, in just proportion [Mirabeau/committee] |