Abstract

Richard Montague'nün (1930–1971) 1970-1973 yılları arasında ortaya koyduğu kuramsal tasarı, biçimsel anlambilimin çekirdek paradigmasını oluşturmaya devam etmektedir. Bu derleme, Montague tipi anlambilimi beş temel bileşen üzerinden kuramsal olarak çözümlemektedir: doğruluk koşullu anlam, model kuramsal yorum, bileşimsellik ilkesi, yüksek mertebeli yoğun tip mantığı ve genelleştirilmiş niceleyiciler kuramı.

Çalışmanın bibliyografik altyapısı, PRISMA 2020 bildirgesi (Page ve ark., 2021) uyarınca altı veri tabanında yürütülen sistematik bir literatür taramasına dayanmaktadır: Web of Science, Scopus, TR Dizin, YÖK Ulusal Tez Merkezi, theses.fr/HAL ve EThOS/White Rose. Tarama akışı ile dahil etme ve dışlama ölçütleri Şekil 1 ve Tablo 1'de raporlanmıştır.

Çözümleme, Frege-Russell-Church-Tarski-Kripke silsilesinin Montague programına uzanan mantık-felsefi mirasını izlemekte; PTQ (1973) fragmanını lambda-dönüşümleriyle ele almaktadır. Bu derleme, Pagin ile Westerståhl'ın (2010a, 2010b) domain/dil ilkesi ayrımını ve Wehmeier'ın (2024) önemsiz/tözsel bileşimsellik ayrımını Türkçe yazına ilk kez taşımaktadır.

Son bölümde DRT, dinamik Montague dilbilgisi, TTR, MTT-semantiği ve Bağımlı Tip Semantiği gibi Montague sonrası uzanımlar konumlandırılmakta; Akşehirli (2022), ODTÜ-CCG hattı (Bozşahin, Özge, Kurt) ve Boğaziçi Dilbilim Bölümü çevresindeki Türkçe-Montague yazını haritalandırılmaktadır. Türkçenin niceleyici, belirsizlik, görünüş, kiplik ve durum imlemesi olgularının Montague tipi çerçevede sistematik biçimde çözümlenmesi için dört eksenli bir araştırma gündemi önerilmektedir.

Abstract

Richard Montague's (1930–1971) theoretical framework, articulated between 1970 and 1973, continues to serve as the core paradigm of formal semantics. This review analyzes Montague-type semantics through five core components: truth-conditional meaning, model-theoretic interpretation, the principle of compositionality, higher-order intensional type logic, and the theory of generalized quantifiers.

The bibliographic basis of the study is a PRISMA 2020-compliant systematic literature review (Page et al., 2021) conducted across six databases: Web of Science, Scopus, TR Index, the Turkish Council of Higher Education National Theses Repository, theses.fr/HAL, and EThOS/White Rose. The search flow and inclusion/exclusion criteria are reported in Figure 1 and Table 1.

The analysis traces the Frege-Russell-Church-Tarski-Kripke lineage leading to the Montague programme and examines the PTQ (1973) fragment through its lambda-conversions. Pagin and Westerståhl's (2010a, 2010b) domain-versus-language principle distinction and Wehmeier's (2024) trivial-versus-substantive compositionality result are introduced into Turkish scholarship for the first time.

The closing sections position post-Montagovian extensions, including DRT, Dynamic Montague Grammar, TTR, MTT-semantics, and Dependent Type Semantics, and map Turkish-language Montague scholarship around Akşehirli (2022), the METU-CCG line (Bozsahin, Özge, Kurt), and the Department of Linguistics at Boğaziçi University. A four-axis research agenda is proposed for the systematic Montague-type analysis of Turkish quantification, indefiniteness, aspect, modality, and case marking.

Structured Abstract:

Whether the meaning of natural language is an object amenable to mathematically precise analysis was one of the constitutive tensions of twentieth-century linguistics and philosophy of language. That tension set psychologist currents, which identified meaning with mental representations, against logico-philosophical traditions, which defined meaning in terms of truth conditions. Between 1970 and 1973, UCLA mathematics professor Richard Montague (1930-1971) published three papers that rejected the division between natural languages and the formal languages of logicians and opened a third path combining the strongest features of both camps: "English as a Formal Language", "Universal Grammar", and "The Proper Treatment of Quantification in Ordinary English". Montague's programme forms the backbone of current formal semantics and feeds an extensive research basin ranging from Barwise and Cooper's theory of generalised quantifiers to Kamp's Discourse Representation Theory, from Heim and Kratzer's pedagogical synthesis to the probabilistic type theory of Cooper and colleagues. Even so, Montague-type semantics long received only fragmentary treatment in Turkish-language linguistics, and a comprehensive Turkish introduction to the field became available only with Akşehirli's (2022) monograph.

The present review article has three aims. First, the five core components of Montague-type theoretical semantics are analysed in their theoretical detail: truth-conditional meaning, model-theoretic interpretation, the principle of compositionality, higher-order intensional type logic, and the theory of generalised quantifiers. Second, the line of logico-philosophical continuity running from the Frege-Russell-Church-Tarski-Kripke lineage to Montague is traced, and post-Montagovian developments (DRT, dynamic semantics, TTR, MTT-semantics, DTS) are positioned within that continuity. Third, the Montague-oriented research lines in Turkish-language linguistics are mapped bibliographically, and a four-axis research agenda is proposed for the theoretical space that Turkish opens up for formal semantics.

The bibliographic infrastructure of the study rests on a systematic literature search conducted according to the 27-item checklist of the PRISMA 2020 statement (Page et al., 2021). The search was carried out simultaneously across six databases: Web of Science Core Collection (Clarivate), Scopus (Elsevier), TR Index (TÜBİTAK ULAKBİM), the YÖK National Theses Repository, theses.fr together with HAL Thèses (French open theses archive), and EThOS together with White Rose eTheses Online (UK open theses archive). For secondary verification, the archives of the Stanford Encyclopedia of Philosophy, PhilPapers, ACL Anthology, and Language Science Press were consulted. Search strings were run in three languages; the key concepts ("Montague semantics", "compositionality", "intensional logic", "lambda calculus", "generalized quantifiers", and their Turkish equivalents) were combined through Boolean operators.

Inclusion criteria covered peer-reviewed journal articles, book chapters, monographs, graduate theses, and standard encyclopaedia entries (SEP, PhilPapers); publications from 1970 to 2026; texts in English, French, or Turkish; and work in direct or indirect theoretical contact with Montague-type semantics. Exclusion criteria covered non-peer-reviewed preprints, blog posts, grey literature, sources with unverifiable citation data, and work focused purely on computational natural language processing. The initial search produced 1,247 records. After removing duplicates, title-abstract screening, and full-text assessment, 131 sources were retained for synthesis. The flow diagram and inclusion/exclusion criteria are reported in Figure 1 and Table 1 of the article.

The analysis traces the logico-philosophical heritage that runs from Frege's (1879, 1892) Begriffsschrift and the Sinn/Bedeutung distinction through Russell's (1905) analysis of definite descriptions, Church's (1940) simple theory of types, Tarski's (1944) truth-conditional semantics, and Kripke's (1963) possible-worlds semantics to Montague. Three defining features of Montague's intensional logic are examined: higher-order quantification, intensionality (including its interpretation within Gallin's 1975 Ty₂ framework), and the incorporation of the typed lambda calculus. The PTQ (1973) fragment is treated through lambda conversions (beta-reduction), the quantifying-in rule, and meaning postulates. Strategies for scope ambiguity are compared: Cooper Store, type shifting (Partee-Rooth, Hendriks), variable-free semantics (Jacobson), and CCG-based solutions (Steedman, Bozsahin).

The study has two original theoretical contributions. The first is the introduction into Turkish-language scholarship of the distinction between the domain principle and the language principle, as presented by Pagin and Westerståhl (2010a, 2010b) in Philosophy Compass. The second is the first Turkish-language treatment of Wehmeier's (2024) trivial-versus-substantive compositionality result, published in Linguistics and Philosophy 47(6). Wehmeier's result clarifies the mathematical-philosophical limits of Zadrozny's (1994) claim that compositionality can be attributed to any language; it establishes that in the space of non-injective functions, compositionality is logically substantive. His finding connects directly to Mahowald et al.'s (2024) work on large language models and bears on the assessment of compositional behaviour in transformer-based systems.

Montague-oriented lines in Turkish-language linguistics are mapped under three headings. The first is the CCG line developed at METU's Department of Cognitive Science under Cem Bozsahin (1996, 2012), together with the defining theses it produced (Kurt, 2006; Özge, 2010). The second is the formal semantics work that has developed at Boğaziçi University's Department of Linguistics around Öztürk Başaran, Göksel, and Kelepir. The third is Akşehirli's (2022) introductory work, which marks a threshold for Turkish terminological construction. Kayğıl's (2025) study, which reconstructs modal propositions in Kātibī's Şemsiyye within the framework of Constructive Type Theory, shows that the Ottoman logical tradition is readable through post-Montagovian type-theoretic tools.

The analysis proposes a four-axis research agenda for the theoretical space that Turkish opens up for formal semantics. The first axis is the systematic mapping of Turkish quantifiers (bir, her, bazı, çoğu, birçok, birkaç, hiçbir) in terms of their monotonicity, conservativity, and downward-entailment profiles within the Barwise-Cooper framework, modelled together with negative polarity items (hiç, asla, bile). The second is the formulation of Turkish aspect and modality markers (-yor, -DI, -mIş, -AcAk, -mAlI, -AbIl) within intensional logic and event semantics, with particular attention to adapting the relation between -mIş and evidentiality to Turkish along the line of Faller (2002) and Murray (2014). The third is the analysis of indefiniteness, specificity, and case marking with post-Montagovian dynamic-semantic instruments (DRT, DPL, TTR). The fourth is the application of formal semantics to historical Ottoman and Turkish texts and the re-reading of the Ottoman logical tradition within the Constructive Type Theory framework.

Montague's theoretical framework, articulated between 1970 and 1973, remains the core paradigm of formal semantics. Model-theoretic interpretation, compositionality, intensional type logic, and the theory of generalised quantifiers together form the formal backbone of natural-language semantics today, and post-Montagovian developments build on that foundation. Read together, Pagin and Westerståhl's domain/language principle distinction and Wehmeier's trivial/substantive compositionality result clarify the mathematical-philosophical profile of the principle of compositionality and sharpen the theoretical contours of the space Turkish opens for formal semantics. The systematic review conducted within the PRISMA 2020 framework provides not only a theoretical inventory but also a strategic road map for Turkish-language linguistics.

Yapılandırılmış Özet:

Doğal dilin anlamının matematiksel kesinlikte çözümlenebilir bir nesne olup olmadığı sorusu, yirminci yüzyıl dilbilimi ile dil felsefesinin kurucu gerilimlerinden birini oluşturmuştur. Bu gerilim, bir yanda anlamı zihinsel temsillerle özdeşleştiren psikolojist akımları, diğer yanda anlamı doğruluk koşullarıyla tanımlayan mantıkçı-felsefi gelenekleri karşı karşıya getirmiştir. 1970-1973 yılları arasında UCLA matematik profesörü Richard Montague'nün (1930-1971) ortaya koyduğu üç makale ("English as a Formal Language", "Universal Grammar" ve "The Proper Treatment of Quantification in Ordinary English"), doğal dil ile mantıkçıların yapay dilleri arasındaki ayrımı reddederek bu iki cephenin en güçlü yanlarını buluşturan üçüncü bir yol açmıştır. Montague'nün programı, bugünkü biçimsel anlambilimin omurgasını oluşturmakta ve Barwise-Cooper'ın genelleştirilmiş niceleyiciler kuramından Kamp'ın Söylem Temsili Kuramı'na, Heim-Kratzer'in pedagojik sentezinden Cooper ve arkadaşlarının olasılıksal tip kuramına uzanan geniş bir araştırma havzasına kaynaklık etmektedir. Buna karşın Montague tipi anlambilim, özellikle Türkçe dilbilim yazınında uzun süre dağınık biçimde ele alınmış; alana kuşatıcı bir Türkçe giriş ancak Akşehirli'nin (2022) çalışmasıyla sağlanabilmiştir.

Bu derleme makalesinin amacı üç yönlüdür. İlk olarak Montague tipi kuramsal anlambilimin beş çekirdek bileşeni kuramsal ayrıntılarıyla çözümlenmektedir: doğruluk koşullu anlam, model kuramsal yorum, bileşimsellik ilkesi, yüksek mertebeli yoğun tip mantığı ve genelleştirilmiş niceleyiciler kuramı. İkinci olarak Frege-Russell-Church-Tarski-Kripke silsilesiyle Montague arasındaki mantık-felsefi süreklilik hattı izlenmekte; Montague sonrası gelişmeler (DRT, dinamik semantik, TTR, MTT-semantics, DTS) bu süreklilik içinde konumlandırılmaktadır. Üçüncü olarak Türkçe dilbilim yazınındaki Montague-yönelimli araştırma hatları bibliyografik olarak haritalandırılmakta ve Türkçenin biçimsel anlambilim açısından açtığı kuramsal alana ilişkin dört eksenli bir araştırma gündemi önerilmektedir.

Çalışmanın bibliyografik altyapısı, PRISMA 2020 bildirgesinin (Page ve ark., 2021) 27 maddelik kontrol listesi uyarınca yürütülmüş sistematik bir literatür taramasına dayanmaktadır. Tarama altı veri tabanında eş zamanlı yapılmıştır: Web of Science Core Collection (Clarivate), Scopus (Elsevier), TR Dizin (TÜBİTAK ULAKBİM), YÖK Ulusal Tez Merkezi, theses.fr ile HAL Thèses (Fransız açık tez arşivi) ve EThOS ile White Rose eTheses Online (Birleşik Krallık açık tez arşivi). İkincil doğrulama için Stanford Encyclopedia of Philosophy, PhilPapers, ACL Anthology ve Language Science Press arşivlerinden yararlanılmıştır. Arama dizimleri İngilizce, Fransızca ve Türkçe olmak üzere üç dilde yürütülmüş. Anahtar kavramlar ("Montague semantics", "compositionality", "intensional logic", "lambda calculus", "generalized quantifiers" ve Türkçe karşılıkları) Boole operatörleriyle birleştirilmiştir.

Dahil etme ölçütleri olarak hakemli dergi makaleleri, kitap bölümleri, monografiler, lisansüstü tezler ve standart ansiklopedi maddeleri (SEP, PhilPapers); 1970-2026 dönemi yayınları; İngilizce, Fransızca veya Türkçe metinler; Montague tipi anlam bilimle doğrudan veya dolaylı kuramsal temas kuran çalışmalar belirlenmiştir. Dışlama ölçütleri ise hakemsiz ön baskılar, blog yazıları, gri yayınlar, künyesi doğrulanamayan kaynaklar ve yalnızca işlemsel doğal dil işleme odaklı çalışmaları kapsamıştır. Tarama, başlangıçta 1.247 kayıt üretmiş; yinelenenlerin çıkarılması, başlık-öz taraması ve tam metin değerlendirmesinin ardından sentezde kullanılmak üzere 131 kaynak elde edilmiştir. Akış şeması ile dahil etme/dışlama ölçütleri makalenin Şekil 1 ve Tablo 1'inde raporlanmıştır.

Çözümleme, Frege'nin (1879, 1892) Begriffsschrift ve Sinn/Bedeutung ayrımından başlayıp Russell'ın (1905) betimleyici ifadeler çözümlemesi, Church'ün (1940) basit tip kuramı, Tarski'nin (1944) doğruluk koşullu anlam bilimi ve Kripke'nin (1963) olası dünyalar semantiği üzerinden Montague'ye uzanan mantık-felsefi mirası belgelemektedir. Montague'nün kurduğu yoğun mantığın (intensional logic) üç belirleyici özelliği vurgulanmaktadır: yüksek mertebelilik, intensionellik (Gallin'in 1975 Ty₂ çerçevesiyle yorumlanması dahil) ve tipli lambda hesabını içermesi. PTQ (1973) fragmanı lambda-dönüşümleri (β-redüksiyon), quantifying-in kuralı ve anlam postulatları çerçevesinde ele alınmakta; kapsam belirsizliği için Cooper Store, tip kaydırma (Partee-Rooth, Hendriks), variable-free semantics (Jacobson) ve CCG-tabanlı çözümler (Steedman, Bozşahin) karşılaştırmalı olarak sunulmaktadır.

Çalışmanın iki özgün kuramsal katkısı vardır. Birincisi, Pagin ve Westerståhl'ın (2010a, 2010b) Philosophy Compass'ta sunduğu domain ilkesi ile dil ilkesi ayrımının Türkçe yazına ilk kez taşınmasıdır. İkincisi, Wehmeier'ın (2024) Linguistics and Philosophy 47(6)'da yayımlanan önemsiz/tözsel bileşimsellik sonucunun ilk kez Türkçe yazına taşınmasıdır. Wehmeier'ın sonucu, Zadrozny'nin (1994) bileşimselliğin herhangi bir dile atfedilebileceği yönündeki sonucunun matematiksel-felsefi sınırlarını netleştirmekte; birebir-olmayan işlevler uzayında bileşimselliğin mantıksal olarak tözsel olduğunu kanıtlamaktadır. Bu bulgu, Mahowald ve arkadaşlarının (2024) büyük dil modelleri üzerine çalışmasıyla da kesişmekte ve transformer-tabanlı sistemlerin bileşimsel davranışlarının değerlendirilmesinde doğrudan rol oynamaktadır.

Türkçe dilbilim yazınındaki Montague-yönelimli hatlar üç ana başlıkta haritalanmıştır. Birincisi, ODTÜ Bilişsel Bilim Anabilim Dalı'nda Cem Bozşahin (1996, 2012) önderliğinde gelişen CCG hattı ve bu hattın ürettiği belirleyici tezler (Kurt, 2006; Özge, 2010). İkincisi, Boğaziçi Üniversitesi Dilbilim Bölümü'nde Öztürk Başaran, Göksel ve Kelepir çevresinde gelişen biçimsel anlam bilim çalışmaları. Üçüncüsü ise Akşehirli'nin (2022) Türkçe terminoloji inşası açısından eşik niteliğindeki giriş eseri. Buna ek olarak Kayğıl'ın (2025) Kātibī'nin Şemsiyye'sindeki modal önermeleri yapıcı tip kuramı çerçevesinde yeniden inşa eden çalışması, Osmanlı mantık geleneğinin Montague sonrası tip-kuramsal araçlarla okunabileceğini göstermektedir.

Çözümleme, Türkçenin biçimsel anlam bilim için açtığı kuramsal alana ilişkin dört eksenli bir araştırma gündemi önermektedir: (1) Türkçe niceleyicilerin (bir, her, bazı, çoğu, birçok, birkaç, hiçbir) Barwise-Cooper çerçevesinde monotonluk, muhafazakârlık ve aşağı-yönlü içerim profilleri bakımından sistematik haritalanması ve olumsuz kutupluluk öğeleri (hiç, asla, bile) ile birlikte modellenmesi; (2) Türkçe görünüş ve kiplik işaretleyicilerinin (-yor, -DI, -mIş, -AcAk, -mAlI, -AbIl) yoğun mantık ve olay anlam bilimi çerçevesinde formülleştirilmesi, özellikle -mIş ekinin dolaylılık (evidentiality) ilişkisinin Faller (2002) ve Murray (2014) çizgisinde Türkçeye uyarlanması; (3) Belirsizlik, özgüllük ve durum imlemesinin Montague sonrası dinamik semantik araçlarıyla (DRT, DPL, TTR) çözümlenmesi; (4) Osmanlıca ve Türkçe tarihî metinlerine biçimsel anlam bilim uygulaması ve Osmanlı mantık geleneğinin yapıcı tip kuramı çerçevesinde yeniden okunması.

Sonuç olarak Montague'nün 1970-1973 arasında ortaya koyduğu kuramsal tasarı, biçimsel anlam bilimin çekirdek paradigması olmaya devam etmektedir. Model kuramsal yorum, bileşimsellik, yoğun tip mantığı ve genelleştirilmiş niceleyiciler kuramı bugün bir arada doğal dil semantiğinin biçimsel omurgasını oluşturmakta; Montague sonrası gelişmeler bu omurganın üzerine inşa edilmektedir. Pagin-Westerståhl'ın domain/dil ilkesi ayrımı ile Wehmeier'ın önemsiz/tözsel bileşimsellik sonucu birlikte değerlendirildiğinde, bileşimsellik ilkesinin matematiksel-felsefi profili önemli ölçüde netleşmekte; Türkçenin biçimsel anlam bilim için açtığı imkân alanının kuramsal sınırları daha berrak çizilmektedir. PRISMA 2020 çerçevesinde yürütülen sistematik taramanın sonuçları, yalnızca kuramsal bir envanter değil, Türk dil bilim yazınına yön verecek stratejik bir yol haritası da sağlamaktadır.

الملخص المنظَّم

تُعَدُّ مسألةُ ما إذا كان معنى اللغة الطبيعية موضوعًا قابلاً للتحليل الرياضي الدقيق إحدى الإشكاليات التأسيسية التي طبعت اللسانيات وفلسفة اللغة في القرن العشرين. وقد أفرز هذا التوتر اتجاهين رئيسين: الاتجاهات النفسية التي ربطت المعنى بالتمثيلات الذهنية، والتقاليد المنطقية–الفلسفية التي عرّفت المعنى من خلال شروط الصدق. وفي الفترة الممتدة بين عامي 1970 و1973 نشر أستاذ الرياضيات في جامعة كاليفورنيا – لوس أنجلوس (UCLA) ريتشارد مونتاغيو (1930–1971) ثلاث دراسات رفض فيها الفصل التقليدي بين اللغات الطبيعية واللغات الصورية الخاصة بالمنطقيين، فاتحًا بذلك مسارًا نظريًا ثالثًا يجمع بين أقوى عناصر المدرستين، وهي: English as a Formal Language، وUniversal Grammar، وThe Proper Treatment of Quantification in Ordinary English. وقد أصبح مشروع مونتاغيو الأساس النظري الذي تقوم عليه الدلالة الصورية المعاصرة، كما شكّل منطلقًا لبرامج بحثية واسعة النطاق، تمتد من نظرية الكمّيات المعمَّمة لدى باروايز وكوبر، إلى نظرية تمثيل الخطاب (Discourse Representation Theory) لدى كامب، ومن الصياغة التعليمية لهايم وكراتسر، إلى نظرية الأنماط الاحتمالية (Probabilistic Type Theory) التي طوّرها كوبر وزملاؤه. ومع ذلك، ظلّت الدلالة المونتاغوية تحظى بحضورٍ جزئي ومحدود في الأدبيات اللسانية التركية، ولم يظهر أول مدخل تركي شامل لهذا الحقل إلا مع الدراسة الأحادية لأقشهيرلي (Akşehirli، 2022).

تسعى هذه الدراسة المرجعية إلى تحقيق ثلاثة أهداف رئيسة. أولًا، تقديم تحليل نظري معمق للمكوّنات الخمسة الأساسية للدلالة النظرية ذات التوجّه المونتاغوي، وهي: الدلالة القائمة على شروط الصدق، والتفسير القائم على نظرية النماذج، ومبدأ التركيبية (Compositionality)، ومنطق الأنماط المقصودية عالي الرتبة، ونظرية الكمّيات المعمَّمة. ثانيًا، تتبّع الامتداد المنطقي–الفلسفي الذي يصل بين سلسلة فريغه–راسل–تشيرش–تارسكي–كريبكه ومونتاغيو، مع تحديد موقع التطورات اللاحقة لمونتاغيو، مثل نظرية تمثيل الخطاب (DRT)، والدلالة الديناميكية، ونظرية تمثيل الأنماط (TTR)، ودلالة نظرية الأنماط الحديثة (MTT-Semantics)، ونظرية الحالات التابعة (Dependent Type Semantics, DTS)، ضمن هذا الامتداد الفكري. ثالثًا، رسم خريطة ببليوغرافية للأبحاث ذات التوجّه المونتاغوي في اللسانيات التركية، واقتراح أجندة بحثية رباعية المحاور تستثمر الإمكانات النظرية التي تتيحها اللغة التركية في مجال الدلالة الصورية.

وترتكز البنية الببليوغرافية للدراسة على مراجعة منهجية للأدبيات أُنجزت وفق قائمة التحقق المكوّنة من 27 بندًا في بيان PRISMA 2020 (Page وآخرون، 2021). وقد أُجريت عملية البحث بصورة متزامنة في ست قواعد بيانات، هي: Web of Science Core Collection (Clarivate)، وScopus (Elsevier)، وTR Dizin (TÜBİTAK ULAKBİM)، ومستودع الرسائل الجامعية الوطني التابع لمجلس التعليم العالي التركي (YÖK National Theses Repository)، وقاعدتا theses.fr وHAL Thèses للأطروحات الفرنسية المفتوحة، بالإضافة إلى EThOS وWhite Rose eTheses Online للأطروحات البريطانية المفتوحة. ولأغراض التحقق الثانوي، جرى الرجوع إلى أرشيفات Stanford Encyclopedia of Philosophy، وPhilPapers، وACL Anthology، وLanguage Science Press. ونُفذت استراتيجيات البحث بثلاث لغات، مع استخدام أهم المفاهيم المفتاحية، مثل: «دلالة مونتاغيو»، و«التركيبية»، و«المنطق المقصودي»، و«حساب لامبدا»، و«الكمّيات المعمَّمة»، إلى جانب مقابلاتها التركية، وربطها بواسطة معاملات بوليانية (Boolean Operators).

وشملت معايير الإدراج المقالات المحكمة، وفصول الكتب، والدراسات الأحادية، والرسائل الجامعية، ومداخل الموسوعات المرجعية المعتمدة (SEP وPhilPapers)، والمنشورات الصادرة بين عامي 1970 و2026، والنصوص المكتوبة باللغات الإنجليزية أو الفرنسية أو التركية، والأعمال المرتبطة، بصورة مباشرة أو غير مباشرة، بالدلالة المونتاغوية. أما معايير الاستبعاد فقد شملت المسودات غير المحكمة، ومنشورات المدونات، والأدبيات الرمادية، والمصادر ذات البيانات المرجعية غير القابلة للتحقق، والدراسات التي تنحصر في معالجة اللغة الطبيعية الحاسوبية دون بُعد دلالي نظري. وأسفر البحث الأولي عن 1247 سجلًا؛ وبعد إزالة التكرارات، وفحص العناوين والملخصات، ثم تقييم النصوص الكاملة، احتُفظ بـ131 مصدرًا لإجراء عملية التركيب والتحليل النهائي. وقد عُرض مخطط التدفق ومعايير الإدراج والاستبعاد في الشكل (1) والجدول (1) من الدراسة.

يكشف التحليل عن الامتداد المنطقي–الفلسفي الذي يبدأ من Begriffsschrift لفريغه (1879) وتمييزه بين Sinn وBedeutung (1892)، مرورًا بتحليل راسل (1905) للأوصاف المحددة، ونظرية الأنماط البسيطة لدى تشيرش (1940)، والدلالة القائمة على شروط الصدق عند تارسكي (1944)، ودلالة العوالم الممكنة لدى كريبكه (1963)، وصولًا إلى مشروع مونتاغيو. كما يناقش ثلاث خصائص مركزية في منطق مونتاغيو المقصودي، وهي: التكميم عالي الرتبة، والمقصودية (Intensionality)، بما في ذلك تفسيرها ضمن إطار Ty₂ الذي قدّمه غالين (1975)، وإدماج حساب لامبدا ذي الأنماط (Typed Lambda Calculus). ويُحلَّل مقطع PTQ (1973) من خلال تحويلات لامبدا (الاختزال بيتا)، وقاعدة Quantifying-in، ومسلمات المعنى. كذلك تُقارَن الاستراتيجيات المختلفة لمعالجة غموض نطاق التكميم، بما في ذلك Cooper Store، وتحويل الأنماط (Partee–Rooth، Hendriks)، والدلالة الخالية من المتغيرات (Jacobson)، والحلول المستندة إلى Combinatory Categorial Grammar (CCG) كما طوّرها ستيدمان وبوزشاهين.

وتقدّم الدراسة إسهامين نظريين أصيلين. يتمثل الأول في إدخال التمييز بين مبدأ المجال (Domain Principle) ومبدأ اللغة (Language Principle) إلى الأدبيات اللسانية التركية، استنادًا إلى ما عرضه باغين ووسترستول (2010أ، 2010ب) في مجلة Philosophy Compass. أما الثاني، فيتمثل في تقديم أول معالجة باللغة التركية لنتيجة فاهمايير (Wehmeier، 2024) المتعلقة بالتمييز بين التركيبية الشكلية (Trivial Compositionality) والتركيبية الجوهرية (Substantive Compositionality)، والمنشورة في مجلة Linguistics and Philosophy (47/6). وتوضح هذه النتيجة الحدود الرياضية–الفلسفية لادعاء زادروزني (1994) القائل بإمكان نسبة التركيبية إلى أي لغة، مبينةً أن التركيبية تُعد خاصية منطقية جوهرية في فضاء الدوال غير الأحادية (Non-injective Functions). وترتبط هذه النتيجة مباشرةً بأبحاث ماهووالد وآخرين (2024) المتعلقة بالنماذج اللغوية الكبرى (Large Language Models)، ولها أهمية خاصة في تقييم السلوك التركيبي للأنظمة القائمة على بنية Transformer.

وترسم الدراسة خريطةً لخطوط البحث المونتاغوية في اللسانيات التركية ضمن ثلاثة محاور رئيسة. يتمثل الأول في الخط البحثي القائم على Combinatory Categorial Grammar (CCG) الذي طُوِّر في قسم العلوم الإدراكية بجامعة الشرق الأوسط التقنية (METU) بقيادة جِم بوزشاهين (1996، 2012)، وما نتج عنه من رسائل علمية محورية (Kurt، 2006؛ Özge، 2010). أما الثاني، فيتمثل في أبحاث الدلالة الصورية التي تطورت في قسم اللسانيات بجامعة بوغازيتشي حول أعمال أوزتورك باشاران، وغوكسل، وكليبير. ويشكّل المحور الثالث الدراسة التمهيدية لأقشهيرلي (2022)، التي تُعد نقطة تحول في بناء المصطلح التركي في مجال الدلالة الصورية. كما تُبرز دراسة كايغِل (2025)، التي أعادت بناء القضايا الموجهية في كتاب الشمسية للكاتبي ضمن إطار نظرية الأنماط البنائية (Constructive Type Theory)، أن التراث المنطقي العثماني قابل لإعادة القراءة باستخدام الأدوات النظرية لما بعد مونتاغيو.

ويقترح التحليل أجندةً بحثيةً رباعية المحاور لاستثمار الإمكانات التي تتيحها اللغة التركية في مجال الدلالة الصورية. ويتمثل المحور الأول في الوصف المنهجي للكمّيات التركية (bir، her، bazı، çoğu، birçok، birkaç، hiçbir) وفق خصائص الرتابة (Monotonicity)، والمحافظة (Conservativity)، والاستلزام التنازلي (Downward Entailment) في إطار باروايز–كوبر، مع نمذجة العناصر ذات القطبية السلبية (hiç، asla، bile). أما المحور الثاني، فيتعلق بصياغة لواحق الزمن والجهة والوجه في التركية (-yor، -DI، -mIş، -AcAk، -mAlI، -AbIl) ضمن إطار المنطق المقصودي ودلالة الأحداث، مع إيلاء اهتمام خاص لتكييف العلاقة بين اللاحقة -mIş ودلالة الإثبات غير المباشر (Evidentiality) استنادًا إلى أعمال فالّر (2002) وموراي (2014). ويتمثل المحور الثالث في تحليل التنكير، والتخصيص، وعلامات الحالة الإعرابية باستخدام أدوات الدلالة الديناميكية اللاحقة لمونتاغيو (DRT، DPL، TTR). أما المحور الرابع، فيركز على تطبيق الدلالة الصورية في دراسة النصوص التركية والعثمانية التاريخية، وإعادة قراءة التراث المنطقي العثماني في ضوء نظرية الأنماط البنائية.

وتخلص الدراسة إلى أن الإطار النظري الذي صاغه مونتاغيو بين عامي 1970 و1973 لا يزال يشكّل النموذج المركزي للدلالة الصورية المعاصرة. فالتفسير القائم على نظرية النماذج، ومبدأ التركيبية، ومنطق الأنماط المقصودية، ونظرية الكمّيات المعمَّمة، تُكوّن مجتمعةً الأساس الصوري لدلالة اللغة الطبيعية، بينما تستند جميع التطورات اللاحقة لمونتاغيو إلى هذا الأساس. كما أن قراءة التمييز بين مبدأ المجال ومبدأ اللغة لدى باغين ووسترستول إلى جانب نتيجة فاهمايير بشأن التركيبية الشكلية والجوهرية تُسهم في توضيح البنية الرياضية–الفلسفية لمبدأ التركيبية، وتُبرز بصورة أدق الإمكانات النظرية التي تتيحها اللغة التركية للدلالة الصورية. وعليه، فإن المراجعة المنهجية المنجزة وفق إطار PRISMA 2020 لا تقتصر على تقديم جرد نظري شامل، بل توفر أيضًا خريطة طريق استراتيجية لتطوير اللسانيات التركية في مجال الدلالة الصورية.

Résumé Structuré:

La question de savoir si la signification des langues naturelles constitue un objet susceptible d’une analyse mathématiquement rigoureuse représente l’une des tensions fondatrices de la linguistique et de la philosophie du langage du XXᵉ siècle. Cette tension a opposé les courants psychologiques, qui identifiaient la signification aux représentations mentales, aux traditions logico-philosophiques, qui définissaient la signification en termes de conditions de vérité. Entre 1970 et 1973, Richard Montague (1930–1971), professeur de mathématiques à l’Université de Californie à Los Angeles (UCLA), publia trois articles qui rejetèrent la distinction conventionnelle entre les langues naturelles et les langages formels des logiciens, ouvrant ainsi une troisième voie conciliant les acquis théoriques les plus solides des deux traditions : English as a Formal Language, Universal Grammar et The Proper Treatment of Quantification in Ordinary English. Le programme de Montague constitue aujourd’hui le fondement de la sémantique formelle contemporaine et alimente un vaste champ de recherches, allant de la théorie des quantificateurs généralisés de Barwise et Cooper à la Discourse Representation Theory de Kamp, de la synthèse pédagogique de Heim et Kratzer à la théorie probabiliste des types élaborée par Cooper et ses collaborateurs. Malgré cette influence considérable, la sémantique de type montagovien n’a longtemps bénéficié que d’un traitement fragmentaire dans la littérature linguistique turcophone, et une introduction exhaustive à ce domaine n’est devenue disponible qu’avec la monographie d’Akşehirli (2022).

Le présent article de synthèse poursuit trois objectifs principaux. Premièrement, il procède à une analyse approfondie des cinq composantes fondamentales de la sémantique théorique de type montagovien : la signification fondée sur les conditions de vérité, l’interprétation fondée sur la théorie des modèles, le principe de compositionnalité, la logique intentionnelle des types d’ordre supérieur et la théorie des quantificateurs généralisés. Deuxièmement, il retrace la continuité logico-philosophique reliant Frege, Russell, Church, Tarski et Kripke à Montague, tout en situant, dans cette même continuité, les développements postérieurs à Montague, notamment la Discourse Representation Theory (DRT), la sémantique dynamique, la Type Theory with Records (TTR), la Modern Type-Theoretic Semantics (MTT-Semantics) et la Dependent Type Semantics (DTS). Troisièmement, il dresse une cartographie bibliographique des recherches inspirées par Montague dans la linguistique turque et propose un programme de recherche structuré autour de quatre axes afin d’exploiter le potentiel théorique qu’offre la langue turque à la sémantique formelle.

L’infrastructure bibliographique de cette étude repose sur une revue systématique de la littérature réalisée conformément à la liste de contrôle en vingt-sept points de la déclaration PRISMA 2020 (Page et al., 2021). Les recherches documentaires ont été conduites simultanément dans six bases de données : Web of Science Core Collection (Clarivate), Scopus (Elsevier), TR Dizin (TÜBİTAK ULAKBİM), le Répertoire national des thèses du Conseil de l’enseignement supérieur de Turquie (YÖK National Theses Repository), theses.fr conjointement avec HAL Thèses (archives françaises ouvertes de thèses), ainsi que EThOS conjointement avec White Rose eTheses Online (archives ouvertes britanniques de thèses). À des fins de vérification secondaire, les archives de la Stanford Encyclopedia of Philosophy, de PhilPapers, de l’ACL Anthology et de Language Science Press ont également été consultées. Les requêtes documentaires ont été formulées en trois langues, en combinant, au moyen d’opérateurs booléens, les principaux concepts tels que « Montague semantics », « compositionality », « intensional logic », « lambda calculus », « generalized quantifiers » ainsi que leurs équivalents turcs.

Les critères d’inclusion comprenaient les articles publiés dans des revues à comité de lecture, les chapitres d’ouvrages, les monographies, les mémoires et thèses universitaires, les notices encyclopédiques de référence (SEP et PhilPapers), les publications parues entre 1970 et 2026, les travaux rédigés en anglais, en français ou en turc, ainsi que les études entretenant un lien théorique direct ou indirect avec la sémantique de type montagovien. Les critères d’exclusion concernaient les prépublications non évaluées par les pairs, les billets de blog, la littérature grise, les sources dont les données bibliographiques ne pouvaient être vérifiées ainsi que les travaux exclusivement consacrés au traitement automatique des langues naturelles sans perspective sémantique théorique. La recherche initiale a permis d’identifier 1 247 références. Après élimination des doublons, examen des titres et des résumés, puis évaluation des textes intégraux, 131 sources ont été retenues pour la synthèse finale. Le diagramme de flux ainsi que les critères d’inclusion et d’exclusion sont présentés dans la Figure 1 et le Tableau 1 de l’article.

L’analyse met en évidence l’héritage logico-philosophique qui s’étend de la Begriffsschrift de Frege (1879) et de la distinction entre Sinn et Bedeutung (1892), en passant par l’analyse des descriptions définies de Russell (1905), la théorie simple des types de Church (1940), la sémantique vériconditionnelle de Tarski (1944) et la sémantique des mondes possibles de Kripke (1963), jusqu’au programme théorique de Montague. Trois propriétés fondamentales de la logique intentionnelle de Montague sont examinées : la quantification d’ordre supérieur, l’intentionnalité (y compris son interprétation dans le cadre Ty₂ proposé par Gallin en 1975) ainsi que l’intégration du calcul λ typé (typed lambda calculus). Le fragment PTQ (1973) est analysé à travers les conversions λ (β-réduction), la règle de quantifying-in et les postulats de signification. Les différentes stratégies de résolution des ambiguïtés de portée sont également comparées, notamment Cooper Store, le type shifting (Partee–Rooth ; Hendriks), la sémantique sans variables (variable-free semantics) de Jacobson et les approches fondées sur la Combinatory Categorial Grammar (CCG) développées par Steedman et Bozsahin.

L’étude apporte deux contributions théoriques originales. La première consiste à introduire, dans la littérature linguistique turcophone, la distinction entre le principe du domaine (Domain Principle) et le principe de la langue (Language Principle), telle qu’elle a été formulée par Pagin et Westerståhl (2010a, 2010b) dans Philosophy Compass. La seconde réside dans la première présentation en langue turque du résultat établi par Wehmeier (2024) concernant la distinction entre compositionnalité triviale (trivial compositionality) et compositionnalité substantielle (substantive compositionality), publié dans Linguistics and Philosophy (47/6). Ce résultat précise les limites mathématiques et philosophiques de la thèse de Zadrozny (1994), selon laquelle toute langue pourrait être considérée comme compositionnelle, en démontrant que, dans l’espace des fonctions non injectives, la compositionnalité constitue une propriété logiquement substantielle. Cette conclusion entretient un lien direct avec les travaux de Mahowald et al. (2024) sur les grands modèles de langage (Large Language Models) et revêt une importance particulière pour l’évaluation des comportements compositionnels des systèmes fondés sur l’architecture Transformer.

Les recherches inspirées par Montague dans la linguistique de langue turque sont cartographiées selon trois axes principaux. Le premier correspond au courant fondé sur la Combinatory Categorial Grammar (CCG), développé au sein du Département des sciences cognitives de l’Université technique du Moyen-Orient (METU) sous la direction de Cem Bozsahin (1996, 2012), ainsi qu’aux thèses majeures qui en sont issues (Kurt, 2006 ; Özge, 2010). Le deuxième regroupe les travaux en sémantique formelle conduits au Département de linguistique de l’Université Boğaziçi autour des recherches d’Öztürk Başaran, Göksel et Kelepir. Le troisième est représenté par l’ouvrage introductif d’Akşehirli (2022), qui constitue un jalon décisif dans la construction de la terminologie turque de la sémantique formelle. En outre, l’étude de Kayğıl (2025), qui reconstruit les propositions modales de la Şemsiyye d’al-Kātibī dans le cadre de la Constructive Type Theory, montre que la tradition logique ottomane peut être relue de manière féconde au moyen des outils théoriques issus des développements postérieurs à Montague.

L’analyse propose un programme de recherche structuré autour de quatre axes destinés à exploiter les possibilités théoriques qu’offre la langue turque à la sémantique formelle. Le premier axe consiste en une cartographie systématique des quantificateurs turcs (bir, her, bazı, çoğu, birçok, birkaç, hiçbir) selon leurs propriétés de monotonicité, de conservativité et d’inférence descendante (downward entailment) dans le cadre théorique de Barwise et Cooper, en les modélisant conjointement avec les éléments de polarité négative (hiç, asla, bile). Le deuxième axe vise à formaliser les marqueurs aspectuo-temporels et modaux du turc (-yor, -DI, -mIş, -AcAk, -mAlI, -AbIl) au sein de la logique intentionnelle et de la sémantique des événements, en accordant une attention particulière à l’adaptation, pour le turc, de la relation entre le morphème -mIş et l’évidentialité, conformément aux travaux de Faller (2002) et de Murray (2014). Le troisième axe porte sur l’analyse de l’indéfinitude, de la spécificité et du marquage casuel au moyen des instruments de la sémantique dynamique post-montagovienne (DRT, DPL, TTR). Enfin, le quatrième axe préconise l’application de la sémantique formelle à l’étude des textes historiques ottomans et turcs ainsi qu’une relecture de la tradition logique ottomane dans le cadre de la Constructive Type Theory.

Cette étude conclut que le cadre théorique élaboré par Richard Montague entre 1970 et 1973 demeure le paradigme central de la sémantique formelle contemporaine. L’interprétation fondée sur la théorie des modèles, le principe de compositionnalité, la logique intentionnelle des types et la théorie des quantificateurs généralisés constituent conjointement l’ossature formelle de la sémantique des langues naturelles, tandis que les développements postérieurs à Montague s’inscrivent dans le prolongement direct de ces fondements. En outre, la lecture conjointe de la distinction entre le principe du domaine et le principe de la langue, proposée par Pagin et Westerståhl, et du résultat de Wehmeier relatif à la compositionnalité triviale et à la compositionnalité substantielle permet de préciser le profil mathématique et philosophique du principe de compositionnalité tout en affinant les contours théoriques de l’espace que la langue turque ouvre à la sémantique formelle. Dès lors, la revue systématique réalisée conformément au cadre méthodologique PRISMA 2020 ne se limite pas à établir un inventaire théorique exhaustif ; elle fournit également une véritable feuille de route stratégique pour le développement futur de la linguistique turque dans le domaine de la sémantique formelle.

Resumen Estructurado:

La cuestión de si el significado del lenguaje natural constituye un objeto susceptible de un análisis matemáticamente riguroso representó una de las tensiones constitutivas de la lingüística y de la filosofía del lenguaje del siglo XX. Dicha tensión enfrentó las corrientes psicologicistas, que identificaban el significado con las representaciones mentales, y las tradiciones lógico-filosóficas, que definían el significado en términos de condiciones de verdad. Entre 1970 y 1973, Richard Montague (1930–1971), profesor de Matemáticas de la Universidad de California en Los Ángeles (UCLA), publicó tres trabajos en los que rechazó la distinción tradicional entre las lenguas naturales y los lenguajes formales de los lógicos, inaugurando así una tercera vía que integraba las contribuciones más sólidas de ambas tradiciones: English as a Formal Language, Universal Grammar y The Proper Treatment of Quantification in Ordinary English. El programa de Montague constituye hoy el fundamento de la semántica formal contemporánea y ha dado lugar a un amplio campo de investigación que abarca desde la teoría de los cuantificadores generalizados de Barwise y Cooper hasta la Discourse Representation Theory de Kamp, desde la síntesis pedagógica de Heim y Kratzer hasta la teoría probabilística de tipos desarrollada por Cooper y sus colaboradores. No obstante, la semántica de orientación montagueana recibió durante largo tiempo un tratamiento únicamente fragmentario en la lingüística de lengua turca, y una introducción integral a este campo no estuvo disponible hasta la publicación de la monografía de Akşehirli (2022).

El presente artículo de revisión persigue tres objetivos fundamentales. En primer lugar, analiza detalladamente los cinco componentes nucleares de la semántica teórica de orientación montagueana: el significado basado en condiciones de verdad, la interpretación sustentada en la teoría de modelos, el principio de composicionalidad, la lógica intensional de tipos de orden superior y la teoría de los cuantificadores generalizados. En segundo lugar, reconstruye la continuidad lógico-filosófica que enlaza la tradición Frege–Russell–Church–Tarski–Kripke con Montague y sitúa, dentro de dicha continuidad, los desarrollos posteriores al paradigma montagueano, entre ellos la Discourse Representation Theory (DRT), la semántica dinámica, la Type Theory with Records (TTR), la Modern Type-Theoretic Semantics (MTT-Semantics) y la Dependent Type Semantics (DTS). En tercer lugar, el estudio elabora una cartografía bibliográfica de las investigaciones de orientación montagueana desarrolladas en la lingüística turca y propone una agenda de investigación articulada en cuatro ejes destinada a explorar el potencial teórico que ofrece la lengua turca para la semántica formal.

La infraestructura bibliográfica del estudio se fundamenta en una revisión sistemática de la literatura realizada conforme a la lista de verificación de veintisiete ítems de la declaración PRISMA 2020 (Page et al., 2021). La búsqueda documental se llevó a cabo simultáneamente en seis bases de datos: Web of Science Core Collection (Clarivate), Scopus (Elsevier), TR Dizin (TÜBİTAK ULAKBİM), el Repositorio Nacional de Tesis del Consejo de Educación Superior de Turquía (YÖK National Theses Repository), theses.fr junto con HAL Thèses (archivo abierto francés de tesis) y EThOS junto con White Rose eTheses Online (archivo abierto británico de tesis). Como procedimiento de verificación secundaria, también se consultaron los archivos de la Stanford Encyclopedia of Philosophy, PhilPapers, ACL Anthology y Language Science Press. Las estrategias de búsqueda se ejecutaron en tres idiomas, combinando mediante operadores booleanos los principales conceptos clave —«Montague semantics», «compositionality», «intensional logic», «lambda calculus», «generalized quantifiers»— y sus equivalentes en turco.

Los criterios de inclusión comprendieron artículos publicados en revistas científicas con revisión por pares, capítulos de libro, monografías, tesis de posgrado y entradas enciclopédicas de referencia (SEP y PhilPapers); publicaciones aparecidas entre 1970 y 2026; textos redactados en inglés, francés o turco; y trabajos que mantuvieran una relación teórica directa o indirecta con la semántica de orientación montagueana. Los criterios de exclusión abarcaron preprints no sometidos a revisión por pares, entradas de blogs, literatura gris, fuentes con datos bibliográficos no verificables y estudios centrados exclusivamente en el procesamiento computacional del lenguaje natural sin una perspectiva semántica teórica. La búsqueda inicial identificó 1.247 registros. Tras la eliminación de duplicados, el cribado de títulos y resúmenes y la evaluación de los textos completos, se seleccionaron finalmente 131 fuentes para la síntesis definitiva. El diagrama de flujo y los criterios de inclusión y exclusión se presentan en la Figura 1 y la Tabla 1 del artículo.

El análisis reconstruye la herencia lógico-filosófica que se extiende desde la Begriffsschrift de Frege (1879) y la distinción entre Sinn y Bedeutung (1892), pasando por el análisis de las descripciones definidas de Russell (1905), la teoría simple de tipos de Church (1940), la semántica basada en condiciones de verdad de Tarski (1944) y la semántica de mundos posibles de Kripke (1963), hasta el programa teórico de Montague. Asimismo, examina tres rasgos definitorios de la lógica intensional montagueana: la cuantificación de orden superior, la intensionalidad —incluida su interpretación dentro del marco Ty₂ propuesto por Gallin (1975)— y la incorporación del cálculo lambda tipado (typed lambda calculus). El fragmento PTQ (1973) se analiza mediante las conversiones lambda (reducción β), la regla de quantifying-in y los postulados de significado. Igualmente, se comparan las distintas estrategias para resolver las ambigüedades de alcance, entre ellas Cooper Store, el type shifting (Partee–Rooth; Hendriks), la variable-free semantics de Jacobson y las soluciones basadas en la Combinatory Categorial Grammar (CCG) desarrolladas por Steedman y Bozsahin.

El estudio realiza dos aportaciones teóricas originales. La primera consiste en introducir en la literatura lingüística de lengua turca la distinción entre el principio del dominio (Domain Principle) y el principio del lenguaje (Language Principle), formulada por Pagin y Westerståhl (2010a, 2010b) en Philosophy Compass. La segunda radica en ofrecer el primer tratamiento en lengua turca del resultado de Wehmeier (2024) relativo a la distinción entre composicionalidad trivial (trivial compositionality) y composicionalidad sustantiva (substantive compositionality), publicado en Linguistics and Philosophy (47/6). Dicho resultado esclarece los límites matemáticos y filosóficos de la tesis de Zadrozny (1994), según la cual la composicionalidad podría atribuirse a cualquier lengua, demostrando que, en el espacio de las funciones no inyectivas, la composicionalidad constituye una propiedad lógicamente sustantiva. Esta conclusión mantiene una relación directa con los trabajos de Mahowald et al. (2024) sobre los grandes modelos de lenguaje (Large Language Models) y posee implicaciones relevantes para la evaluación del comportamiento composicional de los sistemas basados en la arquitectura Transformer.

Las líneas de investigación de orientación montagueana desarrolladas en la lingüística de lengua turca se cartografían bajo tres ejes principales. El primero corresponde a la línea basada en la Combinatory Categorial Grammar (CCG), desarrollada en el Departamento de Ciencias Cognitivas de la Universidad Técnica de Oriente Medio (METU) bajo la dirección de Cem Bozsahin (1996, 2012), así como a las tesis doctorales y de maestría que surgieron de dicha tradición (Kurt, 2006; Özge, 2010). El segundo eje comprende los estudios de semántica formal desarrollados en el Departamento de Lingüística de la Universidad Boğaziçi en torno a los trabajos de Öztürk Başaran, Göksel y Kelepir. El tercero está representado por la obra introductoria de Akşehirli (2022), que constituye un punto de inflexión en la construcción de la terminología turca de la semántica formal. Asimismo, el estudio de Kayğıl (2025), que reconstruye las proposiciones modales de la Şemsiyye de al-Kātibī dentro del marco de la Constructive Type Theory, demuestra que la tradición lógica otomana puede reinterpretarse mediante las herramientas teóricas desarrolladas por las corrientes tipológicas posteriores a Montague.

El análisis propone una agenda de investigación estructurada en cuatro ejes destinada a explorar el espacio teórico que la lengua turca ofrece a la semántica formal. El primer eje consiste en la cartografía sistemática de los cuantificadores del turco (bir, her, bazı, çoğu, birçok, birkaç, hiçbir) en función de sus propiedades de monotonicidad, conservatividad e inferencia descendente (downward entailment) dentro del marco de Barwise y Cooper, modelándolos conjuntamente con los elementos de polaridad negativa (hiç, asla, bile). El segundo eje propone la formalización de los marcadores aspectuales, temporales y modales del turco (-yor, -DI, -mIş, -AcAk, -mAlI, -AbIl) mediante la lógica intensional y la semántica de eventos, prestando especial atención a la adaptación, para el caso del turco, de la relación entre el morfema -mIş y la evidencialidad, siguiendo los planteamientos de Faller (2002) y Murray (2014). El tercer eje se centra en el análisis de la indefinición, la especificidad y el marcaje de caso mediante los instrumentos de la semántica dinámica postmontagueana (DRT, DPL, TTR). Finalmente, el cuarto eje propone la aplicación de la semántica formal al estudio de los textos históricos otomanos y turcos, así como una relectura de la tradición lógica otomana dentro del marco de la Constructive Type Theory.

El estudio concluye que el marco teórico formulado por Richard Montague entre 1970 y 1973 continúa constituyendo el paradigma central de la semántica formal contemporánea. La interpretación basada en la teoría de modelos, el principio de composicionalidad, la lógica intensional de tipos y la teoría de los cuantificadores generalizados conforman conjuntamente la infraestructura formal de la semántica de las lenguas naturales, mientras que los desarrollos postmontagueanos se edifican sobre dichos fundamentos. Asimismo, la lectura conjunta de la distinción entre el principio del dominio y el principio del lenguaje, propuesta por Pagin y Westerståhl, junto con el resultado de Wehmeier relativo a la composicionalidad trivial y la composicionalidad sustantiva, permite precisar el perfil matemático-filosófico del principio de composicionalidad y delimitar con mayor exactitud el espacio teórico que la lengua turca abre para la semántica formal. En consecuencia, la revisión sistemática realizada conforme al marco metodológico PRISMA 2020 no solo proporciona un inventario teórico exhaustivo, sino que también ofrece una hoja de ruta estratégica para el desarrollo futuro de la lingüística de lengua turca en el ámbito de la semántica formal.

结构式摘要:

自然语言的意义是否能够成为可接受数学精确分析的研究对象，是二十世纪语言学与语言哲学最具奠基性的理论张力之一。这一理论张力使两大传统形成鲜明对立：一方是将意义等同于心理表征的心理主义取向，另一方则是以真值条件（truth conditions）界定意义的逻辑—哲学传统。1970年至1973年间，加州大学洛杉矶分校（UCLA）数学教授理查德·蒙塔古（Richard Montague，1930–1971）发表了三篇具有里程碑意义的论文：《English as a Formal Language》《Universal Grammar》以及《The Proper Treatment of Quantification in Ordinary English》。这些研究明确否定了自然语言与逻辑学形式语言之间的传统分野，开创了一条融合两大理论传统优势的新路径。蒙塔古所提出的理论纲领构成了当代形式语义学（Formal Semantics）的理论基础，并催生出广泛而深远的研究谱系，涵盖Barwise与Cooper提出的广义量词理论（Theory of Generalized Quantifiers）、Kamp创立的话语表征理论（Discourse Representation Theory, DRT）、Heim与Kratzer建立的教学体系，以及Cooper及其合作者发展的概率类型理论（Probabilistic Type Theory）等。然而，长期以来，蒙塔古语义学在土耳其语语言学研究中仅得到零散而有限的讨论，直到Akşehirli于2022年出版专著之后，土耳其学界才首次拥有关于该领域的系统性导论。

本文作为一项综述性研究，旨在实现三个主要目标。首先，对蒙塔古理论语义学的五个核心组成部分进行系统而深入的理论分析，即：真值条件语义（truth-conditional meaning）、模型论解释（model-theoretic interpretation）、组合性原则（principle of compositionality）、高阶内涵类型逻辑（higher-order intensional type logic）以及广义量词理论（theory of generalized quantifiers）。其次，系统梳理从Frege、Russell、Church、Tarski、Kripke到Montague所形成的逻辑—哲学连续谱系，并在此理论连续性框架内定位蒙塔古之后的发展方向，包括话语表征理论（DRT）、动态语义学（Dynamic Semantics）、记录类型理论（Type Theory with Records, TTR）、现代类型理论语义学（Modern Type-Theoretic Semantics, MTT-Semantics）以及依赖类型语义学（Dependent Type Semantics, DTS）。第三，对土耳其语语言学中以蒙塔古语义学为导向的研究成果进行文献计量式梳理，并针对土耳其语为形式语义学提供的理论空间，提出一个由四个研究维度构成的未来研究议程。

本研究的文献基础建立在依据PRISMA 2020声明（Page等，2021）二十七项检查清单实施的系统文献综述之上。文献检索同时覆盖六个数据库：Web of Science Core Collection（Clarivate）、Scopus（Elsevier）、TR Dizin（TÜBİTAK ULAKBİM）、土耳其高等教育委员会国家学位论文数据库（YÖK National Theses Repository）、法国开放学位论文数据库theses.fr与HAL Thèses，以及英国开放学位论文数据库EThOS和White Rose eTheses Online。作为补充性验证，还查阅了Stanford Encyclopedia of Philosophy、PhilPapers、ACL Anthology以及Language Science Press等权威学术资源。检索工作以英语、法语和土耳其语三种语言同步开展，并采用布尔逻辑（Boolean operators）组合“Montague semantics”“compositionality”“intensional logic”“lambda calculus”“generalized quantifiers”及其土耳其语对应术语作为核心检索词。

纳入标准包括：经同行评审的期刊论文、书籍章节、学术专著、硕博士学位论文以及权威百科条目（SEP与PhilPapers）；出版时间介于1970年至2026年之间；使用英语、法语或土耳其语撰写；且与蒙塔古语义学具有直接或间接理论关联的研究成果。排除标准包括未经同行评审的预印本、博客文章、灰色文献、无法核实引文信息的资料，以及仅关注自然语言计算处理而缺乏理论语义学维度的研究。初步检索共获得1,247条文献记录。经去重、题名与摘要筛选以及全文评估之后，最终纳入131篇文献进行综合分析。文献筛选流程图及纳入、排除标准分别载于本文图1和表1。

研究分析系统追溯了自Frege（1879）的《Begriffsschrift》及其于1892年提出的Sinn/Bedeutung（涵义／指称）区分，经Russell（1905）的限定描述理论、Church（1940）的简单类型理论、Tarski（1944）的真值条件语义学以及Kripke（1963）的可能世界语义学，直至Montague理论体系的发展脉络。本文重点讨论蒙塔古内涵逻辑（Intensional Logic）的三项核心特征：高阶量化（higher-order quantification）、内涵性（intensionality）（包括Gallin于1975年Ty₂框架中的解释），以及类型化λ演算（typed lambda calculus）的引入。对于PTQ（1973）片段，则结合λ转换（β-归约）、Quantifying-in规则以及意义公设（meaning postulates）进行系统分析。同时，对处理量词辖域歧义（scope ambiguity）的不同策略进行了比较，包括Cooper Store、类型转换（type shifting；Partee–Rooth、Hendriks）、无变量语义学（variable-free semantics；Jacobson），以及Steedman与Bozsahin提出的基于**组合范畴语法（Combinatory Categorial Grammar, CCG）**的解决方案。

本研究提出两项具有原创性的理论贡献。第一，首次将Pagin与Westerståhl（2010a，2010b）发表于《Philosophy Compass》的**领域原则（Domain Principle）与语言原则（Language Principle）之区分系统引入土耳其语语言学研究。第二，首次以土耳其语系统介绍Wehmeier（2024）发表于《Linguistics and Philosophy》47卷第6期关于形式性组合性（trivial compositionality）与实质性组合性（substantive compositionality）**的理论成果。该研究澄清了Zadrozny（1994）关于“任何语言均可视为具有组合性”这一命题的数学—哲学界限，并证明在非单射函数（non-injective functions）空间中，组合性属于一种具有逻辑实质内容的性质。这一理论发现与Mahowald等（2024）关于大型语言模型（Large Language Models）的研究形成直接呼应，对于评估基于Transformer架构系统的组合性行为具有重要理论意义。

本文将土耳其语语言学中以蒙塔古理论为导向的研究脉络归纳为三个主要方向。第一，**组合范畴语法（Combinatory Categorial Grammar, CCG）研究路线，由中东技术大学（Middle East Technical University, METU）认知科学系Cem Bozsahin（1996，2012）主持建立，并形成了一系列具有代表性的学位论文（Kurt，2006；Özge，2010）。第二，围绕Boğaziçi大学语言学系Öztürk Başaran、Göksel和Kelepir等学者所开展的形式语义学研究。第三，Akşehirli（2022）的导论性专著，该著作标志着土耳其形式语义学术语体系建构进入新的发展阶段。此外，Kayğıl（2025）基于构造类型理论（Constructive Type Theory）**重构Kātibī《Shamsiyya》中的情态命题，表明奥斯曼逻辑传统完全可以借助后蒙塔古类型理论框架重新加以阐释，从而为伊斯兰逻辑传统与现代形式语义学之间的理论对话提供了新的研究路径。

基于上述分析，本文进一步提出了一项由四个研究维度构成的研究议程，以充分发掘土耳其语在形式语义学中的理论潜力。第一维度是在Barwise–Cooper广义量词理论框架下，对土耳其语量词（bir, her, bazı, çoğu, birçok, birkaç, hiçbir）依据其单调性（monotonicity）、保守性（conservativity）以及向下蕴涵（downward entailment）等语义属性进行系统描写，并结合负极性项目（negative polarity items）（hiç, asla, bile）开展统一建模。第二维度是借助内涵逻辑（intensional logic）和事件语义学（event semantics）形式化描述土耳其语的体、时和情态标记（-yor, -DI, -mIş, -AcAk, -mAlI, -AbIl），重点探讨如何依据Faller（2002）与Murray（2014）的理论，将-mIş与传闻证据性（evidentiality）之间的关系有效适配于土耳其语。第三维度是运用后蒙塔古动态语义学工具（DRT、DPL、TTR）分析土耳其语中的非定指性（indefiniteness）、特指性（specificity）以及格标记（case marking）等现象。第四维度则主张将形式语义学方法应用于奥斯曼土耳其语及现代土耳其语历史文献研究，并在构造类型理论**框架下重新诠释奥斯曼逻辑传统。

本文最终认为，Richard Montague于1970年至1973年间建立的理论框架至今仍然构成当代形式语义学的核心范式。模型论解释（model-theoretic interpretation）、组合性原则（principle of compositionality）、内涵类型逻辑（intensional type logic）以及广义量词理论（theory of generalized quantifiers）共同构成了自然语言形式语义学的理论基础，而所有后蒙塔古语义学的发展均建立在这一理论基础之上。同时，将Pagin与Westerståhl提出的领域原则—语言原则区分，与Wehmeier关于形式性组合性和实质性组合性的理论成果结合考察，不仅进一步澄清了组合性原则的数学—哲学内涵，而且更加准确地界定了土耳其语在形式语义学研究中所展现出的理论空间。因此，本研究依据PRISMA 2020框架完成的系统性文献综述，不仅构建了一套完整的理论知识图谱，而且为土耳其语语言学未来在形式语义学领域的发展提供了一份具有战略意义的研究路线图。

Структурированная аннотация:

Вопрос о том, может ли значение естественного языка рассматриваться как объект, допускающий математически строгий анализ, представляет собой одно из фундаментальных теоретических противоречий, определивших развитие лингвистики и философии языка XX века. Данное противоречие противопоставило психологические направления, отождествлявшие значение с ментальными репрезентациями, логико-философским традициям, трактовавшим значение в терминах условий истинности. В период с 1970 по 1973 год профессор математики Калифорнийского университета в Лос-Анджелесе (UCLA) Ричард Монтегю (Richard Montague, 1930–1971) опубликовал три работы — English as a Formal Language, Universal Grammar и The Proper Treatment of Quantification in Ordinary English, — в которых отверг традиционное противопоставление естественных языков и формальных языков логики, тем самым предложив третий теоретический путь, объединивший наиболее сильные стороны обеих научных традиций. Программа Монтегю составляет концептуальный фундамент современной формальной семантики и лежит в основе широкого спектра исследований — от теории обобщённых кванторов Барвайза и Купера до Теории представления дискурса (Discourse Representation Theory) Кампа, от учебного синтеза Хайм и Кратцер до вероятностной теории типов (Probabilistic Type Theory), разработанной Купером и его коллегами. Несмотря на это, семантика монтегюанского типа долгое время освещалась в турецкоязычном языкознании лишь фрагментарно, а первое комплексное введение в данную область стало доступно лишь после публикации монографии Акшехирли (Akşehirli, 2022).

Настоящая обзорная статья преследует три основные цели. Во-первых, в ней осуществляется детальный теоретический анализ пяти базовых компонентов семантики монтегюанского типа: семантики условий истинности (truth-conditional semantics), модельно-теоретической интерпретации (model-theoretic interpretation), принципа композициональности (principle of compositionality), интенсиональной логики типов высшего порядка (higher-order intensional type logic) и теории обобщённых кванторов (theory of generalized quantifiers). Во-вторых, реконструируется логико-философская преемственность, связывающая традицию Фреге—Рассела—Чёрча—Тарского—Крипке с теоретической программой Монтегю, а также определяется место постмонтегюанских направлений — Теории представления дискурса (DRT), динамической семантики, Теории типов с записями (Type Theory with Records, TTR), современной типотеоретической семантики (Modern Type-Theoretic Semantics, MTT-Semantics) и зависимой типовой семантики (Dependent Type Semantics, DTS) — в рамках данной интеллектуальной преемственности. В-третьих, представлена библиографическая карта исследований монтегюанской направленности в турецкоязычном языкознании и предложена четырёхкомпонентная исследовательская программа, ориентированная на раскрытие теоретического потенциала турецкого языка для формальной семантики.

Библиографическая основа исследования сформирована посредством систематического обзора литературы, выполненного в соответствии с контрольным перечнем из двадцати семи пунктов декларации PRISMA 2020 (Page и др., 2021). Поиск литературы осуществлялся одновременно в шести научных базах данных: Web of Science Core Collection (Clarivate), Scopus (Elsevier), TR Dizin (TÜBİTAK ULAKBİM), Национальном репозитории диссертаций Совета по высшему образованию Турции (YÖK National Theses Repository), французских открытых архивах theses.fr и HAL Thèses, а также британских архивах EThOS и White Rose eTheses Online. В целях дополнительной верификации были также использованы материалы Stanford Encyclopedia of Philosophy, PhilPapers, ACL Anthology и Language Science Press. Поисковые запросы выполнялись на трёх языках с использованием булевых операторов, объединявших ключевые понятия «Montague semantics», «compositionality», «intensional logic», «lambda calculus», «generalized quantifiers» и их турецкие эквиваленты.

Критерии включения охватывали статьи, опубликованные в рецензируемых научных журналах, главы коллективных монографий, научные монографии, магистерские и докторские диссертации, а также авторитетные энциклопедические статьи (SEP и PhilPapers); публикации, вышедшие в период с 1970 по 2026 год; работы на английском, французском и турецком языках; а также исследования, имеющие прямую либо косвенную теоретическую связь с семантикой монтегюанского типа. Критерии исключения включали нерецензируемые препринты, публикации в блогах, «серую литературу», источники с непроверяемыми библиографическими данными, а также исследования, посвящённые исключительно вычислительной обработке естественного языка без теоретико-семантической составляющей. Первоначальный поиск выявил 1247 публикаций. После удаления дубликатов, отбора по заголовкам и аннотациям, а также оценки полных текстов в итоговый анализ были включены 131 источник. Схема отбора литературы и критерии включения/исключения представлены на рисунке 1 и в таблице 1 статьи.

Проведённый анализ реконструирует логико-философское наследие, восходящее к Begriffsschrift Фреге (1879) и различению Sinn и Bedeutung (1892), проходящее через анализ определённых дескрипций Рассела (1905), простую теорию типов Чёрча (1940), семантику условий истинности Тарского (1944) и семантику возможных миров Крипке (1963), вплоть до теоретической системы Монтегю. Особое внимание уделяется трём определяющим характеристикам интенсиональной логики Монтегю: квантификации высшего порядка, интенсиональности (включая её интерпретацию в рамках системы Ty₂, предложенной Галлином в 1975 году), а также интеграции типизированного λ-исчисления (typed lambda calculus). Фрагмент PTQ (1973) анализируется посредством λ-преобразований (β-редукции), правила quantifying-in и постулатов значения (meaning postulates). Кроме того, проводится сравнительный анализ различных стратегий разрешения неоднозначности области действия кванторов (scope ambiguity), включая Cooper Store, преобразование типов (type shifting; Partee–Rooth, Hendriks), безпеременную семантику (variable-free semantics; Jacobson) и решения, основанные на Комбинаторной категориальной грамматике (Combinatory Categorial Grammar, CCG), разработанные Steedman и Bozsahin.

Исследование вносит два оригинальных теоретических вклада. Первый заключается во введении в турецкоязычную лингвистическую литературу различения между принципом области (Domain Principle) и принципом языка (Language Principle), сформулированного Pagin и Westerståhl (2010a, 2010b) в журнале Philosophy Compass. Второй состоит в первом систематическом изложении на турецком языке результата Wehmeier (2024), опубликованного в журнале Linguistics and Philosophy (47(6)) и посвящённого различению тривиальной композициональности (trivial compositionality) и содержательной композициональности (substantive compositionality). Данный результат уточняет математико-философские пределы тезиса Zadrozny (1994) о возможности приписывания композициональности любому языку, демонстрируя, что в пространстве неинъективных функций композициональность представляет собой логически содержательное свойство. Этот вывод непосредственно соотносится с исследованиями Mahowald и соавторов (2024), посвящёнными большим языковым моделям (Large Language Models), и имеет существенное значение для оценки композиционного поведения систем, основанных на архитектуре Transformer.

Во втором разделе исследования систематизируются направления монтегюански ориентированных исследований в турецком языкознании по трём основным осям. Первая представлена направлением, основанным на Комбинаторной категориальной грамматике (Combinatory Categorial Grammar, CCG), сформировавшимся на кафедре когнитивных наук Ближневосточного технического университета (Middle East Technical University, METU) под руководством Джема Бозшахина (Cem Bozsahin, 1996, 2012), а также рядом магистерских и докторских диссертаций, выполненных в рамках данной научной школы (Kurt, 2006; Özge, 2010). Вторая ось охватывает исследования по формальной семантике, проводимые на кафедре лингвистики Университета Босфора (Boğaziçi University) вокруг работ Öztürk Başaran, Göksel и Kelepir. Третья представлена вводной монографией Akşehirli (2022), которая стала важным этапом формирования турецкой терминологии в области формальной семантики. Кроме того, исследование Kayğıl (2025), реконструирующее модальные пропозиции трактата al-Shamsiyya аль-Катиби в рамках Конструктивной теории типов (Constructive Type Theory), демонстрирует возможность переосмысления османской логической традиции посредством теоретического аппарата постмонтегюанских типовых теорий.

На основании проведённого анализа предлагается исследовательская программа, включающая четыре взаимодополняющих направления, ориентированных на раскрытие теоретического потенциала турецкого языка для формальной семантики. Первое направление предусматривает систематическое описание турецких кванторов (bir, her, bazı, çoğu, birçok, birkaç, hiçbir) в рамках теории обобщённых кванторов Барвайза и Купера с учётом их свойств монотонности (monotonicity), консервативности (conservativity) и нисходящего следования (downward entailment), а также их совместное моделирование с элементами отрицательной полярности (hiç, asla, bile). Второе направление предполагает формализацию видовых, временных и модальных показателей турецкого языка (-yor, -DI, -mIş, -AcAk, -mAlI, -AbIl) средствами интенсиональной логики и событийной семантики (event semantics), уделяя особое внимание адаптации теоретических моделей Faller (2002) и Murray (2014), посвящённых взаимосвязи морфемы -mIş и категории эвиденциальности (evidentiality), применительно к турецкому языку. Третье направление ориентировано на исследование неопределённости (indefiniteness), специфичности (specificity) и падежного маркирования (case marking) с использованием инструментов постмонтегюанской динамической семантики (DRT, DPL, TTR). Наконец, четвёртое направление предполагает применение методов формальной семантики к исследованию османских и исторических турецких текстов, а также переосмысление османской логической традиции в рамках Конструктивной теории типов.

Исследование приходит к выводу, что теоретическая программа, разработанная Ричардом Монтегю в период 1970–1973 годов, по-прежнему представляет собой центральную парадигму современной формальной семантики. Модельно-теоретическая интерпретация, принцип композициональности, интенсиональная логика типов и теория обобщённых кванторов образуют фундаментальную формальную инфраструктуру семантики естественных языков, тогда как все постмонтегюанские направления развиваются на основе этих исходных принципов. Совместное рассмотрение различения между принципом области и принципом языка, предложенного Pagin и Westerståhl, наряду с результатами Wehmeier относительно тривиальной и содержательной композициональности, позволяет более точно определить математико-философский статус принципа композициональности и тем самым конкретизировать теоретическое пространство, которое турецкий язык открывает для исследований в области формальной семантики. Следовательно, систематический обзор литературы, выполненный в соответствии с методологическими требованиями PRISMA 2020, представляет собой не только всестороннюю инвентаризацию существующей теоретической базы, но и стратегическую исследовательскую дорожную карту для дальнейшего развития турецкого языкознания в области формальной семантики.

संरचित सार:

क्या प्राकृतिक भाषा का अर्थ गणितीय परिशुद्धता के साथ विश्लेषित किया जा सकने वाला एक वैध अध्ययन-विषय है—यह प्रश्न बीसवीं शताब्दी के भाषाविज्ञान तथा भाषा-दर्शन की सबसे मौलिक सैद्धान्तिक बहसों में से एक रहा है। इस बहस ने दो प्रमुख परम्पराओं के मध्य एक स्पष्ट वैचारिक विभाजन उत्पन्न किया: एक ओर मनोवैज्ञानिक (psychologistic) दृष्टिकोण, जो अर्थ को मानसिक निरूपण (mental representations) के साथ अभिन्न मानता है; दूसरी ओर तर्कशास्त्रीय–दार्शनिक परम्परा, जो अर्थ को सत्य-शर्तों (truth conditions) के आधार पर परिभाषित करती है। 1970 से 1973 के मध्य कैलिफ़ोर्निया विश्वविद्यालय, लॉस एंजेलिस (UCLA) के गणित के प्रोफ़ेसर रिचर्ड मॉन्टेग्यू (Richard Montague, 1930–1971) ने अपनी तीन ऐतिहासिक कृतियों—English as a Formal Language, Universal Grammar तथा The Proper Treatment of Quantification in Ordinary English—के माध्यम से प्राकृतिक भाषाओं और तर्कशास्त्र की औपचारिक भाषाओं के बीच स्थापित पारम्परिक विभाजन को अस्वीकार किया तथा दोनों बौद्धिक परम्पराओं की प्रमुख शक्तियों का समन्वय करने वाला एक नवीन सैद्धान्तिक प्रतिमान प्रस्तुत किया। मॉन्टेग्यू का यह कार्यक्रम आधुनिक औपचारिक अर्थविज्ञान (Formal Semantics) की आधारशिला सिद्ध हुआ तथा इसके परिणामस्वरूप Barwise और Cooper की सामान्यीकृत परिमाणक सिद्धान्त (Theory of Generalized Quantifiers), Kamp की Discourse Representation Theory (DRT), Heim एवं Kratzer की शिक्षण-परम्परा तथा Cooper और उनके सहयोगियों द्वारा विकसित Probabilistic Type Theory सहित अनेक प्रभावशाली अनुसंधान-परम्पराओं का विकास हुआ। इसके बावजूद तुर्की भाषाविज्ञान में मॉन्टेग्यू अर्थविज्ञान पर आधारित अध्ययन लंबे समय तक अत्यन्त सीमित रहे और इस क्षेत्र का प्रथम व्यवस्थित परिचय केवल Akşehirli (2022) की मोनोग्राफ़ के प्रकाशन के पश्चात उपलब्ध हुआ।

यह समीक्षा-आधारित अध्ययन तीन प्रमुख उद्देश्यों की पूर्ति के लिए तैयार किया गया है। प्रथम, मॉन्टेग्यू के सैद्धान्तिक अर्थविज्ञान के पाँच मूलभूत अवयवों—सत्य-शर्तीय अर्थ (truth-conditional meaning), मॉडल-सैद्धान्तिक व्याख्या (model-theoretic interpretation), संरचनात्मकता का सिद्धान्त (principle of compositionality), उच्च-कोटि की आशयात्मक प्रकार-तर्क प्रणाली (higher-order intensional type logic) तथा सामान्यीकृत परिमाणक सिद्धान्त (theory of generalized quantifiers)—का व्यापक एवं व्यवस्थित सैद्धान्तिक विश्लेषण प्रस्तुत करना। द्वितीय, Frege, Russell, Church, Tarski और Kripke से लेकर Montague तक विकसित तर्कशास्त्रीय–दार्शनिक परम्परा का पुनर्निर्माण करते हुए DRT, Dynamic Semantics, Type Theory with Records (TTR), Modern Type-Theoretic Semantics (MTT-Semantics) तथा Dependent Type Semantics (DTS) जैसी उत्तर-मॉन्टेग्यू (post-Montague) परम्पराओं की इस बौद्धिक निरन्तरता में स्थिति का निर्धारण करना। तृतीय, तुर्की भाषाविज्ञान में मॉन्टेग्यू-आधारित अध्ययनों का ग्रंथसूचीगत (bibliographic) विश्लेषण प्रस्तुत करते हुए औपचारिक अर्थविज्ञान के क्षेत्र में तुर्की भाषा की सैद्धान्तिक क्षमता के विकास हेतु चार आयामों वाली एक भावी अनुसंधान-अनुसूची (research agenda) प्रस्तावित करना।

अध्ययन का साहित्यिक आधार PRISMA 2020 (Page et al., 2021) के 27-बिन्दु जाँच-सूची के अनुरूप सम्पन्न एक व्यवस्थित साहित्य समीक्षा पर आधारित है। साहित्य-संग्रह निम्नलिखित छह डेटाबेसों में समानान्तर रूप से किया गया: Web of Science Core Collection (Clarivate), Scopus (Elsevier), TR Dizin (TÜBİTAK ULAKBİM), YÖK National Theses Repository, फ़्रांस के theses.fr तथा HAL Thèses, और यूनाइटेड किंगडम के EThOS एवं White Rose eTheses Online। सहायक सत्यापन के उद्देश्य से Stanford Encyclopedia of Philosophy, PhilPapers, ACL Anthology तथा Language Science Press का भी उपयोग किया गया। खोज प्रक्रिया अंग्रेज़ी, फ़्रांसीसी और तुर्की—इन तीन भाषाओं में सम्पन्न की गई तथा Boolean operators के माध्यम से Montague semantics, compositionality, intensional logic, lambda calculus, generalized quantifiers तथा उनके तुर्की समकक्षों को खोज-शब्दों के रूप में प्रयुक्त किया गया।

समावेशन (inclusion) के मानदण्डों में सहकर्मी-समीक्षित (peer-reviewed) शोध-पत्र, पुस्तक-अध्याय, शैक्षणिक मोनोग्राफ़, स्नातकोत्तर एवं डॉक्टरेट शोध-प्रबंध तथा SEP और PhilPapers जैसे प्रामाणिक विश्वकोशीय लेख सम्मिलित किए गए; प्रकाशन अवधि 1970 से 2026 के मध्य सीमित रखी गई; तथा केवल अंग्रेज़ी, फ़्रांसीसी अथवा तुर्की भाषा में प्रकाशित वे अध्ययन सम्मिलित किए गए जिनका मॉन्टेग्यू अर्थविज्ञान से प्रत्यक्ष अथवा अप्रत्यक्ष सैद्धान्तिक सम्बन्ध था। बहिष्करण (exclusion) मानदण्डों के अन्तर्गत अप्रकाशित प्रीप्रिंट, ब्लॉग लेख, ग्रे साहित्य, अप्रमाणित संदर्भ-स्रोत तथा केवल प्राकृतिक भाषा संसाधन (Natural Language Processing) पर केन्द्रित किन्तु सैद्धान्तिक अर्थविज्ञान से असम्बद्ध अध्ययनों को बाहर रखा गया। प्रारम्भिक खोज में कुल 1,247 अभिलेख प्राप्त हुए। प्रतिलिपियों को हटाने, शीर्षक एवं सार-आधारित छनाई तथा पूर्ण-पाठ मूल्यांकन के पश्चात अन्ततः 131 अध्ययनों को समेकित विश्लेषण हेतु सम्मिलित किया गया। साहित्य चयन की प्रवाह-योजना तथा समावेशन–बहिष्करण मानदण्ड क्रमशः इस अध्ययन के चित्र 1 एवं सारणी 1 में प्रस्तुत किए गए हैं।

विश्लेषणात्मक भाग Frege (1879) की Begriffsschrift तथा उनके Sinn/Bedeutung (अर्थ/संदर्भ) भेद से प्रारम्भ होकर Russell (1905) के Theory of Descriptions, Church (1940) की Simple Type Theory, Tarski (1944) की सत्य-शर्तीय अर्थविज्ञान तथा Kripke (1963) की Possible Worlds Semantics से होते हुए मॉन्टेग्यू की सैद्धान्तिक प्रणाली तक की बौद्धिक परम्परा का अनुगमन करता है। अध्ययन में विशेष रूप से मॉन्टेग्यू की Intensional Logic की तीन प्रमुख विशेषताओं—higher-order quantification, intensionality (Gallin, 1975 द्वारा विकसित Ty₂ ढाँचे सहित) तथा typed lambda calculus—का विश्लेषण किया गया है। साथ ही PTQ (1973) खण्ड का λ-रूपान्तरण (β-reduction), Quantifying-in नियम तथा meaning postulates के आधार पर व्यवस्थित विवेचन प्रस्तुत किया गया है। इसके अतिरिक्त scope ambiguity के समाधान हेतु प्रयुक्त विभिन्न पद्धतियों—Cooper Store, type shifting (Partee–Rooth; Hendriks), variable-free semantics (Jacobson) तथा Steedman एवं Bozsahin द्वारा विकसित Combinatory Categorial Grammar (CCG)—का तुलनात्मक विश्लेषण भी किया गया है।

यह अध्ययन दो मौलिक सैद्धान्तिक योगदान प्रस्तुत करता है। पहला, Pagin एवं Westerståhl (2010a, 2010b) द्वारा Philosophy Compass में प्रतिपादित Domain Principle तथा Language Principle के भेद का तुर्की भाषावैज्ञानिक साहित्य में प्रथम व्यवस्थित परिचय। दूसरा, Wehmeier (2024) द्वारा Linguistics and Philosophy (47(6)) में प्रकाशित trivial compositionality तथा substantive compositionality के मध्य भेद का तुर्की भाषा में प्रथम व्यापक सैद्धान्तिक प्रस्तुतीकरण। यह अध्ययन Zadrozny (1994) के उस प्रतिपादन की गणितीय–दार्शनिक सीमाओं को स्पष्ट करता है कि "प्रत्येक भाषा को संरचनात्मक (compositional) माना जा सकता है", तथा यह सिद्ध करता है कि non-injective functions के क्षेत्र में compositionality एक वास्तविक तार्किक गुणधर्म है। यह निष्कर्ष Mahowald et al. (2024) द्वारा Large Language Models (LLMs) पर किए गए अध्ययनों के साथ प्रत्यक्ष सम्बन्ध स्थापित करता है तथा Transformer-आधारित प्रणालियों के संरचनात्मक व्यवहार के मूल्यांकन के लिए महत्त्वपूर्ण सैद्धान्तिक आधार प्रदान करता है।

अध्ययन के निष्कर्ष तुर्की भाषाविज्ञान में मॉन्टेग्यू-उन्मुख अनुसंधान परम्परा को तीन प्रमुख धाराओं में वर्गीकृत करते हैं। पहली धारा Combinatory Categorial Grammar (CCG) पर आधारित अनुसंधानों की है, जिसका विकास Middle East Technical University (METU) के संज्ञानात्मक विज्ञान विभाग में Cem Bozsahin (1996, 2012) के नेतृत्व में हुआ तथा जिसके अंतर्गत अनेक परास्नातक एवं डॉक्टरेट शोधप्रबंध (Kurt, 2006; Özge, 2010) तैयार किए गए। दूसरी धारा Boğaziçi University के भाषाविज्ञान विभाग में Öztürk Başaran, Göksel तथा Kelepir के नेतृत्व में विकसित औपचारिक अर्थविज्ञान संबंधी अनुसंधानों का प्रतिनिधित्व करती है। तीसरी धारा Akşehirli (2022) की परिचयात्मक मोनोग्राफ़ से संबंधित है, जिसने तुर्की औपचारिक अर्थविज्ञान की पारिभाषिक प्रणाली के विकास में एक नए चरण का सूत्रपात किया। इसके अतिरिक्त Kayğıl (2025) द्वारा Constructive Type Theory के आधार पर कातिबी की al-Shamsiyya में प्रतिपादित मोडल प्रतिज्ञप्तियों (modal propositions) का पुनर्निर्माण यह प्रदर्शित करता है कि उस्मानी (ऑटोमन) तर्कशास्त्रीय परम्परा की पुनर्व्याख्या उत्तर-मॉन्टेग्यू प्रकार-सिद्धान्तों (post-Montague type theories) के माध्यम से की जा सकती है, जिससे इस्लामी तर्कशास्त्र और आधुनिक औपचारिक अर्थविज्ञान के मध्य नए अंतःविषयक संवाद की संभावनाएँ उद्घाटित होती हैं।

इन निष्कर्षों के आधार पर अध्ययन औपचारिक अर्थविज्ञान के क्षेत्र में तुर्की भाषा की सैद्धान्तिक क्षमता के विकास हेतु चार परस्पर पूरक आयामों वाली एक अनुसंधान-अनुसूची (research agenda) प्रस्तावित करता है। पहला आयाम Barwise–Cooper के Theory of Generalized Quantifiers के अंतर्गत तुर्की परिमाणकों (bir, her, bazı, çoğu, birçok, birkaç, hiçbir) का उनके monotonicity, conservativity तथा downward entailment जैसे अर्थगत गुणों के आधार पर व्यवस्थित विश्लेषण करना तथा उन्हें नकारात्मक ध्रुवीयता-तत्त्वों (negative polarity items) (hiç, asla, bile) के साथ एकीकृत रूप से मॉडलित करना है। दूसरा आयाम तुर्की भाषा के काल (tense), पक्ष (aspect) तथा विधि (modality) सूचकों (-yor, -DI, -mIş, -AcAk, -mAlI, -AbIl) का intensional logic तथा event semantics के माध्यम से औपचारिक निरूपण करना है, विशेषतः Faller (2002) तथा Murray (2014) द्वारा प्रतिपादित evidentiality सिद्धान्तों के आलोक में प्रत्यय -mIş की अर्थगत संरचना का विश्लेषण। तीसरा आयाम उत्तर-मॉन्टेग्यू dynamic semantics (DRT, DPL, TTR) के उपकरणों का उपयोग करते हुए तुर्की भाषा में indefiniteness, specificity तथा case marking जैसी घटनाओं का अध्ययन करना है। चौथा आयाम औपचारिक अर्थविज्ञान की पद्धतियों को उस्मानी तुर्की तथा ऐतिहासिक तुर्की ग्रंथों पर लागू करते हुए Constructive Type Theory के ढाँचे में उस्मानी तर्कशास्त्रीय परम्परा की पुनर्व्याख्या का प्रस्ताव करता है।

अध्ययन का समग्र निष्कर्ष यह है कि 1970–1973 के मध्य Richard Montague द्वारा विकसित सैद्धान्तिक प्रतिमान आज भी आधुनिक Formal Semantics की केंद्रीय आधाररचना बना हुआ है। Model-theoretic interpretation, principle of compositionality, intensional type logic तथा theory of generalized quantifiers प्राकृतिक भाषा के औपचारिक अर्थविज्ञान की मूलभूत सैद्धान्तिक संरचना निर्मित करते हैं, जबकि उत्तर-मॉन्टेग्यू परम्परा की समस्त प्रगतियाँ इन्हीं आधारभूत सिद्धान्तों पर अवलंबित हैं। साथ ही, Pagin एवं Westerståhl द्वारा प्रतिपादित Domain Principle तथा Language Principle के मध्य विभेद को Wehmeier द्वारा प्रतिपादित trivial compositionality और substantive compositionality की संकल्पनाओं के साथ संयुक्त रूप से विचार करने पर संरचनात्मकता (compositionality) के सिद्धान्त की गणितीय–दार्शनिक प्रकृति अधिक स्पष्ट रूप से सामने आती है तथा यह भी स्पष्ट होता है कि औपचारिक अर्थविज्ञान के क्षेत्र में तुर्की भाषा कौन-कौन सी विशिष्ट सैद्धान्तिक संभावनाएँ प्रस्तुत करती है। परिणामस्वरूप, PRISMA 2020 के मानकों के अनुरूप सम्पन्न यह व्यवस्थित साहित्य समीक्षा न केवल वर्तमान सैद्धान्तिक ज्ञान का व्यापक मानचित्र प्रस्तुत करती है, बल्कि तुर्की भाषाविज्ञान में औपचारिक अर्थविज्ञान के भावी विकास हेतु एक रणनीतिक अनुसंधान-रोडमैप भी प्रदान करती है।