16 ideas
10121 | Contradiction is not a sign of falsity, nor lack of contradiction a sign of truth [Pascal] |
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] |
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] |
10626 | Objects just are what singular terms refer to [Hale/Wright] |
8361 | What is true used to be possible, but it may no longer be so [Wright,GHv] |
10630 | Abstracted objects are not mental creations, but depend on equivalence between given entities [Hale/Wright] |
10627 | Many conceptual truths ('yellow is extended') are not analytic, as derived from logic and definitions [Hale/Wright] |
8363 | p is a cause and q an effect (not vice versa) if manipulations of p change q [Wright,GHv] |
8364 | We can imagine controlling floods by controlling rain, but not vice versa [Wright,GHv] |
8366 | The very notion of a cause depends on agency and action [Wright,GHv] |
8362 | We give regularities a causal character by subjecting them to experiment [Wright,GHv] |
8360 | We must further analyse conditions for causation, into quantifiers or modal concepts [Wright,GHv] |
8365 | Some laws are causal (Ohm's Law), but others are conceptual principles (conservation of energy) [Wright,GHv] |