53 ideas
| 8349 | The best way to do ontology is to make sense of our normal talk [Davidson] |
| 17663 | If you know what it is, investigation is pointless. If you don't, investigation is impossible [Armstrong] |
| 13838 | A decent modern definition should always imply a semantics [Hacking] |
| 13834 | Gentzen's Cut Rule (or transitivity of deduction) is 'If A |- B and B |- C, then A |- C' [Hacking] |
| 13835 | Only Cut reduces complexity, so logic is constructive without it, and it can be dispensed with [Hacking] |
| 13833 | 'Thinning' ('dilution') is the key difference between deduction (which allows it) and induction [Hacking] |
| 13845 | The various logics are abstractions made from terms like 'if...then' in English [Hacking] |
| 13840 | First-order logic is the strongest complete compact theory with Löwenheim-Skolem [Hacking] |
| 13844 | A limitation of first-order logic is that it cannot handle branching quantifiers [Hacking] |
| 13842 | Second-order completeness seems to need intensional entities and possible worlds [Hacking] |
| 13837 | With a pure notion of truth and consequence, the meanings of connectives are fixed syntactically [Hacking] |
| 13839 | Perhaps variables could be dispensed with, by arrows joining places in the scope of quantifiers [Hacking] |
| 13843 | If it is a logic, the Löwenheim-Skolem theorem holds for it [Hacking] |
| 8348 | If we don't assume that events exist, we cannot make sense of our common talk [Davidson] |
| 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] |
| 17686 | Universals are abstractions from states of affairs [Armstrong] |
| 15442 | Universals are abstractions from their particular instances [Armstrong, by Lewis] |
| 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] |
| 8347 | Explanations typically relate statements, not events [Davidson] |
| 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] |
| 17692 | We can't deduce the phenomena from the One [Armstrong] |
| 10371 | Distinguish causation, which is in the world, from explanations, which depend on descriptions [Davidson, by Schaffer,J] |
| 17689 | Absences might be effects, but surely not causes? [Armstrong] |
| 8403 | Either facts, or highly unspecific events, serve better as causes than concrete events [Field,H on Davidson] |
| 8346 | Full descriptions can demonstrate sufficiency of cause, but not necessity [Davidson] |
| 4778 | A singular causal statement is true if it is held to fall under a law [Davidson, by Psillos] |
| 17662 | Science depends on laws of nature to study unobserved times and spaces [Armstrong] |
| 17682 | A universe couldn't consist of mere laws [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] |