88 ideas
22733 | Epicurus accepted God in his popular works, but not in his writings on nature [Epicurus, by Sext.Empiricus] |
13291 | Slavery to philosophy brings true freedom [Epicurus] |
22758 | Philosophy aims at a happy life, through argument and discussion [Epicurus] |
14523 | We should come to philosophy free from any taint of culture [Epicurus] |
22240 | The aim of medicine is removal of sickness, and philosophy similarly removes our affections [Epicurus] |
1484 | We should say nothing of the whole if our contact is with the parts [Epicurus, by Plutarch] |
2670 | Epicurus despises and laughs at the whole of dialectic [Epicurus, by Cicero] |
15413 | With four tense operators, all complex tenses reduce to fourteen basic cases [Burgess] |
15415 | The temporal Barcan formulas fix what exists, which seems absurd [Burgess] |
15430 | Is classical logic a part of intuitionist logic, or vice versa? [Burgess] |
15431 | It is still unsettled whether standard intuitionist logic is complete [Burgess] |
15429 | Relevance logic's → is perhaps expressible by 'if A, then B, for that reason' [Burgess] |
15404 | Technical people see logic as any formal system that can be studied, not a study of argument validity [Burgess] |
15405 | Classical logic neglects the non-mathematical, such as temporality or modality [Burgess] |
15427 | The Cut Rule expresses the classical idea that entailment is transitive [Burgess] |
15421 | Classical logic neglects counterfactuals, temporality and modality, because maths doesn't use them [Burgess] |
15403 | Philosophical logic is a branch of logic, and is now centred in computer science [Burgess] |
21668 | Epicurus rejected excluded middle, because accepting it for events is fatalistic [Epicurus, by Cicero] |
15407 | Formalising arguments favours lots of connectives; proving things favours having very few [Burgess] |
21676 | Epicureans say disjunctions can be true whiile the disjuncts are not true [Epicurus, by Cicero] |
15424 | Asserting a disjunction from one disjunct seems odd, but can be sensible, and needed in maths [Burgess] |
15409 | All occurrences of variables in atomic formulas are free [Burgess] |
15414 | The denotation of a definite description is flexible, rather than rigid [Burgess] |
15406 | 'Induction' and 'recursion' on complexity prove by connecting a formula to its atomic components [Burgess] |
15425 | The sequent calculus makes it possible to have proof without transitivity of entailment [Burgess] |
15426 | We can build one expanding sequence, instead of a chain of deductions [Burgess] |
15408 | 'Tautologies' are valid formulas of classical sentential logic - or substitution instances in other logics [Burgess] |
15418 | Validity (for truth) and demonstrability (for proof) have correlates in satisfiability and consistency [Burgess] |
15412 | Models leave out meaning, and just focus on truth values [Burgess] |
15411 | We only need to study mathematical models, since all other models are isomorphic to these [Burgess] |
15416 | We aim to get the technical notion of truth in all models matching intuitive truth in all instances [Burgess] |
15428 | The Liar seems like a truth-value 'gap', but dialethists see it as a 'glut' [Burgess] |
15420 | De re modality seems to apply to objects a concept intended for sentences [Burgess] |
15419 | General consensus is S5 for logical modality of validity, and S4 for proof [Burgess] |
15417 | Logical necessity has two sides - validity and demonstrability - which coincide in classical logic [Burgess] |
15422 | Three conditionals theories: Materialism (material conditional), Idealism (true=assertable), Nihilism (no truth) [Burgess] |
15423 | It is doubtful whether the negation of a conditional has any clear meaning [Burgess] |
1823 | We can't seek for things if we have no idea of them [Epicurus, by Diog. Laertius] |
1824 | To name something, you must already have an idea of what it is [Epicurus, by Diog. Laertius] |
5949 | Epicurus says colours are relative to the eye, not intrinsic to bodies [Epicurus, by Plutarch] |
1821 | Sensations cannot be judged, because similar sensations have equal value, and different ones have nothing in common [Epicurus, by Diog. Laertius] |
1820 | The criteria of truth are senses, preconceptions and passions [Epicurus, by Diog. Laertius] |
1822 | Reason can't judge senses, as it is based on them [Epicurus, by Diog. Laertius] |
4549 | Epicurus denied knowledge in order to retain morality or hedonism as the highest values [Nietzsche on Epicurus] |
2668 | Epicurus says if one of a man's senses ever lies, none of his senses should ever be believed [Epicurus, by Cicero] |
1482 | If two people disagree over taste, who is right? [Epicurus, by Plutarch] |
1483 | Bath water is too hot for some, too cold for others [Epicurus, by Plutarch] |
1487 | When entering a dark room it is colourless, but colour gradually appears [Epicurus] |
14526 | The rational soul is in the chest, and the non-rational soul is spread through the body [Epicurus] |
6035 | Soul is made of four stuffs, giving warmth, rest, motion and perception [Epicurus, by Aetius] |
6018 | Epicurus was the first to see the free will problem, and he was a libertarian [Epicurus, by Long/Sedley] |
20922 | Epicurus showed that the swerve can give free motion in the atoms [Epicurus, by Diogenes of Oen.] |
14516 | There is no necessity to live with necessity [Epicurus] |
1909 | How can pleasure or judgement occur in a heap of atoms? [Sext.Empiricus on Epicurus] |
6248 | Reason is too slow and doubtful to guide all actions, which need external and moral senses [Hutcheson] |
7814 | It was Epicurus who made the question of the will's freedom central to ethics [Epicurus, by Grayling] |
6238 | We approve of actions by a superior moral sense [Hutcheson] |
6239 | We dislike a traitor, even if they give us great benefit [Hutcheson] |
6240 | The moral sense is not an innate idea, but an ability to approve or disapprove in a disinterested way [Hutcheson] |
6242 | We cannot choose our moral feelings, otherwise bribery could affect them [Hutcheson] |
6247 | Everyone feels uneasy when seeing others in pain, unless the others are evil [Hutcheson] |
6244 | Human nature seems incapable of universal malice, except what results from self-love [Hutcheson] |
3562 | Fine things are worthless if they give no pleasure [Epicurus] |
6243 | As death approaches, why do we still care about family, friends or country? [Hutcheson] |
1840 | Pleasure is the chief good because it is the most natural, especially for animals [Epicurus, by Diog. Laertius] |
6246 | My action is not made good by a good effect, if I did not foresee and intend it [Hutcheson] |
1839 | Pains of the soul are worse than pains of the body, because it feels the past and future [Epicurus, by Diog. Laertius] |
1842 | Pleasures only differ in their duration and the part of the body affected [Epicurus] |
3557 | The end for Epicurus is static pleasure [Epicurus, by Annas] |
1845 | Justice has no independent existence, but arises entirely from keeping contracts [Epicurus] |
1841 | We choose virtue because of pleasure, not for its own sake [Epicurus, by Diog. Laertius] |
6241 | Contempt of danger is just madness if it is not in some worthy cause [Hutcheson] |
1829 | A wise man would be happy even under torture [Epicurus, by Diog. Laertius] |
1843 | Friendship is by far the most important ingredient of a complete and happy life [Epicurus] |
6245 | That action is best, which procures the greatest happiness for the greatest number [Hutcheson] |
6251 | The loss of perfect rights causes misery, but the loss of imperfect rights reduces social good [Hutcheson] |
1831 | Wise men should partake of life even if they go blind [Epicurus, by Diog. Laertius] |
12044 | Only Epicurus denied purpose in nature, for the whole world, or for its parts [Epicurus, by Annas] |
20907 | Democritus says atoms have size and shape, and Epicurus added weight [Epicurus, by Ps-Plutarch] |
21669 | Atoms don't swerve by being struck, because they move in parallel, so the swerve is uncaused [Cicero on Epicurus] |
21680 | What causes atomic swerves? Do they draw lots? What decides the size or number of swerves? [Cicero on Epicurus] |
14525 | Stoics say time is incorporeal and self-sufficient; Epicurus says it is a property of properties of things [Epicurus] |
2637 | For Epicureans gods are made of atoms, and are not eternal [Epicurus, by Cicero] |
6250 | We say God is good if we think everything he does aims at the happiness of his creatures [Hutcheson] |
6249 | If goodness is constituted by God's will, it is a tautology to say God's will is good [Hutcheson] |
2633 | Epicurus saw that gods must exist, because nature has imprinted them on human minds [Epicurus, by Cicero] |
2639 | Some say Epicurus only pretended to believe in the gods, so as not to offend Athenians [Epicurus, by Cicero] |
14527 | If god answered prayers we would be destroyed, because we pray for others to suffer [Epicurus] |