שיחה:הנחה S5

מצאתי את הגרסא האנגית בערך של model logic , להנאתכם, באם מישהו מעוניין לתרגם (אל תרגישו אשמים אם לא הבנתם כלום. זה לא אתם, זה המקצוע :-) ): he system most commonly used today is modal logic S5, which robustly answers the questions by adding axioms which make all modal truths necessary: for example, if it's possible that p, then it's necessarily possible that p, and if it's necessary that p it's also necessary that it's necessary. This has been thought by many to be justified on the grounds that it is the system which is obtained when we demand that every possible world is possible relative to every other world. Nevertheless, other systems of modal logic have been formulated, in part, because S5 may not be a good fit for every kind of metaphysical modality of interest to us. (And if so, that may mean that possible worlds talk is not a good fit for these kinds of modality either.)

בברכה וגו', Ches 13:17, 27 מרץ 2005 (UTC).