חדש באתר: מיכי-בוט. עוזר חכם על כתבי הרב מיכאל אברהם.

לוגיקה מודאלית ונוסחת Barcan (טור 634)

26/03/2024
2
Loader Loading...
EAD Logo Taking too long?

Reload Reload document
| Open Open in new tab

הורד [480.40 KB]

26/03/2024
2

2 תגובות

  1. תודה על התגובה המפורטת. אני חושב שהערוץ שלו מאוד מעניין למי שמתעניין בפילוסופיה. לגבי הטענה השלישית שלך: אתה טוען שקיום אינה תכונה אבל לפחות לפי הצרנה בלוגיקה תכונה היא בסך הכל מילה נרדפת לפסוק עם משתנה. ולכן במובן הזה הפסוק "קיים x" אכן יהיה תכונה. הוא פסוק תקין עם משתנה יחיד.

    הגב

    1. הוא לא תקין. מבנית גם הפסוק "המידה הטובה היא משולשת" הוא תקין. זו לוגיקה תוכנית ולא צורנית (פורמלית).
      אפשר כמובן לומר את המשפט x אינו קיים, אבל המניפולציות הלוגיות מניחות שזו תכונה, אבל זו לא תכונה. יתר על כן, משפט כמו x אינו קיים הוא בעייתי פילוסופית. מיהו נושא המשפט? יש כאן כמה וכמה בעיות פילוסופיות שההצרנה הלוגית מחביאה.

      הגב

השאר תגובה

© Copyright 2025,כל הזכויות שמורות  | 
כפתור חזרה למעלה