المنطق المشروط الكمي والجوهرية
عندما تتفاعل المحددات الكمية والعوامل المشروطة، يجب على المنطق أن يواجه ما إذا كانت الكائنات تمتلك خصائص بالضرورة — الجوهرية — وكيفية تفسير التحديد الكمي عبر العوالم الممكنة.
Definition
يجمع المنطق المشروط الكمي بين التحديد الكمي من الدرجة الأولى والعوامل المشروطة؛ والجوهرية هي الأطروحة القائلة بأن الكائنات تمتلك بعض خصائصها بالضرورة (de re)، بغض النظر عن كيفية وصفها.
Scope
يغطي هذا الموضوع توسيع المنطق المشروط بالمحددات الكمية والهوية، والالتزامات الميتافيزيقية التي يولدها. ويتناول صيغ باركان وعكسها، والاختيار بين دلالات النطاق الثابت والمتغير، ومشكلة الهوية والوجود عبر العوالم، واعتراضات كواين على المشروطية الواقعية (de re modality)، ودفاع كريبكي عن الجوهرية والتسمية الصارمة.
Core questions
- كيف ينبغي أن تتفاعل المحددات الكمية والعوامل المشروطة، وهل صيغة باركان صحيحة؟
- هل يجب أن يكون نطاق الأفراد ثابتًا عبر العوالم أم يتغير؟
- هل المشروطية الواقعية (de re modality) مفهومة، أم أنها تنهار تحت اعتراضات كواين؟
- ما هي الخصائص، إن وجدت، التي تمتلكها الكائنات جوهريًا؟
Key concepts
- صيغة باركان وعكسها
- النطاقات الثابتة مقابل المتغيرة
- الهوية عبر العوالم
- التسمية الصارمة
- المشروطية الواقعية (de re) مقابل المشروطية القولية (de dicto)
- الخصائص الجوهرية مقابل العرضية
Key theories
- الجوهرية والتسمية الصارمة
- يجادل كريبكي بأن الأسماء الصحيحة هي تسميات صارمة تشير إلى نفس الكائن في كل عالم، مما يجعل الادعاءات المشروطة الواقعية (de re modal claims) متماسكة ويدعم الحقائق الضرورية حول الأصل والتكوين.
- نقد كواين للمشروطية الواقعية (de re modality)
- يجادل كواين بأن التحديد الكمي في السياقات المشروطة غير مفهوم لأن استبدال المصطلحات المشيرة إلى نفس الشيء يمكن أن يغير قيمة الحقيقة، لذا فإن الجوهرية تتطلب تمييزًا مرفوضًا بين السمات الضرورية والعرضية للكائن.
History
بدأت روث باركان ماركوس المنطق المشروط الكمي في 1946-1947، حيث أثبتت نتائج حول الهوية وقدمت صيغة باركان. هاجم كواين المشروع بأكمله باعتباره ملتزمًا بجوهرية غير مفهومة، لكن كتاب كريبكي "التسمية والضرورة" (Naming and Necessity) (1980) أعاد تأهيل المشروطية الواقعية (de re modality) من خلال التسمية الصارمة وضرورة الهوية، مما أعاد للجوهرية مكانتها.
Debates
- هل المشروطية الواقعية (de re modality) متماسكة؟
- ما إذا كان إسناد الخصائص الضرورية للكائنات بشكل مستقل عن الوصف أمرًا مفهومًا، كما تشير تسمية كريبكي الصارمة، أو ما إذا كان كواين محقًا في أن هذا الحديث يفترض جوهرية لا يمكن الدفاع عنها.
Key figures
- Ruth Barcan Marcus
- Saul Kripke
- W. V. O. Quine
- Alvin Plantinga
- David Kaplan
Related topics
Seminal works
- barcan1947
- quine1953reference
- kripke1980
Frequently asked questions
- ما هي صيغة باركان؟
- تنص صيغة باركان على أنه إذا كان من الممكن أن يكون شيء ما F، فإنه يوجد شيء ما يمكن أن يكون F — بتحريك المحدد الكمي الوجودي خارج عامل الإمكانية. وهي وعكسها صحيحة في دلالات النطاق الثابت ولكنها تفشل عندما تتغير النطاقات عبر العوالم، ولهذا السبب تؤثر على ما إذا كان نفس الأفراد موجودين في كل عالم ممكن.