לוגיקה לא קלאסית Flashcards
ערכי האמת של לוקושביץ כאשר מדובר בערך אמת לא ידוע
מה הייחוד?
זהה כאשר מדובר באמת ושקר אך כאשר אנו מדברים על ערך אמת לא ידוע נתייחס כך:
בשלילה לא נדע
וגם - לא נדע אלא אם נדע בוודאות שלא
או - לא נדע אלא אם כן נדע בוודאות שכן
אם אז - לא נדע אלא אם בהכרח אמת או ששני הצדדים העלי אותו הערך
כיצד נגדיר אמת לוגית ונביעה לוגית
אמת לוגית הוא נוסחה לה יש ערך אמת בכל פירוש של שפה
נביעה לוגית היא שימור ערך אמת ייעודי
ההבדל הלוגיקה לא קלאסית הוא שפה אנו מוסיפים קבוצות בהן אנו משמרים ערך אמת, כלומר לא רק כאשר ערך האמת אינו שקרי אלא גם לא ידוע
ערכי האמת של קלין כאשר מדובר בערך אמת לא ידוע
מה הייחוד?
זהה כאשר מדובר באמת ושקר אך כאשר אנו מדברים על ערך אמת לא ידוע נתייחס כך:
בשלילה לא נדע
וגם - לא נדע אלא אם נדע בוודאות שלא
או - לא נדע אלא אם כן נדע בוודאות שכן
אם אז - לא נדע אלא אם בהכרח אמת
מה המגרעה במערכות האמת של קלין
ומה הייתרון
מאבדים אמיתות לוגיות
שמרנות לוגית
מהי טבלת האמת של אמיתי בהחלט?
מה שקוראים אותו היקבעות
זמן נהדר לשחק עם מה שהוא רשם על לוח
אמת היא אמת
שקר הוא שקר
היא ידיעה היא שקר
לוגיקת הפרדקוס של פריסט
לא כל נב”כ נובע מסתירה
נניח כי ערכי האמת של אלפא ושלילתה אינם ידועים
היתא שיכולה לנבוע מאלו יכולה להיות בעלת ערך אמת שקרי
הערכת על - איך יודעים אם משהו אמיתי באמת?
(בגדול למתוח גבול ולהגיד כן או לא)דיוק לפירוש הנב”כ - לפי פירושים אפשריים
אם הכל אמת אז אמת
אם הכל שקר אז שקר
אחרת לא ידוע
אמת על לוגית
אםם הוא אמת לוגית בכל פירוש תלת ערכי
נביעת על לוגית
אםם הוא אמיתי בכל פירוש תלת ערכי לשפה בו איברי גמא הם אמת על
פונקציית אמת
קשר הוא פונקציית אמת כאשר ערך האמת של הנוסחה בה הוא הקשר הראשי נקבע על ידי ערכי האמת של המרכיבים המידיים של הנוסחה. זה קורה בלוגיקה הקלאסית, אצל קלין ואצל לוקשביץ.
בהערכת על קשר לא יהיה פונקציית אמת כיוון שערך האמת של הנוסחה לא נקבע על ידי ערכי האמת של המרכיבים המידיים של הנוסחה אלא גם על פי הדיוק