فرازبان

فرازبان اصطلاحی در زبان‌شناسی است و به زبانی گفته می‌شود که برای توصیف یک زبان دیگر به کار می‌رود. فرازبان‌ها افزون بر زبان‌شناسی در حوزه‌های دیگری نظیر ریاضیات، منطق، فیزیک و مهندسی رایانه مورد بررسی قرار می‌گیرند. اصطلاحاتی مانند قضیه، متغیر، فعل، ضرب، مقدم، تالی و... بخشی از فرازبان‌ها به شمار می‌روند.

از فرازبان‌ها برای نظریه‌پردازی دربارهٔ زبان‌ها استفاده می‌شود. به زبان مورد مطالعهٔ فرازبان، زبان موضوع یا زبان مقصود  گفته می‌شود. باید توجه داشت که قرارگیری یک زبان در جایگاه فرازبان یا زبان موضوع امری نسبی است، برای مثال زبان «ب» ممکن است برای زبان «آ» یک فرازبان به شمار آید و «ج» فرازبانی برای «ب» باشد. به این ترتیب «ب» فرازبانی برای «آ» و یک زبان موضوع برای «ج» خواهد بود.

جستارهای وابسته 

 نظریه رده‌ها
 زبان صوری
 سیستم صوری
 فراداستان
 فرافلسفه
 خودارجاعی

منابع 

 
 

اصطلاحات زبان‌شناسی
زبان
زبان‌شناسی
فرامنطق
نظریه برهان