47 ideas
| 16440 | I don't think Lewis's cost-benefit reflective equilibrium approach offers enough guidance [Stalnaker] |
| 16468 | Non-S5 can talk of contingent or necessary necessities [Stalnaker] |
| 16449 | In modal set theory, sets only exist in a possible world if that world contains all of its members [Stalnaker] |
| 16464 | We regiment to get semantic structure, for evaluating arguments, and understanding complexities [Stalnaker] |
| 16465 | In 'S was F or some other than S was F', the disjuncts need S, but the whole disjunction doesn't [Stalnaker] |
| 15590 | It seemed that Frege gave the syntax for variables, and Tarski the semantics, and that was that [Fine,K] |
| 15591 | In separate expressions variables seem identical in role, but in the same expression they aren't [Fine,K] |
| 15595 | The 'algebraic' account of variables reduces quantification to the algebra of its component parts [Fine,K] |
| 15594 | 'Instantial' accounts of variables say we grasp arbitrary instances from their use in quantification [Fine,K] |
| 15592 | The usual Tarskian interpretation of variables is to specify their range of values [Fine,K] |
| 15593 | Variables can be viewed as special terms - functions taking assignments into individuals [Fine,K] |
| 15599 | Cicero/Cicero and Cicero/Tully may differ in relationship, despite being semantically the same [Fine,K] |
| 16434 | Some say what exists must do so, and nothing else could possible exist [Stalnaker] |
| 16439 | A nominalist view says existence is having spatio-temporal location [Stalnaker] |
| 15201 | That Queen Anne is dead is a 'general fact', not a fact about Queen Anne [Prior,AN] |
| 16443 | Properties are modal, involving possible situations where they are exemplified [Stalnaker] |
| 16471 | I accept a hierarchy of properties of properties of properties [Stalnaker] |
| 16452 | Dispositions have modal properties, of which properties things would have counterfactually [Stalnaker] |
| 16467 | 'Socrates is essentially human' seems to say nothing could be Socrates if it was not human [Stalnaker] |
| 15603 | I can only represent individuals as the same if I do not already represent them as the same [Fine,K] |
| 15604 | If Cicero=Tully refers to the man twice, then surely Cicero=Cicero does as well? [Fine,K] |
| 16453 | The bundle theory makes the identity of indiscernibles a necessity, since the thing is the properties [Stalnaker] |
| 16466 | Strong necessity is always true; weak necessity is cannot be false [Stalnaker] |
| 16438 | Necessity and possibility are fundamental, and there can be no reductive analysis of them [Stalnaker] |
| 16436 | Modal concepts are central to the actual world, and shouldn't need extravagant metaphysics [Stalnaker] |
| 16433 | Given actualism, how can there be possible individuals, other than the actual ones? [Stalnaker] |
| 16437 | Possible worlds are properties [Stalnaker] |
| 16444 | Possible worlds don't reduce modality, they regiment it to reveal its structure [Stalnaker] |
| 16445 | I think of worlds as cells (rather than points) in logical space [Stalnaker] |
| 16454 | Modal properties depend on the choice of a counterpart, which is unconstrained by metaphysics [Stalnaker] |
| 16450 | Anti-haecceitism says there is no more to an individual than meeting some qualitative conditions [Stalnaker] |
| 15602 | Mental files are devices for keeping track of basic coordination of objects [Fine,K] |
| 15588 | You cannot determine the full content from a thought's intrinsic character, as relations are involved [Fine,K] |
| 16474 | How can we know what we are thinking, if content depends on something we don't know? [Stalnaker] |
| 16461 | We still lack an agreed semantics for quantifiers in natural language [Stalnaker] |
| 15596 | The standard aim of semantics is to assign a semantic value to each expression [Fine,K] |
| 15587 | That two utterances say the same thing may not be intrinsic to them, but involve their relationships [Fine,K] |
| 15589 | The two main theories are Holism (which is inferential), and Representational (which is atomistic) [Fine,K] |
| 15598 | We should pursue semantic facts as stated by truths in theories (and not put the theories first!) [Fine,K] |
| 15600 | Referentialist semantics has objects for names, properties for predicates, and propositions for connectives [Fine,K] |
| 15601 | Fregeans approach the world through sense, Referentialists through reference [Fine,K] |
| 16448 | Possible world semantics may not reduce modality, but it can explain it [Stalnaker] |
| 15605 | I take indexicals such as 'this' and 'that' to be linked to some associated demonstration [Fine,K] |
| 16442 | I take propositions to be truth conditions [Stalnaker] |
| 16447 | A theory of propositions at least needs primitive properties of consistency and of truth [Stalnaker] |
| 16446 | Propositions presumably don't exist if the things they refer to don't exist [Stalnaker] |
| 22899 | 'Thank goodness that's over' is not like 'thank goodness that happened on Friday' [Prior,AN] |