Read Next
לפני שבוע 1
"לתקן את אלוהים", מאת ארנה קזין: קריאה ביקורתית (טור 639)
לפני 2 שבועות
על ערכים וניגודים (טור 638)
לפני 2 שבועות
מבט על שיטתי בלימוד ועל פסיקה מסדר ראשון
לפני 4 שבועות
חילול שבת על מניעת שמד (טור 636)
28/03/2024
היחס הראוי לתושבי עזה (טור 635)
19/03/2024
בין אוקטובר לפורים: וגילו ברעדה (טור 633)
18/03/2024
אוקימתות – הרצאונת ותרגילים (טור 632)
10/03/2024
למה ואיך מקיימים מצוות לאור משנת הרמב"ם (טור 631)
03/03/2024
היחס בין שאלת המקור וההיווצרות לבין שאלת המהות (טור 630)
25/02/2024
על תרומתם של החרדים – מבט על כמה טיעוני איוולת (טור 629)
Back to top button
תודה על התגובה המפורטת. אני חושב שהערוץ שלו מאוד מעניין למי שמתעניין בפילוסופיה. לגבי הטענה השלישית שלך: אתה טוען שקיום אינה תכונה אבל לפחות לפי הצרנה בלוגיקה תכונה היא בסך הכל מילה נרדפת לפסוק עם משתנה. ולכן במובן הזה הפסוק "קיים x" אכן יהיה תכונה. הוא פסוק תקין עם משתנה יחיד.
הוא לא תקין. מבנית גם הפסוק "המידה הטובה היא משולשת" הוא תקין. זו לוגיקה תוכנית ולא צורנית (פורמלית).
אפשר כמובן לומר את המשפט x אינו קיים, אבל המניפולציות הלוגיות מניחות שזו תכונה, אבל זו לא תכונה. יתר על כן, משפט כמו x אינו קיים הוא בעייתי פילוסופית. מיהו נושא המשפט? יש כאן כמה וכמה בעיות פילוסופיות שההצרנה הלוגית מחביאה.