الحكم على رامزي

جمل رامزي هي إعادة بناء منطقية رسمية للمقولات النظرية ، تسعى إلى الفصل بين العلم والميتافيزيقا. تهدف جملة رامزي إلى توضيح المقولات التي تحتوي على مصطلحات نظرية غير قابلة للملاحظة (مصطلحات تستخدمها لغة نظرية ) عن طريق استبدالها بمصطلحات قابلة للملاحظة (مصطلحات تستخدمها لغة الملاحظة ، وتسمى أيضًا اللغة التجريبية ).

قدّم الفيلسوف التجريبي المنطقي رودولف كارناب مفهوم جمل رامزي . مع ذلك، لا ينبغي الخلط بينها وبين جمل كارناب، التي تتسم بالحياد فيما يتعلق بوجود أي شيء ينطبق عليه المصطلح. ^{[ 1 ]}

بالنسبة لكارناب، لم تكن أسئلة من قبيل "هل الإلكترونات حقيقية؟" و"هل يمكنك إثبات أن الإلكترونات حقيقية؟" أسئلة مشروعة، ولم تكن تحمل أي حقائق فلسفية أو ميتافيزيقية جوهرية . بل كانت مجرد "أسئلة زائفة" لا معنى لها، تُطرح من خارج الإطار اللغوي العلمي. ضمن هذا الإطار، لا تقتصر الكيانات كالإلكترونات أو الموجات الصوتية ، والعلاقات كالكتلة والقوة ، على الوجود والمعنى فحسب، بل تُعدّ "مفيدة" للعلماء الذين يعملون عليها. وللتعامل مع هذه الأسئلة الداخلية بطريقة تُبرر محتواها النظري تجريبيًا - مع الحفاظ على التمييز بين القضايا التحليلية والتركيبية - شرع كارناب في تطوير منهجية منظمة لدمج النظرية والملاحظة التجريبية في صيغة لغوية ذات معنى .

بدأ كارناب بتمييز الأشياء القابلة للملاحظة عن الأشياء غير القابلة للملاحظة. لكن سرعان ما برزت مشكلة: فاللغة الألمانية، وكذلك الإنجليزية ، لا تميزان بشكل طبيعي بين المصطلحات المسندة بناءً على تصنيف قائم على الملاحظة. وكما أقر كارناب، "إن الخط الفاصل بين القابل للملاحظة وغير القابل للملاحظة هو خط اعتباطي إلى حد كبير". فعلى سبيل المثال، يمكن إدراك المسند "ساخن" بلمس اليد لجمرة مشتعلة. لكن "الساخن" قد يحدث على مستوى مجهري للغاية (كمثال على ذلك، "الحرارة" النظرية الناتجة عن إنتاج البروتينات في خلية حقيقية النواة ) بحيث يكون غير قابل للملاحظة عمليًا (في الوقت الحاضر). وقد وصف الفيزيائي والفيلسوف موريتز شليك هذا الفرق لغويًا، باعتباره الفرق بين الفعلين الألمانيين kennen (المعرفة بمعنى الإلمام بشيء ما - الإدراك) و erkennen (المعرفة بمعنى فهم شيء ما - حتى وإن كان غير قابل للملاحظة). ^{[ ٢ ]} قد يُفسر هذا التمييز اللغوي قرار كارناب بتقسيم المفردات إلى فئتين اصطناعيتين: مفردات المصطلحات غير القابلة للملاحظة ("النظرية") (يُشار إليها فيما يلي بـ "V _T ")، وهي المصطلحات التي نعرفها ولكننا لسنا على دراية بها ( erkennen )؛ ومفردات المصطلحات القابلة للملاحظة ("V _O ")، وهي المصطلحات التي نعرفها ( kennen ) وسنقبلها بشكل اعتباطي. وبناءً على ذلك، تم دمج المصطلحات المُميزة بهذه الطريقة في تراكيب جملية متشابهة: المصطلحات النظرية في الجمل النظرية ( جمل نظرية )؛ والمصطلحات القابلة للملاحظة في الجمل الوصفية ( جمل وصفية ).

كانت الخطوة التالية لكارناب هي ربط هذه المفاهيم المنفصلة بما يسميه "قواعد التوافق" (قواعد C)، وهي جمل "مختلطة" تحتوي على كل من المصطلحات T و O. يمكن صياغة هذه النظرية على النحو التالي: T + C = df: اقتران مسلمات T + اقتران قواعد C – أي،${\displaystyle [(T_{1}\land T_{2}\land \cdots \land T_{n})+(C_{1}\land C_{2}\land \cdots \land C_{m})]}$يمكن توسيع هذا ليشمل مصطلحات الفئات، مثل فئة جميع الجزيئات، والعلاقات مثل "الوساطة"، والمسندات: على سبيل المثال، TC (t1 _, t2 _{, ...} , tn , _o1 , o2 , ..., om _{) . مع أن هذا مكّن كارناب من تحديد معنى أن تكون النظرية "تجريبية"، إلا أن هذه الجملة لا تُعرّف مصطلحات T صراحةً ،} ولا تُفرّق بين محتواها التحليلي ومحتواها التركيبي، ولذلك لم تكن كافيةً لأغراض كارناب.

وجد كارناب في نظريات فرانك ب. رامزي المنهجية اللازمة للانتقال إلى المرحلة التالية، وهي استبدال كل حد من حدود T بمتغيرات، ثم تحديد جميع حدود T كميًا وجوديًا في كل من جمل T وقواعد C. وقد أدت "جملة رامزي" الناتجة إلى حذف حدود T فعليًا، مع الحفاظ على تفسير المحتوى التجريبي للنظرية. ويتطور هذا النموذج على النحو التالي:

الخطوة 1 (النظرية التجريبية، المفترضة صحيحة): TC ( t ₁ . . . t _n , o ₁ . . . o _m )

الخطوة 2 (استبدال المتغيرات بمصطلحات T): TC (x ₁ . . . x _n , o ₁ . . . o _m )

الخطوة 3 (${\displaystyle \exists }$(تحديد كمية المتغيرات):${\displaystyle \exists x_{1}\ldots \exists x_{n}TC(x_{1}\ldots x_{n},o_{1}\ldots o_{m})}$.

الخطوة الثالثة هي جملة رامزي الكاملة، المُعبر عنها بـ " R TC"، وتُقرأ كالتالي: "توجد بعض العلاقات (غير المُحددة) بحيث تتحقق العلاقة TC (x1...xn, o1 ^... om ) عندما _تُسند هذه العلاقات _{إلى المتغيرات} . ₍ هذا يُعادل تفسيرًا كنموذج مناسب: توجد علاقات _{r1 ...} rn بحيث تتحقق العلاقة TC ( x1 ... _{xn ,} o1 ... _om ) عندما _تُسند القيمة _r1 إلى _xi ، و${\displaystyle 1\leq i\leq m}$.)

بهذا الشكل، تُجسّد جملة رامزي المحتوى الواقعي للنظرية. مع أن رامزي اعتقد أن هذه الصياغة كافية لاحتياجات العلم، إلا أن كارناب خالفه الرأي فيما يتعلق بإعادة بناء شاملة. ولتمييز المحتوى التحليلي عن المحتوى التركيبي، رأى كارناب أن الجملة المُعاد بناؤها يجب أن تستوفي ثلاثة شروط أساسية:

1. يجب أن يكون المكون الواقعي (F _T ) مكافئًا من الناحية الرصدية للنظرية الأصلية (TC).
2. يجب أن يكون المكون التحليلي (A _T ) غير مفيد من الناحية الرصدية.
3. يجب أن يكون الجمع بين F _T و A _T مكافئًا منطقيًا للنظرية الأصلية – أي${\displaystyle F_{T}+A_{T}\Leftrightarrow TC}$.

يتحقق الشرط 1 بواسطة ^R TC حيث أن التحديد الكمي الوجودي لمصطلحات T لا يغير الحقيقة المنطقية (الحقيقة L) لأي من العبارتين، ولإعادة بناء FT نفس الجمل O مثل النظرية نفسها، وبالتالي فإن ^R TC مكافئة للملاحظة لـ TC  : (بمعنى آخر، لكل جملة O: O،${\displaystyle [TC\models O\Leftrightarrow ^{R}TC\models O]}$ومع ذلك، وكما ذُكر، فإن الشرطين 2 و3 لا يزالان غير مُلبَّيين. أي، إذا نُظر إليهما بشكل منفصل، فإن A T _يحتوي على معلومات رصدية (يُلاحَظ أن كيانًا نظريًا ما يقوم بكذا وكذا، أو تربطه علاقة كذا وكذا)؛ ولا ينتج A _{T بالضرورة من F T.}

يتمثل حل كارناب في جعل العبارتين مشروطتين. إذا وُجدت علاقاتٌ ما بحيث تتحقق العلاقة [TC (x1 . . . xn, o1 . . . om)] عند إسناد علاقاتٍ معينةٍ إلى المتغيرات، فإن العلاقات المُسندة إلى تلك المتغيرات من قِبل النظرية الأصلية ستُحقق العلاقة [TC (t1 . . . tn, o1 . . . om)] – أو: ^R TC → TC. تُحقق هذه الخطوة المهمة كلا الشرطين المتبقيين، وتُحدث تمييزًا فعليًا بين المكونات التحليلية والتركيبية للصيغة الكلية. تحديدًا، بالنسبة للشرط الثاني: لا تُقدم الجملة الشرطية أي ادعاء معلوماتي حول الجمل O في TC، بل تُشير فقط إلى أنه "إذا" تحققت العلاقات من المتغيرات في TC، "فإن" ستكون الجمل O صحيحة. هذا يعني أن كل جملة O في TC التي يُستدل عليها منطقيًا من الجملة ^R TC → TC هي L-true (كل جملة O في AT إما صحيحة أو خاطئة: على سبيل المثال، يتمدد المعدن أو لا يتمدد؛ يتحول لون المادة الكيميائية إلى الأزرق أو لا يتحول، إلخ). وبالتالي، يمكن اعتبار TC المكون غير المعلوماتي (أي غير الواقعي) للعبارة، أو AT _. يتحقق الشرط 3 بالاستدلال: بمعرفة _AT ، نستنتج F _T → _AT . هذا يجعل _AT + F _T مجرد إعادة صياغة للنظرية الأصلية، ومن ثم AT _Ù F _T ó TC.

اعتبر كارناب احترام التمييز بين التحليلي والتركيبي شرطاً أساسياً . ويتحقق ذلك من خلال استخدام عمليتين متميزتين في الصياغة: الأولى هي إقامة صلة تجريبية بين المحتوى الواقعي للعبارة والنظرية الأصلية (التكافؤ القائم على الملاحظة)، والثانية هي اشتراط أن يكون المحتوى التحليلي غير مُفيد من الناحية القائمة على الملاحظة.

إن إعادة بناء كارناب، كما هي معروضة هنا، لا تهدف إلى أن تكون منهجًا حرفيًا لصياغة الافتراضات العلمية. إن استيعاب ما يسميه بيير دوهيم الكون "الكلي" برمته، المرتبط بأي نظرية محددة، يتطلب سردًا مطولًا ومعقدًا لـ ^R TC → TC. بدلًا من ذلك، ينبغي اعتبارها دليلًا منطقيًا على وجود طريقة يمكن للعلم من خلالها صياغة تفسيرات تجريبية قائمة على الملاحظة للمفاهيم النظرية - وفي هذا السياق، يمكن القول إن بناء رامزي وكارناب يوفر تمييزًا رسميًا مبررًا بين الملاحظة العلمية والبحث الميتافيزيقي.

ومن بين منتقدي الشكلية رامزي جون ويني - الذي وسع المتطلبات لتشمل قيدًا "غير إبداعي من الناحية الملاحظة" على A _T لكارناب - و دبليو في أو كواين وكارل هيمبل ، اللذان هاجما افتراضات كارناب الأولية من خلال التأكيد على الغموض الذي لا يزال قائمًا بين المصطلحات القابلة للملاحظة وغير القابلة للملاحظة.

• الواقعية البنيوية المعرفية على طريقة رامزي

• كارناب، رودولف (2003) [1950]. "التجريبية، والدلالات، والوجود". في موسر، ب.ك.؛ فاندر نات، أ. (محرران). المعرفة الإنسانية . مطبعة جامعة أكسفورد. ISBN 0195149661.
• كارناب، رودولف (2012) [1966]. مارتن غاردنر (محرر). مدخل إلى فلسفة العلوم . نيويورك: منشورات دوفر. ISBN 978-0486140865.(وخاصة الجزأين الثالث والخامس)
• كارناب، رودولف (2000) [1959]. "المفاهيم النظرية في العلوم". دراسات في تاريخ وفلسفة العلوم . 31 (1). مقدمة بقلم ستاتيس بسيلوس .
• ديموبولوس، و. (2007). "كارناب حول إعادة بناء النظريات العلمية". في ر. كريث؛ م. فريدمان (محرران). دليل كامبريدج لكارناب . ISBN 978-0521549455.
• موسر، ب.ك.؛ فاندر نات، أ.، محرران. (2003). المعرفة الإنسانية . مطبعة جامعة أكسفورد. ISBN 0195149661.
• ليلهامر، هالفارد؛ ميلور، دي إتش (2005). تراث رمزي . مطبعة جامعة أكسفورد. ص.  109. ردمك 9780199279555.
• بسيلوس، ستاتيس (2000). كارناب، حكم رامزي، والتجريبية الواقعية (ملف PDF) . تم الاطلاع عليه في 7 مايو 2025 – عبر uoa.gr.

• "الواقعية البنيوية المعرفية وجمل رامزي"
• "المصطلحات النظرية في العلوم"