К теоретико-типовой формализации ситуационной семантики

Олег Анатольевич Доманов

doi:10.47850/RL.2021.2.3.32-41

Авторы

Олег Анатольевич Доманов Институт философии и права Сибирского отделения Российской академии наук

DOI:

https://doi.org/10.47850/RL.2021.2.3.32-41

Ключевые слова:

ситуационная семантика, теория типов, функциональные языки

Аннотация

Ситуационная семантика является эффективным инструментом анализа семантических аспектов
естественного языка с явной зависимостью от контекста, таких как референциальная непрозрачность доксических
контекстов и пр. Использование в ней теоретико-типовых подходов не только во многих случаях делает её формализм
более удобным, но и упрощает её перенос в компьютерные системы, более конкретно — формализацию в функ-
циональных языках программирования. В статье представлен прототип теоретико-типового языка ситуационной
семантики, реализованного в языке Racket. Описаны основные подходы, способы разрешения некоторых проблем
формальной семантики, а также проблемы, требующие решения.

Биография автора

Олег Анатольевич Доманов , Институт философии и права Сибирского отделения Российской академии наук

кандидат философских наук, доцент, старший научный сотрудник Института философии и права Сибирского отделения Российской академии наук http://orcid.org/0000-0003-0057-3901

Библиографические ссылки

Barwise, J. and Perry, J. (1983). Situations and Attitudes. MIT Press.

Bertot, Y. and Castéran, P. (2004). Interactive Theorem Proving and Program Development. Coq’Art: The Calculus of Inductive Constructions. XXV, 472 p. DOI: 10.1007/978-3-662-07964-5.

Cooper, R. (2005). Austinian Truth, Attitudes and Type Theory. Research on Language and Computation. Vol. 3. no. 2. pp. 333-362. DOI: 10.1007/s11168-006-0002-z.

Cooper, R. (2017). Adapting Type Theory with Records for Natural Language Semantics. In Chatzikyriakidis, S. and Luo, Z. (eds.). Modern Perspectives in Type-Theoretical Semantics. Studies in Linguistics and Philosophy 98. Springer International Publishing. pp. 71-94. DOI: 10.1007/978-3-319-

-3_4.

Cooper, R. and Ginzburg, J. (2015). Type Theory with Records for Natural Language Semantics. In Lappin, S. and Fox, C. (eds.). The Handbook of Contemporary Semantic Theory. Blackwell Handbooks in Linguistics. Wiley. pp. 376-407. DOI: 10.1002/9781118882139.ch12.

Lambek, J. and Scott, P. J. (1986). Introduction to Higher Order Categorical Logic. Cambridge Studies in Advanced Mathematics 7. Cambridge. Cambridge University Press.

Martin-Löf, P. (1987). Truth of a Proposition, Evidence of a Judgement, Validity of a Proof. Synthese. Vol. 73. pp. 407-420. DOI: 10.1007/BF00484985.

Norell, U. (2009). Dependently Typed Programming in Agda. In Koopman, P., Plasmeijer, R., and Swierstra, D. (eds.). Advanced Functional Programming: 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures. Lecture Notes in Computer Science 5832 : Theoretical Computer

Science and General Issues. Berlin, Heidelberg. Springer-Verlag Berlin Heidelberg. pp. 230-266. DOI: 10.1007/978-3-642-04652-0_5.

Paulin-Mohring, C. (2015). Introduction to the Calculus of Inductive Constructions. In Paleo, B. W. and Delahaye, D. (eds.). All about Proofs, Proofs for All. Studies in Logic (Mathematical logic and foundations) 55. [Online]. Available at: https://hal.inria.fr/hal-01094195 (Accessed: 30 July 2021).

Pierce, B. C. (2002). Types and Programming Languages. Cambridge. The MIT Press. 648 p.

Quine, W. V. O. (1956). Quantifiers and Propositional Attitudes. Journal of Philosophy. Vol. 53. no. 5. pp. 177-187.

Ranta, A. (1994). Type-theoretical grammar. Indices 1. Clarendon Press. 226 p.

Ranta, A. (2011). Grammatical Framework. Programming with Multilingual Grammars. CSLI studies in computational linguistics. CSLI Publications, Center for the Study of Language and Information. XII, 331 p.

Rossberg, A. (Aug. 2015). 1ML – core and modules united (F-ing first-class modules). ACM SIGPLAN Notices. Vol. 50. pp. 35-47. DOI: 10.1145/2858949.2784738.

Salmon, N. U. (1986). Frege’s Puzzle. Cambridge, Mass. Bradford Books/The MIT Press. 195 p.