27 ideas
| 6950 | You can be rational with undetected or minor inconsistencies [Harman] |
| 6954 | A coherent conceptual scheme contains best explanations of most of your beliefs [Harman] |
| 12463 | Unlike correspondence, truthmaking can be one truth to many truthmakers, or vice versa [Jacobs] |
| 13201 | ∈ says the whole set is in the other; ⊆ says the members of the subset are in the other [Enderton] |
| 13204 | The 'ordered pair' <x,y> is defined to be {{x}, {x,y}} [Enderton] |
| 13206 | A 'linear or total ordering' must be transitive and satisfy trichotomy [Enderton] |
| 13200 | Note that {Φ} =/= Φ, because Φ ∈ {Φ} but Φ ∉ Φ [Enderton] |
| 13199 | The empty set may look pointless, but many sets can be constructed from it [Enderton] |
| 13203 | The singleton is defined using the pairing axiom (as {x,x}) [Enderton] |
| 13202 | Fraenkel added Replacement, to give a theory of ordinal numbers [Enderton] |
| 13205 | We can only define functions if Choice tells us which items are involved [Enderton] |
| 14375 | If structures result from intrinsic natures of properties, the 'relations' between them can drop out [Jacobs] |
| 14378 | Science aims at identifying the structure and nature of the powers that exist [Jacobs] |
| 12467 | Powers come from concrete particulars, not from the laws of nature [Jacobs] |
| 14377 | Possibilities are manifestations of some power, and impossibilies rest on no powers [Jacobs] |
| 14376 | States of affairs are only possible if some substance could initiate a causal chain to get there [Jacobs] |
| 14379 | Counterfactuals invite us to consider the powers picked out by the antecedent [Jacobs] |
| 14372 | Possible worlds are just not suitable truthmakers for modality [Jacobs] |
| 12466 | All modality is in the properties and relations of the actual world [Jacobs] |
| 14371 | We can base counterfactuals on powers, not possible worlds, and hence define necessity [Jacobs] |
| 12465 | Concrete worlds, unlike fictions, at least offer evidence of how the actual world could be [Jacobs] |
| 12464 | If some book described a possibe life for you, that isn't what makes such a life possible [Jacobs] |
| 12469 | Possible worlds semantics gives little insight into modality [Jacobs] |
| 6955 | Enumerative induction is inference to the best explanation [Harman] |
| 6952 | Induction is 'defeasible', since additional information can invalidate it [Harman] |
| 6953 | All reasoning is inductive, and deduction only concerns implication [Harman] |
| 6951 | Ordinary rationality is conservative, starting from where your beliefs currently are [Harman] |