31 ideas
| 22438 | Philosophy is largely concerned with finding the minimum that science could get by with [Quine] |
| 22436 | Logicians don't paraphrase logic into language, because they think in the symbolic language [Quine] |
| 22431 | Good algorithms and theories need many occurrences of just a few elements [Quine] |
| 13886 | Later Frege held that definitions must fix a function's value for every possible argument [Frege, by Wright,C] |
| 9845 | We can't define a word by defining an expression containing it, as the remaining parts are a problem [Frege] |
| 10019 | Only what is logically complex can be defined; what is simple must be pointed to [Frege] |
| 22435 | The logician's '→' does not mean the English if-then [Quine] |
| 22433 | It is important that the quantification over temporal entities is timeless [Quine] |
| 22437 | Logical languages are rooted in ordinary language, and that connection must be kept [Quine] |
| 22434 | Reduction to logical forms first simplifies idioms and grammar, then finds a single reading of it [Quine] |
| 9886 | Cardinals say how many, and reals give measurements compared to a unit quantity [Frege] |
| 9889 | Real numbers are ratios of quantities [Frege, by Dummett] |
| 10553 | A number is a class of classes of the same cardinality [Frege, by Dummett] |
| 10020 | Frege's biggest error is in not accounting for the senses of number terms [Hodes on Frege] |
| 9887 | Formalism misunderstands applications, metatheory, and infinity [Frege, by Dummett] |
| 8751 | Only applicability raises arithmetic from a game to a science [Frege] |
| 9891 | The first demand of logic is of a sharp boundary [Frege] |
| 22432 | Normally conditionals have no truth value; it is the consequent which has a conditional truth value [Quine] |
| 9890 | The modern account of real numbers detaches a ratio from its geometrical origins [Frege] |
| 11846 | If we abstract the difference between two houses, they don't become the same house [Frege] |
| 22430 | If we understand a statement, we know the circumstances of its truth [Quine] |
| 23418 | Liberal state legitimacy is based on a belief in justice, not in some conception of the good life [Kymlicka] |
| 23414 | Liberals say state intervention in culture restricts people's autonomy [Kymlicka] |
| 23410 | Modern liberals see a community as simply a society which respects freedom and equality [Kymlicka] |
| 23409 | Community can focus on class or citizenship or ethnicity or culture [Kymlicka] |
| 23419 | Communitarianism struggles with excluded marginalised groups [Kymlicka] |
| 23413 | Feminism has shown that social roles are far from fixed (as communitarians tend to see them) [Kymlicka] |
| 23415 | Participation aids the quest for the good life, but why should that be a state activity? [Kymlicka] |
| 23411 | Communitarians see justice as primarily a community matter, rather than a principle [Kymlicka] |
| 23412 | Justice resolves conflicts, but may also provoke them [Kymlicka] |
| 13713 | Quine holds time to be 'space-like': past objects are as real as spatially remote ones [Quine, by Sider] |