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.

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 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)

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)

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 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)

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)

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)

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

The subject of the study is the socio-cultural threats to the information security of Russian citizens associated with ChatGPT technologies (Chat Generative Pre-trained Transformer, a machine-generated text response generator simulating a dialogue). The object of research − evaluation of the ratio of advantages and threats of generative language models based on "machine learning" in modern (2021-2023) scientific literature (journals HAC K1, K2 and Scopus Q1, Q2). The scientific novelty of the research lies in the culturological approach to the analysis of (...) threats to the security of Russian citizens associated with the use of ChatGPT as one of the technologies of "artificial intelligence". The formulation of the problem of the classical Turing test "to distinguish a person from a machine" is characterized as a scholastic abstraction, instead a more correct and productive approach is proposed: a socio-cultural assessment of the value (based on cultural axiology) of new computer technologies. The starting point of the analysis is the determination of socio-cultural value (or, conversely, damage) as a result of the use of generative language models based on machine learning. Further, the contribution and responsibility of various socio-cultural subjects of its creation and application are revealed − user, creator and developer. The result of the application of the proposed approach is the deconstruction of the discourse of the "philosophy of artificial intelligence" in terms of uncritical translation of developer declarations intended for marketing and attracting financing. Hypertrophied perception, precariously balancing on the edge of utopia and dystopia, is assessed as a risk of incorrect identification and ranking of threats to information security. Assumptions about the hypothetical "superweapon of psychological warfare" mask modern incidents of cross-border leakage of confidential data, the risks of being held accountable for publishing deliberately false information and illegal content as a result of using ChatGPT. National security measures are recommended, including restrictive measures and increasing the general civil culture of information security of users, as well as the orientation of domestic developments of solutions of this type on traditional values, socio-cultural identity and interests of Russian citizens. (shrink)

In this article I explore Maimon’s role in the evolution of Kant’s understanding of the function of the history of philosophy in philosophical enquiry. Kant is often viewed as holding an ambivalent...

“Eco-labels” are an increasingly important form of private regulation for sustainability in areas such as carbon emissions, water consumption, ethical sourcing, or organic produce. The growing interest and popularity of eco-labels has also been coupled with growing concerns about their credibility, in part because the standard-setting and conformity assessment practices that eco-labels adopt exhibit striking differences. In this paper, we assess which assurance practices contribute to eco-labels being perceived as better governed, in the eyes of experts as well as the (...) media. Unlike previous studies, which are mostly conceptual, qualitative, or focused on one or few eco-labels, we study a large set of eco-labels, combining data from three different sources. Our findings suggest that experts and media are primarily concerned about “re-assurance” practices, looking for one or preferably multiple layers of “re-assurance” that independent parties are overseeing the eco-label and the firms certified under it. (shrink)

2 Popper's Logical Definition of Verisimilitude. 3 Popper's Probabilistic Definition of Verisimilitude. 4 Conclusion.

Logical form and logical analysis as the search for it have been introduced during the development of logic and analytical philosophy and are still widely considered as key tools or methods for the solution of philosophical puzzles. It is instructive to have a look at a criticism of these presupositions and I present Wittgenstein as the author who provides such a criticism. I present a development of his view of logical form which went from the thesis of the ineffability of (...) logical form to the denial of the meaningfulness of the notion of logical form as such. This refusal is linked to Wittgenstein’s abandonment of the idea of the language of pure experience. The method of philosophical therapies is presented as an alternative to logical analysis and this methodology is linked with Wittgenstein’s consideration of game and family resemblance. (shrink)

Most critics of our contemporary meritocratic practices and institutions believe their arguments speak to the defects of the ideal of meritocracy itself. I argue that this is a misguided generalization because meritocracy can take many forms depending on the conception of the good and broader theory of justice to which the distributive principle of merit it is attached. To illustrate, I contrast two radically different forms of meritocracy – a telic or end-oriented model based on Plato’s Kallipolis and a procedural (...) model inherent in our free market of careers open to talents. Far from being a unified ideal, meritocracy is a spectrum of social and political arrangements, ranging between the telic and the procedural poles. Thus, identifying ‘merit’ and ‘meritocracy’ as the main sources of injustice in our contemporary societies further conceals the background conditions and underlying commitments that should be subject to our critical scrutiny. (shrink)