معناشناسی صوری (زبان‌شناسی)

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

بررسی اجمالی 
زبانشناسان به ندرت معنی‌شناسی صوری را در نظر می‌گرفتند تا اینکه ریچارد مانتگیو نشان داد که چگونه زبان انگلیسی (یا هر زبان طبیعی) می‌تواند همچون یک زبان صوری مورد استفاده گیرد. مشارکت او در معنی‌شناسی زبانی، که امروزه تحت عنوان دستور زبان مانتگیو شناخته می‌شود، مبنایی شد برای توسعه‌های بعدی مانند دستورزبان دسته‌ایِ بار-هیلل و همکارانش، و اخیراً معنی‌شناسی (یا دستور زبان) تایپ-منطقی مبتنی بر حساب لامبک.

خط دیگری از کنکاش مرتبط با استفاده از منطق خطی، معنی‌شناسی چسبی است، که مبتنی است بر ایده «تعبیر به عنوان استنتاج»، که در ارتباط نزدیک با «تجزیه به عنوان استنتاج» از پارادایم دستور زبان دسته‌ای است.

معنی‌شناسی شناختی به عنوان واکنشی به معناشناسی صوری شکل گرفت، اما اخیراً چندین تلاش در تطبیق هر دو دیدگاه انجام شده‌است.

جستارهای وابسته 
 نظریه نمایش گفتمان

منابع

برای مطالعهٔ بیشتر 

  An very accessible overview of the main ideas in the field.
  Chapter 10, Formal semantics, contains the best chapter-level coverage of the main technical directions
  The most comprehensive reference in the area.
  One of the first textbooks. Accessible to undergraduates.
 
 
 
 
 
 Reinhard Muskens Type-logical Semantics to appear in the Routledge Encyclopedia of Philosophy Online.
 Bob Carpenter (1998). Type-logical semantics. MIT Press. ISBN 978-0-262-53149-8. 
 
 Barbara H. Partee: Reflections of a formal semanticist as of Feb 2005. Ample historical information. (an extended version of the introductory essay in Barbara H. Partee: Compositionality in Formal Semantics: Selected Papers of Barbara Partee. Blackwell Publishers, Oxford, 2004.)

مقاله‌های خرد زبان‌شناسی
معناشناسی