הצגת המקור של הדף "הנחה S5"

{{מקורות|נושא=מדעי הטבע}}
'''הנחה S5''' היא הנחת יסוד ([[אקסיומה]]) של [[מערכת S5]] ב[[לוגיקה מודלית]]. ההנחה מוכרת בשתי גרסאות:
* אם [[פסוק (לוגיקה)|פסוק]] א' (פסוק כלשהו) הוא אפשרי, אז הכרחי שפסוק א' הוא אפשרי. ב[[פורמליזם (מתמטיקה)|הצרנה]]: [<math>\Diamond p \to \Box\Diamond p</math>]
* אם אפשרי שפסוק א' הוא הכרחי, אז פסוק א' הוא הכרחי. בהצרנה: [<math>\Diamond\Box p \to \Box p</math>]

כאשר על פסוק מסוים מופעלים מספר [[אופרטור]]ים מודאליים ("אפשרי" ו"הכרחי"), ניתן, באמצעות הנחה זו ו[[משפט (מתמטיקה)|משפטים]] ה[[הוכחה|יכיחים]] ממנה, להוריד את האופרטורים הנוספים ולהישאר רק עם האחרון (למשל, מ"אפשרי שהכרחי ש-א'", אפשר להגיע לטענה הפשוטה יותר, "הכרחי ש-א'".)

אקסיומה זו אינה תלויה בפשר [[סמנטיקה|סמנטי]] מסוים למושגים המודאליים "אפשרי" ו"הכרחי". עם זאת, ההצדקה של הנחת היסוד יכולה להיעשות בהירה יותר כאשר חושבים על המודל הנפוץ של [[עולמות אפשריים]], על-פיו טענה היא אפשרית אם היא נכונה לפחות בעולם לוגי אפשרי אחד והיא הכרחית אם היא נכונה בכל העולמות הלוגיים האפשריים. אם כן, אם אפשרי שטענה א' היא הכרחית (כלומר, בעולם אפשרי אחד נכון להגיד שהיא נכונה בכל העולמות האפשריים) אז טענה א' היא הכרחית (נכונה בכל העולמות האפשריים). כמו כן, אם טענה א' היא אפשרית (נכונה בעולם אפשרי אחד לפחות), אז הכרחי שטענה א' היא אפשרית (כי בכל העולמות האפשריים נכון להגיד שהיא אפשרית, כלומר נכונה לפחות בעולם אפשרי אחד).

אם המודליות כאן היא מה ש[[אלווין פלנטינגה]] מכנה הכרח ואפשרות "לוגית במובן הרחב", הטיעון להנחת היסוד יכול להיות כזה: אם ייתכן שבהכרח ה' (הנחה כלשהי), כי אז ישנו עולם אפשרי שבו ההנחה תקפה בהכרח. מכאן, נכון בעולם כלשהו שההנחה היא באופן רחב ולוגי אמת בהכרח, משהו ששלילתו תהיה במובן הלוגי הרחב [[סתירה (לוגיקה)|סתירה]]-עצמית. אבל אם משהו הוא בסתירה עצמית בעולם אפשרי כלשהו, כי אז הוא בסתירה עצמית בכל העולמות ולטענת פלנטינגה הדבר נכון גם במקרה של סתירות עצמיות במובן הלוגי הרחב.

[[קטגוריה:לוגיקה]]