81 ideas
| 6979 | Serious metaphysics cares about entailment between sentences [Jackson] |
| 6980 | Conceptual analysis studies whether one story is made true by another story [Jackson] |
| 6983 | Intuitions about possibilities are basic to conceptual analysis [Jackson] |
| 14707 | Conceptual analysis is needed to establish that metaphysical reductions respect original meanings [Jackson, by Schroeter] |
| 7005 | Something can only have a place in a preferred account of things if it is entailed by the account [Jackson] |
| 6994 | Truth supervenes on being [Jackson] |
| 14273 | Conditional Proof is only valid if we accept the truth-functional reading of 'if' [Edgington] |
| 14352 | '¬', '&', and 'v' are truth functions: the truth of the compound is fixed by the truth of the components [Jackson] |
| 6984 | Smooth reductions preserve high-level laws in the lower level [Jackson] |
| 6978 | Baldness is just hair distribution, but the former is indeterminate, unlike the latter [Jackson] |
| 6993 | Redness is a property, but only as a presentation to normal humans [Jackson] |
| 8499 | Nominalists cannot translate 'red resembles pink more than blue' into particulars [Jackson] |
| 8500 | Colour resemblance isn't just resemblance between things; 'colour' must be mentioned [Jackson] |
| 14633 | How do we tell a table's being contingently plastic from its being essentially plastic? [Jackson] |
| 14635 | An x is essentially F if it is F in every possible world in which it appears [Jackson] |
| 14632 | Quine may have conflated de re and de dicto essentialism, but there is a real epistemological problem [Jackson] |
| 12205 | There are two families of modal notions, metaphysical and epistemic, of equal strength [Edgington] |
| 6987 | We should not multiply senses of necessity beyond necessity [Jackson] |
| 12207 | Metaphysical possibility is discovered empirically, and is contrained by nature [Edgington] |
| 12206 | Broadly logical necessity (i.e. not necessarily formal logical necessity) is an epistemic notion [Edgington] |
| 12185 | Logical necessity is epistemic necessity, which is the old notion of a priori [Edgington, by McFetridge] |
| 12208 | An argument is only valid if it is epistemically (a priori) necessary [Edgington] |
| 13857 | Truth-functional possibilities include the irrelevant, which is a mistake [Edgington] |
| 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] |
| 13768 | Validity can preserve certainty in mathematics, but conditionals about contingents are another matter [Edgington] |
| 13853 | It is a mistake to think that conditionals are statements about how the world is [Edgington] |
| 14360 | Possible worlds for subjunctives (and dispositions), and no-truth for indicatives? [Jackson] |
| 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] |
| 13770 | There are many different conditional mental states, and different conditional speech acts [Edgington] |
| 14288 | 'If A,B' affirms that A⊃B, and also that this wouldn't change if A were certain [Jackson, by Edgington] |
| 14275 | Truth-function problems don't show up in mathematics [Edgington] |
| 13769 | Conditionals are truth-functional, but should only be asserted when they are confident [Jackson, by Edgington] |
| 13858 | The truth-functional account of conditionals is right, if the antecedent is really acceptable [Jackson, by Edgington] |
| 14289 | There are some assertable conditionals one would reject if one learned the antecedent [Jackson, by Edgington] |
| 14353 | Modus ponens requires that A→B is F when A is T and B is F [Jackson] |
| 14354 | When A and B have the same truth value, A→B is true, because A→A is a logical truth [Jackson] |
| 14355 | (A&B)→A is a logical truth, even if antecedent false and consequent true, so it is T if A is F and B is T [Jackson] |
| 13764 | Are conditionals truth-functional - do the truth values of A and B determine the truth value of 'If A, B'? [Edgington] |
| 13765 | 'If A,B' must entail ¬(A & ¬B); otherwise we could have A true, B false, and If A,B true, invalidating modus ponens [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] |
| 14358 | In the possible worlds account of conditionals, modus ponens and modus tollens are validated [Jackson] |
| 14359 | Only assertions have truth-values, and conditionals are not proper assertions [Jackson] |
| 14357 | Possible worlds account, unlike A⊃B, says nothing about when A is false [Jackson] |
| 13855 | A conditional does not have truth conditions [Edgington] |
| 13859 | X believes 'if A, B' to the extent that A & B is more likely than A & ¬B [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] |
| 13854 | Conditionals express what would be the outcome, given some supposition [Edgington] |
| 14282 | On the supposition view, believe if A,B to the extent that A&B is nearly as likely as A [Edgington] |
| 14356 | We can't insist that A is relevant to B, as conditionals can express lack of relevance [Jackson] |
| 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] |
| 14631 | How can you show the necessity of an a posteriori necessity, if it might turn out to be false? [Jackson] |
| 6988 | Mathematical sentences are a problem in a possible-worlds framework [Jackson] |
| 6975 | Possible worlds could be concrete, abstract, universals, sentences, or properties [Jackson] |
| 6982 | Long arithmetic calculations show the a priori can be fallible [Jackson] |
| 6991 | We examine objects to determine colour; we do not introspect [Jackson] |
| 3061 | Anaxarchus said that he was not even sure that he knew nothing [Anaxarchus, by Diog. Laertius] |
| 4894 | I say Mary does not have new knowledge, but knows an old fact in a new way [Perry on Jackson] |
| 4895 | Is it unfair that physicalist knowledge can be written down, but dualist knowledge can't be [Perry on Jackson] |
| 4886 | Mary knows all the physical facts of seeing red, but experiencing it is new knowledge [Jackson] |
| 6976 | In physicalism, the psychological depends on the physical, not the other way around [Jackson] |
| 6986 | Is the dependence of the psychological on the physical a priori or a posteriori? [Jackson] |
| 6992 | If different states can fulfil the same role, the converse must also be possible [Jackson] |
| 7880 | If a blind persons suddenly sees a kestrel, that doesn't make visual and theoretical kestrels different [Papineau on Jackson] |
| 7378 | No one bothers to imagine what it would really be like to have ALL the physical information [Dennett on Jackson] |
| 7377 | Mary learns when she sees colour, so her complete physical information had missed something [Jackson] |
| 6996 | Folk psychology covers input, internal role, and output [Jackson] |
| 6977 | Egocentric or de se content seems to be irreducibly so [Jackson] |
| 6990 | Keep distinct the essential properties of water, and application conditions for the word 'water' [Jackson] |
| 6985 | Analysis is finding necessary and sufficient conditions by studying possible cases [Jackson] |
| 6995 | Successful predication supervenes on nature [Jackson] |
| 6989 | I can understand "He has a beard", without identifying 'he', and hence the truth conditions [Jackson] |
| 6998 | Folk morality does not clearly distinguish between doing and allowing [Jackson] |
| 6997 | Moral functionalism says moral terms get their meaning from their role in folk morality [Jackson] |
| 7000 | Which are prior - thin concepts like right, good, ought; or thick concepts like kindness, equity etc.? [Jackson] |
| 6999 | It is hard to justify the huge difference in our judgements of abortion and infanticide [Jackson] |