131 ideas
14857 | The highest wisdom has the guise of simplicity [Nietzsche] |
14854 | Deep thinkers know that they are always wrong [Nietzsche] |
14833 | Comedy is a transition from fear to exuberance [Nietzsche] |
12274 | Begin examination with basics, and subdivide till you can go no further [Aristotle] |
12260 | Dialectic starts from generally accepted opinions [Aristotle] |
12291 | There can't be one definition of two things, or two definitions of the same thing [Aristotle] |
12292 | Definitions are easily destroyed, since they can contain very many assertions [Aristotle] |
12272 | We describe the essence of a particular thing by means of its differentiae [Aristotle] |
12279 | The differentia indicate the qualities, but not the essence [Aristotle] |
12283 | In definitions the first term to be assigned ought to be the genus [Aristotle] |
12289 | The genera and the differentiae are part of the essence [Aristotle] |
12261 | Differentia are generic, and belong with genus [Aristotle] |
12263 | 'Genus' is part of the essence shared among several things [Aristotle] |
12285 | The definition is peculiar to one thing, not common to many [Aristotle] |
14853 | Truth finds fewest champions not when it is dangerous, but when it is boring [Nietzsche] |
24075 | Convictions, more than lies, are the great enemy of truth [Nietzsche] |
10987 | Three traditional names of rules are 'Simplification', 'Addition' and 'Disjunctive Syllogism' [Read] |
11004 | Necessity is provability in S4, and true in all worlds in S5 [Read] |
11018 | There are fuzzy predicates (and sets), and fuzzy quantifiers and modifiers [Read] |
11011 | Same say there are positive, negative and neuter free logics [Read] |
11020 | Realisms like the full Comprehension Principle, that all good concepts determine sets [Read] |
10986 | Not all validity is captured in first-order logic [Read] |
10972 | The non-emptiness of the domain is characteristic of classical logic [Read] |
11024 | Semantics must precede proof in higher-order logics, since they are incomplete [Read] |
10985 | We should exclude second-order logic, precisely because it captures arithmetic [Read] |
10970 | A theory of logical consequence is a conceptual analysis, and a set of validity techniques [Read] |
10984 | Logical consequence isn't just a matter of form; it depends on connections like round-square [Read] |
10973 | A theory is logically closed, which means infinite premisses [Read] |
11007 | Quantifiers are second-order predicates [Read] |
10978 | In second-order logic the higher-order variables range over all the properties of the objects [Read] |
10971 | A logical truth is the conclusion of a valid inference with no premisses [Read] |
10988 | Any first-order theory of sets is inadequate [Read] |
10974 | Compactness is when any consequence of infinite propositions is the consequence of a finite subset [Read] |
10975 | Compactness does not deny that an inference can have infinitely many premisses [Read] |
10977 | Compactness blocks the proof of 'for every n, A(n)' (as the proof would be infinite) [Read] |
10976 | Compactness makes consequence manageable, but restricts expressive power [Read] |
11261 | Puzzles arise when reasoning seems equal on both sides [Aristotle] |
11014 | Self-reference paradoxes seem to arise only when falsity is involved [Read] |
12273 | Unit is the starting point of number [Aristotle] |
11025 | Infinite cuts and successors seems to suggest an actual infinity there waiting for us [Read] |
10979 | Although second-order arithmetic is incomplete, it can fully model normal arithmetic [Read] |
10980 | Second-order arithmetic covers all properties, ensuring categoricity [Read] |
10997 | Von Neumann numbers are helpful, but don't correctly describe numbers [Read] |
11016 | Would a language without vagueness be usable at all? [Read] |
11019 | Supervaluations say there is a cut-off somewhere, but at no particular place [Read] |
11012 | A 'supervaluation' gives a proposition consistent truth-value for classical assignments [Read] |
11013 | Identities and the Indiscernibility of Identicals don't work with supervaluations [Read] |
12267 | There are ten categories: essence, quantity, quality, relation, place, time, position, state, activity, passivity [Aristotle] |
12282 | An individual property has to exist (in past, present or future) [Aristotle] |
12264 | An 'accident' is something which may possibly either belong or not belong to a thing [Aristotle] |
10995 | A haecceity is a set of individual properties, essential to each thing [Read] |
12280 | Genus gives the essence better than the differentiae do [Aristotle] |
13269 | In the case of a house the parts can exist without the whole, so parts are not the whole [Aristotle] |
12284 | Everything that is has one single essence [Aristotle] |
12262 | An 'idion' belongs uniquely to a thing, but is not part of its essence [Aristotle] |
12290 | Destruction is dissolution of essence [Aristotle] |
12286 | If two things are the same, they must have the same source and origin [Aristotle] |
12266 | 'Same' is mainly for names or definitions, but also for propria, and for accidents [Aristotle] |
12287 | Two identical things have the same accidents, they are the same; if the accidents differ, they're different [Aristotle] |
12288 | Numerical sameness and generic sameness are not the same [Aristotle] |
11001 | Equating necessity with truth in every possible world is the S5 conception of necessity [Read] |
12259 | Reasoning is when some results follow necessarily from certain claims [Aristotle] |
10989 | The standard view of conditionals is that they are truth-functional [Read] |
11017 | Some people even claim that conditionals do not express propositions [Read] |
10992 | The point of conditionals is to show that one will accept modus ponens [Read] |
10983 | Knowledge of possible worlds is not causal, but is an ontology entailed by semantics [Read] |
10982 | How can modal Platonists know the truth of a modal proposition? [Read] |
10996 | Actualism is reductionist (to parts of actuality), or moderate realist (accepting real abstractions) [Read] |
10981 | A possible world is a determination of the truth-values of all propositions of a domain [Read] |
11000 | If worlds are concrete, objects can't be present in more than one, and can only have counterparts [Read] |
14858 | Being certain presumes that there are absolute truths, and means of arriving at them [Nietzsche] |
14830 | Intuition only recognises what is possible, not what exists or is certain [Nietzsche] |
12271 | Induction is the progress from particulars to universals [Aristotle] |
12293 | We say 'so in cases of this kind', but how do you decide what is 'of this kind'? [Aristotle] |
10998 | The mind abstracts ways things might be, which are nonetheless real [Read] |
20378 | Just as skin hides the horrors of the body, vanity conceals the passions of the soul [Nietzsche] |
11005 | Negative existentials with compositionality make the whole sentence meaningless [Read] |
10966 | A proposition objectifies what a sentence says, as indicative, with secure references [Read] |
14820 | People always do what they think is right, according to the degree of their intellect [Nietzsche] |
14856 | Our judgment seems to cause our nature, but actually judgment arises from our nature [Nietzsche] |
14842 | Why are the strong tastes of other people so contagious? [Nietzsche] |
14835 | Artists are not especially passionate, but they pretend to be [Nietzsche] |
22473 | Nietzsche said the will doesn't exist, so it can't ground moral responsibility [Nietzsche, by Foot] |
14807 | The history of morality rests on an error called 'responsibility', which rests on an error called 'free will' [Nietzsche] |
14823 | Ceasing to believe in human responsibility is bitter, if you had based the nobility of humanity on it [Nietzsche] |
14824 | It is absurd to blame nature and necessity; we should no more praise actions than we praise plants or artworks [Nietzsche] |
14812 | Intellect is tied to morality, because it requires good memory and powerful imagination [Nietzsche] |
14810 | Originally it was the rulers who requited good for good and evil for evil who were called 'good' [Nietzsche] |
14831 | No one has ever done anything that was entirely for other people [Nietzsche] |
14855 | Simultaneous love and respect are impossible; love has no separation or rank, but respect admits power [Nietzsche] |
14815 | We get enormous pleasure from tales of noble actions [Nietzsche] |
14849 | We can only achieve happy moments, not happy eras [Nietzsche] |
14818 | First morality is force, then custom, then acceptance, then instinct, then a pleasure - and finally 'virtue' [Nietzsche] |
20103 | You are mastered by your own virtues, but you must master them, and turn them into tools [Nietzsche] |
14817 | The 'good' man does the moral thing as if by nature, easily and gladly, after a long inheritance [Nietzsche] |
12277 | Friendship is preferable to money, since its excess is preferable [Aristotle] |
12276 | Justice and self-control are better than courage, because they are always useful [Aristotle] |
14809 | All societies of good men give a priority to gratitude [Nietzsche] |
14816 | Justice (fairness) originates among roughly equal powers (as the Melian dialogues show) [Nietzsche] |
20112 | Pity consoles those who suffer, because they see that they still have the power to hurt [Nietzsche] |
14821 | Apart from philosophers, most people rightly have a low estimate of pity [Nietzsche] |
14841 | Many people are better at having good friends than being a good friend [Nietzsche] |
14843 | Women can be friends with men, but only some physical antipathy will maintain it [Nietzsche] |
12275 | We value friendship just for its own sake [Aristotle] |
14811 | In Homer it is the contemptible person, not the harmful person, who is bad [Nietzsche] |
20111 | We could live more naturally, relishing the spectacle, and not thinking we are special [Nietzsche] |
14844 | People do not experience boredom if they have never learned to work properly [Nietzsche] |
14808 | Over huge periods of time human character would change endlessly [Nietzsche] |
12281 | Man is intrinsically a civilized animal [Aristotle] |
14822 | If self-defence is moral, then so are most expressions of 'immoral' egoism [Nietzsche] |
14838 | The state aims to protect individuals from one another [Nietzsche] |
14852 | Culture cannot do without passions and vices [Nietzsche] |
14846 | If we want the good life for the greatest number, we must let them decide on the good life [Nietzsche] |
14819 | Slavery cannot be judged by our standards, because the sense of justice was then less developed [Nietzsche] |
14847 | Laws that are well thought out, or laws that are easy to understand? [Nietzsche] |
14814 | Execution is worse than murder, because we are using the victim, and really we are the guilty [Nietzsche] |
14836 | People will enthusiastically pursue an unwanted war, once sacrifices have been made [Nietzsche] |
14845 | Don't crush girls with dull Gymnasium education, the way we have crushed boys! [Nietzsche] |
14848 | Education in large states is mediocre, like cooking in large kitchens [Nietzsche] |
14839 | Interest in education gains strength when we lose interest in God [Nietzsche] |
14834 | Teachers only gather knowledge for their pupils, and can't be serious about themselves [Nietzsche] |
12265 | All water is the same, because of a certain similarity [Aristotle] |
14825 | In religious thought nature is a complex of arbitrary acts by conscious beings [Nietzsche] |
14826 | Modern man wants laws of nature in order to submit to them [Nietzsche] |
12278 | 'Being' and 'oneness' are predicated of everything which exists [Aristotle] |
14827 | The Greeks saw the gods not as their masters, but as idealised versions of themselves [Nietzsche] |
14813 | Science rejecting the teaching of Christianity in favour of Epicurus shows the superiority of the latter [Nietzsche] |
14832 | The Sermon on the Mount is vanity - praying to one part of oneself, and demonising the rest [Nietzsche] |
14850 | Christ was the noblest human being [Nietzsche] |
14837 | Christ seems warm hearted, and suppressed intellect in favour of the intellectually weak [Nietzsche] |
14828 | Religion is tempting if your life is boring, but you can't therefore impose it on the busy people [Nietzsche] |