The article proposes a formal semantics of happiness and sadness modalities in the imperfect information setting. It shows that these modalities are not definable through each other and gives a sound and complete axiomatization of their properties.

Two different types of functional dependencies are compared: dependencies that are functional due to the laws of nature and dependencies that are functional if all involved agents behave rationally. The first type of dependencies was axiomatized by Armstrong. This article gives a formal definition of the second type of functional dependencies in terms of strategic games and describes a sound and complete axiomatization of their properties. The axiomatization is significantly different from the Armstrong’s axioms.

The article studies knowledge in multiagent systems where data available to the agents may have small errors. To reason about such uncertain knowledge, a formal semantics is introduced in which indistinguishability relations, commonly used in the semantics for epistemic logic S5, are replaced with metrics to capture how much two epistemic worlds are different from an agent’s point of view. The main result is a logical system sound and complete with respect to the proposed semantics.

With agents relying more and more on information from central servers rather than their own sensors, knowledge becomes property not of a specific agent but of the data that the agents can access. The article proposes a dynamic logic of data-informed knowledge that describes an interplay between three modalities and one relation capturing the properties of this form of knowledge. The main technical results are the undefinability of two dynamic operators through each other, a sound and complete axiomatisation, and a (...) model checking algorithm. (shrink)

The classical propositional logic is known to be sound and complete with respect to the set semantics that interprets connectives as set operations. The paper extends propositional language by a new binary modality that corresponds to partial recursive function type constructor under the above interpretation. The cases of deterministic and non-deterministic functions are considered and for both of them semantically complete modal logics are described and decidability of these logics is established.

Traditionally, the formulae in modal logic express properties of possible worlds. Prior introduced “egocentric” logics that capture properties of agents rather than of possible worlds. In such a setting, the article proposes the modality “know how to tell apart” and gives a complete logical system describing the interplay between this modality and the knowledge modality. An important contribution of this work is a new matrix-based technique for proving completeness theorems in an egocentric setting.

A new modal logic is introduced. It describes properties of provability by interpreting modality as a deductive closure operator on sets of formulas. Logic is proven to be decidable and complete with respect to this semantics.

Betweenness as a relation between three individual points has been widely studied in geometry and axiomatized by several authors in different contexts. The article proposes a more general notion of betweenness as a relation between three sets of points. The main technical result is a sound and complete logical system describing universal properties of this relation between sets of vertices of a graph.

Three different types of interdependence between pieces of information, or "secrets", are discussed and compared. Two of them, functional dependence and non-deducibility, have been studied and axiomatized before. This article introduces a third type of interdependence and provides a complete and decidable axiomatization of this new relation.

The article studies properties of interchangeability of pure, mixed, strict, and strict mixed Nash equilibria. The main result is a sound and complete axiomatic system that describes properties of interchangeability in all four settings. It has been previously shown that the same axiomatic system also describes properties of independence in probability theory, nondeducibility in information flow, and non-interference in concurrency theory.

A new approach to defining complexity of propositional formulas and proofs is suggested. Instead of measuring the size of these syntactical structures in the propositional language, the article suggests to define the complexity by the size of external descriptions of such constructions. The main result is a lower bound on proof complexity with respect to this new definition of complexity.

The paper considers a commonly used axiomatization of the classical propositional logic and studies how different axiom schemata in this system contribute to proof complexity of the logic. The existence of a polynomial bound on proof complexity of every statement provable in this logic is a well-known open question.The axiomatization consists of three schemata. We show that any statement provable using unrestricted number of axioms from the first of the three schemata and polynomially-bounded in size set of axioms from the (...) other schemata, has a polynomially-bounded proof complexity. In addition, it is also established, that any statement, provable using unrestricted number of axioms from the remaining two schemata and polynomially-bounded in size set of axioms from the first scheme, also has a polynomially-bounded proof complexity. (shrink)

A relation between two secrets, known in the literature as nondeducibility , was originally introduced by Sutherland. We extend it to a relation between sets of secrets that we call independence . This paper proposes a formal logical system for the independence relation, proves the completeness of the system with respect to a semantics of secrets, and shows that all axioms of the system are logically independent.

The article proposes Logic of Secrets in Collaboration Networks, a formal logical system for reasoning about a set of secrets established over a fixed configuration of communication channels. The system’s key feature, a multi-channel relation called independence, is a generalization of a two-channel relation known in the literature as nondeducibility. The main result is the completeness of the proposed system with respect to a semantics of secrets.

The article studies properties of functional dependencies between strategies of players in Nash equilibria of multiplayer strategic games. The main focus is on the properties of functional dependencies in the context of a fixed dependency graph for payoff functions. A logical system describing properties of functional dependence for any given graph is proposed and is proven to be complete.

The article proposes Logic of Secrets in Collaboration Networks, a formal logical system for reasoning about a set of secrets established over a fixed configuration of communication channels. The system’s key feature, a multi-channel relation called independence, is a generalization of a two-channel relation known in the literature as nondeducibility. The main result is the completeness of the proposed system with respect to a semantics of secrets.

The article studies preferences of agents in a setting with imperfect information. For such a setting, the authors propose a new class of preferences. It is said that an agent prefers one statement over another if, among all indistinguishable worlds, the agent prefers the worlds where the first statement is true to those where the second one is true. The main technical result is a sound and complete logical system describing the interplay between a binary modality capturing preferences and the (...) knowledge modality. The proof of completeness is using a newly proposed “tumbled pairs” technique. (shrink)

Diffusion in social networks is a result of agents’ natural desires to conform to the behavioral patterns of their peers. In this article we show that the recently proposed “propositional opinion diffusion model” could be used to model an agent’s conformity to different social groups that the same agent might belong to, rather than conformity to the society as whole. The main technical contribution of this article is a sound and complete logical system describing the properties of the influence relation (...) in this model. The logical system is an extension of Armstrong’s axioms from database theory by one new axiom that captures the topological structure of the network. (shrink)

The article investigates information flow properties of symmetric multi-party protocols. It gives a sound and complete axiomatic system for properties of the functional dependence predicate that are common to all protocols with the same group of symmetries.

The article studies common knowledge in communication networks with a fixed topological structure. It introduces a non-trivial principle, called the Ryōan-ji axiom, which captures logical properties of common knowledge of all protocols with a given network topology. A logical system, consisting of the Ryōan-ji axiom and two additional axioms, is proven to be sound and complete.

I. The framework. 1, Aristotle's project and methods. 2, The perceptual capacity of the soul. 3, The sensory apparatus. 4, The common sense and the related capacities -- II. The terminology. 1, Overlooked occurrences of the phrase 'common sense'. 2, De anima III.1 425a27. 3, De partibus animalium IV.10 686a31. 4, De memoria et reminiscentia 1 450a10. 5, De anima III.7 431b5. 6, Conclusions on the terminology -- III. Functions of the common sense. 1, Simultaneous perception and cross-modal binding. 2, (...) Perceptual discrimination. 3, Waking, sleep, and control of the senses. 4, Perceiving that what we see and hear, and monitoring of the senses. 5, Other roles of the common sense -- Conclusion. (shrink)

Roman Catholic and Eastern Orthodox theologians claim that the unique event of Christ’s sacrifice on Calvary is present in Eucharistic liturgies. A popular explanatory strategy for this miraculous presence suggests that due to its supernatural character the Eucharist “conquers time,” transcends its boundaries, and allows for temporal coincidence of two chronologically distant events. I discuss the four main approaches within this strategy that can be discovered in contemporary theological writings. The first approach implies a time travel of the Calvary event. (...) The second suggests the time travel of Eucharistic participants. The third eliminates the chronological distance by relocating one of the events into a timeless reality. The fourth assumes multilocation of the event across time. I argue that each of these approaches is untenable on philosophical or theological grounds. (shrink)

Intensions feature prominently among the entities we talk about.

The subject of the article is the philosophical and cultural methodology of digital "virtual reality", comparing the declarations of developers with the practical possibilities and social consequences of using such technologies. The developers presented projects of online digital content services for all five senses using special equipment (glasses, headphones, interactive gloves, joysticks, costumes, printers of smells and tastes, etc.). It was assumed that virtual reality would surpass the reliability of previous multimedia content and interactive computer games, and the persuasiveness and (...) attractiveness of traditional technical means of art and the press. Failure to fulfill these promises has led to significant losses since 2022 for leading companies developing digital virtual reality technologies Meta (recognized by the court as an extremist organization on 03/21/2022, activity is limited in the territory of the Russian Federation), Microsoft HapticLinks, Cave, AlloSphere, Teslasuit, VRealizer. There was a need to assess how and to what extent the methodology used and the predicted capabilities of digital virtual reality were correct. Philosophical and cultural analysis as a research method reveals: the developers of digital virtual reality promised the methodologically impossible, reducing human perception to the "sum" of the external "five senses" out of connection with the "self", inner sensitivity, bodily self-perceptions. A person is only partially amenable to algorithmized digital interaction; a critical barrier to digital virtuality is the socio-cultural identity of society and personality. The novelty of the results of the analysis lies in the conclusion: digital virtual reality in many respects is fundamentally inferior in effectiveness to traditional technical means of sensory and emotional impact and cognition, used both for creative and destructive purposes. In terms of creative potential, digital virtual reality is inferior to the technical means of art, science, education, upbringing, etc., and in terms of destructive capabilities, it is already used in the press and other mass communications technologies for manipulating public and individual consciousness, as well as psychotropic substances that cause addiction. National regulation of the development of digital "virtual reality" is recommended, aimed at protecting and developing the socio-cultural identity of Russian citizens and society, as well as for cognitive and educational purposes. It is recommended to limit the remote use of such developments to trusted domestic Internet services. (shrink)

The article analyzes the concept of serendipity as a property and state of personality. The approach chosen by the author is aesthetic; the problem is covered from the perspectives of pedagogy and didactics. The object of the study is the phenomenon of "intuitive serendipity", the subject is the methods of creativity development. Comparison of different types of thinking (inductive, deductive, paradoxical) allowed us to make a number of generalizing judgments. In particular, the superiority of "paradox logic" over formal logic and (...) the role of intuition and "sense of truth" in the process of cognition. On the basis of the conclusions it is proposed to discuss the author's hypothesis of the trigger principle of learning based on cultivating a craving for knowledge, ideological immunity and the ability to independently search for and analyze information, as well as to implement it in the creative process. В статье приводится анализ понятия серендипности как свойства и состояния личности. Выбранный автором подход — эстетический; освещение проблемы в ракурсах педагогики и дидактики. Объект исследования — феномен "интуитивной прозорливости", предмет — методики развития творческого потенциала. Сравнение различных типов мышления (индуктивное, дедуктивное, парадоксальное) позволило выйти на ряд суждений обобщающего характера. В частности — о превосходстве "логики парадокса" над логикой формальной и о роли интуиции и "чувства истины" в процессе познания. На основании выводов предлагается обсудить авторскую гипотезу триггерного принципа обучения, основанного на культивировании тяги к знаниям, идеологического иммунитета и способности самостоятельно искать и анализировать информацию, а также реализовывать ее в творческом процессе. (shrink)

The article analyzes approaches to the ethicalization of officialdom in the realities of digitalization. The author believe that demonstrative behavior harms the authority of public service. Administrative ethics should be based on traditional values, the main of which are deemed to be integrity and loyalty to the Motherland. В статье анализируются подходы к этизации чиновничества в реалиях цифровизации. Автор полагает, что демонстративность поведения вредит авторитету государственной службы. Административная этика должна базироваться на традиционных ценностях, главными из которых почитаются принципиальность и верность (...) Отечеству. (shrink)

The success of the atheistic hiddenness argument depends on the “consciousness constraint” it imposes on the divine-human loving relationship: namely, that this relationship requires human conscious awareness of being in the relationship with God. I challenge the truth of this proposition by introducing the concept of a physical relationship with God that is not subject to this constraint. I argue, first, that a physical relationship with God is metaphysically possible; second, that its plausibility is supported by natural theology; and third, (...) that a perfectly loving God would prefer physical relationships with human beings over consciousness-constrained relationships, because a perfectly loving God would prefer to preserve the integrity of human freedom of participation and allow inclusion of all people regardless of their natural cognitive capabilities. I also offer an interpretation of apparent divine hiddenness in the light of the idea of God’s openness for physical relationships. (shrink)

his article will focus on the mechanistic origins of the computer metaphor, which forms the conceptual framework for the methodology of the cognitive sciences, some areas of artificial intelligence and the philosophy of mind. The connection between the history of computing technology, epistemology and the philosophy of mind is expressed through the metaphorical dictionaries of the philosophical discourse of a particular era. The conceptual clarification of this connection and the substantiation of the mechanistic components of the computer metaphor is the (...) main goal of this article. The statement is substantiated that the invention of mechanical computing devices, having a long history in the European engineering tradition, formed the prerequisites for the emergence of machine functionalism in the modern philosophy of mind. The idea of multiple implementation stems from the principle that a formal symbol system prescribes rules for the use of rational abstractions through the physical architecture of a computational engine. The article considers the reasons for the conceptual shift and reveals the semantic foundations for the metaphorical transfer of the properties of abstract objects from the theory of automata to the field of modern philosophy of mind. The criticism and ways of protecting the philosophical program of machine functionalism are analyzed by changing the content of the metaphor “Mind as machine”. The reasons for the stability of the information-computer approach in cognitive sciences are also disclosed and explained. (shrink)

This paper is aimed to analyze some grounds bridging the explanatory gap in philosophy of mind and linguistic sign theory. It's noted that the etymological ties between the notions of “consciousness", “cognition", “sign" are emphasized in the works on cognitive linguistics. This connection rises from the understanding of the symbolic nature of consciousness and the sign of semiosis as the key cognitive process. On the one hand, it is impossible to realize the communication procedures, knowledge, understanding, decisionmaking, orientation and even (...) navigation without the process of signification. On the other hand, the human mind has its unique ability to produce the meaning apart from the “signal markings" available to other living beings. The ontology of this ability should be considered as a part of the complex problem of consciousness which includes the mind-body problem, the free will problem, image memory, narrative worlds, introspection, etc. In this paper, special attention is paid to the ontological and epistemological aspects of linguistic sign within the context of the bio-semiotic approach. The author argues that the linguistic nature of consciousness is inseparably connected with the ontological properties of consciousness. The author makes an attempt to prove the link between the mind-body problem and the problem of the explanatory gap in the ontology of linguistic sign. The analysis is focused on the following question: Is it possible that the rank of random names could cause the behavior of the organism in changing environment? (shrink)

The article is devoted to the topic of "traces of the past” interpretation; its relevance is due to both the need to improve the training of history majors and the aggravation of the fight against falsifications of history (primarily domestic). The aim of the research is to analyze the correlation of humanitarian, social and technological components in the methodology of teaching historical disciplines. The comparative method was chosen as a key method. The work uses the method of hypotheses, content analysis (...) of the source base, and experience in studying University teaching practice. Identifying the prerequisites for “incorrect" interpretation of historical events, the author compares legal, forensic and philosophical approaches. (shrink)

Chapter One: Constructions. Entities, constructions, and functions When one travels from Los Angeles to New York, going, say, by way of St. Louis, Chicago, ...

Traxler, Pickering, and Clifton found that ambiguous sentences are read faster than their unambiguous counterparts. This so-called ambiguity advantage has presented a major challenge to classical theories of human sentence comprehension because its most prominent explanation, in the form of the unrestricted race model, assumes that parsing is non-deterministic. Recently, Swets, Desmet, Clifton, and Ferreira have challenged the URM. They argue that readers strategically underspecify the representation of ambiguous sentences to save time, unless disambiguation is required by task demands. When (...) disambiguation is required, however, readers assign sentences full structure—and Swets et al. provide experimental evidence to this end. On the basis of their findings, they argue against the URM and in favor of a model of task-dependent sentence comprehension. We show through simulations that the Swets et al. data do not constitute evidence for task-dependent parsing because they can be explained by the URM. However, we provide decisive evidence from a German self-paced reading study consistent with Swets et al.'s general claim about task-dependent parsing. Specifically, we show that under certain conditions, ambiguous sentences can be read more slowly than their unambiguous counterparts, suggesting that the parser may create several parses, when required. Finally, we present the first quantitative model of task-driven disambiguation that subsumes the URM, and we show that it can explain both Swets et al.'s results and our findings. (shrink)

The article is devoted to the analysis of the ideological component of legal consciousness. Legal ideas give meaning and weight to evaluative criteria in legal norms, develop legal intuition, which is higher than dogmatic knowledge and bureaucratic hookworming. Ideology saturates the legal form with humanistic content. Commitment to ideals does not emasculate the thinking of lawyers to constructions and algorithms. The author sees legal harmony in the combination of ideological maximalism with legal minimalism. Статья посвящена анализу идеологического компонента правосознания. Правовые (...) идеи придают смысл и вес оценочным критериям в юридических нормах, развивают правовую интуицию, которая выше догматического знания и бюрократического крючкотворства. Идеология насыщает юридическую форму гуманистическим содержанием. Приверженность идеалам не выхолащивает мышление юристов до конструкций и алгоритмов. Правовая гармония видится автору в сочетании идейного максимализма с юридическим минимализмом. (shrink)

The article critically covers the current issues of "value-driven management" and the creative economy. Analyzing the concept of a "fragile and incomprehensible" (BANI) world, the author conclude that the widely proclaimed era of the knowledge economy is nothing more than utopia. A value-based transformation is possible if it is approached in a comprehensive and systemic way, which requires large-scale transformations initiated and supported by the power structures. The author believe that the creative economy is more extensive than the traditional one, (...) and its development potential is rather limited. The paradigm of "commercial creativity", in fact, is aimed at providing employment and meeting the needs of the population of the "golden billion" countries. Статья в критическом ключе освещает актуальные вопросы «ценностного менеджмента» и креативной экономики. Анализируя концепцию «хрупкого и непостижимого» (BANI) мира, автор приходит к выводу, что широко провозглашенная эра экономики знаний — не более чем утопия. Ценностная трансформация возможна, если подход к ней будет комплексным и системным, для чего требуются масштабные преобразования, инициируемые и поддерживаемые властными структурами. Креативная экономика, как полагает автор, в большей степени экстенсивна, чем традиционная, а потенциал ее развития весьма ограничен. Парадигма «коммерческого креатива», по сути, нацелена на обеспечение занятости и удовлетворение потребностей населения стран «золотого миллиарда». (shrink)