-
הנחה S5
כל מה שרצית לדעת על הנחה S5:הנחה S5 היא הנחת יסוד (אקסיומה) של מערכת S5 בלוגיקה מודלית. ההנחה מוכרת בשתי גרסאות: אם פסוק א' (פסוק כלשהו) הוא אפשרי, אז הכרחי שפסוק א' הוא אפשרי. בהצרנה: [] אם אפשרי שפסוק א' הוא הכרחי, אז פסוק א' הוא הכרחי. בהצרנה: [] כאשר על פסוק מסוים מופעלים מספר…
-
מבנה יצירה
כל מה שרצית לדעת על מבנה יצירה:מבנה יצירה הוא מערכת מתמטית המאפשרת לאפיין קבוצה של משפטים בשפה פורמלית. שימוש (משתמע או מפורש) בשיטה זו מצוי ברוב ענפי המתמטיקה, ובפרט, בלוגיקה המתמטית. מקרה פרטי חשוב של מבנה יצירה, הוא אלגברת יצירה חופשית, בה לכל עצם נוצר יש בנייה יחידה. נלקח מויקיפדיה הגדרות נוספות הקשורות למבנה יצירה:•לוגיקה…
-
מודוס טולנס
כל מה שרצית לדעת על מודוס טולנס:מודוס טוֹלֶנְס (Modus tollens), בלוגיקה, הוא כלל ההיסק שמאפשר להסיק משני הנתונים הבאים: (כלומר – אם מתקיים P אז מתקיים Q). . (כלומר – לא מתקיים Q). את המסקנה הבאה: . (כלומר – לא מתקיים P). במילים פשוטות, אם קיים תנאי מסוים כדי שדבר מה יהיה נכון, וידוע שהדבר…
-
תורת רמזי
כל מה שרצית לדעת על תורת רמזי:תורת רמזי היא תחום בקומבינטוריקה העוסק בשאלה כמה גדול צריך להיות מבנה מתמטי כדי להבטיח שתת-מבנה שלו מקיים תכונה מסוימת. הרעיון המרכזי הוא להראות ששום דבר גדול לא יכול להיות "אקראי מידי", ובכל מערכת כאוטית גדולה יש איים של סדר. התורה פותחה בעיקר במאה ה-20. היא נקראת על שמו…
-
עקרון החסד
כל מה שרצית לדעת על עקרון החסד:עקרון החסד (באנגלית: Principle of Charity) הוא עקרון המשמש בפילוסופיה, בלוגיקה וברטוריקה על-פיו, כאשר מפרשים את דבריהם של אחרים, יש להשתמש בפירוש הטוב והחזק ביותר האפשרי לדברים, ולייחס להם, במידת האפשר, רציונליות. מטרת העיקרון היא להימנע מייחוס כשלים לוגיים, אי-רציונליות או ערך אמת שקרי לדברים, כאשר קיים פירוש קוהרנטי…
-
כתב מושגים
כל מה שרצית לדעת על כתב מושגים:כתב מושגים (בגרמנית: Begriffsschrift) הוא ספרו הראשון של גוטלוב פרגה, אבי הלוגיקה המודרנית, ואחד מעמודי התווך של הפילוסופיה האנליטית של המאה העשרים. פרגה הציג מבנה לוגי של מגוון תכנים ושל יחסי הנביעה ביניהם, תוך הצגה חמורה ומדויקת של הוכחות והגדרות. הספר מפתח תחשיב פרדיקאטים מסדר ראשון, אשר נעשה בעקבותיו…