This paper concerns the question of which collections of general relativistic spacetimes are deterministic relative to which definitions. We begin by considering a series of three definitions of increasing strength due to Belot (1995). The strongest of these definitions is particularly interesting for spacetime theories because it involves an asymmetry condition called ``rigidity'' that has been studied previously in a different context (Geroch 1969; Halvorson and Manchak 2022; Dewar 2024). We go on to explore other (stronger) asymmetry conditions that give rise to other (stronger) forms of determinism. We introduce a number of definitions of this type and clarify the relationships between them and the three considered by Belot. We go on to show that there are collections of general relativistic spacetimes that satisfy much stronger forms of determinism than previously known. We also highlight a number of open questions.
تبحث هذه الورقة في خصائص الحتمية لمجموعات الزمكان في النسبية العامة تحت تعريفات مختلفة. يفحص المؤلفون أولاً ثلاثة تعريفات للحتمية ذات شدة متزايدة اقترحها Belot (1995)، حيث يتضمن التعريف الأقوى شرطاً غير متماثل يُسمى "الصلابة" (rigidity) درسه Geroch (1969) في سياقات مختلفة. يستكشف المؤلفون كذلك شروطاً غير متماثلة أقوى تؤدي إلى أشكال أقوى من الحتمية. تقدم الورقة عدة تعريفات من هذا النوع، وتوضح علاقاتها بالتعريفات الثلاثة لـ Belot، وتثبت وجود مجموعات زمكان في النسبية العامة تحقق أشكالاً أقوى من الحتمية مما كان معروفاً سابقاً، مع طرح عدة مسائل مفتوحة.
تتمحور المشكلة الأساسية للورقة حول: أي مجموعات الزمكان في النسبية العامة تكون حتمية تحت أي تعريفات؟ وهذه مسألة أساسية في فلسفة الفيزياء، تتعلق بالخصائص الجوهرية لنظرية الزمكان.
إنشاء هيكل هرمي لتعريفات الحتمية: توضيح منهجي لستة أشكال من الحتمية (de dicto, de re, de re*, de dicto*, de re**, de dicto**) وعلاقات الاستتباع بينها
إثبات التكافؤات الرئيسية: في النسبية العامة القياسية، الحتمية de re تكافئ الحتمية de re* (عبر نظرية الصلابة)
إدخال أشكال حتمية جديدة: الدراسة المنهجية الأولى للحتمية de dicto*, de re**, de dicto**، مع إثبات تكافؤ الأخيرين
ربط الشروط غير المتماثلة بالحتمية: توضيح كيف تتوافق ثلاثة شروط غير متماثلة (الصلابة، الزرافة، هيراقليطس) مع مستويات مختلفة من الحتمية
إثبات إمكانية تحقق الحتمية القوية: بناء أمثلة محددة تثبت أن حتى أقوى أشكال الحتمية de re**/de dicto** يمكن أن تحققها مجموعات زمكان غير فارغة
طرح مسائل مفتوحة: حول ما إذا كانت المجموعات الجزئية من V+ (رباعية الأبعاد، غير قابلة للتوسع، عالمياً ثنائية القطع، حلول فراغية) تحقق أشكالاً قوية من الحتمية
التعريف 1: مجموعة C هي حتمية de dicto إذا كان لأي (M,g), (M',g') ∈ C وقطع ابتدائية U ⊂ M, U' ⊂ M'، إذا كان هناك تطابق إسومتري φ: U → U'، فإن هناك تطابقاً إسومترياً ψ: M → M'.
الحدس: تطابق القطع الابتدائية يستتبع وجود تطابق إسومتري ما للكل (لكن لا يشترط أن يكون نفس التطابق)
التعريف 2: مجموعة C هي حتمية de re إذا كان لأي (M,g), (M',g') ∈ C وقطع ابتدائية U ⊂ M, U' ⊂ M'، إذا كان هناك تطابق إسومتري φ: U → U'، فإن هناك تطابقاً إسومترياً ψ: M → M' بحيث ψ|_U = φ.
الحدس: يجب أن يكون تطابق القطعة الابتدائية قابلاً للتوسع إلى تطابق إسومتري كامل
الفرق الرئيسي: يتطلب الاتساق بين التطابق المحلي والكلي
Belot, G. (1995): "New Work for Counterpart Theorists: Determinism" - الورقة الأصلية التي طرحت ثلاثة تعريفات للحتمية
Geroch, R. (1969): "Limits of Spacetimes" - الورقة الكلاسيكية التي تثبت صلابة الزمكان
Choquet-Bruhat, Y. & Geroch, R. (1969): "Global Aspects of the Cauchy Problem in General Relativity" - النظرية الأساسية لمسألة القيمة الابتدائية لمعادلات Einstein
Earman, J. & Norton, J. (1987): "What Price Spacetime Substantivalism? The Hole Story" - الورقة الكلاسيكية التي طرحت حجة الثقب
Weatherall, J. (2018): "Regarding the Hole Argument" - التأكيد على أهمية شرط (Id ≠ Iso)
Halvorson, H. & Manchak, J. (2025): "Closing the Hole Argument" - إعادة تقييم دور الصلابة في حجة الثقب
Manchak, J. & Barrett, T. (قادم): "A Hierarchy of Spacetime Symmetries: Holes to Heraclitus" - إدخال شرط هيراقليطس
التقييم الإجمالي: هذه ورقة عالية الجودة في فلسفة الفيزياء الرياضية، توضح بشكل منهجي عدة تدقيقات لمفهوم الحتمية في النسبية العامة وعلاقاتها المتبادلة. رغم أن بعض التطبيقات الفيزيائية والمسائل المفتوحة تحتاج إلى حل، توفر الورقة إطار عمل مفاهيمي واضح وأساساً رياضياً صارماً لفهم طبيعة الحتمية في نظرية الزمكان. يوفر الموقف التعددي والمنهجية المنهجية للورقة نموذجاً جيداً للبحث الفلسفي ذي الصلة.