21 ideas
| 13886 | Later Frege held that definitions must fix a function's value for every possible argument [Frege, by Wright,C] |
| 17311 | Real definitions don't just single out a thing; they must also explain its essence [Koslicki] |
| 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] |
| 17312 | It is more explanatory if you show how a number is constructed from basic entities and relations [Koslicki] |
| 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] |
| 9887 | Formalism misunderstands applications, metatheory, and infinity [Frege, by Dummett] |
| 8751 | Only applicability raises arithmetic from a game to a science [Frege] |
| 17314 | The relata of grounding are propositions or facts, but for dependence it is objects and their features [Koslicki] |
| 9891 | The first demand of logic is of a sharp boundary [Frege] |
| 17313 | Modern views want essences just to individuate things across worlds and times [Koslicki] |
| 17309 | For Fine, essences are propositions true because of identity, so they are just real definitions [Koslicki] |
| 17315 | We need a less propositional view of essence, and so must distinguish it clearly from real definitions [Koslicki] |
| 19699 | A Gettier case is a belief which is true, and its fallible justification involves some luck [Hetherington] |
| 17317 | A good explanation captures the real-world dependence among the phenomena [Koslicki] |
| 9890 | The modern account of real numbers detaches a ratio from its geometrical origins [Frege] |
| 17316 | We can abstract to a dependent entity by blocking out features of its bearer [Koslicki] |
| 11846 | If we abstract the difference between two houses, they don't become the same house [Frege] |