ميتا فارايبل
في المنطق ، المتغير الفوقي (أو المتغير اللغوي الفوقي [ 1 ] أو المتغير التركيبي ) [ 2 ] هو رمز أو سلسلة رموز تنتمي إلى لغة فوقية وتمثل عناصر من لغة موضوعية معينة. على سبيل المثال، في الجملة
- ليكن A و B جملتين من لغة ℒ
الرموز A و B هي جزء من اللغة الوصفية التي يتم فيها صياغة البيان حول لغة الكائن ℒ.
اعتبر جون كوركوران هذا المصطلح غير مناسب لأنه يحجب استخدام المخططات ولأن هذه "المتغيرات" لا تمتد فعلياً على نطاق معين. [ 3 ] : 220
جرت العادة على استبدال المتغير الفوقي بنفس الحالة في جميع مواضع ظهوره في مخطط معين. وهذا يختلف عن الرموز غير الطرفية في القواعد النحوية الرسمية ، حيث يمكن استبدال الرموز غير الطرفية على يمين قاعدة الإنتاج بحالات مختلفة. [ 4 ]
تؤدي محاولات صياغة مفهوم المتغير الفوقي إلى نوع من نظرية الأنواع . [ 5 ]
انظر أيضاً
ملحوظات
- ↑ هانتر 1996 ، ص 13.
- ↑ شوينفيلد 2001 ، ص 7 .
- ↑ كوركوران 2006 ، ص 220 .
- ↑ تينينت 2002 ، ص 36-37، 210 .
- ↑ ماساهيكو ساتو، تاكافومي ساكوراي، يوكيوشي كامياما، وأتسوشي إيغاراشي. " حسابات المتغيرات الفوقية " في منطق علوم الحاسوب. ورشة العمل الدولية السابعة عشرة CSL 2003. المؤتمر السنوي الثاني عشر للجمعية الأوروبية لمنطق علوم الحاسوب (EACSL ). ندوة كورت غودل الثامنة، KGC 2003، فيينا، النمسا، 25-30 أغسطس 2003. وقائع المؤتمر ، سلسلة محاضرات سبرينغر في علوم الحاسوب 2803. ISBN 3-540-40801-0الصفحات 484-497
مراجع
- كوركوران، ج. (2006). "المخططات: مفهوم المخطط في تاريخ المنطق" (ملف PDF) . نشرة المنطق الرمزي . 12 (2): 219-240 . doi : 10.2178/bsl/1146620060 . S2CID 6909703 .
- هنتر، جيفري (1996) [1971]. ما وراء المنطق: مقدمة في نظرية ما وراء المنطق القياسي من الدرجة الأولى . مطبعة جامعة كاليفورنيا (نُشر عام 1973). ISBN 9780520023567. OCLC 36312727 . ( متاح للزبائن ذوي الإعاقات البصرية )
- شوينفيلد، جوزيف ر. (2001) [1967]. المنطق الرياضي ( الطبعة الثانية). إيه كيه بيترز . ISBN 978-1-56881-135-2.
- تينانت، آر دي (2002). تحديد مواصفات البرمجيات: مقدمة عملية . مطبعة جامعة كامبريدج. رقم ISBN 978-0-521-00401-5.
فئات :
- الرموز المنطقية
- ميتالوجيك
- بناء الجملة (المنطق)
- المتغيرات (الرياضيات)