10 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] |
5655 | Happiness is not satisfaction of desires, but fulfilment of values [Bradley, by Scruton] |
24073 | Capitalists use their exceptional power to impose their own rules, and make the state their ally [Davies,W] |
24071 | Markets are transparent, with known prices and activity, and minimal profits [Davies,W] |
24070 | Economies have material, economic and capitalist layers [Davies,W] |
24072 | Capitalism is the anti-market, with opacity, monopolies, powers, exceptional profits and wealth [Davies,W] |
24074 | Capitalism must mainly rely either on the labour market, or on the financial markets [Davies,W] |