الرمز (الرسمي)

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

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

قد يشكل الرمز أو سلسلة الرموز صيغة سليمة إذا كانت متوافقة مع قواعد تكوين اللغة.

في النظام الرسمي، يمكن استخدام الرمز كعلامة في العمليات الرسمية. وتُسمى مجموعة الرموز الرسمية في اللغة الرسمية بالأبجدية (وبالتالي يمكن الإشارة إلى كل رمز على أنه "حرف") ^{[ 1 ]}

قد يكون الرمز الرسمي المستخدم في منطق الدرجة الأولى متغيرًا (عضوًا من عالم الخطاب )، أو ثابتًا، أو دالة (ترتبط بعضو آخر من العالم) أو مسندًا (يرتبط بـ T/F).

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

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

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

هذا هو الأساس الفلسفي الذي تقوم عليه قواعد مونتاجو .

ومع ذلك، فقد تم تحدي هذه المحاولة لمساواة الرموز اللغوية بالرموز الرسمية على نطاق واسع، لا سيما في تقليد اللغويات المعرفية ، من قبل فلاسفة مثل ستيفان هارناد ، ولغويين مثل جورج لاكوف ورونالد لانجاكر .

• قائمة الرموز الرياضية
• قائمة الرموز المنطقية
• الرموز الطرفية وغير الطرفية