@misc{Lexicon of Arguments, title = {Quotation from: Lexicon of Arguments – Concepts - Ed. Martin Schulz, 29 Mar 2024}, author = {Adams,Robert}, subject = {Possible Worlds}, note = {Stalnaker I 32 Possible worlds/Robert Adams: if there are true propositions that speak of the existence of nonactual possible worlds, they must be able to be reduced to sentences in which only things from the actual world are mentioned which are not identical with non-actual possibilities. >Possible worlds, >Actuality, >Actual world, >Possibility, >Counterfactuals. StalnakerVsAdams: I do not see why this should be necessary. Possible worlds/Stalnaker: Two questions: 1. Are they really so obscure? I 33 2. Does the belief in possible worlds and the indexical analysis of actuality oblige us to extreme realism? Certainly not. >Centered worlds. World stories/world-story/Possible worlds/Robert Adams: Thesis: a world-story is a maximally consistent set of propositions. The concept of a possible world can be given in a contextual analysis in terms of world stories. Proposition/Truth/Adams/Stalnaker: a proposition is true in some or all possible worlds if it is an element of some or all of the world-stories. StalnakerVsAdams: in his approach, there are three undefined terms: Proposition, consistent, and contradictory. >Propositions, >Consistency, >Contradiction. Proposals/Adams/Stalnaker: proposals can be presented as language-independent, abstract objects. They have truth values. >Truth value, >Abstract objects. Consistency/Adams/Stalnaker: consistency is a property of sets of propositions. >Consistency. One can define them in terms of possible worlds in which all propositions are true. I 34 Two conditions for consistency: (W1) The set of all true propositions is consistent (W2) Each subset of a consistent set is consistent. Contradiction/Adams/Stalnaker: contradiction could be defined in terms of consistency: A and B are contradictory, iff. {A, B} is not consistent And for each consistent set of propositions Γ is either Γ U {A} or Γ U {B} consistent. The theory presupposes: (W3) Each proposition has a contradiction. Proposition/Adams/Stalnaker: this is a minimal theory of propositions. It does not impose any structure on propositions, except for what is needed for compatibility, implication, and equivalence. And to ensure that e.g. the right kind of implication is present. E.g. implication: Definition Implication/Proposition/Stalnaker: (here): A implies B iff. a set consisting of A and a contradiction of B is not consistent. (W1) and (W2) ensure that our implication has the right properties. Stalnaker I 36 Proposition/Possible World/Stalnaker: an analysis of propositions as worlds provides definitions of consistency, etc., in concepts of set-theoretical relations between sets of worlds. World Story Theory/Adams/Stalnaker: the theory of world stories is weaker because it leaves open questions that clarify the analysis of propositions as worlds. >Stronger/weaker, >Strength of theories. The following two theses are consequences of the possible-worlds-theory but not of the world-story theory: (W5) Seclusion condition: For any set of propositions G there is a proposition A such that G implies A and A implies every element of G. Stalnaker: i.e. that for any set of propositions there is a proposition which says that every proposition in the set is true. Proposition/Seclusion/Stalnaker: whatever propositions are, if there are any, there are also sets of them. And for any set of propositions, it is definitely true or false that all their elements are true. And of course this is a proposition. So I assume that the world-story theorist wants to add (W5) to his theory. (W6) Equivalent propositions are identical. Problem: the problems of (W6) are known. ((s)> hyperintensionalism/hyperintentionality: sentences that are true in the same worlds are indistinguishable, equivalence of "snow is white" to "grass is green", etc.). >Hyperintensionality, >Semantics of Possible Worlds.}, note = { Stalnaker I R. Stalnaker Ways a World may be Oxford New York 2003 }, file = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=322896} url = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=322896} }