68 ideas
| 17663 | If you know what it is, investigation is pointless. If you don't, investigation is impossible [Armstrong] |
| 10571 | Concern for rigour can get in the way of understanding phenomena [Fine,K] |
| 1708 | In "Callias is just/not just/unjust", which of these are contraries? [Aristotle] |
| 1703 | It is necessary that either a sea-fight occurs tomorrow or it doesn't, though neither option is in itself necessary [Aristotle] |
| 1704 | Statements are true according to how things actually are [Aristotle] |
| 22272 | Aristotle's later logic had to treat 'Socrates' as 'everything that is Socrates' [Potter on Aristotle] |
| 9405 | Square of Opposition: not both true, or not both false; one-way implication; opposite truth-values [Aristotle] |
| 9728 | Modal Square 1: □P and ¬◊¬P are 'contraries' of □¬P and ¬◊P [Aristotle, by Fitting/Mendelsohn] |
| 9729 | Modal Square 2: ¬□¬P and ◊P are 'subcontraries' of ¬□P and ◊¬P [Aristotle, by Fitting/Mendelsohn] |
| 9730 | Modal Square 3: □P and ¬◊¬P are 'contradictories' of ¬□P and ◊¬P [Aristotle, by Fitting/Mendelsohn] |
| 9731 | Modal Square 4: □¬P and ¬◊P are 'contradictories' of ¬□¬P and ◊P [Aristotle, by Fitting/Mendelsohn] |
| 9732 | Modal Square 5: □P and ¬◊¬P are 'subalternatives' of ¬□¬P and ◊P [Aristotle, by Fitting/Mendelsohn] |
| 9733 | Modal Square 6: □¬P and ¬◊P are 'subalternatives' of ¬□P and ◊¬P [Aristotle, by Fitting/Mendelsohn] |
| 10565 | There is no stage at which we can take all the sets to have been generated [Fine,K] |
| 10564 | We might combine the axioms of set theory with the axioms of mereology [Fine,K] |
| 21593 | In talking of future sea-fights, Aristotle rejects bivalence [Aristotle, by Williamson] |
| 1701 | A prayer is a sentence which is neither true nor false [Aristotle] |
| 10569 | If you ask what F the second-order quantifier quantifies over, you treat it as first-order [Fine,K] |
| 10570 | Assigning an entity to each predicate in semantics is largely a technical convenience [Fine,K] |
| 10573 | Dedekind cuts lead to the bizarre idea that there are many different number 1's [Fine,K] |
| 10575 | Why should a Dedekind cut correspond to a number? [Fine,K] |
| 10574 | Unless we know whether 0 is identical with the null set, we create confusions [Fine,K] |
| 10560 | Set-theoretic imperialists think sets can represent every mathematical object [Fine,K] |
| 10568 | Logicists say mathematics can be derived from definitions, and can be known that way [Fine,K] |
| 1706 | Non-existent things aren't made to exist by thought, because their non-existence is part of the thought [Aristotle] |
| 1707 | Maybe necessity and non-necessity are the first principles of ontology [Aristotle] |
| 10563 | A generative conception of abstracts proposes stages, based on concepts of previous objects [Fine,K] |
| 17688 | Negative facts are supervenient on positive facts, suggesting they are positive facts [Armstrong] |
| 17691 | Nothing is genuinely related to itself [Armstrong] |
| 17679 | All instances of some property are strictly identical [Armstrong] |
| 12677 | Armstrong holds that all basic properties are categorical [Armstrong, by Ellis] |
| 17666 | Actualism means that ontology cannot contain what is merely physically possible [Armstrong] |
| 17667 | Dispositions exist, but their truth-makers are actual or categorical properties [Armstrong] |
| 17687 | If everything is powers there is a vicious regress, as powers are defined by more powers [Armstrong] |
| 17678 | Universals are just the repeatable features of a world [Armstrong] |
| 17669 | Realist regularity theories of laws need universals, to pick out the same phenomena [Armstrong] |
| 17677 | Past, present and future must be equally real if universals are instantiated [Armstrong] |
| 15442 | Universals are abstractions from their particular instances [Armstrong, by Lewis] |
| 17686 | Universals are abstractions from states of affairs [Armstrong] |
| 17668 | It is likely that particulars can be individuated by unique conjunctions of properties [Armstrong] |
| 17680 | The identity of a thing with itself can be ruled out as a pseudo-property [Armstrong] |
| 17693 | The necessary/contingent distinction may need to recognise possibilities as real [Armstrong] |
| 17685 | Induction aims at 'all Fs', but abduction aims at hidden or theoretical entities [Armstrong] |
| 17683 | Science suggests that the predicate 'grue' is not a genuine single universal [Armstrong] |
| 17675 | Unlike 'green', the 'grue' predicate involves a time and a change [Armstrong] |
| 17674 | The raven paradox has three disjuncts, confirmed by confirming any one of them [Armstrong] |
| 17672 | A good reason for something (the smoke) is not an explanation of it (the fire) [Armstrong] |
| 17684 | To explain observations by a regular law is to explain the observations by the observations [Armstrong] |
| 17676 | Best explanations explain the most by means of the least [Armstrong] |
| 17664 | Each subject has an appropriate level of abstraction [Armstrong] |
| 10561 | Abstraction-theoretic imperialists think Fregean abstracts can represent every mathematical object [Fine,K] |
| 10562 | We can combine ZF sets with abstracts as urelements [Fine,K] |
| 10567 | We can create objects from conditions, rather than from concepts [Fine,K] |
| 2337 | For Aristotle meaning and reference are linked to concepts [Aristotle, by Putnam] |
| 13763 | Spoken sounds vary between people, but are signs of affections of soul, which are the same for all [Aristotle] |
| 1705 | It doesn't have to be the case that in opposed views one is true and the other false [Aristotle] |
| 17692 | We can't deduce the phenomena from the One [Armstrong] |
| 17689 | Absences might be effects, but surely not causes? [Armstrong] |
| 17682 | A universe couldn't consist of mere laws [Armstrong] |
| 17662 | Science depends on laws of nature to study unobserved times and spaces [Armstrong] |
| 17690 | Oaken conditional laws, Iron universal laws, and Steel necessary laws [Armstrong, by PG] |
| 17670 | Newton's First Law refers to bodies not acted upon by a force, but there may be no such body [Armstrong] |
| 8582 | Regularities are lawful if a second-order universal unites two first-order universals [Armstrong, by Lewis] |
| 17671 | A naive regularity view says if it never occurs then it is impossible [Armstrong] |
| 17681 | The laws of nature link properties with properties [Armstrong] |
| 16246 | Rather than take necessitation between universals as primitive, just make laws primitive [Maudlin on Armstrong] |
| 9480 | Armstrong has an unclear notion of contingent necessitation, which can't necessitate anything [Bird on Armstrong] |
| 1702 | Things may be necessary once they occur, but not be unconditionally necessary [Aristotle] |