ریچارد مانتگیو ( به انگلیسی: Richard Montague ) ( ۱۹۷۱–۱۹۳۰ ) ریاضی دان و فیلسوفی آمریکایی بود. مانتگیو در ۱۹۵۷ در دانشگاه کالیفرنیا، برکلی تحت نظر آلفرد تارسکی دکترا گرفت. رسالهٔ دکترای او حاوی اولین اثباتِ این قضیه است که اصول موضوعِ تسرملو - فرنکل برای نظریهٔ مجموعه ها را نمی توان با تعدادی متناهی اصل بیان کرد. رهیافت منطقیِ او به معناشناسیِ زبان های طبیعی ( که به گرامرِ مانتگیو معروف است ) در زبان شناسی رایانشی و در فلسفهٔ زبان تأثیرگذار بوده است.
... [مشاهده متن کامل]
مانتگیو که نوازندهٔ چیره دستی هم بود در خانه اش به قتل رسید.
مونتگیو در زمان حیات خود بیشترین وقتش را صرف کار بر روی مبانی منطق ریاضی نمود ولی عمده شهرت فعلی او مدیون سه مقاله ای است که در زمینه معناشناسی زبان طبیعی در سال های ۱۹۷۱ و ۱۹۷۲ چاپ شده اند. تأثیرگذارترین این مقالات Proper treatment of quantification in ordinary English نام دارد. در این سلسله مقالات او تلاش می کند که جملات زبان انگلیسی را به شکل الگوریتمیک به زبان نوعی منطق درجه بالا به نام intentional logic تبدیل کند. این تلاش از آن جهت مورد توجه قرار گرفت که تا آن زمان کلیه منطق دانان و زبان شناسان معتقد بودند زبان های طبیعی از جمله زبان انگلیسی دارای ابهامات فراوانی هستند و نمی توان جملات یک زبان منطقی را به همان دقتی که در زبان منطق وجود دارد به زبان طبیعی بیان نمود. اما مونتگیو نشان داد که حداقل برای قسمتی از زبان انگلیسی که او در مقاله اش به کار گرفته است قدرت زبان انگلیسی در بیان یک جمله با قدرت زبان منطقی برابر است و این برابری را به ارائه یک الگوریتم برای تبدیل جملات زبان انگلیسی به زبان منطق نشان داد. او برای انجام این عمل از حسابی به نام حساب لاندا lambda calculus استفاده می کند که توسط ریاضیدان آمریکایی به نام آلونزو چرچ alonzo church در سال ۱۹۳۰ ارائه شده است.
مونتگیو در سال ۱۹۷۱ در حادثه دزدی از منزل مسکونی اش به قتل رسید و آن قدر زنده نماند که تأثیر شگرف مقالاتش را در دنیای زبان شناسی ببیند. هم اکنون اصطلاح معناشناسی مونتگیو در میان زبان شناسان و منطقیانی که در حوزه معناشناسی زبان طبیعی کار می کنند از اصطلاحات پایه ای به شمار می رود و منظور از آن استفاده از منطق درجه بالا و حساب لاندا برای تبدیل الگوریتمیک جملات زبان طبیعی به جملات زبان منطق است.
... [مشاهده متن کامل]
مانتگیو که نوازندهٔ چیره دستی هم بود در خانه اش به قتل رسید.
مونتگیو در زمان حیات خود بیشترین وقتش را صرف کار بر روی مبانی منطق ریاضی نمود ولی عمده شهرت فعلی او مدیون سه مقاله ای است که در زمینه معناشناسی زبان طبیعی در سال های ۱۹۷۱ و ۱۹۷۲ چاپ شده اند. تأثیرگذارترین این مقالات Proper treatment of quantification in ordinary English نام دارد. در این سلسله مقالات او تلاش می کند که جملات زبان انگلیسی را به شکل الگوریتمیک به زبان نوعی منطق درجه بالا به نام intentional logic تبدیل کند. این تلاش از آن جهت مورد توجه قرار گرفت که تا آن زمان کلیه منطق دانان و زبان شناسان معتقد بودند زبان های طبیعی از جمله زبان انگلیسی دارای ابهامات فراوانی هستند و نمی توان جملات یک زبان منطقی را به همان دقتی که در زبان منطق وجود دارد به زبان طبیعی بیان نمود. اما مونتگیو نشان داد که حداقل برای قسمتی از زبان انگلیسی که او در مقاله اش به کار گرفته است قدرت زبان انگلیسی در بیان یک جمله با قدرت زبان منطقی برابر است و این برابری را به ارائه یک الگوریتم برای تبدیل جملات زبان انگلیسی به زبان منطق نشان داد. او برای انجام این عمل از حسابی به نام حساب لاندا lambda calculus استفاده می کند که توسط ریاضیدان آمریکایی به نام آلونزو چرچ alonzo church در سال ۱۹۳۰ ارائه شده است.
مونتگیو در سال ۱۹۷۱ در حادثه دزدی از منزل مسکونی اش به قتل رسید و آن قدر زنده نماند که تأثیر شگرف مقالاتش را در دنیای زبان شناسی ببیند. هم اکنون اصطلاح معناشناسی مونتگیو در میان زبان شناسان و منطقیانی که در حوزه معناشناسی زبان طبیعی کار می کنند از اصطلاحات پایه ای به شمار می رود و منظور از آن استفاده از منطق درجه بالا و حساب لاندا برای تبدیل الگوریتمیک جملات زبان طبیعی به جملات زبان منطق است.
