Научно-исследовательский семинар «From the Logical Point of View»

В докладе была прослежена эволюция взглядов Витгенштейна на логику цветовых понятий: от проблемы исключения цветов в «Логико-философском   трактате» и феноменологии цвета в «Некоторых замечаниях о логической форме» до языковых игр с цветовыми понятиями в «Заметках о цвете».

Доклад был посвящен определению и свойствам модели деГроота. Выступление состояло из нескольких частей. Первая часть была мостом между рассматриваемыми далее формальными постановками и бытовой, повседневной жизнью. В этой части обсуждались ситуации, при описании которых модель деГроота дает понятные, адекватные результаты, а также ситуации, выходящие за рамки применимости модели. Обсуждались в том числе и философские вопросы точности описания нашей реальности моделями. Вторая часть была посвящена формальному описанию модели. Третья часть была кратким и очень насыщенным деталями обзором математических свойств модели деГроота. Некоторые утверждения приводились с доказательствами. Затрагивались темы из линейной алгебры (в том числе понятие проектора матрицы), систем линейных дифференциальных уравнений, теории комплексных чисел, пределов и производных.

В докладе обсуждались проблемы восстановления параметров модели деГроота по реальным данным, вероятностная интерпретации модели де Гроота и модификации модели деГроота — модель Фридкина-Джонсена и другие.

В докладе обсуждались перспективы "обогащения" модели ДеГроота средствами доксатической логики (в качественном и в количественном вариантах). 

Обсуждение статьи «Artemov S., Knowing the Model, arXiv:1610.04955»

Обсуждение статьи «Artemov S., Knowing the Model, arXiv:1610.04955» (продолжение)

 Доклад 31.10.2018.pptx

Логика называется дефективной, если её импликация дефективна. Ключевая особенность дефективной импликации состоит в том, что она принимает истинностное значение "неопределенно", если её антецедент ложен. Мы рассмотрим два подхода, разработанных М. Видалем, к применению трёхзначных дефективных логик в математике. Видаль рассматривает простое рассуждение из геометрии и, исходя из истинной посылки и используя классическую логику, приходит к заключению, противоречащему интуиции. На его взгляд, для решения возникшей проблемы требуется найти подходящую дефективную логику. Однако, анализируя наиболее известные трёхзначные логики и рассматривая ряд дефективных импликаций, он не находит подходящей логики. Следуя критериям Видаля к дефективной логике, мы предлагаем альтернативный подход, показывающий, что трёхзначные логики могут использоваться для адекватного построения дефективной логики.

Корреспондентский анализ — это разработанный Коем и Таммингой универсальный метод, позволяющий получать непротиворечивые и полные натуральные исчисления с независимыми правилами вывода для табличных расширений функционально неполных многозначных логик. Первоначально этот метод был применен к логике парадокса LP Приста. В результате получились натуральные исчисления для всех логик, являющихся расширениями базовых трехзначных связок LP (конъюнкция, дизъюнкция, отрицание) произвольными одно- и двухместными операторами. Позже Тамминга распространил это результат на сильную логику Клини K3.  В докладе мы представим обобщение этих результатов для случая негативных фрагментов LP и K3. Таким образом, корреспондентский анализ работает для логик, имеющих те же отрицания, что и LP и K3, но или имеющих другие конъюнкции и дизъюнкции, или не имеющих их вовсе. Кроме того, мы покажем, что корреспондентский анализ для негативных фрагментов K3 и LP подходит без каких бы то ни было изменений для негативных фрагментов логики Гейтинга G3 и двойственной ей логики DG3 (имеющих не такие определения отрицаний, как K3 и LP). 

Динамическая семантика (Kamp, Groenendijk&Stokhof, Heim) является эффективным средством композиционального анализа текстов, содержащих анафорические связи, в том числе текстов, не допускающих композиционального анализа средствами стандартной логики предикатов (donkey-sentences и т.п.). Однако динамическая семантика в существующих версиях применима только к экстенсиональным контекстам: экстраполяция динамического подхода на модальные и эпистемические контексты остается проблемой.

В докладе Евгения Борисова было предложено решение данной проблемы применительно к аскрипциям мнения. Решение основано на определенной модификации динамической семантики Хайм ("файловой семантики"). Чтобы избежать коллизий, связанных с неправильной идентификацией объектов доксастической установки и проблемой несуществующих объектов, автор предлагает использовать модель, в которой при интерпретации доксастических высказываний создаются вспомогательные контексты, совместимые с доксастическими альтернативами агента, и дальнейшая работа с придаточным предложением требует отдельного оперирования "файлами" - наряду с "файлами" основного контекста.

Жестовые языки в силу своей визуальной модальности имеют ряд особенностей, отличающих их от звучащих языков. Возможность одновременного выражения нескольких значений представляет собой проблему для общепринятого представления о том, что синтаксическая структура должна порождаться линейно. С другой стороны, ограничения, регулирующие использование пространства для введения референтов в дискурс, подтверждают некоторые аспекты «универсальной семантики».

Постулируемые конститутивные правила речевых актов достаточно сложны и предполагают наличие определенных когнитивных навыков, таких как умение строить «theory of mind» — модель ментальных состояний другого. Однако дети способны совершать речевые акты в том возрасте, когда эти навыки у них еще не сформированы. Это вызывает интерес к гипотезе о возможности постепенного усвоения конвенций речевых актов, в частности, о том, что конститутивные правила разных типов речевых могут иметь различную сложность, в связи с чем некоторые из них могут быть усвоены на более раннем этапе развития (как в онто-, так и в филогенезе).

 Martin-Löf P. Analytic and Synthetic Judgements in Type Theory (перевод:http://ojs.philosophy.spbu.ru/index.php/lphs/article/view/23/23)

Языки с локализацией особенностей — это языки с непредметной семантикой, основывающейся на соотнесении кумулятивных сущностей с системой координат, задаваемой тем или иным образом. В докладе будут рассмотрены примеры таких языков и философские аспекты их семантики (философский контекст здесь составляют работы П. Стросона, Б. Рассела, У. Куайна, а также, в более широкой перспективе, Г. Лейбница и Д. Юма). Будет рассмотрен вопрос о соотношении концептуальной схемы локализованных особенностей с событийно-ориентированной онтологией.

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

Cовместный семинар Аспирантской школы по философским наукам и Международной лаборатории логики, лингвистики и формальной философии

М. А. Смирнов. Онтологические основания семантики событий

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

Хорхе Луис Мендес-Мартинес. 

(1) If sounds were dispositions, a framework for an underdeveloped theory

In this talk I will address two different writings if time allows it. First, I’ll present one of the papers I wrote during my Academic Stay in the Frei Universität Berlin in the Winter Semester, concerning the dispositional account on sounds; and, secondly, the first chapter of my dissertation, which is related to the problems of theory choice within the ontology of sounds and some metametaphysical considerations. I explore the so-called dispositional stance in sound ontology (SO) (Pasnau 1999, Kulvicki 2008, Roberts 2017) which holds that sounds are distal properties of the objects and, not only that, but dispositional properties. I argue that this view on sounds has some attractive aspects but that, ultimately, it fails to give a compelling picture on sounds and, henceforth, maybe it is not the best way to understand sounds. In order to demonstrate this, I first address the overall discussion on the nature of sounds, namely, SO, and the positions within it. After recognising that there is a problem of conceptual underspecification, I pay attention, in the next section, to the debate on dispositions, a thing that usually is cast aside by the proponents of the dispositional view. In a third section, I address the current state of affairs of the dispositional view on sounds and I try to match it with the discussion on dispositions. In this sense, in this section the aim is not only critical, but constructive as well as I try to advance this view. In the last section, I pay attention to the objections, already made to this framework and I set forth new ones which, to my believe, the dispositional view cannot sort out at least under its current form.  

(2) Logic and Phenomenology of Non-Visual Representation. The case of Sound. Chapter 1, Guidelines, Questions and Theory Choice 

In this chapter I am aimed at the metaphilosophical and metametaphysical implications within the philosophy of sounds and auditory experience, in general, and the ontology of sound, in particular. The first step towards this is distinguishing the context of discussion, namely, philosophy, as different from that of science. In doing so, it is important to emphasise a key caveat: philosophy of sounds is not going to produce the same sort of knowledge, science does. This will be addressed in section §2. Secondly, while examining the alternatives displayed by sound ontology, it seems as if we had a matter of choice here and, more concretely, theory choice. Yet, things do not lay out in the fashion of a theory choice sort of discussion, which I deem crucial for having the overall picture of the philosophy of sound and to assess its conceptual profundity. Usually, in SO a theory is chosen over another not because its way of complying with a pre-determined set of criteria, but because its ability to face some puzzles or to account for some important aspects of sound and auditory experience itself. These are, indeed, the two broad categories on which I observe the discussion unfolding: objects of dispute, which covers perception and experience, the spatial features of sound, and the relationship between sounds and sources; and, on the other hand, the puzzles, that is challenging arguments (not always very intuitive) that either theory can deal with relative success, for instance the argument from the vacuum, the problem of individuation (Nudds 2008, Méndez-Martínez 2019), the problem of the infinite waves (Meadows 2018), and so on. This set of issues is all we have in order to choose sides in SO and not even that is properly systematised, so that is the task of section §4. Finally, after a critical assessment of what the big picture on sounds entails, in section §5 I will set forth a last consideration on the importance of philosophising about sounds.

В. А. Елисеев. Эпистемические контексты STIT-логики действия

Для более адекватной оценки действий и их последствий зачастую необходимо обращаться к субъективному эпистемическому состоянию агентов в конкретный момент совершения действия. В рамках доклада будут представлены два основных подхода формализации STIT модальной логики действия и эпистемические/доксатические расширения для каждой модели. Одной из целей работы является убеждение в необходимости различения субъективного возможного действия и объективного. Результаты этой демаркации могут быть использованы для построения более точной деонтической модели и формальной экспликации представлений о моральной ответственности агентов. 

Литература: 

• Broersen J., Meyer J. J. C. Action, Failure and Free Will Choice in Epistemic stit Logic //Epistemology, Context, and Formalism. – Springer, Cham, 2014. – P. 141-168. 
• Broersen J. Deontic epistemic stit logic distinguishing modes of mens rea //Journal of Applied Logic. – 2011. – vol. 9. – №. 2. – P. 137-152. 
• Horty J., Pacuit E. Action types in stit semantics //The Review of Symbolic Logic. – 2017. – vol. 10. – №. 4. – P. 617-637.

Д. М. Панюхина. Рациональные рассуждения в играх

Существует множество способов для анализа игр с точки зрения "процесса рассуждений" (process of deliberation), который приводит игроков к выбору их действий для достижения рационального результата. Эти варианты объединяет общая идея: рациональные результаты игры достигаются через процесс эволюционирования, в котором каждый игрок останавливается на оптимальном выборе, ориентируясь на собственный амбиции и выбор противников. В докладе я попытаюсь рассказать об одном из таких механизмов, а именно динамике Б. Скермса. Его механизм установления равновесия предполагает, что игроки начинают с произвольного представления, которое по правилам рациональной оптимизации приводит к отдельной точке, совпадающей со смешанным равновесием. 

Литература: 

• Skyrms B. The Stag Hunt and the Evolution of Social Structure. N.Y.: Cambridge University Press, 2004.
• Pacuit E. Dynamic Models of Rational Deliberation in Games. 2015

И. И. Кирилова. Естественные рассуждения: двухпроцессная теория и ментальные модели

Существует несколько теорий и моделей естественных рассуждений, объясняющих, в том числе, почему люди допускают систематические ошибки в рассуждениях. В настоящее время одной из доминирующих теорий мышления является двухпроцессная, которую исследователи интерпретируют по-разному. Широко распространено деление на Систему 1 и Систему 2, где первая является имплицитной и автоматической, а вторая – эксплицитной и поддающейся контролю со стороны агента. В качестве примера в докладе будет рассмотрен современный вариант теории ментальных моделей, в котором двухпроцессность является одним из основных принципов.

Литератуа:

• Evans, J.S. (2007). Dual-Processing Accounts of Reasoning, Judgment, and Social Cognition". Annual Review of Psychology, 59, 268–269.
• Khemlani, S.S., Byrne, R.M. and Johnson‐Laird, P.N. (2018). Facts and Possibilities: A Model‐Based Theory of Sentential Reasoning. Cognitive Science, 42, 1887-1924.

П. О. Старосоцкая. Логика в познавательном процессе: задачи на ложное убеждение

Человеческая коммуникация невозможна без взаимопонимания. Способность к взаимопониманию включает в себя возможность считывать и понимать ментальные состояния, убеждения и верования других людей, даже если они отличаются от наших собственных. В своем докладе я попытаюсь прояснить, какую роль в этом когнитивном процессе играет логика, проанализировав серию психологических экспериментов, получивших название «задачи на ложное убеждение».

Литература:

• Braüner T., Blackburn P., Polyanskaya I. Second-Order False-Belief Task: Analysis and Formalization // Väänänen J., WoLLIC. Berlin : Springer-Verlag, 2016.
• Flobbe L., Verbrugge R., Hendriks P., Krämer I. Children's Application of Theory of Mind in Reasoning and Language // J Log Lang Inf. 2008. №17.
• Lambalgen M. Logical Form as a Determinant of Cognitive Processes // Dawar A., Queiroz R., WoLLIC. Berlin: Springer-Verlag, 2010.
• Rubio-Fernandez P., Geurts B. Don't Mention the Marble! The Role of Attentional Processes in False-Belief Tasks // Rev.Phil.Psych. 2016. №7.
• Rubio-Fernandez P., Geurts B. How to Pass the False-Belief Task Before Your Fourth Birthday // Psychological Science . 2013. №24(1).

М. А. Гладышев. Парадоксы теории коллективного выбора

Одной из центральных проблем современной теории принятия решений и теории коллективного выбора является вопрос о корректном агрегировании индивидуальных предпочтений агентов. На сегодняшний день известно более 30 различных процедур такого агрегирования. Но несмотря на различие свойств тех или иных процедур, существует ряд универсальных ограничительных теорем — теорема Эрроу, теорема Гиббарда-Саттертуэйта, теорема Дуггана-Швартца и др. Другими словами в современной теории коллективного выбора (Social Choice Theory) довольно хорошо изучены условия неустойчивости процедур агрегирования к т.н. «стратегическому голосованию», «диктаторству» (dictatorship), а также несоблюдению ряда важных свойств. Но в то же время, наряду с ограничительными теоремами существует ряд парадоксов, возникающих в тех или иных системах и ставящих под сомнение теоретическое обоснование для использования сразу ряда процедур. Исследование устойчивости различных процедур к парадоксам и их систематизация дает большие перспективы для дальнейшего развития Social Choice Theory. С одной стороны, исследования в этой области имеют прямое отношение к проблемам агрегирования суждений и перехода от частных эпистемических и доксатических операторов к групповым. С другой стороны, Social Choice Theory все больше тяготеет к использованию инструментов современной эпистемической логики для уточнения собственных результатов. 

Литература: 

• Kenneth J. Arrow, 1951, 2nd ed., 1963. Social Choice and Individual Values, Yale University Press.
• H. Nurmi, Voting Paradoxes and How to Deal with Them, 1999

 А. А. Мельников. Проблема свободы в наилучшем из возможных миров

Бог и свобода – два этих слова Кант почитал наряду с бессмертием главными для метафизики. Титаническую попытку одновременного утверждения свободы и Бога предпринял в своих сочинениях знаменитый рационалист Г.-В. Лейбниц.
Как Бог, ответственный за то, чтобы мир был строго наилучшим из возможных, допустит произвольное изменение этого мира свободными поступками? 
Этот вопрос вынудил Лейбница прийти к весьма специфическому пониманию свободы. Но не порождает ли оно новые проблемы в согласовании свободы и Бога, и если да, как можно их решить?

We consider a generalized Knights and Liers (or Spies, Knaves) logical puzzle. This puzzle is tightly connected to the Majority problem. The idea of the puzzle is the following. There are two types of agents. Agents of the first type tell always the truth (they are knights) and the agents of the second type always tell false (they are liers). Some agents (we don't know their types) tell something about other agents - like "Ann is a Liar", "James and Katlin are Liers", "John is a knight". We should find who is who. Majority problem is the following. There are balls of different hidden colors. An operation is checking if two balls share the color. One should find an algorithm to find which color is attributed to most balls. 

We suggest an equivalent graph representation of Knight and Lieres puzzle. This representation shows very fast (we believe it is one of the fastest) solution of a puzzle avoiding solving systems of logical equations or handling with numerous possible words in a Kripke semantics representation. We will also provide an algorithm of a numerical solution and code in Haskell. 

Для анализа агентности часто необходимо учитывать soft information агентов. Стандартная STIT логика не обеспечена полноценными доксатическими операторами. В докладе будет представлен подход, совмещающий STIT и Epistemic-Plausability Model, а также результаты, свидетельствующие о противоречии при анализе делиберативного действия вместе с семантикой для доксатического анализа

• Максим Гладышев -- "Voting Paradoxes and How to Deal with Them";
• Светлана Нечагина -- "Современный психологизм: логические и вероятностные модели силлогических рассуждений"
  Исследование нацелено на выявление факторов, которые определяют трудность модуса простого категорического силлогизма. В рамках исследования рассматриваются как формальные, так и психологические факторы, существующие в исследовательской литературе. Кроме того, предлагается оригинальный фактор «правдоподобия заключения», который предположительно оказывает влияние на трудность модуса силлогизма. Предоставляются результаты пилотного эксперимента, призванного подтвердить влияние некоторых из рассмотренных факторов, включая «правдоподобие заключения».
• Александр Мельников -- "Проблема свободы в наилучшем из возможных миров"
  Бог и свобода – два этих слова Кант почитал наряду с бессмертием главными для метафизики. Титаническую попытку одновременного утверждения свободы и Бога предпринял в своих сочинениях знаменитый рационалист Г.-В. Лейбниц.
  Как Бог, ответственный за то, чтобы мир был строго наилучшим из возможных, допустит произвольное изменение этого мира свободными поступками? 
  Этот вопрос вынудил Лейбница прийти к весьма специфическому пониманию свободы. Но не порождает ли оно новые проблемы в согласовании свободы и Бога, и если да, как можно их решить?
• Полина Старосоцкая -- "Проблема совместной интенциональности в эволюционных моделях метапознания"
  Проблема познания является одной из фундаментальных тем философской дисциплины с момента ее возникновения. Смещение фокуса с внешних объектов на внутреннюю познавательную способность человека позволило акцентировать внимание на проблеме знания человека о своей собственной способности познавать, то есть на метапознании, важным компонентом которого является интенциональность. Данная работа посвящена исследованию проблемы совместной интенциональности в эволюционных моделях метапознания. Целью работы было выявление роли совместного внимания в контексте метапознания, а также определение проблем и когнитивных искажений, связанных с этим феноменом.
• Вячеслав Елисеев -- "Эпистемические расширения в STIT-логике";
• Ирина Кирилова -- "Двухпроцессные теории для рассуждений с кондиционалами и нормативный статус логики"
  Наделение логики нормативным статусом по отношению к мышлению и естественным рассуждениям является одной из проблем философии логики. Когнитивными психологами были предложены несколько подходов к построению моделей естественных рассуждений. В последние годы предложенные подходы были объединены с теорией дуального процесса, согласно которой когнитивный аппарат человека имеет сложную двойную структуру. В работе представлены возможные перспективы рассмотрения вопроса о нормативности логики с учётом предложенных когнитивными психологами теорий рассуждений.

Логики свидетельств, введенные С.Н. Артемовым, представляют собой семейство эпистемических логик, в которых модальную формулу "бокс" A заменяют на t : A, интерпретируя данное выражение как “t является обоснованием (свидетельством) для A”. В докладе был представлен обзор результатов, связанных с данными эпистемическими логиками. Были рассмотрены теоремы о реализации и семантика Крипке-Фиттинга. Также в ходе доклада удалось обcудить теорему Кузнеца о самоссылочных реализациях логики K4 и циклические выводы в логике свидетельств JGL.  

Классические типологии речевых актов, такие как таксономия Дж. Серля, несмотря на чрезвычайную влиятельность, имеют немало проблем и нестыковок. Например, возникает затруднение с выделением класса экспрессивов. В классификации Серля они не имеют какого-либо «направления приспособления» и просто выражают психологические состояния, задаваемые условиями искренности, что должно приводить к исключению из этого класса неискренних, исключительно формальных поздравлений, извинений и т. п. Другая возможность (естественная с точки зрения классификации К. Баха и Р. Харниша) — рассматривать часть экспрессивов в качестве ассертивов или сделать акцент на выражении намерения выразить психологическое состояние, однако подобные варианты оказываются проблематичными в случае непроизвольных высказываний вроде «Фу, какая гадость!», особенно если они произносятся в одиночестве. В докладе будет представлена попытка решения этих и некоторых других проблем классификации (в т. ч. связанных с другими типами РА — ассертивами и директивами) за счет использования эволюционной перспективы, причем привлекательной чертой предлагаемого решения могло бы оказаться сохранение небольшого числа интуитивно приемлемых классов, не требующее радикальных решений (таких как отказ признавать некоторые высказывания иллокутивными актами).

Отрицательное согласование (negative concord) — феномен, когда несколько формально отрицательных единиц в предложении выражают одно семантическое отрицание.
Например, русское предложение Петя никого не видел интерпретируется так, как если бы местоимение никого не имело бы отрицательного компонента значения.
Мы рассмотрим типологию и некоторые подходы к отрицательному согласованию: какие типы бывают, в каких языках встречаются и как анализируется данный феномен. Также в докладе будут представлены данные русского жестового языка (РЖЯ) и их возможный анализ, предлагаемый Джереми Куном и Леной Пасальской.

Некоторые предложения естественного языка, такие как "Джон мог бы быть богаче", приписывают объектам кросс-мировые отношения. В данном примере это отношение между Джоном, каков он в действительном мире, и Джоном, каков он в некотором возможном мире, отличном от действительного. Данный феномен представляет собой проблему для модальной логики, поскольку стандартные модальные логики не имеют средств для отображения кросс-мировых отношений. В докладе будет предложено решение этой проблемы: будет представлена семантика, основанная на кросс-мировой интерпретации предикатов, и табличное построение логики, корректной и полной относительно данной семантики.

Для адекватного анализа предложений, описывающих кросс-мировые отношения, необходима логика, основанная на кросс-мировой интерпретации предикатов. При кросс-мировой интерпретации предикатов n-местный предикат получает экстенсионал для каждой упорядоченной n-ки возможных миров – не для отдельных возможных миров, как в стандартной модальной логике. В литературе предложен ряд логик такого рода; из них для меня наиболее существенны темпоральная логика Баттерилда и Стерлинга и кросс-мировая логика сослагательного наклонения Вемайера. В докладе предлагается логика для кросс-мировой предикаɰии (cross-world predication logic, CPL), развивающая подходы Баттерфилда – Стерлинга и Вемайера. Главное преимущество CPL перед указанными логиками состоит в том, что последние имеют довольно узкую сферу применения; например, логика сослагательного наклонения Вемайера применима только к двухместным предикатам, а логика Баттерфилда – Стерлинга не позволяет адекватно анализировать предложение «Джон был богаче, чем когда-либо прежде»; CPL снимает такого рода ограничения. (Детальный анализ ограничений указанных логик выходит за рамки доклада.) Дополнительное преимущество CPL состоит в том, что она использует стандартный формальный язык, тогда как указанные авторы расширяют формальный язык специфическими символами и выражениями. В докладе CPL представлена как версия алетической логики, но предлагаемый подход может быть распространен на модальную логику любого типа – эпистемическую, деонтическую, темпоральную и т.п.

План доклада: 1) язык и семантика CPL; 2) табличный метод доказательства замкнутых теорем CPL; 3) доказательство корректности и полноты табличного метода доказательства относительно представленной семантики применительно к замкнутым формулам.

В докладе было предложено оригинальное решение проблемы логического статуса «бессмысленных» высказываний (таких как «Цезарь есть простое число»). В классической логике, в которой любому высказыванию приписывается одно из двух истинностных значений («истина» или «ложь»), такие высказывания трактуются как ложные. Альтернативной позицией является понимание подобных высказываний как «бессмысленных». Для реализации этой позиции могут служить такие распространенные подходы, как построение трехзначных логик (с истинностным значением «бессмысленно» для подобных высказываний), теоретико-типовых или многосортных семантик. Однако, по мнению докладчика, эти подходы, по сути, представляют собой ограничения, искусственно накладываемые на логику, что противоречит идее формальности логики (иначе говоря, ее нейтральности в отношении предметной области). В то же время проблему логического статуса подобных высказываний нельзя игнорировать: ее актуальность связана с важными семантическими свойствами обыденного языка. Эксплицируя эти свойства, докладчик фиксирует в обыденном языке две различные операции отрицания, обозначая их как u-отрицание (универсальное отрицание) и t-отрицание (типовое отрицание). Для формального определения и исследования свойств этих операций предлагается особая семантическая структура. В рамках представленного подхода дается формальное определение понятия естественного класса.

Nepomuceno-Fernández A., Soler-Toscano F., Velázquez-Quesada F.R. (2017) Abductive Reasoning in Dynamic Epistemic Logic. In: Magnani L., Bertolotti T. (eds) Springer Handbook of Model-Based Science. Springer Handbooks. Springer, Cham

DOI

https://doi.org/10.1007/978-3-319-30526-4_13

"How does uncertainty about other voters determine a strategic vote?".
Bakhtiari, Z., van Ditmarsch, H. and Saffidine, A. (2018) ‘How does uncertainty about other voters determine a strategic vote?’ 

В современной философии понятие свободы воли теснейшим образом связано с понятием моральной ответственности. Многие современные философы полагают, что необходимо определять понятие свободы воли на основе понятия моральной ответственности. Так свобода воли может пониматься как форма контроля над поступками, достаточная для приписывания моральной ответственности за эти поступки. В своем докладе я сформулирую доводы в пользу ошибочности тех определений свободы воли, которые включают понятие моральной ответственности. Кроме того, я постараюсь показать, что тезис о значимости наличия свободы воли для приписывания моральной ответственности сомнителен и нуждается в пересмотре.

Видео выступления

Формальные арифметики представляют из себя класс логических теорий, созданных для формализации различных аспектов свойств натуральных чисел. Наиболее известна арифметика Пеано, являющаяся типичным примером теории достаточно сложной, чтобы обеспечивать формализацию собственного синтаксиса, но всё ещё, в отличие от теории множеств, обозримой и обладающей понятной моделью. Мы обсудим, как формальные арифметики оказываются полезными инструментами для различных разделов логики и компьютерных наук, в том числе в теории доказательств (теоремы Гёделя), а также рассмотрим примеры утверждений о натуральных числах, истинных, но не доказуемых в арифметике Пеано.

Видео доклада

Abstract (PDF, 529 Кб)

Abstract (DOCX, 18 Кб)

Abstract
The paper introduces a modal logical system for reasoning about knowledge in which information available to agents might be constrained by the available budget. Although the system lacks an equivalent of the standard Negative Introspection axiom from epistemic logic S5, it is proven to be sound and complete with respect to an S5-like Kripke semantics.

Abstract

"Theory of mind refers to the human capacity for reasoning about others’
mental states based on observations of their actions and unfolding events. This type of
reasoning is notorious in the cognitive science literature for its presumed computational
intractability.Apossible reason could be that it may involve higher-order thinking (e.g.,
‘you believe that I believe that you believe’). To investigate this we formalize theory
of mind reasoning as updating of beliefs about beliefs using dynamic epistemic logic,
as this formalism allows to parameterize ‘order of thinking.’ We prove that theory of
mind reasoning, so formalized, indeed is intractable (specifically, PSPACE-complete).
Using parameterized complexity we prove, however, that the ‘order parameter’ is not
a source of intractability.We furthermore consider a set of alternative parameters and

investigate which of them are sources of intractability.We discuss the implications of
these results for the understanding of theory of mind."

Parameterized Complexity of Theory of Mind Reasoning in Dynamic Epistemic Logic (PDF, 1,84 Мб)

Abstract

We present a framework for epistemic logic, modeling the logical aspects of System 1 (“fast”) and System 2 (“slow”) cognitive processes, as per dual process theories of reasoning. The framework combines non-normal worlds semantics with the techniques of Dynamic Epistemic Logic. It models non-logically-omniscient, but moderately rational agents: their System 1 makes fast sense of incoming information by integrating it on the basis of their background knowledge and beliefs. Their System 2 allows them to slowly, step-wise unpack some of the logical consequences of such knowledge and beliefs, by paying a cognitive cost. The framework is applied to three instances of limited rationality, widely discussed in cognitive psychology: Stereotypical Thinking, the Framing Effect, and the Anchoring Effect.

The Logic of Fast and Slow Thinking (PDF, 1,66 Мб)

Аннотация: 
В последние десятилетия в психологии рассуждений и теории принятия решений вероятностный подход получил особенное распространение и был назван «Новой парадигмой» в противовес старой, «дедуктивной». Также в психологии сегодня крайне влиятельной является теория дуального процесса мышления, согласно которой выделяются Система 1 и Система 2. Систему 1 обычно определяют как быструю, интуитивную и связанную с долгосрочной памятью человека, а Систему 2 – как медленную, рациональную и ограниченную объемом рабочей памяти. В докладе будет рассмотрено, каким образом возможно совмещение основанной на субъективной вероятности теории рассуждений с теорией дуального процесса.

Литература: 

– Elqayam, S., Over, D.E. (2013). New paradigm psychology of reasoning: An introduction to the special issue edited by Elqayam, Bonnefon, and Over. Thinking & Reasoning, 19:3-4, 249-265. 
– Evans, J. (2008). Dual-Processing Accounts of Reasoning, Judgment, and Social Cognition. Annual Review of Psychology, 59(1), 255-278. 
– Oaksford, M., & Chater, N. (2012). Dual processes, probabilities, and cognitive architecture. Mind and Society, 11, 15-26.

Вероятностный подход в психологии рассуждений и теория дуального процесса (PDF, 319 Кб)

Аннотация: 
Вопрос о том, как мы можем приписать моральную ответственность лицам за их действия и можем ли вообще — один из наиболее заметных для нормативной этики, метаэтики, философии права. Языки современных логик агентности (ATL, stit-логика, коалиционная логика) позволяют нам формализовать дистрибуцию ответственности между агентами и их группами за совершенные ими действия. В рамках доклада мы рассмотрим одну из таких формальных моделей в stit-логике для одного агента, ее деонтических и эпистемических расширениях.

Аннотация: 
Онтологический статус “Я” в современных дискуссиях о специфике сознания остается предметом спора. Основные расхождения обнаруживаются в том, какое положение понятие “Я” занимает в отношении сознания и феноменального опыта. В текущей полемике принято условное различение на эгологические и неэгологические объяснительные модели феноменального опыта. Пропоненты эгологической модели признают реальность “Я” и его необходимость при прояснении устройства феноменального опыта. Представители неэгологической модели либо отвергают онтологический статус “Я”, в целом, либо отрицают его теоретическую ценность для объяснения феноменального опыта. В рамках доклада предпринимается попытка отразить преимущества эгологической модели феноменального опыта и указать на возможные способы ее расширения. 

Проблема самости в аналитической феноменологии действия (PDF, 105 Кб)

Аннотация: 
Известно, что при когнитивной обработке различных групп кванторов активизируются различные зоны головного мозга человека. К примеру, при обработке числовых кванторов активизируется участок боковой префронтальной коры, а на понимание выражений с пропорциональными кванторами тратится большое количество рабочей памяти, за которую отвечает центральная часть той же префронтальной коры . Также известно, что одни квантифицированные предложения требуют больше ресурсов для своей верификации, чем другие. В исследованиях Я. Шиманика и К. Макмиллиана наиболее сложными для верификации выражениями являются предложения с кванторами, не определяемыми в логике первого порядка. В докладе будет рассмотрена возможность корреляции зон и когнитивных систем головного мозга человека с разделением на логику первого и высших порядков.

Литература:
McMillan C. T. et al. Neural basis for generalized quantifier comprehension //Neuropsychologia. – 2005. – Т. 43. – №. 12. – С. 1729-1737.
Szymanik J., Zajenkowski M. Comprehension of simple quantifiers: Empirical evaluation of a computational model //Cognitive Science. – 2010. – Т. 34. – №. 3. – С. 521-532.

Аннотация: 

Доклад посвящен презентации исследования пространственной интуиции в геометрии XIX – начале XX вв., ее связи с эмпирической применимостью математики и эпистемологическими вопросами о статусе математических понятий. Историческая линия развития пространственной интуиции проанализирована на конкретном сюжете из истории геометрии и физики. Этот сюжет открывается формулировкой неевклидовых геометрий Риманом и Лобачевским и оканчивается дискуссиями вокруг теории относительности, связанными с ее геометрическим основанием и взглядами Эйнштейна на статус геометрии. В качестве одной из центральных фигур здесь выступает Гельмгольц, вокруг работ которого европейские математики развернули обширные дискуссии о возможности физиологического или физического обоснования геометрии, о связи геометрии и восприятия, геометрии и фундаментальных для физики понятий твердого тела и движения.

Аннотация: 
Арифметика Пресбургера - это элементарная теория натуральных чисел со сложением, без умножения. В настоящем докладе будет дан обзор основных логических свойств арифметики Пресбургера, в том числе в сравнении с арифметикой Пеано. Особое внимание будет уделено нестандартным моделям, определимости подмножеств натурального ряда в арифметике Пресбургера и связанным вопросам теории интерпретаций.

Аннотация:

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

В докладе представлен разбор логик ветвящегося времени (Alternating-time Temporal Logics), а также некоторые эпистемические расширения. ATL логика позволяет формулировать утверждения типа "Группа агентов может гарантировать, что ϕ будет истинно в будущем", "группа агентов может гарантировать, что ф будет истинными пока истинно ψ" и т.д. Таким образом, ATL является довольно выразительным языком, позволяя формулировать утверждения о коалициях агентов и доступных им стратегиях. При этом ATL обладает привлекательными вычислительными свойствами, что еще больше увеличивает потенциал ее эпистемических надстроек.

Аннотация:

Доклад посвящен прагматическому феномену Conditional Perfection (СР). Это количественная импликатура, часто возникающая в условных предложениях под влиянием принципа кооперации П. Грайса. Она позволяет трактовать условные предложения как бикондициональные выражения, что является следствием двух классических логических заблуждений: принятия консеквента (AC) и отрицания антецедента (DA).

С момента эксплицитного введения термина в работе Geis & Zwicky (1971), было проведено множество исследований, посвященных формальной интерпретации, влиянию семантических и прагматических факторов на Conditional Perfection.

В начале доклада будут коротко рассмотрены история появления термина, самые известные подходы к анализу CP и исследование Plogman (2010) о влиянии фокуса на возникновение импликатуры. Затем будут представлены результаты эксперимента, в ходе которого исследовалось влияние отрицания, типа речевого акта и порядка клауз на скорость и процент принятия такой импликатуры респондентами в inference task.

Литература:
Geis, M. L., & Zwicky, A. M. (1971). On invited inferences. Linguistic inquiry, 2(4), 561-566.
Plogmann, C. M. (2010). Focus Affects Conditional Perfection: Experimental Evidence. Master’s Thesis at the Goet

Abstract:

My aim in this talk is to address the so-called logics of sound, ranging from Langer’s pioneering intuitions aping Boolean logic, Dipert’s and Whelden’s music set-theoretical analysis, to Pietarinen’s diagrammatic acoustic logic and Ingolf’s molecular logic of harmony. The first concern is to elucidate the main difference between those approaches, namely, the casuistic approach (that is, to logically represent sound or musical features by means of formal tools), and the instrumental approach (that is, to represent logical relations by means of sound). I’ll argue that if the ideal of isomorphism holds, then there is no such a a difference, yet it would still be hard to see all these approaches in the same plane. 

The second aim of this talk is to propose a new approach, via mereotopology (that is, the conjunction of the formal branches of metaphysics known as mereology—the study of parts, wholes and its connections— and topology —that is, the study of the location relationships between regions and particulars that occupy them—). The foray into mereotopology encompasses two efforts: the first one is (again) casuistic, in the sense of trying to apply the concepts of mereology an topology to the realm of sounds, which is a rather difficult task. The second one is (again) instrumental, in the sense of describing how acoustic phenomena (or, to be more precise, musical aspects) exhibits mereotopological relations, in particular thorny definitions like that of overlap and motion. 

Аннотация: 

Правило – центральное понятие, которое формализуют авторы в контексте теории Канта. Согласно их исследованию, кантовские правила не что иное, как операции, представленные условными императивами или условными разрешениями, которые указывают, какие действия должны или могут быть выполнены в зависимости от того, что уже было совершено. Эти действия не являются пропозициональными и не могут быть расценены с точки зрения истинности и лжи. Более того, сами правила Канта не указывают на истинность или ложность. В статье представлена формализация KL3, которая отображает концепцию правил Канта как условных императивов и условных разрешений. Её основная особенность в том, что она устанавливает отношения между элементами, которые не имеют истинностных значений. Таким образом, содержание таблицы суждений Канта можно интерпретировать как наиболее естественный способ группировки различных типов и подтипов правил KL3. Такой анализ по-новому объясняет, какое важное место нормативные понятия занимают в логике Канта – основе его теоретической философии.

Evans, R., Sergot, M., & Stephenson, A. (2020). Formalizing Kant’s Rules: A Logic of Conditional Imperatives and Permissives. Journal of Philosophical Logic, 49(4), 613–680. (PDF, 4.10 Мб)  https://doi.org/10.1007/s10992-019-09531-x

Аннотация:

Доклад будет посвящен трудностям в определении  группового имплицитного и дистрибутивного знания.  Традиционно понятие группового (имплицитного) знания связывается с потенциальной возможность группы агентов получить новую информацию, обменявшись фрагментами информации, которые есть у агентов по отдельности. В качестве стандартного инструмента формальной экспликации этого вида знания используется оператор диструбутивного знания,  определяемый через пересечений отношений индивидуальных агентов. Однако определяемое таким образом дистрибутивное знание не вполне соответсвует изначальной интуиции, поскольку существует отмеченная модель Крипке, в которой у группы присутствует дистрибутивное знание, но при этом отсутсвует возможность «локализовать» это знание, поскольку и на индивидуальном уровне у агентов в этой модели одна и та же информация. Более того, при помощи несложной бисимуляции можно доказать, что оператор дистрибутивного знания не выразим в базовом модальном языке.   Будет доказано, что в классе конечных модельно различимых моделей Крипке понятия  группового имплицитного и дистрибутивного знания совпадают, а также будут предложены разные варианты формулировок группового  имплицитного знания.

Аннотация:

We give one overall system for describing the knowledge in a group of m agents, in which distributed knowledge, everybody's knowledge and common knowledge can be dealt with at the same time. The canonical model for this complete epistemic logic for m agents appears to lack two desirable properties. We combine several validity-preserving techniques to transfer the satisfiability of an epistemic formula between classes of models; thus eventually proving completeness for the logic under consideration with respect to the class of models containing all the desired properties. Although the full procedure for achieving this seems, we admit, quite formidable, the method consists in essence of applying three standard techniques: firstly, we show how a filtration technique of Goldblatt can be used to gain one of the desired properties of the models. Next, we unravel this finite filtration, following ideas that were introduced by Sahlqvist for the mono-modal case. Finally, we use an equivalence relation to identify unravelled paths, the equivalence classes of this relation becoming the worlds that together constitute a new model. Thus, we eventually obtain a class of models for which, on the one hand, the given epistemic system is a sound and complete axiomatization, and on the other hand appealing mathematical properties can be proven. In passing, we prove the epistemic system to be decidable.   

Аннотация: 

There has been a significant interest in extending various modal logics with intersection, the most prominent examples being epistemic and doxastic logics with distributed knowledge. Completeness proofs for such logics tend to be complicated, in particular on model classes such as S5 like in standard epistemic logic, mainly due to the undefinability of intersection of modalities in standard modal logics. A standard proof method for the S5 case was outlined in (Halpern, J.Y., Moses, Y., 1992) and later explicated in more detail in (Wang, Y.N., Agotnes, T., 2013), using an “unraveling-folding method” case to achieve a treelike model to deal with the problem of undefinability. This method, however, is not easily adapted to other logics, due to the level of detail and reliance on S5. In this paper we propose a simpler proof technique by building a treelike canonical model directly, which avoids the complications in the processes of unraveling and folding. We demonstrate the technique by showing completeness of the normal modal logics K, D, T, B, S4 and S5 extended with intersection modalities. Furthermore, these treelike canonical models are compatible with Fischer-Ladner-style closures, and we combine the methods to show the completeness of the mentioned logics further extended with transitive closure of union modalities known from PDL or epistemic logic. Some of these completeness results are new.

Аннотация: 

One sense of ‘imagination’ that matters in epistemology has the word mean ‘reality-oriented mental simulation’ (ROMS): we suppose that something is the case; develop the supposition by importing background knowledge and beliefs; and check what is true in the imagined scenario. What is the logic of ROMS? Imagination has a reputation for being logically anarchic. In particular, it’s hyperintensional: we can imagine A without imagining a necessarily equivalent B. This work considers a Principle of Equivalence in Imagination which, if accepted, will limit the anarchy: when A and B are equivalent in imagination, one will imagine the same things after supposing either in ROMS. What is equivalence in imagination? It is suggested that it’s cognitive equivalence. A and B are cognitively equivalent for one when they play the same role in one’s cognitive life: whatever one understands, concludes, etc., given either, one does, given the other. ROMS is logically modelled via variably strict modals. Two formal semantics are proposed for them: one uses possible worlds plus an algebra of topics; the other resorts to impossible worlds. The two deal with equivalence in imagination in subtly different ways.

Аннотация:

Branching-time temporal logics have proved to be an extraordinarily successful tool in the formal specification and verification of distributed systems. Much of their success stems from the tractability of the model checking problem for the branching time logic CTL, which has made it possible to implement tools that allow designers to automatically verify that systems satisfy requirements expressed in CTL. Recently, CTL was generalised by Alur, Henzinger, and Kupferman in a logic known as Alternating-time Temporal Logic (ATL). The key insight in ATL is that the path quantifiers of CTL could be replaced by cooperation modalities, of the form, where is a set of agents. The intended interpretation of an ATL formula is that the agents can cooperate to ensure that holds (equivalently, that have a winning strategy for ). In this paper, we extend ATL with knowledge modalities, of the kind made popular in the work of Fagin, Halpern, Moses, Vardi and colleagues. Combining these knowledge modalities with ATL, it becomes possible to express such properties as group can cooperate to bring about iff it is common knowledge in that . The resulting logic — Alternating-time Temporal Epistemic Logic (ATEL) — shares the tractability of model checking with its ATL parent, and is a succinct and expressive language for reasoning about game-like multiagent systems.

Аннотация:

We overview the existing philosophical accounts of group belief, including both aggregative (or reductionist) approaches reducing collective belief to individual beliefs and non-reductionist approaches ascribing beliefs to the group as a whole. We then provide a modal logic of group belief GL that follows a non-reductionist approach. We compare our group belief logic with the well-known logic of common belief (which is a logic of collective belief in an aggregative sense) and with the logic of group acceptance that has been recently proposed by some of us. Finally, in the spirit of dynamic epistemic logics we propose an extension of GL by public announcements.

Gaudou, B., Herzig, A., Longin, D., & Lorini, E. (2015). On modal logics of group belief. In The Cognitive Foundations of Group Attitudes and Social Interaction (pp. 75-106). 

Аннотация:

Доклад будет посвящен проблеме дефиниции намерения и определению его свойств. Основная задача – доказать, что намерение не редуцируется к ментальному состоянию, и показать преимущества такого подхода. В докладе будут рассмотрены преимущественно долгосрочные намерения, которые агент формирует относительно действий в будущем. Интенции относительно будущих действий сравниваются с долгосрочным планом, который осуществляется на этапе подготовки, обособленном от процесса действия. Кроме того, с помощью сравнительного анализа выделяются ключевые характеристики намерения, которые имеют сходства со специфической формой обязательства – обещанием самому себе. Инструментом формальной экспликации намерения выбрана модальная логика KD45. Она позволяет формализовать основные свойства намерения и вывести его основные законы: редукцию интенций высших уровней к первому и недопущение интенционального парадокса Мура, когда агент намеревается создать намерение поступать определенным образом, но не намеревается осуществлять это действие.

Аннотация: 

В докладе мы рассмотрим пропозициональную модальную логику с двумя модальными операторами. Первый будет интерпретироваться как оператор взятия внутренности, а второй как отношение неравенства. Мы рассмотрим логику S4DT_0, докажем, что она является логикой всех T_0- пространств и обладает свойством финитной аппроксимируемости.

Аннотация:

Мы планируем рассказать о полученных (в 2015 -2020) результатах в области многоагентных и нетранзитивных логик и их возможных приложениях в информатике. Основное отличие от широко принятого подхода в рассматриваемой области состоит во введении индивидуальных отношений достижимости в моделях Крипке для агентов и (или) в модификации отношений достижимости в зависимости от состояний, где оценивается выполнимость формулы. Также, естественно, рассматриваютя индивидуальные означивания агентов для исходных пропозициональных переменных.

Аннотация: 

В литературе присутствуют различные мнения относительно того, выражает ли русское деепричастие совершенного вида значение следования после основного события. Есть точка зрения, согласно которой русское деепричастие не может выражать "не логического", временного следования относительно основного события (Bikkulova, 2011). Другие считают, что такое значение возможно, но его не стоит выделять, так как оно сильно зависит от контекста (знаний о мире, вспомогательных лексических средств типа "после") и не является "грамматическим значением" деепричастия (Weiss, 1995; Шигуров, 1991). Есть однако и те, кто признают значение следования как одно из таксисных функций русского деепричастия (e. g. Акимова & Козинцева, 1987). В частности, согласно подходу  Narrative event chronology (Lehmann, 1998), адаптированному Бирзер для построения модели ситуации, выражаемой предложениями с деепричастиями (2010), можно сформулировать условия, в которых это значение появляется, однако, оно все еще сильно зависит от контекста.

В докладе будет рассмотрено, как принцип иконичности порядка и связанность событий влияют на возникновение значения следования\предшествования в русских деепричастиях совершенного вида. На основе данных, полученных в ходе онлайн-эксперимента, где испытуемые принимали или отрицали интерпретации, предложенные для предложений с деепричастиями, было показано, что даже несмотря на исчезновение таких употреблений из письменной речи (Birzer, 2010), носители русского довольно часто принимают значения следования деепричастия, если оно расположено после основной клаузы. При этом, принятие интерпретации довольно высокое даже в тех случаях, когда знания о мире или вспомогательные лексические единицы не подкрепляют эту более слабую, контекстуальную интерпретацию. Это может свидетельствовать о том, что иконичный порядок влияет на интерпретацию гораздо сильнее, чем предполагалось, и значение следования вполне может быть отдельным значением русского деепричастия совершенного вида, наравне с предшествованием и (частичной) одновременностью.

Также в докладе будет кратко рассмотрено, как порядок и наличие предпочитаемой интерпретации влияет на относительную сложность временной интерпретации предложения (время реакции).
 

Литература:

Акимова, Т. Г., & Козинцева, Н. А. (1987). Зависимый таксис (на материале деепричастных конструкций). Теория функциональной граматики: Введение. Аспектуальность. Таксис/[под ред. АВ Бондарко и др.].–Л.: Наука, 25.

Биккулова, О.С. (2011). Деепричастие. Материалы для проекта корпусного описания русской грамматики (http://rusgram.ru). На правах рукописи. М.

Birzer, S. (2010). Русское деепричастие. Процессы грамматикализации и лексикации= Russkoe deepričastie. Processy grammatikalizacii i leksikacii.

Шигуров, В. В. (1991). К проблеме категориальной интерпретации вида и относительного времени деепричастий. Инженерные технологии и системы, (4).

Weiss, D. (2020). Russian converbs: a typological outline. In Converbs in cross-linguistic perspective (pp. 239-282). De Gruyter Mouton.

Lehmann, V. (1998). Zeitliche Kohärenz. Slavistische Linguistik 1997, 101-123.

Аннотация:

Известно, что одни типы кванторов сложнее для когнитивной обработки, чем другие. В 2010 году Якоб Шиманик и Марчин Зайенковский провели эксперимент, в котором испытуемые должны были верифицировать предложения с различными типами кванторов. Результатом эксперимента стала следующая последовательность кванторов, в которой они возрастают по сложности верификации предложений с ними: аристотелевы, нумерические, кванторы четности и пропорциональные. Шиманик объясняет получившуюся иерархию при помощи теории семантических автоматов (далее - ТСА), согласно которой аристотелевы, нумерические и кванторы четности могут быть представлены в качестве конечного семантического автомата, а пропорциональные кванторы - нет. В докладе я хочу показать, что ТСА не объясняет иерархию когнитивной обработки кванторов в полной степени и может быть улучшена при дополнении ТСА теорией когнитивных шагов.

Аннотация: 

В данном докладе будет рассмотрена интерпретация Р. Чизолма и Э. Созы, которые предлагают анализ таких внутренних ценностей как intrinsic goodness, intrinsic badness и intrinsically better в контексте пропозициональной логики. Кроме того, будет показано значение этого анализа в дальнейшем развитии теории добродетельного релайабилизма Э. Созы.

Chisholm R.M., Sosa E. (1966). On the Logic of "Intrinsically Better". American Philosophical Quarterly, 3(3), 244-249.

Аннотация: 
Основной целью нашего доклада является исследовать типологии формальных отношений и рассмотреть возможность приложения теории формальных отношений к анализу референционально непрозрачных контекстов. В частности, мы рассмотрим эволюцию классических классификаций отношений и покажем, что трудности, связанные с множеством прочтений непрозрачных контекстов, в терминах У. Куайна, заключаются не в феноменологической интерпретации глагола или специфике неопределенного субстантивного словосочетания, а в интерпретации отношений между конституентами предложения.
 

Аннотация: 

Доклад будет посвящен рассмотрению окрестностной семантики.

Окрестностная семантика была сформулирована в 1970-х годах и на данный момент представляет собой плодотворную область для исследования.

Характерной особенностью окрестностной семантики является свойство полноты некоторых "не-нормальных логик", то есть логик, "слабее" известной логики K.

Благодаря этой особенности, окрестностная семантика дает больше возможностей для моделирования рассуждений или процессов, нежели реляционная семантика (или семантика Крипке).

В рамках доклада планируется:

1) Дать определение окрестностной семантики;

2) Рассмотреть некоторые не-нормальные модальные логики;

3) Рассмотреть результаты о полноте и финитной аппроксимируемости этих логик, опираясь на исследования Дэвида Льюиса, Тимоти Сюрендонка, а также докладчика.