33 ideas
14273 | Conditional Proof is only valid if we accept the truth-functional reading of 'if' [Edgington] |
16007 | I assume existence, rather than reasoning towards it [Kierkegaard] |
15435 | If you think universals are immanent, you must believe them to be sparse, and not every related predicate [Lewis] |
15451 | I assume there could be natural properties that are not instantiated in our world [Lewis] |
15433 | Tropes are particular properties, which cannot recur, but can be exact duplicates [Lewis] |
15436 | Universals are meant to give an account of resemblance [Lewis] |
15438 | We can add a primitive natural/unnatural distinction to class nominalism [Lewis] |
15448 | The 'magical' view of structural universals says they are atoms, even though they have parts [Lewis] |
15449 | If 'methane' is an atomic structural universal, it has nothing to connect it to its carbon universals [Lewis] |
15439 | The 'pictorial' view of structural universals says they are wholes made of universals as parts [Lewis] |
15441 | The structural universal 'methane' needs the universal 'hydrogen' four times over [Lewis] |
15445 | Butane and Isobutane have the same atoms, but different structures [Lewis] |
15434 | Structural universals have a necessary connection to the universals forming its parts [Lewis] |
15437 | We can't get rid of structural universals if there are no simple universals [Lewis] |
15446 | Composition is not just making new things from old; there are too many counterexamples [Lewis] |
15440 | A whole is distinct from its parts, but is not a further addition in ontology [Lewis] |
15444 | Different things (a toy house and toy car) can be made of the same parts at different times [Lewis] |
16013 | Nothing necessary can come into existence, since it already 'is' [Kierkegaard] |
14281 | A thing works like formal probability if all the options sum to 100% [Edgington] |
14284 | Conclusion improbability can't exceed summed premise improbability in valid arguments [Edgington] |
14270 | Simple indicatives about past, present or future do seem to form a single semantic kind [Edgington] |
14269 | Maybe forward-looking indicatives are best classed with the subjunctives [Edgington] |
14275 | Truth-function problems don't show up in mathematics [Edgington] |
14274 | Inferring conditionals from disjunctions or negated conjunctions gives support to truth-functionalism [Edgington] |
14276 | The truth-functional view makes conditionals with unlikely antecedents likely to be true [Edgington] |
14290 | Doctor:'If patient still alive, change dressing'; Nurse:'Either dead patient, or change dressing'; kills patient! [Edgington] |
14271 | Non-truth-functionalist say 'If A,B' is false if A is T and B is F, but deny that is always true for TT,FT and FF [Edgington] |
14272 | I say "If you touch that wire you'll get a shock"; you don't touch it. How can that make the conditional true? [Edgington] |
14282 | On the supposition view, believe if A,B to the extent that A&B is nearly as likely as A [Edgington] |
14278 | Truth-functionalists support some conditionals which we assert, but should not actually believe [Edgington] |
14287 | Does 'If A,B' say something different in each context, because of the possibiites there? [Edgington] |
15450 | Maybe abstraction is just mereological subtraction [Lewis] |
15443 | Mathematicians abstract by equivalence classes, but that doesn't turn a many into one [Lewis] |