34 ideas
| 12223 | It is a fallacy to explain the obscure with the even more obscure [Hale/Wright] |
| 12230 | Singular terms refer if they make certain atomic statements true [Hale/Wright] |
| 10631 | If 'x is heterological' iff it does not apply to itself, then 'heterological' is heterological if it isn't heterological [Hale/Wright] |
| 10624 | The incompletability of formal arithmetic reveals that logic also cannot be completely characterized [Hale/Wright] |
| 8784 | Neo-logicism founds arithmetic on Hume's Principle along with second-order logic [Hale/Wright] |
| 8787 | The Julius Caesar problem asks for a criterion for the concept of a 'number' [Hale/Wright] |
| 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] |
| 8788 | Logicism is only noteworthy if logic has a privileged position in our ontology and epistemology [Hale/Wright] |
| 10622 | The neo-Fregean is more optimistic than Frege about contextual definitions of numbers [Hale/Wright] |
| 8783 | Logicism might also be revived with a quantificational approach, or an abstraction-free approach [Hale/Wright] |
| 12225 | Neo-Fregeanism might be better with truth-makers, rather than quantifier commitment [Hale/Wright] |
| 12224 | Are neo-Fregeans 'maximalists' - that everything which can exist does exist? [Hale/Wright] |
| 12226 | The identity of Pegasus with Pegasus may be true, despite the non-existence [Hale/Wright] |
| 12229 | Maybe we have abundant properties for semantics, and sparse properties for ontology [Hale/Wright] |
| 18443 | A successful predicate guarantees the existence of a property - the way of being it expresses [Hale/Wright] |
| 10626 | Objects just are what singular terms refer to [Hale/Wright] |
| 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] |
| 10630 | Abstracted objects are not mental creations, but depend on equivalence between given entities [Hale/Wright] |
| 8786 | One first-order abstraction principle is Frege's definition of 'direction' in terms of parallel lines [Hale/Wright] |
| 12227 | Abstractionism needs existential commitment and uniform truth-conditions [Hale/Wright] |
| 12228 | Equivalence abstraction refers to objects otherwise beyond our grasp [Hale/Wright] |
| 12231 | Reference needs truth as well as sense [Hale/Wright] |
| 10627 | Many conceptual truths ('yellow is extended') are not analytic, as derived from logic and definitions [Hale/Wright] |
| 6227 | Keeping promises and contracts is an obligation of natural justice [Cudworth] |
| 6231 | There is a self-determing power in each person, which makes them what they are [Cudworth] |
| 6225 | Obligation to obey all positive laws is older than all laws [Cudworth] |
| 20646 | Helmholtz used 'energy' to mathematically link heat, light, electricity and magnetism [Helmholtz, by Watson] |
| 20973 | All forces conserve the sum of kinetic and potential energy [Helmholtz, by Papineau] |
| 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] |