Phân Tích Ngữ Nghĩa Ngôn Ngữ Tự Nhiên Theo Kiểu Thành Phần Sử Dụng Logic Thân Thiện Độc Lập Hay Logic Phụ Thuộc

Studia Logica - Tập 101 - Trang 453-466 - 2013
Theo M. V. Janssen1
1FNWI, ILLC, Universiteit van Amsterdam, Amsterdam, The Netherlands

Tóm tắt

Logic Thân Thiện Độc Lập, được giới thiệu bởi Hintikka, là một loại logic trong đó một định từ có thể được đánh dấu để chỉ ra rằng nó độc lập với các định từ khác. Logic Phụ Thuộc, được giới thiệu bởi Väänänen, là một loại logic có cách tiếp cận bổ sung: đối với một định từ, có thể chỉ ra các định từ mà nó phụ thuộc. Các loại logic này được cho là có ích cho nhiều hiện tượng, chẳng hạn như ngữ nghĩa ngôn ngữ tự nhiên. Trong bài viết này, chúng tôi sẽ so sánh hai loại logic này bằng cách điều tra ứng dụng của chúng trong phân tích thành phần của sự mơ hồ de dicto - de re trong ngôn ngữ tự nhiên. Sẽ được lập luận rằng logic Thân Thiện Độc Lập là phù hợp, trong khi Logic Phụ Thuộc thì không.

Từ khóa

#Logic Thân Thiện Độc Lập #Logic Phụ Thuộc #Ngữ Nghĩa Ngôn Ngữ Tự Nhiên #Mơ Hồ #Phân Tích Thành Phần

Tài liệu tham khảo

Barker, C., and P. Jacobson, Direct Compositionality, no. 14 in Oxford Studies in Theoretical Linguistics, Oxford University Press, Oxford, 2007. Brasoveanu, A., and D. Farkas, Scope and the grammar of choice, in Proceedings of the Tenth Symposium on Logic and Language (LoLa 10), Research Institute Hungarian Academy of Sciences, Budapest, 2009. http://www.nytud.hu/lola10/proceedings/. Brasoveanu A., Farkas D.F.: Scope and the grammar of choice. Linguistics and Philosophy 34, 1–55 (2011) Caicedo X., Dechesne F., Janssen T.M.V.: Equivalence and quantifier rules for logics with imperfect information. Logic Journal of the IGPL 17, 91–129 (2009) Cooper, R., Quantification and Syntactic Theory, no. 21 in Synthese Language Library, Reidel, Dordrecht, 1983. Dever, J., Compositionality, in E. Lepore, and B. C. Smith, (eds.), The Oxford Handbook of Philosophy of Language, chap. 26, Oxford University Press, 2006, pp. 633–666. van Ditmarsch, H., W. van der Hoek, and B. Kooi, Dynamic Epistemic Logic, no. 337 in Synthese Library, Springer, Berlin, 2007. Dowty, D., R. Wall, and S. Peters, Introduction to Montague semantics, no. 11 in Synthese Language Library, Reidel, Dordrecht, 1981. van Eijck, J., and H. Kamp, Representing discourse in context, in J. van Benthem, and A. ter Meulen, (eds.), Handbook of Logic and Language, chap. 3, Elsevier, Amsterdam and The MIT Press, Cambridge, Mass., 1997, pp. 179–237. Gamut L., Logic T.F.: Language and Meaning II: Intensional Logic and Logical Grammar. University of Chicago Press, Chicago (1991) Hendriks H.: Compositionality and model-theoretic interpretation. Journal of Logic, Language and Information 10(1), 29–48 (2001) Hintikka J.: Quantifiers vs. quantification theory. Linguistic Inquiry 5, 153–177 (1974) Hintikka J.: The principles of mathematics revisited. Cambridge University Press, Cambridge (1996) Hintikka, J., Knowledge and Belief. An Introduction to the Logic of the Two Notions, King College, 2005. Prepared by V. F. Hendricks and J. Symons, Extended version of Hintikka’s 1962 book. Hintikka, J., and G. Sandu, Game-theoretical semantics, in J. van Benthem, and A. ter Meulen, (eds.), Handbook of logic and language. Second edition, chap. 8, Elsevier, Amsterdam, 2011, pp. 415–466. Hodges W.: Compositional semantics for a language of imperfect information. Logic Journal of the IGPL 5(4), 539–563 (1997) Hodges W.: Formal features of compositionality. Journal for Logic Language and Computation 10, 7–28 (2001) Janssen, T. M. V., Compositionality (with an appendix by B. Partee), in J. van Benthem, and A. ter Meulen, (eds.), Handbook of logic and language. Second edition, chap. 10, Elsevier, Amsterdam, 2011, pp. 495–554. Kontinnen J., Väänänen J.: A remark on negation in dependence logic. Notre Dame Journal of Formal logic 52(1), 55–64 (2010) Mann A.L.: Independence-friendly cylindric set algebras. Logic Journal of the IGPL 17(6), 719–754 (2007) McKay, T., and M. Nelson, Propositional attitude reports, in E. N. Zalta, (ed.), Stanford Encyclopedia of Philosopy, CSLI, Stanford, Summer 2011. http://plato.stanford.edu Montague, R., English as a formal language, in B. Visentini et al., (eds.), Linguaggi nella Societa et nella Technica, Edizioni di Communita, Milan, 1970, pp. 188–221. Distributed by the Olivetti Corporation, Milan, reprinted in [29], pp. 188–221. Montague, R., Universal grammar, Theoria 36:373–398, 1970. Reprinted in [29], pp. 7–27. Montague, R., The proper treatment of quantification in ordinary English, in K. J. J. Hintikka, J. M. E. Moravcsik, and P. Suppes, (eds.), Approaches to Natural Language, no. 49 in Synthese Library, Reidel, Dordrecht, 1973, pp. 221–242. Reprinted in [29]., pp. 247–270, and in [28], pp. 17–35. Partee, B. H., Compositionality, in F. Landman, and F. Veltman, (eds.), Varieties of Formal Semantics, no. 3 in GRASS, Foris, Dordrecht, 1984, pp. 281–311. Reprinted in 26., pp. 153–181. Partee, B. H., Compositionality in Formal Semantics. Selected papers by Barbara H. Partee, no. 1 in Explorations in Semantics, Blackwell, Malden, USA, 2004. Peters S., Westerståhl D.: Quantifiers in Language and Logic. Oxford University Press, Oxfors (2006) Portner, P., and B. Partee, (eds.), Formal Semantics: the Essential Readings, Blackwell, Oxford, UK, 2002. Thomason, R.H.: (ed.), Formal Philosophy. Yale University Press, New Haven (1974) Väänänen, J., Dependence Logic: A New Approach to Independence Friendly Logic, vol. 70 of London Mathematical Society Student Texts, Cambridge University Press, Cambridge, 2007. Werning, M., W. Hinzen,, and E. Machery, (eds.), Oxford Handbook of Compositionality, Oxford University Press, 2012. Werning, M., E. Machery, and G. Schurz, (eds.), The Compositionality of Meaning and Content, vol. I: Foundational Issues, Ontos Verlag, Frankfurt am Main, Germany, 2005. Winter, Y., Flexibility Principles in Boolean Semantics: Coordination, Plurality and Scope in Natural Language, no. 37 in Current Studies in Linguistics, The MIT Press, Cambridge Massachusetts, 2001. Zadrozny, W., From compositional to systematic semantics, Linguistics and Philosophy 17:329–342, 1994.