96 ideas
23064 | So-called wisdom is just pondering things instead of acting [Cioran] |
19608 | Wisdom is just the last gasp of a dying civilization [Cioran] |
19624 | Intelligence only fully flourishes at the end of a historical period [Cioran] |
19599 | Ideas are neutral, but people fill them with passion and weakness [Cioran] |
19629 | A nation gives expression to its sum of values, and is then exhausted [Cioran] |
19631 | The history of ideas (and deeds) occurs in a meaningless environment [Cioran] |
19645 | Some thinkers would have been just as dynamic, no matter when they had lived [Cioran] |
19621 | Originality in philosophy is just the invention of terms [Cioran] |
19618 | I abandoned philosophy because it didn't acknowledge melancholy and human weakness [Cioran] |
19607 | The mind is superficial, only concerned with the arrangement of events, not their significance [Cioran] |
19638 | Metaphysics is a universalisation of physical anguish [Cioran] |
19620 | Great systems of philosophy are just brilliant tautologies [Cioran] |
23072 | Systems are the worst despotism, in philosophy and in life [Cioran] |
23075 | A text explained ceases to be a text [Cioran] |
19630 | No great idea ever emerged from a dialogue [Cioran] |
19636 | Truth is just an error insufficiently experienced [Cioran] |
19642 | Eventually every 'truth' is guaranteed by the police [Cioran] |
10482 | The logic of ZF is classical first-order predicate logic with identity [Boolos] |
10492 | A few axioms of set theory 'force themselves on us', but most of them don't [Boolos] |
18192 | Do the Replacement Axioms exceed the iterative conception of sets? [Boolos, by Maddy] |
7785 | The use of plurals doesn't commit us to sets; there do not exist individuals and collections [Boolos] |
10485 | Naïve sets are inconsistent: there is no set for things that do not belong to themselves [Boolos] |
10484 | The iterative conception says sets are formed at stages; some are 'earlier', and must be formed first [Boolos] |
13547 | Limitation of Size is weak (Fs only collect is something the same size does) or strong (fewer Fs than objects) [Boolos, by Potter] |
10699 | Does a bowl of Cheerios contain all its sets and subsets? [Boolos] |
14249 | Boolos reinterprets second-order logic as plural logic [Boolos, by Oliver/Smiley] |
10830 | Second-order logic metatheory is set-theoretic, and second-order validity has set-theoretic problems [Boolos] |
10225 | Monadic second-order logic might be understood in terms of plural quantifiers [Boolos, by Shapiro] |
10736 | Boolos showed how plural quantifiers can interpret monadic second-order logic [Boolos, by Linnebo] |
10780 | Any sentence of monadic second-order logic can be translated into plural first-order logic [Boolos, by Linnebo] |
10829 | A sentence can't be a truth of logic if it asserts the existence of certain sets [Boolos] |
10697 | Identity is clearly a logical concept, and greatly enhances predicate calculus [Boolos] |
23066 | Negation doesn't arise from reasoning, but from deep instincts [Cioran] |
10832 | '∀x x=x' only means 'everything is identical to itself' if the range of 'everything' is fixed [Boolos] |
13671 | Second-order quantifiers are just like plural quantifiers in ordinary language, with no extra ontology [Boolos, by Shapiro] |
10267 | We should understand second-order existential quantifiers as plural quantifiers [Boolos, by Shapiro] |
10698 | Plural forms have no more ontological commitment than to first-order objects [Boolos] |
7806 | Boolos invented plural quantification [Boolos, by Benardete,JA] |
19632 | An axiom has no more authority than a frenzy [Cioran] |
10834 | Weak completeness: if it is valid, it is provable. Strong: it is provable from a set of sentences [Boolos] |
13841 | Why should compactness be definitive of logic? [Boolos, by Hacking] |
10491 | Infinite natural numbers is as obvious as infinite sentences in English [Boolos] |
10483 | Mathematics and science do not require very high orders of infinity [Boolos] |
10833 | Many concepts can only be expressed by second-order logic [Boolos] |
10490 | Mathematics isn't surprising, given that we experience many objects as abstract [Boolos] |
23077 | The word 'being' is very tempting, but in fact means nothing at all [Cioran] |
23068 | People who really believe anti-realism don't bother to prove it [Cioran] |
10700 | First- and second-order quantifiers are two ways of referring to the same things [Boolos] |
10488 | It is lunacy to think we only see ink-marks, and not word-types [Boolos] |
10487 | I am a fan of abstract objects, and confident of their existence [Boolos] |
10489 | We deal with abstract objects all the time: software, poems, mistakes, triangles.. [Boolos] |
23073 | Convictions are failures to study anything thoroughly [Cioran] |
23078 | Opinions are fine, but having convictions means something has gone wrong [Cioran] |
20653 | Six reduction levels: groups, lives, cells, molecules, atoms, particles [Putnam/Oppenheim, by Watson] |
19626 | Our instincts had to be blunted and diminished, to make way for consciousness! [Cioran] |
23076 | If people always acted without words we would take them for robots [Cioran] |
19633 | We use concepts to master our fears; saying 'death' releases us from confronting it [Cioran] |
23065 | If only we could write like a reptile, of endless sensations and no concepts! [Cioran] |
8693 | An 'abstraction principle' says two things are identical if they are 'equivalent' in some respect [Boolos] |
19615 | I want to suppress in myself the normal reasons people have for action [Cioran] |
23071 | We could only be responsible if we had consented before birth to who we are [Cioran] |
23070 | We morally dissolve if we spend time with excessive beauty [Cioran] |
19628 | At a civilisation's peak values are all that matters, and people unconsciously live by them [Cioran] |
19646 | Values don't accumulate; they are ruthlessly replaced [Cioran] |
19614 | Lovers are hateful, apart from their hovering awareness of death [Cioran] |
19634 | Man is never himself; he always aims at less than life, or more than life [Cioran] |
19619 | To live authentically, we must see that philosophy is totally useless [Cioran] |
19617 | Evidence suggests that humans do not have a purpose [Cioran] |
19612 | The universe is dirty and fragile, as if a scandal in nothingness had produced its matter [Cioran] |
19622 | The pointlessness of our motives and irrelevance of our gestures reveals our vacuity [Cioran] |
19606 | We can only live because our imagination and memory are poor [Cioran] |
19604 | Unlike other creatures, mankind seems lost in nature [Cioran] |
19601 | Life is now more dreaded than death [Cioran] |
23074 | In anxiety people cling to what reinforces it, because it is a deep need [Cioran] |
19641 | If you lack beliefs, boredom is your martyrdom [Cioran] |
19644 | History is the bloody rejection of boredom [Cioran] |
19640 | No one is brave enough to say they don't want to do anything; we despise such a view [Cioran] |
19602 | You are stuck in the past if you don't know boredom [Cioran] |
23062 | It is better to watch the hours pass, than trying to fill them [Cioran] |
23069 | Fear cures boredom, because it is stronger [Cioran] |
19613 | It is pointless to refuse or accept the social order; we must endure it like the weather [Cioran] |
19627 | Opportunists can save a nation, and heroes can ruin it [Cioran] |
19625 | The ideal is to impose a religion by force, and then live in doubt about its beliefs [Cioran] |
19605 | Despite endless suggestions, no one has found a goal for history [Cioran] |
19637 | History is wonderfully devoid of meaning [Cioran] |
19611 | No one has ever found a good argument against suicide [Cioran] |
19610 | Religions see suicide as insubordination [Cioran] |
19609 | If you have not contemplated suicide, you are a miserable worm [Cioran] |
23067 | Suicide is pointless, because it always comes too late [Cioran] |
19639 | We all need sexual secrets! [Cioran] |
19603 | Why is God so boring, and why does God resemble humanity so little? [Cioran] |
19616 | As the perfect wisdom of detachment, philosophy offers no rivals to Taoism [Cioran] |
19600 | When man abandons religion, he then follows new fake gods and mythologies [Cioran] |
19643 | A religion needs to motivate killings, and cannot tolerate rivals [Cioran] |
23063 | The first man obviously found paradise unendurable [Cioran] |
19623 | Circles of hell are ridiculous; all that matters is to be there [Cioran] |