ידיעה מוקדמת של אלוקים

שו"תקטגוריה: פילוסופיהידיעה מוקדמת של אלוקים
Avi שאל לפני שנה 1

בה
שלום לרב מיכאל
 
במסגרת קורס הקורס שלי בלוגיקה מתקדמת (בהרווארד, בוסטון) לימדתי את האסטרטגיה של REVERSE ENGINEERING לוגי. חלק מהסטודנטים שומעים גם את הקורס ב "פילוסופיה פראקטית"
להלן דיון שהיה לנו לאחרונה
T (משפט):  "אם אלוקים רוצה, הוא יכול לדעת את תוצאות הבחירות מראש" (במקרה שלהם — "טראמפ / "ביידן")
תהיה A קבוצת המונחים (בלשון שלך – "מושגים") , וכן תהיה B קבוצת האכסיומות ("הנחות") שפועלת על A כדי להוכיח את T

  1. מה יהיו A ו B המינימליים כדי להוכיח את T
  2. האם ישנן מספר זוגות (A,B) שהן זרות (יש להגדיר זאת במדויק) הפותרות את 1

האם לדעתך הדיון הנ"ל סביר?
 

השאר תגובה

1 Answers
mikyab צוות ענה לפני שנה 1

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

השאר תגובה

Back to top button