Заключение
Итак, в настоящей статье рассмотрены современные способы использования понятия семантической корректности и проанализированы их основания в классических логико-философских работах. Показано, что семантическую корректность необходимо отграничивать от онтологической корректности. Если онтологическая корректность отсылает к сочетаемости категорий в картине мира, то семантическая корректность - к структурным закономерностям развития знаний и развертывания дискурса. Это можно выразить следующей формулировкой: бессмысленным высказываниям соответствуют не мысли о невозможном, но невозможные мысли. Полученные выводы позволили наметить оригинальный подход к условиям осмысленности/бессмысленности высказываний с учетом ряда факторов: тривиальности утверждения, тема-рематической структуры дискурса, роли пресуппозиции. Представляется перспективной дальнейшая интеграция проблем и подходов, в частности распространение обозначенных условий бессмысленности на случаи с аномалиями референции.
Список литературы
семантическая корректность лингвистический
Бэкон Ф. Сочинения: в 2 т. Т. 2 / Под. общ. ред. А.Л. Субботина. М.: Мысль, 1972. 582 с.
Вострикова Е.В., Куслий П.С. Преодоление критических аргументов Карнапа против метафизики с помощью логического анализа естественного языка // Epistemology & Philosophy of Science / Эпистемология и философия науки. 2019. Т. 56. № 4. С. 78-98.
Долгоруков В.В., Копылова А.О. «Онтологический квадрат» и теоретико-типовая семантика // Логические исследования / Logical Investigations. 2018. Т. 24. № 2. С. 36-58.
Драгалина-Черная Е.Г. Неформальные заметки о логической форме. СПб.: Алетейя, 2015. 202 с.
Карнап Р. Преодоление метафизики логическим анализом языка / Пер. с нем. А.В. Кези- на // Аналитическая философия: становление и развитие (антология) / Общ. ред. и сост. А.Ф. Грязнова. М.: Дом интеллектуальной книги; Прогресс-Традиция, 1998. С. 69-89.
Ладов В.А. Критика теории типов в философии раннего Л. Витгенштейна // Вестник Томского государственного университета. Философия. Социология. Политология. 2021. № 62. С. 194-203.
Микиртумов И.Б. Пропозициональные установки и интенсиональные сущности // Логико-философские штудии. 2006. № 4. С. 133-148.
Фреге Г. Логика и логическая семантика: сборник трудов / Пер. с нем. Б.В. Бирюкова. М.: Аспект Пресс, 2000. 512 с.
Фреге Г. Логико-философские труды / Пер. с англ., нем. и фр. В.А. Суровцева. Новосибирск: Сиб. унив. изд-во, 2008. 283 с.
Bekki D., Mineshima K. Context-Passing and Underspecification in Dependent Type Semantics // Modern Perspectives in Type-Theoretical Semantics / Ed. by S. Chatzikyria- kidis, Zh. Luo. N.Y.; Berlin; Heidelberg: Springer, 2017. P. 11-42.
Chatzikyriakidis S., Luo Zh. Natural Language Inference in Coq // Journal of Logic, Language and Information. 2014. Vol. 4. No. 23. P. 441-480.
Chatzikyriakidis S., Luo Zh. On the Interpretation of Common Nouns: Types Versus Predicates // Modern Perspectives in Type-Theoretical Semantics / Ed. by S. Chatzikyriakidis, Zh. Luo. N.Y.; Berlin; Heidelberg: Springer, 2017. P. 43-70.
Chomsky N. Syntactic Structures. 2nd ed. Berlin; N.Y.: Mouton de Gruyter, 2002. xviii, 117 p.
Cooper R. Representing Types as Neural Events // Journal of Logic, Language and Information. 2019. Vol. 28. P. 131-155.
Cusimano Ch. Language and Neurology: Alzheimer's Disease. Hoboken: Wiley, 2021. 192 p.
Heim I., Kratzer A. Semantics in Generative Grammar. Malden (Mass.): Blackwell, 1998. x, 324 p.
Hempel C. On the Logical Positivists' Theory of Truth // Analysis. 1935. Vol. 2. No. 4. P. 49-59.
Kutas M., Hillyard S. Reading Senseless Sentences: Brain Potentials Reflect Semantic Incongruity // Science, New Series. 1980. Vol. 207. No. 4427. P. 203-205.
Martin-Lof P. Intuitionistic Type Theory. Napoli: Bibliopolis, 1984. 91 p.
Montague R. Universal Grammar // Theoria. 1970. Vol. 36. No. 3. P. 373-398.
Russell B. Mathematical Logic as Based on the Theory of Types // American Journal of Mathematics. 1908. Vol. 30. No. 3. P. 222-262.
Russell B. On Denoting // Mind. 2005. Vol. 114. No. 456. P. 873-887.
Russell B. The Philosophy of Logical Atomism. L.; N.Y.: Routledge, 2010. xlii, 162 p.
Strawson P Identifying Reference and Truth-Values // Theoria. 1964. Vol. 30. No. 2. P. 96-118.
Strawson P On Referring // Mind. 1950. Vol. 59. No. 235. P. 320-344.
Yamada Y., Neville H.J. An ERP Study of Syntactic Processing in English and Nonsense Sentences // Brain Research. 2007. Vol. 1130. P. 167-180.
References
Bacon, F. Sobranie sochineniy [Collected works], Vol. 2, ed. by A.L. Subbotin. Moscow: Mysl' Publ., 1972. 582 pp. (In Russian)
Bekki, D., & Mineshima, K. “Context-Passing and Underspecification in Dependent Type Semantics”, Modern Perspectives in Type-Theoretical Semantics, ed. by S. Chatzikyriakidis and Zh. Luo. New York; Berlin; Heidelberg: Springer, 2017, pp. 11-42.
Carnap, R. “Preodolenie metafiziki logicheskim analizom yazyka” [The Elimination of Metaphysics Through Logical Analysis of Language], trans. by A.V. Kezin, Analiticheskaya filosofiya: stanovlenie i razvitie (antologiya) [Analytic Philosophy: Establishment and Development (anthology)], ed. by A.F. Gryaznov. Moscow: Dom intellektual'noi knigi; Progress-Traditsiya Publ., 1998, pp. 69-89. (In Russian)
Chatzikyriakidis, S. & Luo, Zh. “Natural Language Inference in Coq”, Journal of Logic, Language and Information, 2014, Vol. 4, No. 23, pp. 441-480.
Chatzikyriakidis, S. & Luo, Zh. “On the Interpretation of Common Nouns: Types Versus Predicates”, Modern Perspectives in Type-Theoretical Semantics, ed. by S. Chatzikyriakidis and Zh. Luo. New York; Berlin; Heidelberg: Springer, 2017, pp. 43-70.
Chomsky, N. Syntactic Structures, 2nd ed. Berlin; New York: Mouton de Gruyter, 2002. xviii, 117 pp.
Cooper, R. “Representing Types as Neural Events”, Journal of Logic, Language and Information, 2019, Vol. 28, pp. 131-155.
Cusimano, Ch. Language and Neurology: Alzheimer's Disease. Hoboken: Wiley, 2021. 192 pp.
Dolgorukov, V.V. & Kopylova, A.O. “`Ontologicheskii kvadrat' i teoretiko-tipovaya semantika” [The `ontological square' and modern type theories], Logicheskie issledovaniya / Logical Investigations, 2018, Vol. 24, No. 2, pp. 36-58. (In Russian)
Dragalina-Chernaya, E.G. Neformal'nye zametki o logicheskoy forme [Informal Notes on Logical Form]. St. Petersburg: Aleteya Publ., 2015. 202 pp. (In Russian)
Frege, G. Logika i logicheskaya semantika: sbornik trudov [Logic and Logical Semantics: A Collection of Works], trans. by B.V. Biryukov. Moscow: Aspekt Press Publ., 2000. 512 pp. (In Russian)
Frege, G. Logiko-filosofskie trudy [Logico-Philosophical Works], trans. by V.A. Surovtsev. Novosibirsk: Sibirskoe universitetskoe izdatel'stvo Publ., 2008. 283 pp. (In Russian)
Heim, I. & Kratzer, A. Semantics in Generative Grammar. Malden, Mass.: Blackwell, 1998. x, 324 pp.
Hempel, C. “On the Logical Positivists' Theory of Truth”, Analysis, 1935, Vol. 2, No. 4, pp. 49-59.
Kutas, M. & Hillyard, S. “Reading Senseless Sentences: Brain Potentials Reflect Semantic Incongruity”, Science, New Series, 1980, Vol. 207, No. 4427, pp. 203-205.
Ladov, V.A. “Kritika teorii tipov v filosofii rannego L. Vitgenshteyna” [Criticism of the Theory of Types in the Early Wittgenstein's Philosophy], Tomsk State University Journal of Philosophy, Sociology and Political Science, 2021, No. 62, pp. 194-203. (In Russian)
Martin-Lof, P. Intuitionistic Type Theory. Napoli: Bibliopolis, 1984. 91 pp.
Mikirtumov, I.B. “Propozitsional'nye ustanovki I intensional'nye sushchnosti” [Propositional Attitudes and Intensional Entities], Logiko-filosofskie studii, 2006, No. 4, pp. 133-148. (In Russian)
Montague, R. “Universal Grammar”, Theoria, 1970, Vol. 36, No. 3, pp. 373-398.
Russell, B. “Mathematical Logic as Based on the Theory of Types”, American Journal of Mathematics, 1908, Vol. 30, No. 3, pp. 222-262.
Russell, B. “On Denoting”, Mind, 2005, Vol. 114, No. 456, pp. 873-887.
Russell, B. The Philosophy of Logical Atomism. London; New York: Routledge, 2010. xlii,
162 pp.
Strawson, P. “Identifying Reference and Truth-Values”, Theoria, 1964, Vol. 30, No. 2, pp. 96-118.
Strawson, P. “On Referring”, Mind, 1950, Vol. 59, No. 235, pp. 320-344.
Vostrikova, E.V. & Kusliy, P.S. “Preodolenie kriticheskikh argumentov Karnapa protiv metafiziki s pomoshch'yu logicheskogo analiza estestvennogo yazyka” [The Elimination of Carnap's Critical Arguments against Metaphysics through Formal Semantic Analysis of Natural Language], Epistemology & Philosophy of Science / Epistemologiya i filosofiya nauki, 2019, Vol. 56, No. 4, pp. 78-98. (In Russian)
Yamada, Y. & Neville, H.J. “An ERP Study of Syntactic Processing in English and Nonsense Sentences”, Brain Research, 2007, Vol. 1130, pp. 167-180.