A Unified Account of Semantic Ambiguity Quantifier Using First- and Second-Order Logic (Aybak - Language and Literature)
Özet
Niceleyici kapsam belirsizliği, tek bir sözdizimsel yapının mantıksal açıdan birbirinden farklı birden fazla yoruma karşılık gelebilmesi nedeniyle biçimsel anlambilimin temel sorunlarından birini oluşturmaktadır. Birinci dereceden yüklem mantığı, niceleyiciler arasındaki ilişkilerin gösteriminde geleneksel olarak başlıca çerçeve olarak kullanılagelmiş olsa da bazı karmaşık kapsam etkileşimleri, yalnızca birinci dereceden yaklaşımların sınırlılıklarını ortaya koymaktadır. Bu bölüm, birinci ve ikinci dereceden yüklem mantığını tek bir gösterim çerçevesinde bütünleştiren, niceleyici kapsamına ilişkin birleşik bir mantıksal açıklama önermektedir. Çalışmada, niceleyici etkileşimi, iç içe niceleme ve birden fazla kapsam yorumuna örnek oluşturan, İngilizcede doğal kullanımlarıyla karşılaşılan çeşitli cümleler incelenmektedir. Her bir yorum için biçimsel gösterimler geliştirilmekte ve bu gösterimler ifade gücü ve anlamsal saydamlık bakımından karşılaştırılmaktadır. Analiz, birinci dereceden mantığın standart kapsam belirsizliklerinin çoğunu yeterli biçimde açıklayabildiğini; buna karşılık ikinci dereceden gösterimlerin, üst düzey anlamsal bağımlılıkları ve genelleştirilmiş niceleyici yapılarını modellemede daha fazla esneklik sağladığını ortaya koymaktadır. Birinci ve ikinci dereceden çözümlemeler arasında açık karşılıklar kuran önerilen çerçeve, mantıksal titizliği korurken alternatif yorumların gösterilmesine yönelik sistematik bir yöntem sunmaktadır. Bu bölüm, mantıksal ifade gücü ile anlamsal yorum arasındaki ilişkiyi açıklığa kavuşturarak ve doğal dilde anlamın çözümlenmesinde yerleşik yaklaşımlarla üst düzey yaklaşımları bir araya getiren birleşik bir kapsam belirsizliği açıklaması sunarak biçimsel anlambilim ve mantıksal dilbilim alanlarında devam eden tartışmalara katkıda bulunmaktadır.
Referanslar
Blackburn, P., and Bos, J. (2005). Representation and inference for natural language: A first course in computational semantics. CSLI Publications.
Bos, J. (2008). Wide-coverage semantic analysis with Boxer. In J.
Bos and R. Delmonte (Eds.), Semantics in text processing (pp. 277–286). Springer.
Cann, R. (2011). Formal semantics: An introduction. Cambridge University Press.
Chierchia, G., and McConnell-Ginet, S. (2000). Meaning and grammar: An introduction to semantics (2nd ed.). MIT Press.
Enderton, H. B. (2001). A mathematical introduction to logic (2nd ed.). Academic Press.
Groenendijk, J., and Stokhof, M. (1991). Dynamic predicate logic.
Linguistics and Philosophy, 14(1), 39–100. https://doi.org/10.1007/BF00628304
Heim, I., Kratzer, A. (1998). Semantics in generative grammar. Blackwell.
Hodges, W. (2001). Logic (2nd ed.). Penguin.
Kamp, H., van Genabith, J., and Reyle, U. (2011). Discourse representation theory. In D. Gabbay, F. Guenthner, and J. Woods (Eds.), Handbook of philosophical logic (2nd ed., Vol. 15, pp. 125–394). Springer.
Muskens, R. (2003). Language, lambdas, and logic. In G.-J. M. Kruijff and R. Oehrle (Eds.), Resource sensitivity in binding and anaphora (pp. 23–54). Springer.
Peters, S., and Westerståhl, D. (2006). Quantifiers in language and logic. Oxford University Press.
Portner, P., and Partee, B. H. (Eds.). (2002). Formal semantics: The essential readings. Blackwell.
Reyle, U. (1993). Dealing with ambiguities by underspecification: Construction, representation and deduction. Journal of Semantics, 10(2), 123–179. https://doi.org/10.1093/jos/10.2.123
Shapiro, S. (2000). Thinking about mathematics: The philosophy of mathematics. Oxford University Press.
Szabolcsi, A. (2010). Quantification. Cambridge University Press.
Väänänen, J. (2001). Second-order logic and foundations of mathematics. Bulletin of Symbolic Logic, 7(4), 504–520. https://doi.org/10.2178/bsl/1197055550
van Eijck, J., and Unger, C. (2010). Computational semantics with functional programming. Cambridge University Press.
