המשמעות של Metalanguage

מהי שפת מתכת:

Metalanguage היא השפה המשמשת לתיאור, הצבעה או ניתוח שפה.

בלוגיקה ובבלשנות, שפת המתכת משמשת לניתוח ובניית הבעיות הלוגיות הנובעות מפרדוקסים סמנטיים בשפה המשמשת לתיאור אובייקטים.

שפת המתכת מוגדרת גם כשפה המתמחה לתיאור מערכת לשונית טבעית או שפה אחרת הנחשבת למושא הניתוח. הדבר נכון במיוחד בלימוד שפה חדשה, כגון "המילה שפה פירושו באנגלית "שפה".

ביטויים בשפת מתכת נבדלים בדרך כלל מאובייקט-שפה באמצעות נטוי, מרכאות או כתיבת שורות נפרדות, אם כי לא תמיד זה בא לידי ביטוי כך.

הסופר הבריטי ברטרנד ראסל (1872-1970) הגדיר את תורת ההיררכיה של השפות בשני מישורים:

  • רמת אובייקט שפה: משמשת להתייחסות לאובייקטים, כגון "הם אנשים".
  • רמת שפה מתכתית או מתכתית: זוהי השפה המשמשת להגדרת הרמה הקודמת, למשל, בביטוי "מהגרים הם אנשים", "מהגרים" היא ברמת שפת המתכת.

מצד שני, הסופר הפולני אלפרד טרסקי (1901-1983) מגדיר שפת מתכת כפתרון לפרדוקסים סמנטיים, וקובע כי "יש צורך לדבר את האמת על השפה משפה אחרת הנקראת metalanguage".

כמה דוגמאות לשפת מתכת הן שפה דקדוקית, שפה לקסיקוגרפית, שפה לוגית, שפת ילדים, שפה טכנית, שפת מחשב, בין היתר.

ראה גם שפה.

בבלשנות, שישה שימושים או פונקציות מובחנים בשפה, אחד מהם הוא הפונקציה המטא -לשונית, שמשתמשת בשפת המתכת כדי לדבר על השפה עצמה. לדוגמה: "שפת המתכת היא שפה."

ראה גם פונקציות שפה.

מאפייני שפת המתכת

לשפת המתכת יש מאפיינים ספציפיים שעוזרים להבין טוב יותר את המסר בשל המורכבות ההגיונית שהיא מקיימת. אלפרד טרסקי מגדיר כמה מאפיינים חיוניים לשפה שתיחשב לשפת מתכת:

  • שפת המתכת מגדירה שפה המשתמשת בשפה אחרת.
  • שפת המתכת חייבת להיות עשירה יותר משפת האובייקט, מכיוון שהיא מתארת ​​את המשפטים ואת התחביר שלה.
  • שפת המתכת מובנת בתוך תורת הסטים וההיגיון הבינארי.
  • שפת המתכת חייבת להיות עותק של שפת האובייקט, כך שגם מה שאפשר לומר איתה יכול להתבטא בשפת המתכת.

שפת מתכת במחשוב

שפת המתכת במחשוב משמשת לתיאור מחרוזות תכניות במדויק. בשנת 1950, בתחום המחשוב, היו שני סוגי בעיות בהרכב תוכנות מחשב:

  1. היעדר עיצוב שפה מתמטית לביטוי אלגוריתם.
  2. חוסר היכולת לתרגם תוכניות לקוד מחשב.

ראה גם אלגוריתם.

הבעיה הראשונה נפתרה הודות ליצירת הדיסציפלינה של עיצוב תוכנות מחשב, והשאלה השנייה נפתרה הודות לדור המהדרים המוגדרים כשפת מתכת, בהיותה תוכנית הקוראת תוכנית.

מהדרי מחשבים מבוססים על שפות תכנות. אחד המשומשים ביותר הוא BNF (Backus-Naur Form) שנוצר על ידי ג'ון באקוס ופיטר נאור, שפותח באופן עצמאי על ידי נועם חומסקי, הידוע גם בשם היררכית מודלים מסוג TYPE2 של חומסקי.

המהדרים יוצרים ניתוח תחבירי המזהה את רוב השגיאות בקוד המקור ומתרגם אותו לתוכנית מקבילה בשפה אחרת (קוד אובייקט).

none:  דת-ורוחניות ביטויים פופולריים מַדָע