בתשובה לערן בילינסקי, 18/01/03 11:28
הלוגיקה של ''אחד, יחיד ומיוחד'' 121914
1) אתה מביא תאור מצב או תכונה כלשהי של אדם או חייה.

2) השאלה היא - האם קיים אובייקט כלשהו שנושא אטריבוט זה? למשל "חד קרן" unicorn - הינו אוסף של תכונות שונות (4 רגליים, בעל קרן אחת בלבד במרכז מצחו, דומה לצבי מבחינות מסויימות נניח, וכד').
נתת איפיון. האם קיים במציאות אובייקט כלשהו עליו חל איפיון זה? במקרה של חד קרן - לא קיים. במקרה של אלוהים? איש איש ודעתו אם אכן יש בפועל אובייקט הנושא את התכונות, המצבים, הפעולות בהיסטוריה וכד' המיוחסים לאלוהים. האם האלוהים "קיים" רק בספרים, בנארטיבים, ובמרחב ההבנה האמונית? אבל אנו שואלים אודות קיום במציאות, והרי הטענה התאיסטית היא שהאל קיים במציאות, "כבודו מלא עולם". תשאל, רגע, מהי המציאות?

אינך שואל שאלה זאת, ואינך מניח כלל שהמציאות היא תלויית פרשנות ברוב מצבי היום-יום ואף במצבי תפעול האינטלקט - בשעה שאתה נוהג, מחבק אישה, מכין ארוחה, עוסק במחקר ופיתוח, מציב תכנון אורבני, נוטע גן: רמזור אדום הוא רמזור אדום, בניין צריך להיות יציב ועמיד [אבוי ליציבות אם תהיה "תלויית פרשנות": היחסיות והפרשנות קיימות רק מצד הטוען לחפותו בבית המשפט, במקרים כמו "אולמי וורסאי" - המהנדס, אנשי מחלקת מנהל הנדסה בעיריית ירושליים, הקבלן תאב הבצע [לכאורא, או שהורשע כבר?] ודד היא צ'יצי'.

אז אם אתה מוצא אובייקט אחד המתאים לתאור, תוכל לאמר: יש *לפחות* אובייקט אחד כזה (שהינו ברבור שחור, או שהינו ברד שירד בדרום ספרד אתמול, למשל - שהרי יתכן שאתמול כלל לא התקיים בדרום ספרד ארוע ירידת ברד כזה).

[אגב, הרחבה של מיטת הסדום הזאת, המתייחסת גם למצייני זמן ומציינים אחרים (שהרי הארוע יכול להיות נכון לגבי היום אך לא לגבי אתמול הינה הלוגיקה של המערכות המודליות]

ובכן, יש לפחות מקרה-בפועל אחד כזה בו נאמר "אין לשאול גבר --"
ובלוגיקה פשוטה מסדר ראשון: E'(X) Mx
('E מייצגת E הפוכה) כלומר יש *לפחות* X אחד כזה ביקום המקבל התכונה M .

אין כימות זה סותר את האפשרות שיש גם מקרים נוספים בעלי איפיונים כאלה.

לכן אמר הרמב"ם - שהיכיר את הלוגיקה האריסטוטלית - על האלוהים: "אחד, יחיד ומיוחד".
דהיינו יש לפחות "אחד" כזה בעל תכונות האלוהים, לא רק לפחות אחד כזה, אלה גם "אין שני" (יחיד"). והוא גם מיוחד unique, כלומר שונה בתכונותיו מכל אובייקט שנוכל לדמיין "איך הוא" how it is like (דהיינו כזה שיתפס בדימיוננו כבעל תכונות ספציפיות, מורכבות ומפליגות ככל שיהיו), ואם כך, אזי האל הוא מעבר להבנתנו.

ואם הוא מעבר להבנתנו, שהרי שאין לשייך לו תכונות ספציפיות, לכן לא ניתן בעיקרון לאמת את קיומו.

אבל האובייקט הבלתי ניתן-להכרה הזה קיים, והוא יחיד. "ההגדרה" היא באמצעות הכימות, אך לא באמצעות תכונות ומאפיינים.
"אטריבוט"- זאת מילה נרדפת לפרדיקט? 127941
"אטריבוט"- זאת מילה נרדפת לפרדיקט? 128670
הוא מטאפיזיקאי
"אטריבוט"- זאת מילה נרדפת לפרדיקט? 128834
נכון שהוא מטפיזיקאי ואפיסטמולוג בעיקר, אבל בתגובה שלמעלה הוא הזכיר כמה מהמאפיינים של הלוגיקה הפורמלית הבסיסית, למשל כמת יישי מתחשיב הפרדיקטים(שמיוצג ע"י E הפוכה). לכן סיקרן אותי, ואני עדיין שואל את המבינים בלוגיקה בפורום: האם "אטריבוט" זו מילה נרדפת לפרדיקט?
"אטריבוט"- זאת מילה נרדפת לפרדיקט? 128835
למיטב הבנתי, פרדיקט הוא מקרה פרטי של אטריבוט. פרדיקט מחלק את העולם לשניים, על כן הוא יכול לקבל אחד משני ערכים. למשל, הפרדיקט "גבוה מ 1.70 מטר" יכול לקבל את הערכים "כן" ו"לא". לעומתו, אטריבוט יכול לקבל אחד מאוסף בדיד או רציף של ערכים. למשל, האטריבוט "השעה הנוכחית" יכול לקבל 24 ערכים שונים.
"אטריבוט"- זאת מילה נרדפת לפרדיקט? 128868
הוא לא מטאפיזיקאי ולא אפיסטמולוג הוא סתם זבלן מוח
העירו לו על אי דיוק בעובדה היסטורית
והוא ענה שאין לדעת אם דיק או לא, שכן רק האל הוא יחודי מיוחד וכל שאר החרטא מבחינה לוגית.
כמה רבועים לפני זה הוא מתלונן חוסר מציאות סדורה

ללמדך שאין קשר בין שמוש בלוגיקה למציאות סדורה.

ורק להוסיף לי אין מושג קלוש מה זה אטריבוט ומה זה פרדיקט.

חזרה לעמוד הראשי המאמר המלא

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים