50 ideas
| 12780 | We can grasp the wisdom of God a priori [Leibniz] |
| 16943 | Philosophy is continuous with science, and has no external vantage point [Quine] |
| 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] |
| 16949 | Klein summarised geometry as grouped together by transformations [Quine] |
| 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] |
| 12774 | Without a substantial chain to link monads, they would just be coordinated dreams [Leibniz] |
| 12777 | Monads do not make a unity unless a substantial chain is added to them [Leibniz] |
| 12782 | Monads control nothing outside of themselves [Leibniz] |
| 16939 | Mass terms just concern spread, but other terms involve both spread and individuation [Quine] |
| 12778 | There is active and passive power in the substantial chain and in the essence of a composite [Leibniz] |
| 12783 | Primitive force is what gives a composite its reality [Leibniz] |
| 16948 | Once we know the mechanism of a disposition, we can eliminate 'similarity' [Quine] |
| 16945 | We judge things to be soluble if they are the same kind as, or similar to, things that do dissolve [Quine] |
| 12775 | Things seem to be unified if we see duration, position, interaction and connection [Leibniz] |
| 12776 | Every substance is alive [Leibniz] |
| 12753 | A substantial bond of powers is needed to unite composites, in addition to monads [Leibniz] |
| 12781 | A composite substance is a mere aggregate if its essence is just its parts [Leibniz] |
| 12779 | There is a reason why not every possible thing exists [Leibniz] |
| 12785 | Truth is mutually agreed perception [Leibniz] |
| 16944 | Science is common sense, with a sophisticated method [Quine] |
| 16940 | Induction is just more of the same: animal expectations [Quine] |
| 16941 | Induction relies on similar effects following from each cause [Quine] |
| 16933 | Grue is a puzzle because the notions of similarity and kind are dubious in science [Quine] |
| 16934 | General terms depend on similarities among things [Quine] |
| 16938 | To learn yellow by observation, must we be told to look at the colour? [Quine] |
| 8486 | Standards of similarity are innate, and the spacing of qualities such as colours can be mapped [Quine] |
| 16947 | Similarity is just interchangeability in the cosmic machine [Quine] |
| 3192 | Basic logic can be done by syntax, with no semantics [Gödel, by Rey] |
| 16932 | Projectible predicates can be universalised about the kind to which they refer [Quine] |
| 7375 | Quine probably regrets natural kinds now being treated as essences [Quine, by Dennett] |
| 16935 | If similarity has no degrees, kinds cannot be contained within one another [Quine] |
| 16936 | Comparative similarity allows the kind 'colored' to contain the kind 'red' [Quine] |
| 16937 | You can't base kinds just on resemblance, because chains of resemblance are a muddle [Quine] |
| 16942 | It is hard to see how regularities could be explained [Quine] |
| 12784 | Allow no more miracles than are necessary [Leibniz] |