מה זה Metalanguage:
שפה מתכתית היא שפה המשמשת לתיאור, מדינה או ניתוח שפה.
בלוגיקה ובבלשנות, מתכת-שפה משמשת לניתוח ובנייה של הבעיות הלוגיות שמציבים פרדוקסים סמנטיים בשפה המשמשת לתיאור אובייקטים.
שפת המתכת מוגדרת גם כשפה המתמחה לתיאור מערכת לשונית טבעית או שפה אחרת הנחשבת מושא הניתוח. זה נכון במיוחד בלימוד שפה חדשה, כמו "המילה שפה פירושו 'שפה' באנגלית. "
ביטויים בשפה מתכתית נבדלים לעיתים קרובות מאובייקט שפה באמצעות נטוי, מרכאות או כתיבת שורות נפרדת, אם כי לא תמיד זה בא לידי ביטוי.
הסופר הבריטי ברטרנד ראסל (1872-1970) הגדיר את תורת ההיררכיה של השפות בשני מישורים:
- רמת אובייקט שפה: משמש להתייחסות לאובייקטים, כגון "הם אנשים".
- רמה מטאלית-לשונית או מתכתית: האם השפה משמשת להגדרת הרמה הקודמת, למשל, בביטוי "מהגרים הם אנשים", "מהגרים" נמצאים ברמת השפה המתכתית.
מצד שני, הסופר הפולני אלפרד טרסקי (1901-1983) מגדיר את השפה המתכתית כפתרון לפרדוקסים סמנטיים וקובע כי "יש צורך לדבר אמת על שפה משפה אחרת הנקראת מתכת-שפה".
כמה דוגמאות לשפות מתכתיות הן שפה דקדוקית, שפה לקסיקוגרפית, שפה לוגית, שפת ילדים, שפה טכנית, שפת מחשב, בין היתר.
בבלשנות מובחנים בשפה שישה שימושים או פונקציות, כאשר אחד מהם הוא הפונקציה המטאלית-לשונית, המשתמשת בלשון המתכת כדי לדבר על השפה עצמה. לדוגמא: "שפת המתכת היא שפה."
מאפייני המתכת
למתכת יש מאפיינים ספציפיים שעוזרים להבין טוב יותר את המסר בשל המורכבות ההגיונית שהוא מקיים. אלפרד טרסקי מגדיר כמה מאפיינים חיוניים לשפה שתיחשב כמתכת:
- Metalanguage מגדיר שפה המשתמשת בשפה אחרת.
- על שפת המתכת להיות עשירה יותר משפת האובייקט, מכיוון שהיא מתארת את משפטיה ואת התחביר שלה.
- השפה המתכתית מובנת במסגרת תורת הקבוצות וההיגיון הבינארי.
- השפה המתכתית חייבת להיות עותק של שפת האובייקט, כך שמה שאפשר לומר איתה יכול לבוא לידי ביטוי גם על שפת המתכת.
שפה מתכתית במחשוב
השפה המתכתית במדעי המחשב משמשת לתיאור מחרוזות התוכנית במדויק. בשנת 1950, בתחום המחשוב, היו שני סוגים של בעיות בהרכב תוכניות מחשב:
- היעדר העיצוב של שפה מתמטית לביטוי אלגוריתם.
- חוסר היכולת לתרגם תוכניות לקוד מחשב.
הבעיה הראשונה נפתרה הודות ליצירת המשמעת של עיצוב תוכנות מחשב, והשאלה השנייה נפתרה בזכות דור המהדרים שמוגדרים כמתכת מתכת, בהיותם תוכנית שקוראת תוכנית.
מהדרי מחשבים מבוססים על שפות תכנות. אחד הנפוצים ביותר הוא ה- BNF (צורת Backus-Naur) שנוצרה על ידי ג'ון Backus ו- Peter Naur, שפותחה באופן עצמאי על ידי Noam Chomsky, הידוע גם בשם היררכיית המודל של Chomsky.
מהדרים מייצרים ניתוח תחבירי המאתר את רוב השגיאות בקוד המקור ומתרגמים אותו לתוכנית שווה ערך בשפה אחרת (קוד אובייקט).
