40 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] |
458 | Nothing could come out of nothing, and existence could never completely cease [Empedocles] |
5112 | Empedocles says things are at rest, unless love unites them, or hatred splits them [Empedocles, by Aristotle] |
13209 | There is no coming-to-be of anything, but only mixing and separating [Empedocles, by Aristotle] |
457 | Substance is not created or destroyed in mortals, but there is only mixing and exchange [Empedocles] |
462 | One vision is produced by both eyes [Empedocles] |
22765 | Wisdom and thought are shared by all things [Empedocles] |
1524 | For Empedocles thinking is almost identical to perception [Empedocles, by Theophrastus] |
21059 | General rules of action also need a judgement about when to apply them [Kant] |
552 | Empedocles said good and evil were the basic principles [Empedocles, by Aristotle] |
21061 | Duty does not aim at an end, but gives rise to universal happiness as aim of the will [Kant] |
21060 | It can't be a duty to strive after the impossible [Kant] |
21062 | The will's motive is the absolute law itself, and moral feeling is receptivity to law [Kant] |
21071 | There can be no restraints on freedom if reason does not reveal some basic rights [Kant] |
21063 | Personal contracts are for some end, but a civil state contract involves a duty to share [Kant] |
21068 | There must be a unanimous contract that citizens accept majority decisions [Kant] |
21069 | A contract is theoretical, but it can guide rulers to make laws which the whole people will accept [Kant] |
21070 | A law is unjust if the whole people could not possibly agree to it [Kant] |
21067 | A citizen must control his own life, and possess property or an important skill [Kant] |
21064 | A lawful civil state must embody freedom, equality and independence for its members [Kant] |
21066 | Citizens can rise to any rank that talent, effort and luck can achieve [Kant] |
21065 | You can't make a contract renouncing your right to make contracts! [Kant] |
21072 | The people (who have to fight) and not the head of state should declare a war [Kant] |
589 | 'Nature' is just a word invented by people [Empedocles] |
21823 | The principle of 'Friendship' in Empedocles is the One, and is bodiless [Empedocles, by Plotinus] |
2680 | Empedocles said that there are four material elements, and two further creative elements [Empedocles, by Aristotle] |
6002 | Empedocles says bone is water, fire and earth in ratio 2:4:2 [Empedocles, by Inwood] |
13207 | Fire, Water, Air and Earth are elements, being simple as well as homoeomerous [Empedocles, by Aristotle] |
459 | All change is unity through love or division through hate [Empedocles] |
13218 | The elements combine in coming-to-be, but how do the elements themselves come-to-be? [Aristotle on Empedocles] |
13225 | Love and Strife only explain movement if their effects are distinctive [Aristotle on Empedocles] |
460 | If the one Being ever diminishes it would no longer exist, and what could ever increase it? [Empedocles] |
5090 | Maybe bodies are designed by accident, and the creatures that don't work are destroyed [Empedocles, by Aristotle] |
466 | God is pure mind permeating the universe [Empedocles] |
461 | God is a pure, solitary, and eternal sphere [Empedocles] |
1719 | In Empedocles' theory God is ignorant because, unlike humans, he doesn't know one of the elements (strife) [Aristotle on Empedocles] |
1522 | It is wretched not to want to think clearly about the gods [Empedocles] |