42 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] |
| 14508 | A 'thisness' is a thing's property of being identical with itself (not the possession of self-identity) [Adams,RM] |
| 14511 | There are cases where mere qualities would not ensure an intrinsic identity [Adams,RM] |
| 16463 | Adams says actual things have haecceities, but not things that only might exist [Adams,RM, by Stalnaker] |
| 12031 | Essences are taken to be qualitative properties [Adams,RM] |
| 12034 | If the universe was cyclical, totally indiscernible events might occur from time to time [Adams,RM] |
| 14510 | Two events might be indiscernible yet distinct, if there was a universe cyclical in time [Adams,RM] |
| 16455 | Black's two globes might be one globe in highly curved space [Adams,RM] |
| 14507 | Are possible worlds just qualities, or do they include primitive identities as well? [Adams,RM] |
| 11964 | Possible worlds are world-stories, maximal descriptions of whole non-existent worlds [Adams,RM, by Molnar] |
| 16451 | Adams says anti-haecceitism reduces all thisness to suchness [Adams,RM, by Stalnaker] |
| 11901 | Haecceitism may or may not involve some logical connection to essence [Adams,RM, by Mackie,P] |
| 14512 | Moderate Haecceitism says transworld identities are primitive, but connected to qualities [Adams,RM] |
| 19542 | It is nonsense that understanding does not involve knowledge; to understand, you must know [Dougherty/Rysiew] |
| 19543 | To grasp understanding, we should be more explicit about what needs to be known [Dougherty/Rysiew] |
| 19541 | Rather than knowledge, our epistemic aim may be mere true belief, or else understanding and wisdom [Dougherty/Rysiew] |
| 19540 | Don't confuse justified belief with justified believers [Dougherty/Rysiew] |
| 19539 | If knowledge is unanalysable, that makes justification more important [Dougherty/Rysiew] |
| 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] |
| 12032 | Direct reference is by proper names, or indexicals, or referential uses of descriptions [Adams,RM] |
| 12231 | Reference needs truth as well as sense [Hale/Wright] |
| 19538 | Entailment is modelled in formal semantics as set inclusion (where 'mammals' contains 'cats') [Dougherty/Rysiew] |
| 10627 | Many conceptual truths ('yellow is extended') are not analytic, as derived from logic and definitions [Hale/Wright] |