<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.3 20210610//EN" "JATS-journalpublishing1-3.dtd">
<article article-type="research-article" dtd-version="1.3" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xml:lang="ru"><front><journal-meta><journal-id journal-id-type="publisher-id">veststu</journal-id><journal-title-group><journal-title xml:lang="ru">Вестник Сибирского государственного университета путей сообщения</journal-title><trans-title-group xml:lang="en"><trans-title>Bulletin of Siberian State University of Transport</trans-title></trans-title-group></journal-title-group><issn pub-type="ppub">1815-9265</issn><publisher><publisher-name>Сибирский государственный университет путей сообщения</publisher-name></publisher></journal-meta><article-meta><article-id custom-type="elpub" pub-id-type="custom">veststu-531</article-id><article-categories><subj-group subj-group-type="heading"><subject>Research Article</subject></subj-group><subj-group subj-group-type="section-heading" xml:lang="ru"><subject>ФИЛОСОФИЯ, ОБЩЕСТВО, КУЛЬТУРА</subject></subj-group></article-categories><title-group><article-title>С. КРИПКЕ: СЕМАНТИКА МОДЕЛЬНОЙ ЛОГИКИ И ТЕОРИЯ РЕФЕРЕНЦИИ</article-title><trans-title-group xml:lang="en"><trans-title></trans-title></trans-title-group></title-group><contrib-group><contrib contrib-type="author" corresp="yes"><name-alternatives><name name-style="eastern" xml:lang="ru"><surname>Хлебалин</surname><given-names>А. В.</given-names></name></name-alternatives><email xlink:type="simple">noemail@neicon.ru</email><xref ref-type="aff" rid="aff-1"/></contrib></contrib-group><aff xml:lang="ru" id="aff-1"><institution>СГУПС</institution><country>Russian Federation</country></aff><pub-date pub-type="collection"><year>2011</year></pub-date><pub-date pub-type="epub"><day>16</day><month>09</month><year>2026</year></pub-date><issue>25</issue><fpage>40</fpage><lpage>50</lpage><permissions><copyright-statement>Copyright &amp;#x00A9; Хлебалин А.В., 2026</copyright-statement><copyright-year>2026</copyright-year><copyright-holder xml:lang="ru">Хлебалин А.В.</copyright-holder><copyright-holder xml:lang="en">Хлебалин А.В.</copyright-holder><license xml:lang="ru" license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by/4.0/" xlink:type="simple"><license-p>Данная работа распространяется под лицензией Creative Commons Attribution 4.0.</license-p></license><license xml:lang="en" license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by/4.0/" xlink:type="simple"><license-p>This work is licensed under a Creative Commons Attribution 4.0 License.</license-p></license></permissions><self-uri xlink:href="https://www.vestnikstu.ru/jour/article/view/531">https://www.vestnikstu.ru/jour/article/view/531</self-uri><abstract><p>Дан общий очерк интерпретации референции на основе семантики возможных миров С. Крип-ке. Дается характеристика теории референции терминов, выступающих жесткими десигнаторами, и анализируется ее связь с метафизической интерпретацией семантики возможных миров.</p></abstract><kwd-group xml:lang="ru"><kwd>теория референции</kwd><kwd>семантика возможных миров</kwd><kwd>твердые десигнаторы</kwd></kwd-group></article-meta></front><back><ref-list><title>References</title><ref id="cit1"><label>1</label><citation-alternatives><mixed-citation xml:lang="ru">Крипке С. Тождество и необходимость // Новое в зарубежной лингвистике. Вып. 13: Логика и лингвистика (проблемы референции). М.: Радуга, 1982. С. 340-376.</mixed-citation><mixed-citation xml:lang="en">Крипке С. Тождество и необходимость // Новое в зарубежной лингвистике. Вып. 13: Логика и лингвистика (проблемы референции). М.: Радуга, 1982. С. 340-376.</mixed-citation></citation-alternatives></ref><ref id="cit2"><label>2</label><citation-alternatives><mixed-citation xml:lang="ru">ПетровВ.В. Структура значения: логический анализ. Новосибирск: Наука, 1979. 144 с.</mixed-citation><mixed-citation xml:lang="en">ПетровВ.В. Структура значения: логический анализ. Новосибирск: Наука, 1979. 144 с.</mixed-citation></citation-alternatives></ref><ref id="cit3"><label>3</label><citation-alternatives><mixed-citation xml:lang="ru">Смирнова Е.Д. Семантика возможных миров и обоснование логического знания / / Концепция виртуальных миров и научное познание. СПб.: Изд-во Рус. Христианского гум. ин-та, 2000. С. 75-90.</mixed-citation><mixed-citation xml:lang="en">Смирнова Е.Д. Семантика возможных миров и обоснование логического знания / / Концепция виртуальных миров и научное познание. СПб.: Изд-во Рус. Христианского гум. ин-та, 2000. С. 75-90.</mixed-citation></citation-alternatives></ref><ref id="cit4"><label>4</label><citation-alternatives><mixed-citation xml:lang="ru">Солодухин О.А. Два подхода к проблеме оснований логических модальностей // Логика и онтология. М.: Наука, 1978. С. 128-158.</mixed-citation><mixed-citation xml:lang="en">Солодухин О.А. Два подхода к проблеме оснований логических модальностей // Логика и онтология. М.: Наука, 1978. С. 128-158.</mixed-citation></citation-alternatives></ref><ref id="cit5"><label>5</label><citation-alternatives><mixed-citation xml:lang="ru">Хинтикка Я. Логика в философии — философия логики // Хинтикка Я. Логикоэпистемологические исследования. М.: Прогресс, 1980. С. 35-67.</mixed-citation><mixed-citation xml:lang="en">Хинтикка Я. Логика в философии — философия логики // Хинтикка Я. Логикоэпистемологические исследования. М.: Прогресс, 1980. С. 35-67.</mixed-citation></citation-alternatives></ref><ref id="cit6"><label>6</label><citation-alternatives><mixed-citation xml:lang="ru">ЦелищевВ.В. Семантика для пропозициональных установок и «твердые десигнаторы» // Логика и онтология. М.: Наука, 1978. С. 94-127.</mixed-citation><mixed-citation xml:lang="en">ЦелищевВ.В. Семантика для пропозициональных установок и «твердые десигнаторы» // Логика и онтология. М.: Наука, 1978. С. 94-127.</mixed-citation></citation-alternatives></ref><ref id="cit7"><label>7</label><citation-alternatives><mixed-citation xml:lang="ru">Целищев В.В. Философские проблемы семантики возможных миров. Новосибирск: Наука, 1977. 190 с.</mixed-citation><mixed-citation xml:lang="en">Целищев В.В. Философские проблемы семантики возможных миров. Новосибирск: Наука, 1977. 190 с.</mixed-citation></citation-alternatives></ref><ref id="cit8"><label>8</label><citation-alternatives><mixed-citation xml:lang="ru">KripkeS. Naming and Necessity. — In Semantics of Natural Language. D. Davidson, G. Harman (Eds.). D. Reidel, Dordreccht, 1972. Р. 253-355.</mixed-citation><mixed-citation xml:lang="en">KripkeS. Naming and Necessity. — In Semantics of Natural Language. D. Davidson, G. Harman (Eds.). D. Reidel, Dordreccht, 1972. Р. 253-355.</mixed-citation></citation-alternatives></ref></ref-list><fn-group><fn fn-type="conflict"><p>The authors declare that there are no conflicts of interest present.</p></fn></fn-group></back></article>
