21 ideas
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] |
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] |
6230 | If the soul were a tabula rasa, with no innate ideas, there could be no moral goodness or justice [Cudworth] |
6228 | Senses cannot judge one another, so what judges senses cannot be a sense, but must be superior [Cudworth] |
6229 | Sense is fixed in the material form, and so can't grasp abstract universals [Cudworth] |
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] |
6227 | Keeping promises and contracts is an obligation of natural justice [Cudworth] |
21096 | The only purpose of government is to administer justice, which brings security [Hume] |
6225 | Obligation to obey all positive laws is older than all laws [Cudworth] |
6224 | An omnipotent will cannot make two things equal or alike if they aren't [Cudworth] |
6223 | If the will and pleasure of God controls justice, then anything wicked or unjust would become good if God commanded it [Cudworth] |
6226 | The requirement that God must be obeyed must precede any authority of God's commands [Cudworth] |