المنطق القصدي

📅 آخر تحديث: ٢٤ يوليو ٢٠٢٦
✍️ نُشر في: ٢٤ يوليو ٢٠٢٦
الموسوعة الحرة

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

ملخص

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

لتحقيق هدفها الخاص، اضطرت المنطق إلى تطوير أدواتها الرسمية الخاصة، وأبرزها قواعدها النحوية، بمعزل عن مجرد الاستخدام المباشر للغة الطبيعية الأساسية. [ 3 ] تُعدّ الدوال (المعروفة أيضًا بالكلمات الوظيفية) من أهم فئات القواعد النحوية المنطقية (إلى جانب الفئات الأساسية كالجملة واسم الفرد ) : [ 4 ] يمكن اعتبار الدالة تعبيرًا "غير مكتمل" يحتوي على مواضع وسائط تحتاج إلى ملء. إذا قمنا بملء هذه المواضع بتعبيرات فرعية مناسبة، فإن التعبير الناتج المكتمل تمامًا يُمكن اعتباره نتيجة، أي مُخرَجًا. [ 5 ] وبالتالي، تعمل الدالة كعلامة دالة، [ 6 ] حيث تأخذ تعبيرات إدخال، لتُنتج تعبير مُخرَجًا جديدًا. [ 5 ]

يربط علم الدلالة تعابير اللغة بالعالم الخارجي. كما طوّر علم الدلالة المنطقية بنيته الخاصة. يمكن إسناد القيم الدلالية إلى التعابير في فئات أساسية: يُطلق على مرجع اسم فردي (الشيء "المُشار إليه" الذي يُطلق عليه هذا الاسم) اسم امتداده ؛ أما بالنسبة للجمل، فإن قيمة صدقها هي امتدادها. [ 7 ]

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

تزخر اللغات الطبيعية بالدوال القصدية؛ [ 9 ] ويمكن توضيح ذلك من خلال العبارات القصدية . لا يستطيع المنطق الامتدادي الوصول إلى هذه البنى المنطقية الدقيقة للغة، بل يتوقف عند مستوى أكثر عمومية. وقد سُعيَ إلى إجراء مثل هذا التحليل المنطقي العميق منذ زمن بعيد: فقد درس مؤلفون، منذ عهد أرسطو، القياسات المنطقية الموجهة . [ 10 ] وطوّر غوتلوب فريجه نوعًا من الدلالات ثنائية الأبعاد : لحل مسائل مثل تلك المتعلقة بالعبارات القصدية ، قدّم فريجه تمييزًا بين قيمتين دلاليتين : للجمل (والمصطلحات الفردية) امتداد وقصد . [ 6 ] ويمكن تفسير هاتين القيمتين الدلاليتين، ونقلهما أيضًا إلى الدوال (باستثناء الدوال القصدية، فهي ذات قصد فقط).

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

هناك بعض أنظمة المنطق القصدي التي تدعي أنها تحلل اللغة المشتركة بشكل كامل:

يُعد المنطق الموجه تاريخياً أقدم مجال في دراسة المنطق القصدي، وقد كان الدافع الأصلي وراءه هو صياغة مفهومي "الضرورة" و"الإمكانية" (في الآونة الأخيرة، ينتمي هذا الدافع الأصلي إلى المنطق الأليثي ، وهو مجرد واحد من فروع المنطق الموجه العديدة). [ 12 ]

Modal logic can be regarded also as the most simple appearance of such studies: it extends extensional logic just with a few sentential functors:[13] these are intensional, and they are interpreted (in the metarules of semantics) as quantifying over possible worlds. For example, the Necessity operator (the 'box') when applied to a sentence A says 'The sentence "('box')A" is true in world i if and only if it is true in all worlds accessible from world i'. The corresponding Possibility operator (the 'diamond') when applied to A asserts that "('diamond')A" is true in world i if and only if A is true in some worlds (at least one) accessible to world i. The exact semantic content of these assertions therefore depends crucially on the nature of the accessibility relation. For example, is world i accessible from itself? The answer to this question characterizes the precise nature of the system, and many exist, answering moral and temporal questions (in a temporal system, the accessibility relation relates states or 'instants' and only the future is accessible from a given moment. The Necessity operator corresponds to 'for all future moments' in this logic. The operators are related to one another by similar dualities to those relating existential and universal quantifiers[14] (for example by the analogous correspondents of De Morgan's laws). I.e., Something is necessary if and only if its negation is not possible, i.e. inconsistent. Syntactically, the operators are not quantifiers, they do not bind variables,[15] but govern whole sentences. This gives rise to the problem of referential opacity, i.e. the problem of quantifying over or 'into' modal contexts. The operators appear in the grammar as sentential functors,[14] they are called modal operators.[15]

As mentioned, precursors of modal logic include Aristotle. Medieval scholarly discussions accompanied its development, for example about de re versus de dicto modalities: said in recent terms, in the de re modality the modal functor is applied to an open sentence, the variable is bound by a quantifier whose scope includes the whole intensional subterm.[10]

بدأ المنطق الموجه الحديث مع كلارنس إيرفينغ لويس . وقد استلهم عمله من ترسيخ مفهوم الاستلزام الصارم . [ 16 ] مكّن منهج العوالم الممكنة من دراسة المسائل الدلالية بدقة أكبر. وأدى الصياغة الرسمية الدقيقة إلى ظهور دلالات كريپكي (التي طورها كل من شاول كريپكي ، وجاكو هينتيكا ، وستيغ كانغر). [ 13 ]

المنطق القصدي القائم على نظرية الأنواع

في عام 1951، كان ألونسو تشيرش قد طور حسابًا قصديًا . وقد تم شرح الدوافع الدلالية بشكل واضح، بالطبع دون استخدام الأدوات التي نستخدمها الآن لتحديد دلالات المنطق الموجه بشكل رسمي، لأنها لم تكن قد اختُرعت آنذاك: [ 17 ] لم يقدم تشيرش تعريفات دلالية رسمية. [ 18 ]

لاحقًا، وفّر منهج العوالم الممكنة في علم الدلالة أدواتٍ لدراسة شاملة في الدلالة القصدية. تمكّن ريتشارد مونتاغيو من الحفاظ على أهم مزايا حساب القصدية لتشرش في نظامه. وعلى عكس سابقه، بُنيت قواعد مونتاغيو بطريقة دلالية بحتة: فقد أصبح من الممكن تبسيط المعالجة بفضل الأدوات الرسمية الجديدة التي تم ابتكارها منذ عمل تشرش. [ 17 ]

انظر أيضاً

ملحوظات

مراجع

  • ميلفين فيتينغ (2004). منطق القصدية من الدرجة الأولى. حوليات المنطق البحت والتطبيقي 127: 171-193. استُخدمت في هذه المقالة النسخة الأولية المنشورة عام 2003، والمؤرشفة بتاريخ 4 يوليو 2008 على موقع Wayback Machine .
  • ميلفين فيتينغ (2007). المنطق القصدي . في موسوعة ستانفورد للفلسفة .
  • Ruzsa، Imre (1984)، Klasszikus، modális és intenzionális logika (في المجرية)، بودابست: Akadémiai Kiadó، ISBN 963-05-3084-8ترجمة العنوان: "المنطق الكلاسيكي، والمنطق الموجه، والمنطق القصدي".
  • Ruzsa، Imre (1987)، "Függelék. Az utolsó két évtized"، في Kneale ، William؛ Kneale، Martha (eds.)، A logika fejlődése (باللغة الهنغارية)، بودابست: جوندولات، الصفحات من 695 إلى 734، ISBN  963-281-780-Xالأصل: "تطور المنطق". ترجمة عنوان الملحق بقلم روزا، الموجود فقط في النسخة المجرية: "العقدان الأخيران".
  • Ruzsa، Imre (1988)، Logikai szintaxis és szemantika (في المجرية)، المجلد.  1، بودابست: أكاديميا كيادو، ISBN 963-05-4720-1ترجمة العنوان: "بنية ودلالات المنطق".
  • Ruzsa، Imre (1989)، Logikai szintaxis és szemantika , vol.  2، بودابست: أكاديميا كيادو، ISBN 963-05-5313-9.
  • Ruzsa، Imre (2000)، Bevezetés a Modern logikába ، أوزوريس تانكونيفيك (باللغة المجرية)، بودابست: أوزوريس، ISBN 963-379-978-3ترجمة العنوان: "مقدمة في المنطق الحديث".