0

I'm not sure if PN(A) implies N(A) is an axiom or if it follows from the definition of P(possibility).

  • Welcome to philosophy SE! I urge you to visit the tour: And the Help Center: philosophy.stackexchange.com/help It would be useful for you to read "how to ask a good question" philosophy.stackexchange.com/help/how-to-ask, as this question lacks context, or any indication of the research you have done to answer it yourself either on your own or by looking for in prior Philosophy SE questions. – Dcleve Feb 26 at 23:46
2

Assuming you are using P to represent the 'possibly' operator, which is more commonly represented by ◊ or M, and N to represent the 'necessarily' operator, which is more commonly represented by ◻ or L, then the proposition

◊ ◻ A → ◻ A

is a theorem of system S5 of modal logic. It is derivable as follows:

  1. ◊ A → ◻ ◊ A ........ axiom 5
  2. ◊ ¬A → ◻ ◊ ¬A ........ from 1 by substitution of ¬A/A
  3. ¬ ◻ A → ¬ ◊ ◻ A ...... from 2 using the equivalences of ◻ to ¬◊¬ and ◊ to ¬◻¬
  4. ◊ ◻ A → ◻ A ...... from 3 by contraposition
| improve this answer | |

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.