اللغة الرسمية: الخصائص والأمثلة
اللغة الرسمية هي مجموعة من العلامات اللغوية المستخدمة حصريًا في المواقف التي تكون فيها اللغة الطبيعية غير مناسبة. بشكل عام ، تنقسم اللغة إلى طبيعية أو غير رسمية ومصطنعة. الأول يستخدم للحالات الشائعة في الحياة اليومية. وفي الوقت نفسه ، يتم استخدام الاصطناعي في مواقف محددة خارج نطاق الحياة اليومية.
بهذه الطريقة ، اللغة الرسمية هي جزء من المجموعة الاصطناعية. يستخدم هذا ، لا سيما في العلوم الرسمية (تلك التي ليس مجال عملها هو حقائق العالم المادي بل العالم المجرد). بعض هذه العلوم تشمل المنطق والرياضيات وبرمجة الكمبيوتر.
في هذا المعنى ، يستخدم هذا النوع من اللغات رموزًا لغوية غير طبيعية (ليس لديهم أي تطبيق داخل الاتصالات في العالم العادي). في مجال العلوم الرسمية ، اللغة الرسمية هي مجموعة من سلاسل الرموز التي يمكن تنظيمها بواسطة قوانين خاصة بكل من هذه العلوم.
الآن ، يستخدم هذا النوع من اللغة مجموعة من الرموز أو الحروف كأبجدية. من هذا ، يتم تشكيل "سلاسل اللغة" (الكلمات). هذه ، إذا كانت تمتثل للقواعد ، تعتبر "كلمات جيدة التنسيق" أو "صيغ جيدة التنسيق".
ملامح
بيئة محظورة
الهدف من اللغة الرسمية هو تبادل البيانات في ظل ظروف بيئية مختلفة عن اللغات الأخرى. على سبيل المثال ، في لغة البرمجة ، تكون النهاية هي التواصل بين البشر وأجهزة الكمبيوتر أو بين الأجهزة المحوسبة. انها ليست التواصل بين البشر.
وبالتالي ، فهي لغة مخصصة ، تم إنشاؤها مع هدف محدد وتعمل في سياقات محددة للغاية. أيضا ، لا يتم استخدامه بطريقة ضخمة. على العكس من ذلك ، يقتصر استخدامه على من يعرفون هدف اللغة وسياقها الخاص.
قواعد النحو بداهة
تتشكل اللغة الرسمية من إنشاء قواعد نحوية مسبقة تعطي الأساس. لذلك ، أولاً نقوم بتصميم مجموعة المبادئ التي ستحكم مزيج من العناصر (بناء الجملة) ومن ثم إنشاء الصيغ.
من ناحية أخرى ، تطوير اللغة الرسمية واعية. وهذا يعني أن هناك حاجة إلى بذل جهد متواصل لتعلمهم. وفقًا لترتيب الأفكار نفسه ، يؤدي استخدامه إلى تخصص في لوائح واتفاقيات الاستخدام العلمي.
الحد الأدنى المكون الدلالي
المكون الدلالي في اللغة الرسمية هو الحد الأدنى. سلسلة معينة تنتمي إلى اللغة الرسمية ليس لها أهمية في حد ذاتها.
الحمل الدلالي قد يكون لديهم جزئيا من المشغلين والعلاقات. بعض هذه العوامل هي: المساواة ، عدم المساواة ، العوامل المنطقية الضامة والحسابية.
في اللغة الطبيعية ، فإن تكرار مزيج "p" و "a" في كلمة "dad" له القيمة الدلالية للوالدين. ومع ذلك ، في اللغة الرسمية لا. في المجال العملي ، يكمن معنى أو تفسير السلاسل في النظرية التي تحاول تعريفها من خلال تلك اللغة الرسمية.
وبالتالي ، عندما يتم استخدامه للأنظمة الخطية للمعادلات ، فإنه يحتوي على نظرية المصفوفة كواحدة من قيمها الدلالية. من ناحية أخرى ، يحتوي هذا النظام نفسه على الحمل الدلالي لتصميمات الدوائر المنطقية في الحوسبة.
في الختام ، فإن معاني هذه السلاسل تعتمد على مجال العلوم الرسمية التي تطبق فيها.
اللغة الرمزية
اللغة الرسمية هي رمزية تماما. يتكون هذا من العناصر التي تتمثل مهمتها في نقل العلاقة بينهما. هذه العناصر هي العلامات اللغوية الرسمية التي ، كما ذكرنا ، لا تولد أي قيمة دلالية في حد ذاتها.
يسمح لنا شكل بناء التماثل اللغوي الرسمي بإجراء حسابات وتأسيس حقائق لا تعتمد على الحقائق بل على علاقاتهم. هذا symbology فريد من نوعه وبعيدا عن أي موقف ملموس في العالم المادي.
عالمية
اللغة الرسمية لها طابع عالمي. بخلاف تلك الطبيعية ، فإن الدافع وراء شخصيتها يسمح بالتفسيرات واللهجات المتعددة ، فإن الشكل الرسمي يبدو ثابتًا.
في الواقع ، إنه مشابه لأنواع مختلفة من المجتمعات. مناهجهم لها نفس المعنى لجميع العلماء بغض النظر عن اللغة التي يتحدثون بها.
الدقة والتعبير
بشكل عام ، اللغة الرسمية دقيقة وليست معبرة للغاية. تمنع قواعد تكوينه المتحدثين من صياغة مصطلحات جديدة أو إعطاء معاني جديدة للمصطلحات الحالية. ولا يمكن استخدامه لتوصيل المعتقدات والحالات النفسية والحالات النفسية.
قدرة التوسع
في التدبير الذي تم إحراز تقدم في اكتشاف التطبيقات للغة الرسمية ، تم تطويرها بشكل كبير. حقيقة أنه يمكن تشغيلها ميكانيكيا دون التفكير في محتواها (معانيها) يتيح الجمع الحر بين الرموز والمشغلين.
من الناحية النظرية ، فإن نطاق التوسع لا حصر له. على سبيل المثال ، ترتبط التحقيقات الحديثة في مجال الحوسبة والحوسبة باللغتين (الطبيعية والرسمية) لأغراض عملية.
على وجه التحديد ، تعمل مجموعات من العلماء على طرق لتحسين التكافؤ بينهم. في النهاية ، المطلوب هو خلق ذكاء يمكنه استخدام لغة رسمية لإنتاج لغة طبيعية.
أمثلة
منطق
في السلسلة: (p⋀q) ⋁ (r⋀t) => t ، ترمز الأحرف p ، q ، r ، t إلى المقترحات دون أي معنى ملموس. من ناحية أخرى ، تمثل الرموز ⋀ و ⋁ و => الموصلات التي تربط المقترحات. في هذا المثال بالذات ، الموصلات المستخدمة هي "y" (⋀) ، "o" (⋁) ، "then" (=>).
أقرب ترجمة إلى السلسلة هي: إذا تم استيفاء أي من التعبيرات الموجودة بين قوسين أم لا ، فسيتم استيفاء t أو عدم الوفاء به. الروابط هي المسؤولة عن إقامة العلاقات بين المقترحات التي يمكن أن تمثل أي شيء.
رياضي
في هذا المثال الرياضي A = ❴x | x⦤3⋀x> 2❵ ، تتداخل مجموعة ذات اسم "A" تحتوي على عناصر من الاسم "x". جميع عناصر A مرتبطة بواسطة symbology ❴، |، ⦤، ⋀،>، ❵.
يتم استخدام كل هذه العناصر هنا لتحديد الشروط التي يجب على العناصر "x" الوفاء بها حتى تكون من مجموعة "A".
تفسير هذه السلسلة هو أن عناصر هذه المجموعة هي كل العناصر التي تفي بشرط أن تكون أقل من أو تساوي 3 وفي نفس الوقت أكبر من 2. وبعبارة أخرى ، تحدد هذه السلسلة الرقم 3 الذي هو العنصر الوحيد الذي يفي بالشروط.
برمجة الكمبيوتر
يحتوي خط البرمجة IF A = 0 ، ثم GOTO 30 ، 5 * A + 1 على متغير "A" يخضع لعملية مراجعة واتخاذ قرار من خلال مشغل يعرف باسم "if مشروط".
تعد التعبيرات "IF" و "THEN" و "GOTO" جزءًا من بناء جملة المشغل. وفي الوقت نفسه ، فإن بقية العناصر هي قيم المقارنة والعمل "A".
معناها: يُطلب من الكمبيوتر تقييم القيمة الحالية لـ "A". إذا كان يساوي الصفر ، فسيذهب إلى "30" (سطر آخر من البرمجة حيث سيكون هناك تعليمة أخرى). في حالة اختلافها عن الصفر ، فسيتم ضرب المتغير "A" (*) بالقيمة 5 وستضاف القيمة 1 (+).
