מטאל שפה

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