96 ideas
13939 | No possible evidence could decide the reality of numbers, so it is a pseudo-question [Carnap] |
6979 | Serious metaphysics cares about entailment between sentences [Jackson] |
16252 | Metaphysics uses empty words, or just produces pseudo-statements [Carnap] |
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] |
10455 | Free logic at least allows empty names, but struggles to express non-existence [Bach] |
13342 | Carnap defined consequence by contradiction, but this is unintuitive and changes with substitution [Tarski on Carnap] |
10454 | In first-order we can't just assert existence, and it is very hard to deny something's existence [Bach] |
13251 | Each person is free to build their own logic, just by specifying a syntax [Carnap] |
14352 | '¬', '&', and 'v' are truth functions: the truth of the compound is fixed by the truth of the components [Jackson] |
10453 | In logic constants play the role of proper names [Bach] |
10452 | Proper names can be non-referential - even predicate as well as attributive uses [Bach] |
10456 | Millian names struggle with existence, empty names, identities and attitude ascription [Bach] |
10440 | An object can be described without being referred to [Bach] |
10444 | Definite descriptions can be used to refer, but are not semantically referential [Bach] |
13936 | Questions about numbers are answered by analysis, and are analytic, and hence logically true [Carnap] |
8748 | Logical positivists incorporated geometry into logicism, saying axioms are just definitions [Carnap, by Shapiro] |
8960 | Internal questions about abstractions are trivial, and external ones deeply problematic [Carnap, by Szabó] |
6984 | Smooth reductions preserve high-level laws in the lower level [Jackson] |
13933 | Existence questions are 'internal' (within a framework) or 'external' (concerning the whole framework) [Carnap] |
13934 | To be 'real' is to be an element of a system, so we cannot ask reality questions about the system itself [Carnap] |
6978 | Baldness is just hair distribution, but the former is indeterminate, unlike the latter [Jackson] |
13938 | A linguistic framework involves commitment to entities, so only commitment to the framework is in question [Carnap] |
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] |
13935 | We only accept 'things' within a language with formation, testing and acceptance rules [Carnap] |
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] |
14305 | In the truth-functional account a burnt-up match was soluble because it never entered water [Carnap] |
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] |
13932 | Empiricists tend to reject abstract entities, and to feel sympathy with nominalism [Carnap] |
13937 | New linguistic claims about entities are not true or false, but just expedient, fruitful or successful [Carnap] |
12900 | How could 'S knows he has hands' not have a fixed content? [Bach] |
12901 | If contextualism is right, knowledge sentences are baffling out of their context [Bach] |
12902 | Sceptics aren't changing the meaning of 'know', but claiming knowing is tougher than we think [Bach] |
18699 | Carnap tried to define all scientific predicates in terms of primitive relations, using type theory [Carnap, by Button] |
13940 | All linguistic forms in science are merely judged by their efficiency as instruments [Carnap] |
13048 | Good explications are exact, fruitful, simple and similar to the explicandum [Carnap, by Salmon] |
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] |
12131 | All concepts can be derived from a few basics, making possible one science of everything [Carnap, by Brody] |
10446 | Fictional reference is different inside and outside the fiction [Bach] |
10447 | We can refer to fictional entities if they are abstract objects [Bach] |
10443 | You 'allude to', not 'refer to', an individual if you keep their identity vague [Bach] |
10439 | What refers: indefinite or definite or demonstrative descriptions, names, indexicals, demonstratives? [Bach] |
10441 | If we can refer to things which change, we can't be obliged to single out their properties [Bach] |
10442 | We can think of an individual without have a uniquely characterizing description [Bach] |
10445 | It can't be real reference if it could refer to some other thing that satisfies the description [Bach] |
10457 | Since most expressions can be used non-referentially, none of them are inherently referential [Bach] |
10463 | Just alluding to or describing an object is not the same as referring to it [Bach] |
10459 | Context does not create reference; it is just something speakers can exploit [Bach] |
10460 | 'That duck' may not refer to the most obvious one in the group [Bach] |
10461 | What a pronoun like 'he' refers back to is usually a matter of speaker's intentions [Bach] |
10462 | Information comes from knowing who is speaking, not just from interpretation of the utterance [Bach] |
6995 | Successful predication supervenes on nature [Jackson] |
6989 | I can understand "He has a beard", without identifying 'he', and hence the truth conditions [Jackson] |
11968 | The intension of a sentence is the set of all possible worlds in which it is true [Carnap, by Kaplan] |
10458 | People slide from contextual variability all the way to contextual determination [Bach] |
18285 | All translation loses some content (but language does not create reality) [Carnap] |
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] |