Read Next
פוסטים
לפני 2 שבועות
שתי הערות על דרכי פסיקה לקראת פסח (טור 706)
פוסטים
לפני 3 שבועות
מבט שיטתי על סטטיות ודינמיות ( טור 705)
פוסטים
לפני 4 שבועות
מבט נוסף על בחירה חופשית (טור 703)
לפני שבוע 1
דינמיקה וסטטיקה בהלכה ותארים שליליים: המקרה של נתינת גט (טור 707)
לפני 2 שבועות
שתי הערות על דרכי פסיקה לקראת פסח (טור 706)
לפני 3 שבועות
מבט שיטתי על סטטיות ודינמיות ( טור 705)
לפני 3 שבועות
"מצויר במילים" – על ספרים, ציורים וראינוע (טור 704)
לפני 4 שבועות
מבט נוסף על בחירה חופשית (טור 703)
לפני 4 שבועות
טרנסג'נדרים בהלכה: ב. קריאה ביקורתית של מאמרו של הרב כ"ץ (טור 702)
21/03/2025
טרנסג'נדרים בהלכה: א. ניתוח מושגי (טור 701)
18/03/2025
חולין על טהרת הקודש: היחס הראוי לעולם החול (טור 700)
11/03/2025
אדם ומכונה תושיע ה': ו. על האמפתיה – פסיקת הלכה ממרחק חווייתי (טור 699)
03/03/2025
אדם ומכונה תושיע ה': ה. מיהו אדם – שכל או רצון? (טור 698)
2 תגובות
השאר תגובהלבטל
קרא גם את הטור הזה
Close
תודה על התגובה המפורטת. אני חושב שהערוץ שלו מאוד מעניין למי שמתעניין בפילוסופיה. לגבי הטענה השלישית שלך: אתה טוען שקיום אינה תכונה אבל לפחות לפי הצרנה בלוגיקה תכונה היא בסך הכל מילה נרדפת לפסוק עם משתנה. ולכן במובן הזה הפסוק "קיים x" אכן יהיה תכונה. הוא פסוק תקין עם משתנה יחיד.
הוא לא תקין. מבנית גם הפסוק "המידה הטובה היא משולשת" הוא תקין. זו לוגיקה תוכנית ולא צורנית (פורמלית).
אפשר כמובן לומר את המשפט x אינו קיים, אבל המניפולציות הלוגיות מניחות שזו תכונה, אבל זו לא תכונה. יתר על כן, משפט כמו x אינו קיים הוא בעייתי פילוסופית. מיהו נושא המשפט? יש כאן כמה וכמה בעיות פילוסופיות שההצרנה הלוגית מחביאה.