Logical Analysis of Symbolic Conception Representation in Terminological Systems

Cognitive, or knowledge, agents, who are in some way aware of describing their own view of the world (based on their mental concepts), need to become concerned with the expres- sions of their own conceptions. My main supposition is that agents’ conceptions are mainly expressed in the form of linguistic expressions that are spoken, written, and represented based on e.g. letters, numbers, or symbols. This research especially focuses on symbolic conceptions (that are agents’ conceptions that are manifested in the form of their symbols). I attempt to formal-logical system for representing and explicating agents’ conceptions of the world.Cognitive, or knowledge, agents, who are in some way aware of describing their own view of the world (based on their mental concepts), need to become concerned with the expres- sions of their own conceptions. My main supposition is that agents’ conceptions are mainly expressed in the form of linguistic expressions that are spoken, written, and represented based on e.g. letters, numbers, or symbols. This research especially focuses on symbolic conceptions (that are agents’ conceptions that are manifested in the form of their symbols). I attempt to formal-logical system for representing and explicating agents’ conceptions of the world

Логические аллюзии в сюжетах фантастической литературы: от «дилеммы Авраама» до «новояза»

The present paper presents various cases whose essence is the analysis of the logical background of various subjects of sci-fi and fantasy. To begin, I investigate the properties of self-unfulfilling prophecies and point out the situations in which its schemes and mechanisms are involved (Abraham’s Dilemma, Smullyan’s Hippie’s Paradox, “stoic happiness”; the “anaesthetic effect”, the “epistemological nightmare”, etc.). Next, I propose to apply the plot of “return from the stars” by Stanisław Lem to the analysis of the present-day acceleration of social processes. The third important block of the paper is formed by a semantic story (regarding the phenomenon of the expressive power of languages) about Georgy Shakhnazarov’s notion of concept, Plato’s myth of the cave and Orwell’s Newspeak.В настоящей работе представлены различные кейсы, сутью которых является разбор логической подоплеки различных сюжетов фантастической литературы. Для начала разбираются свойства самонесбывающегося пророчества, указываются ситуации, в которых работают его схемы и механизмы («дилемма Авраама», «парадокс хиппи» Р. Смаллиана, «стоическое счастье»; «эффект анальгина», «эпистемический кошмар» и др.). Далее предлагается применить сюжет «возвращение со звезд» С. Лема к анализу ускорения социальных процессов в настоящее время. Третий важный блок работы образует семантический рассказ (относительно феномена «выразительные возможности языков») о концепции понятия Г. Шахназарова, «мифе о пещере» Платона и «новоязе» Дж. Оруэлла

О модели Бенч-Капона для структуры аргументации, основанной на ценностях

In this paper I examine the expressive power of the Bench-Capon value-based argumentation framework. In frameworks of this type we have two types of relations between arguments: the attack relation and the defeat relation, which is a class of successful attacks from the point of view of a certain audience, taking into account its value priorities. The main advantage of this approach is that every audience-specific value-based argumentation framework with no single-valued cycles has a unique, nonempty preferred extension.В статье рассматриваются выразительные возможности модели Бенч-Капона для структуры аргументации, основанной на ценностях. Основным отличием этой модели от классического подхода Дунга является то обстоятельство, что, помимо отношения атаки, определённого на упорядоченных парах аргументов, в этой модели выделяется особый подкласс данного отношения — отношение отмены, то есть успешной атаки с точки зрения определённой аудитории с учетом её ценностных приоритетов. Эта особенность расширяет выразительные возможности данной модели, а также позволяет иметь единственное непустое предпочтительное расширение для данной аудитории для всякой абстрактной структуры аргументации, в которой отсутствуют циклы, состоящие из аргументов, поддерживающих одну и ту же ценность

Моральные обязательства представителя группы в делиберации о повестке

Deliberation about the agenda is one of the stages of a dispute. Its direct goal is to determine the agenda of the dispute. Its indirect goals are varied: recognition of the group’s rights, management of the group’s connection with its representative, and influence on the institution of deliberation itself. Deliberation is led by a representative of the group. The attitude of representation carries a moral obligation, especially when the issue of recognition of the group’s rights is acute. The article describes three grounds for moral obligation. The first two are related to the concept of the common good. It is implemented by collective rationality, which requires the maximum diversity of interests and opinions, as well as the maximum diversity of participants in deliberation. The representative in these two cases may be neutral with respect to the group represented. The third form of obligation arises at the conclusion of an “affective contract”. The representative is charged with the duty of service, and the group, with the duty of trust. The representative voluntarily appropriates the opinions, desires and wills of the group. A high degree of intensity of affect leads to the fact that loyalty to the group begins to contradict the common good. At the same time, such forms of behavior of the representative become possible that deviate from the usual direct and indirect goals of the dispute. If the goal of influencing the agenda is maintained, then the success or failure of deliberation is combined with how the representative and the group fulfill their obligations to each other. These combinations are described at the end of the article and form a range of assessments and possibilities for further behavior and interaction between the group and the representative.Делиберация о повестке представляет собой один их этапов спора. Её прямая цель — определение повестки спора. Косвенные цели разнообразны: признание группы как равноправного агента, управление связи группы с её представителем, влияние на сам институт делиберации. Делиберацию ведет представитель группы. Отношение представительства несет в себе моральное обязывание, особенно тогда, когда остро стоит вопрос о признании группы. В статье описаны три основания морального обязывания. Первые два связаны с концептом общего блага. Оно реализуется коллективной рациональностью, что требует максимального разнообразия интересов и мнений, а также максимального разнообразия участников делиберации. Представитель в этих двух случаях может быть нейтральным по отношению к представляемой группе. Третья форма обязывания возникает при заключении аффективного контракта. Представителю вменяется долг служения, группе — долг доверия. Представитель по собственной воле апроприирует мнения, желания и воления группы. Высокая степень интенсивности аффекта приводит к тому, что лояльность группе начинает противоречить общему благу. При этом становятся возмож- ными такие формы поведения представителя, которые отклоняются о прямых и косвенных целей спора. Если же цель влияния на повестку сохраняется, то успех или неудача делиберации сочетается с тем, как представитель и группа выполняют свои обязательства другом перед другом. Эти сочетания описаны в конце статьи и образуют спектр оценок и возможностей дальнейшего поведения и взаимодействия группы и представителя

Формализация минималистского синтаксиса в языке Agda

The paper presents a toolset for the formalization of syntactic theories in the framework of Noam Chomsky’s Minimalist Program in generative linguistics. It comprises a set of formal instruments in Agda language, allowing to define derivation trees, syntactic objects and principal notions of minimalist theory—the operation Merge, features, copies, chains, c-command, etc. At the same time, the formalism omits the operation Agree and phase theory.В статье представлен инструментарий для формализации синтаксических теорий в рамках минималистской программы Н. Хомского (Minimalist Program) в генеративной лингвистике. Он представляет собой набор формальных конструкций в языке Agda, позволяющих определить деревья вывода, синтаксические объекты и основные понятия минималистской теории — операцию соединения (Merge), признаки, копии, цепи, c-командование и др. В то же время, в формализме опущены операция согласования (Agree) и теория фаз

Феноменологическая семиотика мифа и притчи

A semiotic model is proposed for a collectively shared apperception basing upon Maurice Merleau-Ponty’s ideas about the role of the shared intentional object in the co-constitution of Ego and Alter Ego and of the collective activity supported by a phenomenology of that kind. Fauconnier’s theory of conceptual blending is used as a formal semiotic model. It generalises the classical opposition of tenor and vehicle in metaphors onto cases where a more complex transition beyond the sphere of the rational is needed. That allows to revisit the concept of secondary sign system and its role in the social myth, so that the following motto may be proposed: a myth is a parable with tabooed veracity.Предлагается семиотическая модель коллективно разделяемой апперцепции, основанная на идеях М. Мерло-Понти о роли общего интенционального объекта в соконституировании эго и альтер-эго и обеспечиваемой этим феноменологии коллективной деятельности. В качестве формальной семиотической модели в статье используется теория Фоконье, обобщающая схему противопоставления пространств «оболочки» и «содержания» в метафоре на случаи, где выход за пределы «рационального» достигается путем «склейки» элементов пространства. Это позволяет переосмыслить понятие вторичной знаковой системы и ее роли в таком явлении, как социальный миф, и предложить тезис: миф есть притча с табуированной достоверностью

Единственная трехзначная ⊃¬-логика с одним выделенным значением, являющаяся паранормальной и регулярной ⊃¬-логикой с классической импликацией

It is proven that (⟨(1/2, 0, 0, 1/2), ¬(1/2, 1, 0)⟩) is the only three-valued ⊃¬- logic with one designated value which is a paranormal and regular ⊃¬-logic with classical implication.Доказано, что (⟨(1/2, 0, 0, 1/2), ¬(1/2, 1, 0)⟩) есть единственная трехзначная ⊃¬-логика с одним выделенным значением, являющаяся паранормальной и регулярной ⊃¬-логикой с классической импликацией

Перформативная интерпретация дедуктивного аргумента: Хинтикково «за», Уолтоново «быть может», мое «пока еще нет»

The article questions the existence of the so-called performative arguments. On the example of Hintikka’s performative interpretation of the cogito ergo sum dictum, all the complexities of such an approach are revealed. I claim that the definitions of an existential and the performative contradiction, which serve as drivers of performative arguments, are semantically incorrect. Then I show that the application of the logic of actions partially improves the situation, although it does not allow to clarify the distinctive features of the performative arguments. I conclude that in order to describe performative arguments, it is necessary to use semantics other than conventional relational semantics.В статье ставится вопрос о существовании аргументов особого типа — так называемых перформативных аргументов. На примере перформативной интерпретации рассуждения cogito ergo sum, которую предложил Хинтикка, вскрываются все сложности такого подхода. Так, устанавливается, что определения экзистенциального и перфрмативного противоречий, выполняющие функцию драйверов перформативных аргументов, семантически некорректны. Показано, что применение логики действий отчасти исправляет ситуацию, хотя и не позволяет выяснить отличительные особенности аргументов перформативного типа. Делается вывод о том, что, для того чтобы дать описание перформативному аргументу, нужно использовать семантики, альтернативные реляционным

Семиотическая концепция самости в семиоэтике Сьюзан Петрилли

. The article addresses the dialogic conception of the self, elaborated by the Aus- tralian-Italian philosopher Susan Petrilli in her semioethics. Semioethics rests on a number of principles—in particular, on the attitude of listening to the other and openness towards the signs of otherness. Semioethics is intended to serve as a critical instance of culture, and one of its principal objectives is putting subjectivity to question. Instead of subjectivity based on a neatly delineated and static identity, semioethics suggests a dynamic and dialogical conception of the self, based on likening the self to a sign. Signs by their nature refer to something other than themselves, they participate in a chain or a network of deferrals; therefore the self is not a self-enclosed and isolated entity, but rather constitutes a dynamic process open to otherness.Статья посвящена диалогической концепции самости, которую разрабатывает в своей семиоэтике австрало-итальянская философ Сьюзан Петрилли. Семиоэтика основана на ряде принципов — в частности, на установке слушания другого и открытости по отношению к знакам инаковости. Семиоэтика призвана служить критической инстанцией культуры, и одной из главных ее задач является критика субъективности. Вместо субъективности, основанной на четко очерченной и статичной идентичности, семиоэтика предлагает динамическую и диалогическую концепцию самости, основанную на уподоблении самости знаку. Знак по своей природе отсылает к иному, чем он сам, и участвует в сети или цепочке отсылок; следовательно, и самость является не замкнутой в себе изолированной сущностью, но динамическим процессом, открытым инаковости

Философия от первого лица. Кристина Пизанская: о граде женском

Christine de Pizan is a unique thinker of the Late Middle Ages, who spoke about the problems of female intellectual culture, equality and misogyny. She raised issues related to women’s education and the peculiarities of stereotype construction in patriarchal discourse. The autobiographical style of philosophizing from the first person is an important method of her writing, constructing not only a memory-about-her-self but also becoming a method of reducing the male gaze in textual culture. An analysis of the phenomenon of her philosophizing is inseparable from the facts of her biography and its construction in women’s narrative writing.Кристина Пизанская — уникальная мыслительница позднего Средневековья, заговорившая о проблемах женской интеллектуальной культуры, равноправия и мизогинии. Она поднимала вопросы, связанные с женским образованием и спецификой конструирования стереотипов в патриархальном дискурсе. Автобиографический стиль философствования от первого лица — важный прием ее письма, не только конструирующий память-о-себе, но и становящийся приемом редуцирования мужского пристального взгляда в текстуальной культуре. Анализ феномена ее философствования неотделим от фактов биографии и ее конструирования в женском нарративном письме