17 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] |
10882 | Predicative definitions only refer to entities outside the defined collection [Horsten] |
10019 | Only what is logically complex can be defined; what is simple must be pointed to [Frege] |
10884 | A theory is 'categorical' if it has just one model up to isomorphism [Horsten] |
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] |
10885 | Computer proofs don't provide explanations [Horsten] |
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] |
10881 | The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten] |
9887 | Formalism misunderstands applications, metatheory, and infinity [Frege, by Dummett] |
8751 | Only applicability raises arithmetic from a game to a science [Frege] |
21982 | I only wish I had such eyes as to see Nobody! It's as much as I can do to see real people. [Carroll,L] |
9891 | The first demand of logic is of a sharp boundary [Frege] |
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] |