93 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] |
| 9123 | Someone standing in a doorway seems to be both in and not-in the room [Priest,G, by Sorensen] |
| 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] |
| 8720 | A logic is 'relevant' if premise and conclusion are connected, and 'paraconsistent' allows contradictions [Priest,G, by Friend] |
| 9672 | Free logic is one of the few first-order non-classical logics [Priest,G] |
| 9697 | X1 x X2 x X3... x Xn indicates the 'cartesian product' of those sets [Priest,G] |
| 9685 | <a,b&62; is a set whose members occur in the order shown [Priest,G] |
| 9675 | a ∈ X says a is an object in set X; a ∉ X says a is not in X [Priest,G] |
| 9674 | {x; A(x)} is a set of objects satisfying the condition A(x) [Priest,G] |
| 9673 | {a1, a2, ...an} indicates that a set comprising just those objects [Priest,G] |
| 9677 | Φ indicates the empty set, which has no members [Priest,G] |
| 9676 | {a} is the 'singleton' set of a (not the object a itself) [Priest,G] |
| 9679 | X⊂Y means set X is a 'proper subset' of set Y [Priest,G] |
| 9678 | X⊆Y means set X is a 'subset' of set Y [Priest,G] |
| 9681 | X = Y means the set X equals the set Y [Priest,G] |
| 9683 | X ∩ Y indicates the 'intersection' of sets X and Y, the objects which are in both sets [Priest,G] |
| 9682 | X∪Y indicates the 'union' of all the things in sets X and Y [Priest,G] |
| 9684 | Y - X is the 'relative complement' of X with respect to Y; the things in Y that are not in X [Priest,G] |
| 9694 | The 'relative complement' is things in the second set not in the first [Priest,G] |
| 9693 | The 'intersection' of two sets is a set of the things that are in both sets [Priest,G] |
| 9692 | The 'union' of two sets is a set containing all the things in either of the sets [Priest,G] |
| 9698 | The 'induction clause' says complex formulas retain the properties of their basic formulas [Priest,G] |
| 9688 | A 'singleton' is a set with only one member [Priest,G] |
| 9687 | A 'member' of a set is one of the objects in the set [Priest,G] |
| 9695 | An 'ordered pair' (or ordered n-tuple) is a set with its members in a particular order [Priest,G] |
| 9696 | A 'cartesian product' of sets is the set of all the n-tuples with one member in each of the sets [Priest,G] |
| 9686 | A 'set' is a collection of objects [Priest,G] |
| 9689 | The 'empty set' or 'null set' has no members [Priest,G] |
| 9690 | A set is a 'subset' of another set if all of its members are in that set [Priest,G] |
| 9691 | A 'proper subset' is smaller than the containing set [Priest,G] |
| 9680 | The empty set Φ is a subset of every set (including itself) [Priest,G] |
| 14352 | '¬', '&', and 'v' are truth functions: the truth of the compound is fixed by the truth of the components [Jackson] |
| 13373 | Typically, paradoxes are dealt with by dividing them into two groups, but the division is wrong [Priest,G] |
| 13368 | The 'least indefinable ordinal' is defined by that very phrase [Priest,G] |
| 13370 | 'x is a natural number definable in less than 19 words' leads to contradiction [Priest,G] |
| 13369 | By diagonalization we can define a real number that isn't in the definable set of reals [Priest,G] |
| 13366 | The least ordinal greater than the set of all ordinals is both one of them and not one of them [Priest,G] |
| 13367 | The next set up in the hierarchy of sets seems to be both a member and not a member of it [Priest,G] |
| 13371 | If you know that a sentence is not one of the known sentences, you know its truth [Priest,G] |
| 13372 | There are Liar Pairs, and Liar Chains, which fit the same pattern as the basic Liar [Priest,G] |
| 6984 | Smooth reductions preserve high-level laws in the lower level [Jackson] |
| 16062 | A necessary relation between fact-levels seems to be a further irreducible fact [Lynch/Glasgow] |
| 16061 | If some facts 'logically supervene' on some others, they just redescribe them, adding nothing [Lynch/Glasgow] |
| 16060 | Nonreductive materialism says upper 'levels' depend on lower, but don't 'reduce' [Lynch/Glasgow] |
| 16064 | The hallmark of physicalism is that each causal power has a base causal power under it [Lynch/Glasgow] |
| 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] |
| 6987 | We should not multiply senses of necessity beyond necessity [Jackson] |
| 14360 | Possible worlds for subjunctives (and dispositions), and no-truth for indicatives? [Jackson] |
| 14288 | 'If A,B' affirms that A⊃B, and also that this wouldn't change if A were certain [Jackson, by 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] |
| 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] |
| 14356 | We can't insist that A is relevant to B, as conditionals can express lack of relevance [Jackson] |
| 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] |
| 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] |