63 ideas
5728 | The concept of truth was originated by the senses [Lucretius] |
21752 | Prior to Gödel we thought truth in mathematics consisted in provability [Gödel, by Quine] |
17835 | Gödel show that the incompleteness of set theory was a necessity [Gödel, by Hallett,M] |
17886 | The limitations of axiomatisation were revealed by the incompleteness theorems [Gödel, by Koellner] |
10071 | Second Incompleteness: nice theories can't prove their own consistency [Gödel, by Smith,P] |
19123 | If soundness can't be proved internally, 'reflection principles' can be added to assert soundness [Gödel, by Halbach/Leigh] |
10621 | Gödel's First Theorem sabotages logicism, and the Second sabotages Hilbert's Programme [Smith,P on Gödel] |
17888 | The undecidable sentence can be decided at a 'higher' level in the system [Gödel] |
10132 | There can be no single consistent theory from which all mathematical truths can be derived [Gödel, by George/Velleman] |
3198 | Gödel showed that arithmetic is either incomplete or inconsistent [Gödel, by Rey] |
10072 | First Incompleteness: arithmetic must always be incomplete [Gödel, by Smith,P] |
9590 | Arithmetical truth cannot be fully and formally derived from axioms and inference rules [Gödel, by Nagel/Newman] |
11069 | Gödel's Second says that semantic consequence outruns provability [Gödel, by Hanna] |
10118 | First Incompleteness: a decent consistent system is syntactically incomplete [Gödel, by George/Velleman] |
10122 | Second Incompleteness: a decent consistent system can't prove its own consistency [Gödel, by George/Velleman] |
10611 | There is a sentence which a theory can show is true iff it is unprovable [Gödel, by Smith,P] |
10867 | 'This system can't prove this statement' makes it unprovable either way [Gödel, by Clegg] |
8747 | Realists are happy with impredicative definitions, which describe entities in terms of other existing entities [Gödel, by Shapiro] |
8507 | Some think of reality as made of things; I prefer facts or states of affairs [Armstrong] |
8506 | Particulars and properties are distinguishable, but too close to speak of a relation [Armstrong] |
8505 | Refusal to explain why different tokens are of the same type is to be an ostrich [Armstrong] |
5729 | If the senses are deceptive, reason, which rests on them, is even worse [Lucretius] |
5702 | The senses are much the best way to distinguish true from false [Lucretius] |
5697 | The only possible standard for settling doubts is the foundation of the senses [Lucretius] |
5727 | Most supposed delusions of the senses are really misinterpretations by the mind [Lucretius] |
5714 | Even simple facts are hard to believe at first hearing [Lucretius] |
5718 | The mind is in the middle of the breast, because there we experience fear and joy [Lucretius] |
5717 | The mind is a part of a man, just like a hand or an eye [Lucretius] |
21387 | The separate elements and capacities of a mind cannot be distinguished [Lucretius] |
5709 | The actions of the mind are not determinate and passive, because atoms can swerve [Lucretius] |
5695 | Only bodies can touch one another [Lucretius] |
5711 | The earth is and always has been an insentient being [Lucretius] |
5712 | Particles may have sensation, but eggs turning into chicks suggests otherwise [Lucretius] |
3192 | Basic logic can be done by syntax, with no semantics [Gödel, by Rey] |
5719 | The mind moves limbs, wakes the body up, changes facial expressions, which involve touch [Lucretius] |
5724 | Lions, foxes and deer have distinct characters because their minds share in their bodies [Lucretius] |
5713 | You needn't be made of laughing particles to laugh, so why not sensation from senseless seeds? [Lucretius] |
6611 | One man's meat is another man's poison [Lucretius] |
5730 | Our bodies weren't created to be used; on the contrary, their creation makes a use possible [Lucretius] |
5726 | The dead are no different from those who were never born [Lucretius] |
5705 | Nature only wants two things: freedom from pain, and pleasure [Lucretius] |
5716 | Nature runs the universe by herself without the aid of gods [Lucretius] |
5704 | There can be no centre in infinity [Lucretius] |
5703 | The universe must be limitless, since there could be nothing outside to limit it [Lucretius] |
5693 | Everything is created and fed by nature from atoms, and they return to atoms in death [Lucretius] |
5701 | If an object is infinitely subdivisible, it will be the same as the whole universe [Lucretius] |
5708 | In downward motion, atoms occasionally swerve slightly for no reason [Lucretius] |
17004 | Nothing can break the binding laws of eternity [Lucretius] |
5696 | If there were no space there could be no movement, or even creation [Lucretius] |
5706 | Atoms move themselves [Lucretius] |
5700 | It is quicker to break things up than to assemble them [Lucretius] |
5698 | We can only sense time by means of movement, or its absence [Lucretius] |
5715 | This earth is very unlikely to be the only one created [Lucretius] |
5694 | Nothing can be created by divine power out of nothing [Lucretius] |
5699 | If matter wasn't everlasting, everything would have disappeared by now [Lucretius] |
5707 | The universe can't have been created by gods, because it is too imperfect [Lucretius] |
5710 | Gods are tranquil and aloof, and have no need of or interest in us [Lucretius] |
5731 | Why does Jupiter never hurl lightning from a blue sky? [Lucretius] |
5720 | Spirit is mortal [Lucretius] |
5722 | For a separated spirit to remain sentient it would need sense organs attached to it [Lucretius] |
5725 | An immortal mind couldn't work harmoniously with a mortal body [Lucretius] |
5721 | The mind is very small smooth particles, which evaporate at death [Lucretius] |
5723 | If spirit is immortal and enters us at birth, why don't we remember a previous existence? [Lucretius] |