shmick/study
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

vault backup: 2025-02-02 13:27:33

Browse Source
This commit is contained in:
Matan Horovitz
2025-02-02 13:27:33 +02:00
parent 4b3d61096a
commit 1b60401c18
3 changed files with 7 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
פילוסופיה/לוגיקה/מתקדמת/פאראקונסיסטנטית.md
View File

@@ -10,7 +10,7 @@ tags:
---
ב[לוגיקה קלאסית](../../לוגיקה) למדנו ש -
$$A, \not Α \vdash B$$
$$A, \neg Α \vdash B$$
יכול להנביע כל פסוק (כלומר, [*מסתירה נובע כל דבר*](/פילוסופיה/יוונית/אריסטו/מטאפיזיקה#חוק-הסתירה)), ודי התעלמנו מזה, למרות שזה מוזר.
@@ -22,7 +22,7 @@ $$A, \not Α \vdash B$$
לא ברור שאנחנו שונים מהמחשב. גם אנחנו עלולים להאמין בדברים עם סתירה פנימית. ובכל זאת אנחנו לא מסיקים *כל פסוק* - לא לוגית, ולא פסיכולוגית.
אז איך שומרים על ההגדרה הכללית של תקפות - *אם כל ההנחות אמיתיות אז המסקנה חייבת להיות אמיתית* - ודוחים את $A, \not Α \vdash B$? הדרך היא, באיזשהו מובן, לתאר *סתירות אמיתיות*, כמו ההאמנות הסותרות שלנו.
אז איך שומרים על ההגדרה הכללית של תקפות - *אם כל ההנחות אמיתיות אז המסקנה חייבת להיות אמיתית* - ודוחים את $A, \neg Α \vdash B$? הדרך היא, באיזשהו מובן, לתאר *סתירות אמיתיות*, כמו ההאמנות הסותרות שלנו.
!!! is-info "הגדרה - לוגיקה פאראקונסיסטנטית"
**לוגיקה פאראקונסיסטנטית** היא כל מערכת לוגית ש**לא דורשת עקביות** - כלומר, שהיא סבלנית כלפי סתירות: היא דוחה את הדרישה של רוב מערכות הלוגיות לאמיתי *או* שקרי.