65 ideas
| 17892 | For clear questions posed by reason, reason can also find clear answers [Gödel] |
| 10041 | Impredicative Definitions refer to the totality to which the object itself belongs [Gödel] |
| 22664 | I do not care if my trivial beliefs are false, and I have no interest in many truths [Nozick] |
| 22665 | Maybe James was depicting the value of truth, and not its nature [Nozick] |
| 21752 | Prior to Gödel we thought truth in mathematics consisted in provability [Gödel, by Quine] |
| 17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
| 8679 | We perceive the objects of set theory, just as we perceive with our senses [Gödel] |
| 17835 | Gödel show that the incompleteness of set theory was a necessity [Gödel, by Hallett,M] |
| 9942 | Gödel proved the classical relative consistency of the axiom V = L [Gödel, by Putnam] |
| 21716 | In simple type theory the axiom of Separation is better than Reducibility [Gödel, by Linsky,B] |
| 9188 | Gödel proved that first-order logic is complete, and second-order logic incomplete [Gödel, by Dummett] |
| 10035 | Mathematical Logic is a non-numerical branch of mathematics, and the supreme science [Gödel] |
| 10042 | Reference to a totality need not refer to a conjunction of all its elements [Gödel] |
| 10620 | Originally truth was viewed with total suspicion, and only demonstrability was accepted [Gödel] |
| 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] |
| 17883 | Gödel's Theorems did not refute the claim that all good mathematical questions have answers [Gödel, by Koellner] |
| 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] |
| 10038 | A logical system needs a syntactical survey of all possible expressions [Gödel] |
| 18062 | Set-theory paradoxes are no worse than sense deception in physics [Gödel] |
| 10132 | There can be no single consistent theory from which all mathematical truths can be derived [Gödel, by George/Velleman] |
| 10046 | The generalized Continuum Hypothesis asserts a discontinuity in cardinal numbers [Gödel] |
| 10868 | The Continuum Hypothesis is not inconsistent with the axioms of set theory [Gödel, by Clegg] |
| 13517 | If set theory is consistent, we cannot refute or prove the Continuum Hypothesis [Gödel, by Hart,WD] |
| 17885 | Gödel eventually hoped for a generalised completeness theorem leaving nothing undecidable [Gödel, by Koellner] |
| 10614 | The real reason for Incompleteness in arithmetic is inability to define truth in a language [Gödel] |
| 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] |
| 10039 | Some arithmetical problems require assumptions which transcend arithmetic [Gödel] |
| 10043 | Mathematical objects are as essential as physical objects are for perception [Gödel] |
| 10271 | Basic mathematics is related to abstract elements of our empirical ideas [Gödel] |
| 10045 | Impredicative definitions are admitted into ordinary mathematics [Gödel] |
| 8747 | Realists are happy with impredicative definitions, which describe entities in terms of other existing entities [Gödel, by Shapiro] |
| 3570 | Maybe knowledge is belief which 'tracks' the truth [Nozick, by Williams,M] |
| 2748 | A true belief isn't knowledge if it would be believed even if false. It should 'track the truth' [Nozick, by Dancy,J] |
| 3192 | Basic logic can be done by syntax, with no semantics [Gödel, by Rey] |
| 22662 | In the instrumental view of rationality it only concerns means, and not ends [Nozick] |
| 22666 | Is it rational to believe a truth which leads to permanent misery? [Nozick] |
| 22667 | Rationality needs some self-consciousness, to also evaluate how we acquired our reasons [Nozick] |
| 22663 | Rationality is normally said to concern either giving reasons, or reliability [Nozick] |
| 18648 | Freedom to live according to our own conception of the good is the ultimate value [Nozick, by Kymlicka] |
| 20585 | If an experience machine gives you any experience you want, should you hook up for life? [Nozick] |
| 18643 | A minimal state should protect, but a state forcing us to do more is unjustified [Nozick] |
| 18642 | Individual rights are so strong that the state and its officials must be very limited in power [Nozick] |
| 18644 | States can't enforce mutual aid on citizens, or interfere for their own good [Nozick] |
| 22661 | My Anarchy, State and Utopia neglected our formal social ties and concerns [Nozick on Nozick] |
| 18641 | If people hold things legitimately, just distribution is simply the result of free exchanges [Nozick, by Kymlicka] |
| 20539 | Property is legitimate by initial acquisition, voluntary transfer, or rectification of injustice [Nozick, by Swift] |
| 18645 | Nozick assumes initial holdings include property rights, but we can challenge that [Kymlicka on Nozick] |
| 20521 | Can I come to own the sea, by mixing my private tomato juice with it? [Nozick] |
| 18646 | How did the private property get started? If violence was involved, we can redistribute it [Kymlicka on Nozick] |
| 18647 | If property is only initially acquired by denying the rights of others, Nozick can't get started [Kymlicka on Nozick] |
| 21737 | Unowned things may be permanently acquired, if it doesn't worsen the position of other people [Nozick] |
| 21738 | Maybe land was originally collectively owned, rather than unowned? [Cohen,GA on Nozick] |
| 4053 | If it is desirable that a given patient die, then moral objections to killing them do not apply [Rachels] |
| 4052 | It has become normal to consider passive euthanasia while condemning active euthanasia [Rachels] |
| 20713 | God must be fit for worship, but worship abandons morally autonomy, but there is no God [Rachels, by Davies,B] |