examples of impossible modal proposition

    examples of impossible modal proposition

    0  Views: 847 Answers: 2 Posted: 7 years ago

    2 Answers

    Check here >

    modal logic

    Formal systems incorporating modalities such as necessity, possibility, impossibility, contingency, strict implication, and certain other closely related concepts. The most straightforward way of constructing a modal logic is to add to some standard nonmodal logical system a new primitive operator intended to represent one of the modalities, to define other modal operators in terms of it, and to add axioms and/or transformation rules involving those modal operators. For example, one may add the symbol L, which means “It is necessary that,” to classicalpropositional calculus; thus, Lp is read as “It is necessary that p.” The possibility operator M (“It is possible that”) may be defined in terms of L as Mp = ¬L¬p (where ¬ means “not”). In addition to the axioms and rules of inference of classical propositional logic, such a system might have two axioms and one rule of inference of its own. Some characteristic axioms of modal logic are: (A1) Lp ⊃ p and (A2) L(p ⊃ q) ⊃ (Lp ⊃ Lq). The new rule of inference in this system is the Rule of Necessitation: If p is a theorem of the system, then so is Lp. Stronger systems of modal logic can be obtained by adding additional axioms. Some add the axiom Lp ⊃ LLp; others add the axiom Mp ⊃ LMp.

    For more information on modal logic, visit Britannica Concise Encyclopedia. Copyright © 1994-2008 Encyclopædia Britannica, Inc.

    Top contributors in Other - Social Science category

    Answers: 2 / Questions: 0
    Karma: 2625
    Answers: 32 / Questions: 0
    Karma: 2620
    Answers: 22 / Questions: 8
    Karma: 2495
    Answers: 27 / Questions: 0
    Karma: 2160
    > Top contributors chart

    Unanswered Questions

    Fishing Advice Australia
    Answers: 0 Views: 4 Rating: 0
    Outsourcing Services USA
    Answers: 0 Views: 5 Rating: 0
    Answers: 0 Views: 7 Rating: 0
    ¿Dónde comprar camisetas de futbol baratas?
    Answers: 0 Views: 5 Rating: 0
    model ndb-1m-25
    Answers: 0 Views: 14 Rating: 0
    i want Create Gmail Account for my OPPO phone
    Answers: 0 Views: 28 Rating: 0
    > More questions...