23 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] |
10631 | If 'x is heterological' iff it does not apply to itself, then 'heterological' is heterological if it isn't heterological [Hale/Wright] |
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] |
10624 | The incompletability of formal arithmetic reveals that logic also cannot be completely characterized [Hale/Wright] |
10020 | Frege's biggest error is in not accounting for the senses of number terms [Hodes on Frege] |
10553 | A number is a class of classes of the same cardinality [Frege, by Dummett] |
10629 | If structures are relative, this undermines truth-value and objectivity [Hale/Wright] |
10628 | The structural view of numbers doesn't fit their usage outside arithmetical contexts [Hale/Wright] |
10622 | The neo-Fregean is more optimistic than Frege about contextual definitions of numbers [Hale/Wright] |
9887 | Formalism misunderstands applications, metatheory, and infinity [Frege, by Dummett] |
8751 | Only applicability raises arithmetic from a game to a science [Frege] |
10626 | Objects just are what singular terms refer to [Hale/Wright] |
9891 | The first demand of logic is of a sharp boundary [Frege] |
18383 | Plantinga says there is just this world, with possibilities expressed in propositions [Plantinga, by Armstrong] |
11891 | Possibilities for an individual can only refer to that individual, in some possible world [Plantinga, by Mackie,P] |
9890 | The modern account of real numbers detaches a ratio from its geometrical origins [Frege] |
10630 | Abstracted objects are not mental creations, but depend on equivalence between given entities [Hale/Wright] |
11846 | If we abstract the difference between two houses, they don't become the same house [Frege] |
10627 | Many conceptual truths ('yellow is extended') are not analytic, as derived from logic and definitions [Hale/Wright] |
20704 | A possible world contains a being of maximal greatness - which is existence in all worlds [Plantinga, by Davies,B] |