Accessibility relation

Accessibility relation

An accessibility relation is a binary relation R,! between possible worlds which has very powerful uses in both the formal/theoretical aspects of modal logic as well as in its applications to things like epistemology, metaphysics, and value theory. In informal terms, it is the notion that modal statements (it is possible that x, it is necessary that x) may not take the same truth value in all possible worlds, or in other words that the set of possible worlds varies depending on which possible world you are in, i.e. from any given possible world, some other possible worlds may be accessible, and others may not be.

Basic review of (propositional) modal logic

In order to really understand what an "accessibility relation" is a bit of background explanation of the basics of modal logic is required (but see modal logic for a more in-depth discussion). For purposes of simplicity, we will here stick to propositional modal logic. Propositional modal logic is just traditional propositional or sentential logic with the addition of two key unary operators: Box which means "it is necessary that..." and Diamond which stands for "it is possible that...". These operators can be attached to a single sentence to form a new compound sentence. For any sentence A,! (simple or compound), we can therefore form the compound sentences Box A and Diamond A.

Now, using p,!, q,!, etc. to stand for statements of our language, x,!, y,!, etc. to stand for objects, and P,!, Q,!, etc. to stand for predicates, we can write out the six basic axioms of almost all modal logics:

::* Box p leftrightarrow lnot Diamond lnot p::* Diamond p leftrightarrow lnot Box lnot p::* p ightarrow Diamond p::* Box (p land q) leftrightarrow (Box p land Box q)::* (Box p lor Box q) ightarrow Box (p lor q)::* Box (p o q) o (Box p o Box q)

Most of the other "axioms" concerning the modal operators are controversial and not widely agreed upon. Here are the most commonly used and discussed of these:

:: (T) Box p ightarrow p:: (4) Box p ightarrow Box Box p:: (5) Diamond p ightarrow Box Diamond p:: (B) p ightarrow Box Diamond p

Here, "(T)","(4)","(5)", and "(B)" represent the traditional names of these axioms (or principles).

According to the traditional possible worlds semantics of modal logic, the compound sentences that are formed out of the modal operators are to be interpreted in terms of quantification over possible worlds, subject to the relation of accessibility. The relation of accessibility can now be defined as an (uninterpreted) relation R(w_1,w_2),! that holds between possible worlds w_1,! and w_2,! only when w_2,! is accessible from w_1,!.

Importance of AR in formal semantics

Letting w^*,! denote the actual world, we have the following two fundamental translational schema for possible world sematics:

*(TS) "Necessarily" p,! means that p,! is true at "every" possible world w,! such that R(w^*,w),!. "Possibly" p,! means that p,! is true at "some" possible world w,! such that R(w^*,w),!.

To see the power and usefulness of the accessibility relation on a technical/formal level, note that the following relationships hold:

*Axiom (T) holds if the accessibility relation R,! is "reflexive". If every world is accessible to itself, then any world in which A,! is true will be a world from which there is an accessible world in which A,! is true.

*Axiom (4) holds if R,! is "transitive". Box A is true at a world w,! only when A,! is true at every world w',! accessible from w,!. Hence, Box Box A is true at a world w,! only when A,! is true at every world accessible from every world accessible from w,!.

*Axiom (5) holds if R,! is "euclidean". Diamond A is true at a world w,! if and only if A,! is true at some world accessible from w,!. Box Diamond A is true at a world w,! if and only if, for every world w',! accessible from w,!, there is a world w",! accessible from w',! at which A,! is true. The euclidean property guarantees the truth of this. If A,! is true at a world accessible from w,!, then if that world is accessible from every other world accessible from w,!, it will be true that for every world accessible from w,! there is an accessible world in which A,! is true.

*Axiom (B) holds if R,! is "symmetric." If A,! is true in a world w,!, then in every world w',! accessible from w,!, there is a world accessible from w',! in which A,! is true. Since A,! is true in w,!, this is guaranteed to be true provided that w,! is accessible from it, which is what symmetry says.

The result, according to David Lewis, is that "old disputes give way to new. Instead of asking the baffling question whether whatever is actual is necessarily possible, we could simply try asking: is the relation R,! symmetric?" (David Kellogg Lewis, 1996) Which question is in no way itself baffling.

Philosophical applications

Let's take the case of applications of possible worlds semantics with the accessibility relation to physics. Instead of just talking generically about necessity (or logical necessity), the relation in physics deals with nomological necessity. The fundamental translational schema (TS) described earlier can be exemplified as follows for physics:

*(TSN) P,! is nomologically necessary means that P,! is true at all possible worlds that are "nomologically accessible" from the actual world. In other words, P,! is true at all possible worlds that obey the physical laws of the actual world.

The interesting thing to observe is that instead of having to ask, now, "Does nomological necessity satisfy the axiom (5)?", that is, "Is something that is nomologically possible nomologically necessarily possible?", we can ask instead: "Is the nomological "accessibility relation" symmetric?" And different theories of the nature of physical laws will result in different answers to this question. The theory of Lewis, for example, is asymmetric. His counterpart theory also requires an intransitive relation of accessibility because it is based on the notion of similarity and similarity is generally intransitive. For example, a pile of straw with one less handful of straw may be similar to the whole pile but a pile with two (or more) less handfuls may not be. So x,! can be necessarily P,! without x,! being necessarily necessarily P,!. On the other hand, Saul Kripke has an account of "de re" modality which is based on (metaphysical) identity across worlds and is therefore transitive.

Another interpretation of the accessibility relation with a physical meaning was given in Gerla 1987 where the claim “is possible P,! in the world w",! is interpreted as "it is possible to transform w,! into a world in which P,! is true". So, the properties of the modal operators depend on the algebraic properties of the set of admissible transformations.

There are other applications of the accessibility relation in philosophy. In epistemology, one can, instead of talking about nomological accessibility, talk about "epistemic accessibility." A world w',! is epistemically accessible from w,! for an individual I,! in w,! if and only if I,! does not know something which would rule out the hypothesis that w'=w,!. We can ask whether the relation is transitive. If I,! knows nothing that rules out the possibility that w'=w,! and knows nothing that rules the possibility that w"=w',!, it does not follow that I,! knows nothing which rules out the hypothesis that w"=w,!. To return to our earlier example, one may not be able to distinguish a pile of sand from the same pile with one less handful and one may not be able to distinguish the pile with one less handful from the same pile with two less handfuls of sand, but one may still be able to distinguish the original pile from the pile with two less handfuls of sand.

Yet another example of the use of the accessibility relation is in deontic logic. If we think of obligatoriness as truth in all morally perfect worlds, and permissibility as truth in some morally perfect world, then we will have to restrict out universe to include only morally perfect worlds. But, in that case, we will have left out the actual world. A better alternative would be to include all the metaphysically possible worlds but restrict the accessibility relation to morally perfect worlds. Transitivity and the euclidean property will hold, but reflexivity and symmetry will not.

ee also

* modal logic
* possible worlds
* Propositional attitude

References

* Gerla, G.; "Transformational semantics for first order logic", [http://www.vub.ac.be/CLWF/L&A/ Logique et Analyse] , No. 117-118, pp. 69-79, 1987.
* Fitelson, Brandon; "Notes on "Accessibility" and Modality", 2003.
* Brown, Curtis; "Propositional Modal Logic: A Few First Steps", 2002.
* Kripke, Saul; "Naming and Necessity", Oxford, 1980.
* Lewis, David K.; " [http://www.jstor.org/sici?sici=0022-362X(19680307)65:5%3C113:CTAQML%3E2.0.CO;2-G&cookieSet=1 Counterpart Theory and Quantified Modal Logic] " (subscription required), The Journal of Philosophy, Vol. LXV, No. 5 (1968-03-07), pp. 113-126, 1968
* [http://www.cc.utah.edu/~nahaj/logic/structures/systems/index.html List of Logic Systems] List of most of the more popular modal logics.


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Accessibility — For Wikipedia s accessibility policy, see Wikipedia:Accessibility. For the related design concept, see Universal design. For the logical notion, see Accessibility relation. For accessibility on the internet, see Web accessibility …   Wikipedia

  • Modal logic — is a type of formal logic that extends classical propositional and predicate logic to include operators expressing modality. Modals words that express modalities qualify a statement. For example, the statement John is happy might be qualified by… …   Wikipedia

  • Kripke semantics — (also known as relational semantics or frame semantics, and often confused with possible world semantics) is a formal semantics for non classical logic systems created in the late 1950s and early 1960s by Saul Kripke. It was first made for modal… …   Wikipedia

  • applied logic — Introduction       the study of the practical art of right reasoning. The formalism (formal logic) and theoretical results of pure logic can be clothed with meanings derived from a variety of sources within philosophy as well as from other… …   Universalium

  • Epistemic logic — is a subfield of modal logic that is concerned with reasoning about knowledge. While epistemology has a long philosophical tradition dating back to Ancient Greece, epistemic logic is a much more recent development with applications in many fields …   Wikipedia

  • Epistemic modal logic — is a subfield of modal logic that is concerned with reasoning about knowledge. While epistemology has a long philosophical tradition dating back to Ancient Greece, epistemic logic is a much more recent development with applications in many fields …   Wikipedia

  • List of philosophy topics (A-C) — 110th century philosophy 11th century philosophy 12th century philosophy 13th century philosophy 14th century philosophy 15th century philosophy 16th century philosophy 17th century philosophy 18th century philosophy 19th century philosophy220th… …   Wikipedia

  • formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction       the abstract study of propositions, statements, or assertively used …   Universalium

  • Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… …   Wikipedia

  • General frame — In logic, general frames (or simply frames) are Kripke frames with an additional structure, which are used to model modal and intermediate logics. The general frame semantics combines the main virtues of Kripke semantics and algebraic semantics:… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”