Read Next
פוסטים
לפני 7 שעות
מבט נוסף על בחירה חופשית (טור 703)
לפני 7 שעות
מבט נוסף על בחירה חופשית (טור 703)
לפני 4 ימים
טרנסג'נדרים בהלכה: ב. קריאה ביקורתית של מאמרו של הרב כ"ץ (טור 702)
לפני שבוע 1
טרנסג'נדרים בהלכה: א. ניתוח מושגי (טור 701)
לפני 2 שבועות
חולין על טהרת הקודש: היחס הראוי לעולם החול (טור 700)
לפני 3 שבועות
אדם ומכונה תושיע ה': ו. על האמפתיה – פסיקת הלכה ממרחק חווייתי (טור 699)
לפני 4 שבועות
אדם ומכונה תושיע ה': ה. מיהו אדם – שכל או רצון? (טור 698)
לפני 4 שבועות
אדם ומכונה תושיע ה': ד. האם האדם הוא מכונה (טור 697)
25/02/2025
אדם ומכונה תושיע ה': ג. על טעויות, שקרים ועבודת המידות של מכונות (טור 696)
23/02/2025
אדם ומכונה תושיע ה': ב. רשתות נוירונים (טור 695)
20/02/2025
אדם ומכונה תושיע ה': א. מבט ראשוני על מחשב (טור 694)
2 תגובות
השאר תגובהלבטל
קרא גם את הטור הזה
Close
-
חילול שבת במשטרה: ג. ביסוס תיאורטי (טור 531)03/01/2023
תודה על התגובה המפורטת. אני חושב שהערוץ שלו מאוד מעניין למי שמתעניין בפילוסופיה. לגבי הטענה השלישית שלך: אתה טוען שקיום אינה תכונה אבל לפחות לפי הצרנה בלוגיקה תכונה היא בסך הכל מילה נרדפת לפסוק עם משתנה. ולכן במובן הזה הפסוק "קיים x" אכן יהיה תכונה. הוא פסוק תקין עם משתנה יחיד.
הוא לא תקין. מבנית גם הפסוק "המידה הטובה היא משולשת" הוא תקין. זו לוגיקה תוכנית ולא צורנית (פורמלית).
אפשר כמובן לומר את המשפט x אינו קיים, אבל המניפולציות הלוגיות מניחות שזו תכונה, אבל זו לא תכונה. יתר על כן, משפט כמו x אינו קיים הוא בעייתי פילוסופית. מיהו נושא המשפט? יש כאן כמה וכמה בעיות פילוסופיות שההצרנה הלוגית מחביאה.