examples of impossible modal proposition

examples of impossible modal proposition

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

# 2 Answers

Check here >http://encyclopedia2.thefreedictionary.com/Impossible+propositions

# 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.com. Britannica Concise Encyclopedia. Copyright © 1994-2008 Encyclopædia Britannica, Inc.

### Top contributors in Other - Social Science category

Benthere
Answers: 2 / Questions: 0
Karma: 2625

jhharlan
Answers: 32 / Questions: 0
Karma: 2620

Bob/PKB
Answers: 22 / Questions: 8
Karma: 2495

ROMOS
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
TechUpdatesDaily
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...

445669
questions
716220
answers
638209
users