47 ideas
| 21355 | The Pre-Socratics are not simple naturalists, because they do not always 'leave the gods out' [Leroi] |
| 12223 | It is a fallacy to explain the obscure with the even more obscure [Hale/Wright] |
| 10405 | In the iterative conception of sets, they form a natural hierarchy [Swoyer] |
| 10407 | Logical Form explains differing logical behaviour of similar sentences [Swoyer] |
| 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] |
| 14592 | Some abstract things have a beginning and end, so may exist in time (though not space) [Swoyer] |
| 10421 | Supervenience is nowadays seen as between properties, rather than linguistic [Swoyer] |
| 14594 | Ontologists seek existence and identity conditions, and modal and epistemic status for a thing [Swoyer] |
| 10410 | Anti-realists can't explain different methods to measure distance [Swoyer] |
| 12226 | The identity of Pegasus with Pegasus may be true, despite the non-existence [Hale/Wright] |
| 10399 | If a property such as self-identity can only be in one thing, it can't be a universal [Swoyer] |
| 10416 | Can properties have parts? [Swoyer] |
| 14595 | Can properties exemplify other properties? [Swoyer] |
| 12229 | Maybe we have abundant properties for semantics, and sparse properties for ontology [Hale/Wright] |
| 10417 | There are only first-order properties ('red'), and none of higher-order ('coloured') [Swoyer] |
| 18443 | A successful predicate guarantees the existence of a property - the way of being it expresses [Hale/Wright] |
| 10413 | The best-known candidate for an identity condition for properties is necessary coextensiveness [Swoyer] |
| 10402 | Various attempts are made to evade universals being wholly present in different places [Swoyer] |
| 10400 | Conceptualism says words like 'honesty' refer to concepts, not to properties [Swoyer] |
| 10403 | If properties are abstract objects, then their being abstract exemplifies being abstract [Swoyer] |
| 10626 | Objects just are what singular terms refer to [Hale/Wright] |
| 14593 | Quantum field theory suggests that there are, fundamentally, no individual things [Swoyer] |
| 10406 | One might hope to reduce possible worlds to properties [Swoyer] |
| 10404 | Extreme empiricists can hardly explain anything [Swoyer] |
| 10408 | Intensions are functions which map possible worlds to sets of things denoted by an expression [Swoyer] |
| 10409 | Research suggests that concepts rely on typical examples [Swoyer] |
| 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] |
| 10401 | The F and G of logic cover a huge range of natural language combinations [Swoyer] |
| 10420 | Maybe a proposition is just a property with all its places filled [Swoyer] |
| 10627 | Many conceptual truths ('yellow is extended') are not analytic, as derived from logic and definitions [Hale/Wright] |
| 10412 | If laws are mere regularities, they give no grounds for future prediction [Swoyer] |
| 10411 | Two properties can have one power, and one property can have two powers [Swoyer] |