روث باركان ماركوس

تم تقديم صيغة باركان، التي نوقشت على نطاق واسع، كمسلمة في لغة QML. ^{[ 9 ] : 481.} في أول أعمالها المنشورة، وهي أول دراسة مسلمة للمنطق الموجه مع الكميات، نشرت ماركوس تحت اسمها قبل الزواج روث سي. باركان. وتضمنت هذه الدراسة المقالات الثلاث التالية: "حساب وظيفي من الدرجة الأولى قائم على الاستلزام الصارم"، مجلة المنطق الرمزي (JSL، 1946)، و"نظرية الاستنتاج في حساب وظيفي من الدرجة الأولى قائم على الاستلزام الصارم" (JSL، 1946)، و"هوية الأفراد في حساب وظيفي صارم من الدرجة الثانية" (JSL، 1947).

كانت الأنظمة الأولى للمنطق الموجه الكمي، والتي وسعت بعض الأنظمة الموجهية الافتراضية لكلارنس إيرفينغ لويس إلى الدرجة الأولى والثانية؛ أوراق عامي 1946 و1947، إنجازًا رئيسيًا في تطوير منطق القرن العشرين.

يُخصّص لويس تقديرًا خاصًا لماركوس في "ملاحظات حول منطق القصد"، التي نُشرت أصلاً في كتاب " البنية والمنهج والمعنى: مقالات تكريمًا لهنري م. شيفر" (نيويورك، 1951). ويُقرّ لويس هنا بأن باركان ماركوس هو أول منطقي يُوسّع منطق القضايا ليُصبح منطقًا قصديًا من الرتبة العليا.

اقترحت ماركوس في فلسفة اللغة وجهة نظر مفادها أن الأسماء العلمية هي مجرد "علامات" (كما ورد في كتابها "الطرائق واللغات القصدية" ( Synthese ، 1961) وفي مصادر أخرى). ووفقًا لنظرية العلامات الخاصة بها للأسماء (وهي نظرية مرجعية مباشرة )، تُستخدم هذه "العلامات" للإشارة إلى شيء ما، وهو حامل الاسم. ويُعتبر معنى الاسم مُستنفدًا بهذه الوظيفة المرجعية. وتتناقض هذه الرؤية، على سبيل المثال، مع نظرية وصف الأسماء العلمية لبرتراند راسل ، وكذلك نظرية وصف الأسماء العنقودية لجون سيرل ^{[ 10 ]} التي كانت سائدة في ذلك الوقت. وقد ربط كوينتين سميث هذه الرؤية للأسماء العلمية (التي عُرضت عام 1962 مع تعليق ويلارد فان أورمان كواين ) بنظرية المرجعية الواردة في كتاب شاول كريبك " التسمية والضرورة" ^{[ 11 ]} . ومع ذلك، يقول البروفيسور تيموثي ويليامسون في إشادة حديثة بروث باركان ماركوس :

إحدى الأفكار التي تتناغم مع فلسفة اللغة المعاصرة هي فكرة اعتبار الأسماء العلمية مجرد علامات، دون أي مضمون وصفي. وهذا لا يتوافق مع فكرة كريپكي عن الأسماء كمُحدِّدات جامدة ، تُشير إلى الشيء نفسه في جميع العوالم ذات الصلة، لأن الأوصاف المحددة "الجامدة" هي مُحدِّدات جامدة، لكنها مع ذلك تحمل مضمونًا وصفيًا. بل هي الفكرة التي طورها لاحقًا ديفيد كابلان وآخرون، وهي أن الأسماء العلمية تُشير بشكل مباشر، بمعنى أنها لا تُضيف إلى القضايا التي تُعبِّر عنها الجمل التي ترد فيها سوى حاملها. ^{[ 12 ]}

وقد جادل فيلسوف اللغة ستيفن نيل أيضًا ضد ادعاء البروفيسور سميث في ملحق التايمز الأدبي . ^{[ 13 ]}

أثبت ماركوس رسميًا ضرورة الهوية في عام 1946، ثم دافع عنها بشكل غير رسمي في عام 1961، رافضًا بذلك إمكانية الهوية العرضية. انظر مجلة المنطق الرمزي ، (1947) 12: ص 12-15

تُفضّل ماركوس تفسيرًا يشمل نطاقه كياناتٍ فردية في العالم الواقعي. كما تُشير إلى أن بعض الاستخدامات تستدعي استخدام دلالات بديلة. وتُقدّم حججًا ضدّ مفهوم "الاحتمالات". انظر: "الاستغناء عن الاحتمالات" (وقائع الجمعية الفلسفية الأمريكية، 1975-1976)؛ "الاحتمالات والعوالم الممكنة" ( دراسات غراتس الفلسفية ، 1985-1986).

تُعرّف ماركوس مجموعة المبادئ الأخلاقية المتسقة بأنها تلك التي يوجد فيها "عالم ممكن" تُصبح فيه جميعها قابلة للامتثال. ولا يُعدّ تعارضها في الواقع دليلاً على عدم اتساقها. وكما هو الحال في ضرورة الهوية، وُوجه هذا التفسير للصراع الأخلاقي بمقاومة. وتُعارض حجتها الرأي السائد بأن أنظمة القواعد الأخلاقية غير متسقة حتمًا. ^{[ 14 ]}

يُقترح أن الاعتقاد هو علاقة بين الفاعل وحالة محتملة في ظل ظروف داخلية وخارجية محددة. إن الموافقة على جملة مُقتبسة (تفسير الاعتقاد بالفصل بين الاقتباسات) ليست سوى مؤشر سلوكي واحد للاعتقاد، وسلوك المراهنة مؤشر آخر. ويُرفض التفسير اللغوي البحت للاعتقاد (مثل ديفيدسون ). فعندما يُوصف الفاعل تقليديًا بأنه يؤمن باستحالة ما إلى أن يُكشف عن استحالتها، يقترح ماركوس أنه في تلك الظروف، ينبغي للفاعل أن يقول إنه ادعى فقط أنه يؤمن باستحالة ما. وبالمثل، عندما يكتشف عالم رياضيات أن إحدى فرضياته خاطئة ، وبما أنها مستحيلة رياضيًا إذا كانت خاطئة، فإنه سيقول إنه ادعى فقط أن الفرضية كانت صحيحة. وعلى الرغم من غرابة هذا الاقتراح، إلا أنه يُشابه المبدأ المقبول على نطاق واسع حول المعرفة: إذا ادعينا معرفة (ص)، ثم تبين أن (ص) خاطئة، فإننا لا نقول إننا كنا نعرفها، بل نقول إننا أخطأنا في هذا الادعاء. ^{[ 15 ]}

يهتم المذهب الجوهري الأرسطي بالخصائص التي يُعرّفها ماركوس في سياق إطار منطقي مشروط. أحد المقترحات هو أن الخاصية جوهرية إذا وُجدت في شيء ما، وليس كل شيء، وإذا وُجدت في شيء ما فهي بالضرورة موجودة فيه، وليست خاصية تمييزية تمامًا، كخاصية النوع الطبيعي. في المقابل، يزعم كواين وآخرون أن المنطق المشروط أو علم الدلالة يلتزم بالحقائق الجوهرية. ويجادل ماركوس بشكل غير رسمي بوجود تفسيرات لبعض الأنظمة المشروطة تكون فيها جميع الادعاءات الجوهرية خاطئة. وقد أثبت تيرينس بارسونز هذه النتيجة لاحقًا بشكل رسمي. ^{[ 16 ]}

يُقترح بديلٌ لدلالات تارسكي (النظرية النموذجية) لبعض الاستخدامات التي تُعطى فيها "شروط الصدق للصيغ الكمية بدلالة الصدق فقط، دون الرجوع إلى مجالات التأويل". وقد أُطلق على هذا اسم " دلالات قيمة الصدق ". يُبين ماركوس أن الادعاء بأن هذه الدلالات تؤدي إلى تناقضات هو ادعاءٌ خاطئ. ^{[ 17 ]} قد تكون هذه الدلالات ذات أهمية في الرياضيات، مثل حقل هارتري ، أو في الخطاب الروائي. يُعدّ التحديد الكمي الموضوعي ضروريًا لتفسير الهوية وغيرها من الفئات الميتافيزيقية . ^{[ 18 ] : 190-196}