Глава
Surprises in Logic: When Dynamic Formality Meets Interactive Compositionality
В книге
Статья посвящена вкладу Ч. Филлмора в современную лингвистику. В ней обсуждаются идеи Фил- лмора, которые на много лет вперед определили ее развитие – падежная грамматика, пресуппозиция и дейксис, фреймы, теория грамматики конструкций.
It is argued in the present paper that an appealing attempt to save the principle of excluded middle by changing the truth-conditions of negation without losing bivalence and compositionality is a misleading device: not only does it alter the logical constant of negation, but it makes a confusion between levels of language, namely: a first-order of sentences (related to states of affairs), and a second-order of staments (related to the lower-order sentences).
В последнее время у специалистов по всему миру, занимающихся научной деятельностью, все больше возрастает необходимость публиковать результаты своих исследований. Во многих случаях эти публикации осуществляются на английском языке, который считается доминирующим не только в области межнационального общения, но и в сфере науки. Соответственно возникают вопросы, касающиеся стандартов английского языка как средства научной публикации. Ученые, для которых этот язык не является родным, неизбежно испытывают трудности при написании статей и других научных трудов и их публикации в англоязычных научных журналах, которые выставляют определенные требования к качеству языка. Это могут быть проблемы в области лексического подбора при переводе, выбора правильных грамматических конструкций, употреблении лексико-грамматических единиц, присущих именно академическому стилю письменной речи. В данной статье рассматриваются наиболее специфические лексические, морфологические и синтаксические черты академической прозы английского языка, какие формы употребляются наиболее часто и на которые стоит обратить особое внимание.
Вложенные сети Петри это формализм для моделирования мультиагентных распределенных систем со сложной динамической структурой. Несмотря на ряд полезных свойств вложенных сетей Петри для моделирования упомянутых систем, отсутствие инструментальной поддержки сдерживает развитие и применение формализма. В данной работе представлен инструмент NPNtool для редактирования вложенных сетей Петри и композициональной проверки живости. Предложен алгоритм для проверки m-бисимулярности, необходимый для композициональной проверки живости. Представлены экспериментальные результаты использования инструмента на классическом примере обедающих философов.