17 ideas
| 17892 | For clear questions posed by reason, reason can also find clear answers [Gödel] |
| Full Idea: I uphold the belief that for clear questions posed by reason, reason can also find clear answers. | |
| From: Kurt Gödel (works [1930]), quoted by Peter Koellner - On the Question of Absolute Undecidability 1.5 | |
| A reaction: [written in 1961] This contradicts the implication normally taken from his much earlier Incompleteness Theorems. |
| 9188 | Gödel proved that first-order logic is complete, and second-order logic incomplete [Gödel, by Dummett] |
| Full Idea: Gödel proved the completeness of standard formalizations of first-order logic, including Frege's original one. However, an implication of his famous theorem on the incompleteness of arithmetic is that second-order logic is incomplete. | |
| From: report of Kurt Gödel (works [1930]) by Michael Dummett - The Philosophy of Mathematics 3.1 | |
| A reaction: This must mean that it is impossible to characterise arithmetic fully in terms of first-order logic. In which case we can only characterize the features of abstract reality in general if we employ an incomplete system. We're doomed. |
| 10620 | Originally truth was viewed with total suspicion, and only demonstrability was accepted [Gödel] |
| Full Idea: At that time (c.1930) a concept of objective mathematical truth as opposed to demonstrability was viewed with greatest suspicion and widely rejected as meaningless. | |
| From: Kurt Gödel (works [1930]), quoted by Peter Smith - Intro to Gödel's Theorems 28.2 | |
| A reaction: [quoted from a letter] This is the time of Ramsey's redundancy account, and before Tarski's famous paper of 1933. It is also the high point of Formalism, associated with Hilbert. |
| 17883 | Gödel's Theorems did not refute the claim that all good mathematical questions have answers [Gödel, by Koellner] |
| Full Idea: Gödel was quick to point out that his original incompleteness theorems did not produce instances of absolute undecidability and hence did not undermine Hilbert's conviction that for every precise mathematical question there is a discoverable answer. | |
| From: report of Kurt Gödel (works [1930]) by Peter Koellner - On the Question of Absolute Undecidability Intro | |
| A reaction: The normal simplistic view among philosophes is that Gödel did indeed decisively refute the optimistic claims of Hilbert. Roughly, whether Hilbert is right depends on which axioms of set theory you adopt. |
| 17885 | Gödel eventually hoped for a generalised completeness theorem leaving nothing undecidable [Gödel, by Koellner] |
| Full Idea: Eventually Gödel ...expressed the hope that there might be a generalised completeness theorem according to which there are no absolutely undecidable sentences. | |
| From: report of Kurt Gödel (works [1930]) by Peter Koellner - On the Question of Absolute Undecidability Intro | |
| A reaction: This comes as a bit of a shock to those who associate him with the inherent undecidability of reality. |
| 10614 | The real reason for Incompleteness in arithmetic is inability to define truth in a language [Gödel] |
| Full Idea: The concept of truth of sentences in a language cannot be defined in the language. This is the true reason for the existence of undecidable propositions in the formal systems containing arithmetic. | |
| From: Kurt Gödel (works [1930]), quoted by Peter Smith - Intro to Gödel's Theorems 21.6 | |
| A reaction: [from a letter by Gödel] So they key to Incompleteness is Tarski's observations about truth. Highly significant, as I take it. |
| 23418 | Liberal state legitimacy is based on a belief in justice, not in some conception of the good life [Kymlicka] |
| Full Idea: For liberals the basis of state legitimacy is a shared sense of justice, not a shared conception of the good. | |
| From: Will Kymlicka (Community [1993], 'legitimacy') | |
| A reaction: For a liberal state to work, the citizens have to roughly believe in the core values of liberalism, which are primarily freedom and equality (and hence justice). |
| 23414 | Liberals say state intervention in culture restricts people's autonomy [Kymlicka] |
| Full Idea: According to liberal theory, a state which intervenes in the cultural market place to encourage any particular way of life restricts people's autonomy. | |
| From: Will Kymlicka (Community [1993], 'social') | |
| A reaction: The communitarian idea is that the state should intervene, in order to foster the best aspects of communal culture. The dangers are obvious, and can be seen in any totalitarian state. A gentle hand on the tiller, perhaps? Increase the options? |
| 23410 | Modern liberals see a community as simply a society which respects freedom and equality [Kymlicka] |
| Full Idea: Most contemporary liberal philosophers have little to say about the ideal of community. …It is often seen as derivative of liberty and equality - a society lives up to the ideal of community if its members are treated as free and equal persons. | |
| From: Will Kymlicka (Community [1993], 'Intro') | |
| A reaction: He cites Rawls as an example. This is the central idea which was attacked by modern communitarians. A collection of scattered self-seeking isolated individuals doesn't seem to amount to a healthy communal life. Maybe community needs further rights? |
| 23409 | Community can focus on class or citizenship or ethnicity or culture [Kymlicka] |
| Full Idea: In recent centuries the ideal of community has taken many forms, from class solidarity or shared citizenship to a common ethnic descent or cultural identity. | |
| From: Will Kymlicka (Community [1993], 'Intro') | |
| A reaction: Language and religion are not explicitly mentioned, but must be implied. Supporting a major sports team is also worth mentioning. |
| 23419 | Communitarianism struggles with excluded marginalised groups [Kymlicka] |
| Full Idea: The problem of the exclusion of historically marginalised groups is endemic to the communitarian project. | |
| From: Will Kymlicka (Community [1993], 'legitimacy') | |
| A reaction: Put simply, old-fashioned styles of community are probably impossible in large modern states, some with rather arbitrary borders. |
| 23413 | Feminism has shown that social roles are far from fixed (as communitarians tend to see them) [Kymlicka] |
| Full Idea: Communitarians say that some of our social roles must be regarded as fixed when planning our lives, …but the women's movement has shown how deeply entrenched social roles can be questioned and rejected. | |
| From: Will Kymlicka (Community [1993], 'Embedded') | |
| A reaction: True, but parents walking out on young children also shows that. The ideal must be some sort of balance. |
| 23415 | Participation aids the quest for the good life, but why should that be a state activity? [Kymlicka] |
| Full Idea: Communitarians rarely distinguish between collective activities and political activities. Shared participation aids intelligent decisions about the good life, but why should that be organised through the state, rather than by free individuals? | |
| From: Will Kymlicka (Community [1993], 'need') | |
| A reaction: Kylicka points out later that local groups can be very unintelligent or prejudiced. Modern media have changed that picture, because participation can be with geographically remote people. |
| 23411 | Communitarians see justice as primarily a community matter, rather than a principle [Kymlicka] |
| Full Idea: Communitarians believe either that community replaces the need for principles of justice, or that the community is either the source of such principles or should play a greater role in deciding their content. | |
| From: Will Kymlicka (Community [1993], 'Intro') | |
| A reaction: [compressed] The idea that a racist or chauvinist or puritanical or insular community should decide justice for all its members sounds horrible. It drives you to liberal individualism, just thinking about it. |
| 23412 | Justice resolves conflicts, but may also provoke them [Kymlicka] |
| Full Idea: Justice can help mediate conflicts, but it also tends to creat conflicts, and to decrease the natural expression of sociability. | |
| From: Will Kymlicka (Community [1993], 'limits') | |
| A reaction: [He is discussing Michael Sandel on liberalism] Family life might not go well if all of its members continually demanded justice for themselves as individuals. Maybe our concept of justice is too individualistic? Do we need a sense of 'group' justice? |
| 13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
| Full Idea: In a single day there lies open to men of learning more than there ever does to the unenlightened in the longest of lifetimes. | |
| From: Posidonius (fragments/reports [c.95 BCE]), quoted by Seneca the Younger - Letters from a Stoic 078 | |
| A reaction: These remarks endorsing the infinite superiority of the educated to the uneducated seem to have been popular in late antiquity. It tends to be the religions which discourage great learning, especially in their emphasis on a single book. |
| 20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |
| Full Idea: Posidonius defined time thus: it is an interval of motion, or the measure of speed and slowness. | |
| From: report of Posidonius (fragments/reports [c.95 BCE]) by John Stobaeus - Anthology 1.08.42 | |
| A reaction: Hm. Can we define motion or speed without alluding to time? Looks like we have to define them as a conjoined pair, which means we cannot fully understand either of them. |