The aim of the present paper is to introduce a system, where the epistemic state of an agent is represented truth-functionally. In order to obtain this system, we propose a four-valued logic, that we call the logic of rational agent, where the fact of knowing something is formalized at the level of valuations, without the explicit use of epistemic knowledge operator. On the basis of this semantics, a sound and complete system with two distinct truth-functional negations is provided. These negations (...) allow us to express the statements about knowing or not knowing something at the syntactic level. Moreover, such a system is applied to the analysis of knowability paradox. In particular, we show that the paradox is not derivable in terms of the logic of rational agent. (shrink)

In this paper, I attempt to offer a general outline of my views on the origin and evolution of language. I do not pretend in any way to a completely new conception of language evolution. It seems to me that all the most important and productive hypotheses about the origin of language have already been made before, and it is only a matter of putting the pieces of the puzzle together correctly. As far as I can see it, the evolution (...) of language is directly related to the embedded and embodied emotional types, which served as the basis for the subsequent categorization of perceived objects, and thus laid the ground for the formation of first an internal language (of thought), and then an external verbal language. Consistent with this, the paper is organized as follows. In the Introduction I briefly describe the problem I am facing in this article and outline a plan for solving it. Next section comprises a survey of relevant empirical findings related primarily to the processing and understanding of abstract terms and concepts. In my view, it supports the idea of the close connection of abstract terms proceeding, and thus language comprehension, with emotional states. The third section provides relevant theoretical considerations of the relationship between emotions, cognition, and language. Consistently considering various theories of emotions and concepts of language formation, I pay attention to the connection between affective states and language as a sign system. In the fourth section, my views are presented directly. In so doing, I illustrate my approach with a telling example that shows how, in the course of evolution, embedded and embodied emotional responses and reactions could become the building blocks first for the internal language of thought, and then for the external natural language. (shrink)

There is a productive and suggestive approach in philosophical logic based on the idea of generalized truth values. This idea, which stems essentially from the pioneering works by J.M. Dunn, N. Belnap, and which has recently been developed further by Y. Shramko and H. Wansing, is closely connected to the power-setting formation on the base of some initial truth values. Having a set of generalized truth values, one can introduce fundamental logical notions, more specifically, the ones of logical operations and (...) logical entailment. This can be done in two different ways. According to the first one, advanced by M. Dunn, N. Belnap, Y. Shramko and H. Wansing, one defines on the given set of generalized truth values a specific ordering relation (or even several such relations) called the logical order(s), and then interprets logical connectives as well as the entailment relation(s) via this ordering(s). In particular, the negation connective is determined then by the inversion of the logical order. But there is also another method grounded on the notion of a quasi-field of sets, considered by Białynicki-Birula and Rasiowa. The key point of this approach consists in defining an operation of quasi-complement via the very specific function g and then interpreting entailment just through the relation of set-inclusion between generalized truth values. In this paper, we will give a constructive proof of the claim that, for any finite set V with cardinality greater or equal 2, there exists a representation of a quasi-field of sets isomorphic to de Morgan lattice. In particular, it means that we offer a special procedure, which allows to make our negation de Morgan and our logic relevant. (shrink)

In their useful logic for a computer network Shramko and Wansing generalize initial values of Belnap’s 4-valued logic to the set 16 to be the power-set of Belnap’s 4. This generalization results in a very specific algebraic structure — the trilattice SIXTEEN 3 with three orderings: information, truth and falsity. In this paper, a slightly different way of generalization is presented. As a base for further generalization a set 3 is chosen, where initial values are a — incoming data is (...) asserted, d — incoming data is denied, and u — incoming data is neither asserted nor denied, that corresponds to the answer “don’t know”. In so doing, the power-set of 3, that is the set 8 is considered. It turns out that there are not three but four orderings naturally defined on the set 8 that form the tetralattice EIGHT 4 . Besides three ordering relations mentioned above it is an extra uncertainty ordering. Quite predictably, the logics generated by a –order (truth order) and d –order (falsity order) coincide with first-degree entailment. Finally logic with two kinds of operations ( a –connectives and d –connectives) and consequence relation defined via a –ordering is considered. An adequate axiomatization for this logic is proposed. (shrink)

We explore a possibility of generalization of classical truth values by distinguishing between their ontological and epistemic aspects and combining these aspects within a joint semantical framework. The outcome is four generalized classical truth values implemented by Cartesian product of two sets of classical truth values, where each generalized value comprises both ontological and epistemic components. This allows one to define two unary twin connectives that can be called “semi-classical negations”. Each of these negations deals only with one of the (...) above mentioned components, and they may be of use for a logical reconstruction of argumentative reasoning. (shrink)

In their useful logic for a computer network Shramko and Wansing generalize initial values of Belnap’s 4-valued logic to the set 16 to be the power-set of Belnap’s 4. This generalization results in a very specific algebraic structure — the trilattice SIXTEEN3 with three orderings: information, truth and falsity. In this paper, a slightly different way of generalization is presented. As a base for further generalization a set 3 is chosen, where initial values are a — incoming data is asserted, (...) d — incoming data is denied, and u — incoming data is neither asserted nor denied, that corresponds to the answer “don’t know”. In so doing, the power-set of 3, that is the set 8 is considered. It turns out that there are not three but four orderings naturally defined on the set 8 that form the tetralattice EIGHT4. Besides three ordering relations mentioned above it is an extra uncertainty ordering. Quite predictably, the logics generated by a–order and d–order coincide with first-degree entailment. Finally logic with two kinds of operations and consequence relation defined via a–ordering is considered. An adequate axiomatization for this logic is proposed. (shrink)

We consider a family of logical systems for representing entailment relations of various kinds. This family has its root in the logic of first-degree entailment formulated as a binary consequence system, i.e. a proof system dealing with the expressions of the form \, where both \ and \ are single formulas. We generalize this approach by constructing consequence systems that allow manipulating with sets of formulas, either to the right or left of the turnstile. In this way, it is possible (...) to capture proof-theoretically not only the entailment relation of the standard four-valued Belnap’s logic, but also its dual version, as well as some of their interesting extensions. The proof systems we propose are, in a sense, of a hybrid Hilbert–Gentzen nature. We examine some important properties of these systems and establish their completeness with respect to the corresponding entailment relations. (shrink)

In this paper we present a solution of the axiomatization problem for the Fmla-Fmla versions of the Pietz and Rivieccio exactly true logic and the non-falsity logic dual to it. To prove the completeness of the corresponding binary consequence systems we introduce a specific proof-theoretic formalism, which allows us to deal simultaneously with two consequence relations within one logical system. These relations are hierarchically organized, so that one of them is treated as the basic for the resulting logic, and the (...) other is introduced as an extension of this basic relation. The proposed bi-consequences systems allow for a standard Henkin-style canonical model used in the completeness proof. The deductive equivalence of these bi-consequence systems to the corresponding binary consequence systems is proved. We also outline a family of the bi-consequence systems generated on the basis of the first-degree entailment logic up to the classic consequence. (shrink)

In this paper we present a solution of the axiomatization problem for the Fmla-Fmla versions of the Pietz and Rivieccio exactly true logic and the non-falsity logic dual to it. To prove the completeness of the corresponding binary consequence systems we introduce a specific proof-theoretic formalism, which allows us to deal simultaneously with two consequence relations within one logical system. These relations are hierarchically organized, so that one of them is treated as the basic for the resulting logic, and the (...) other is introduced as an extension of this basic relation. The proposed bi-consequences systems allow for a standard Henkin-style canonical model used in the completeness proof. The deductive equivalence of these bi-consequence systems to the corresponding binary consequence systems is proved. We also outline a family of the bi-consequence systems generated on the basis of the first-degree entailment logic up to the classic consequence. (shrink)

The relationship between formal logic and informal reasoning has always been a hot topic. In this paper, we propose another possible way to bring it up inspired by connexive logic. Our approach is based on the following presupposition: whatever method of formalizing informal reasoning you choose, there will always be some classically acceptable deductive principles that will have to be abandoned, and some desired schemes of argument that clearly are not classically valid. That way, we start with a new version (...) of connexive logic which validates Boethius’ Theses and quashes their converse from right to left. We provide a sound and complete axiomatization of this logic. We also study the implication-negation fragment of this logic supplied with Boolean negation as a second negation. (shrink)

We consider an example of four valued semantics partially inspired by quantum computations and negation-like operations occurred therein. In particular we consider a representation of so called square root of negation within this four valued semantics as an operation which acts like a cycling negation. We define two variants of logical matrices performing different orders over the set of truth values. Purely formal logical result of our study consists in axiomatizing the logics of defined matrices as the systems of binary (...) consequence relation and proving correctness and completeness theorems for these deductive systems. (shrink)

A peculiarity of early medieval geometrical texts was that alongside Euclid's Elements they transmitted remnants of the corpus of Roman land surveyors and metaphysical digressions extraneous to geometry proper. Rather than dismissing these additions as irrelevant, this essay attempts to elucidate the cultural grounds for the indiscriminate mixture of the three disciplines -- geometry, surveying, and metaphysics. Inquiry into the broader context of early medieval culture suggests that neither geometry nor surveying was treated as an independent discipline. Texts on geometry (...) and surveying were studied mainly because they were thought to provide good opportunities for enlarging the scope of meditation on spiritual subjects. Accordingly, the main concern of this essay is to show how Christian symbolism influenced both the composition and the study of geometrical texts. The essay is based on a wide range of sources: treatises on geometry and surveying, pictorial representations of Creation, and philosophical literature in which geometry was used in arguments about ontological doctrines. (shrink)

We discuss several problems in quasiclassical physics for which approximate solutions were recently obtained by a new method, and which can also be solved by novel versions of the Born–Oppenheimer approximation. These cases include the so-called bouncing ball modes, low angular momentum states in perturbed circular billiards, resonant states in perturbed rectangular billiards, and whispering gallery modes. Some rare, special eigenstates, concentrated close to the edge or along a diagonal of a nearly rectangular billiard are found. This kind of state (...) has apparently previously escaped notice. (shrink)

This volume offers a wide range of both reconstructions of Nikolai Vasiliev’s original logical ideas and their implementations in the modern logic and philosophy. A collection of works put together through the international workshop "Nikolai Vasiliev’s Logical Legacy and the Modern Logic," this book also covers foundations of logic in the light of Vasiliev’s contradictory ontology. Chapters range from a look at the Heuristic and Conceptual Background of Vasiliev's Imaginary Logic to Generalized Vasiliev-style Propositions. It includes works which cover Imaginary (...) and Non-Aristotelian Logics, Inconsistent Set Theory and the Expansion of Mathematical Thinking, Plurivalent Logic, and the Impact of Vasiliev's Imaginary Logic on Epistemic Logic. The Russian logician, Vasiliev, was widely recognized as one of the forerunners of modern non-classical logic. His "imaginary logic" developed in some of his work at the beginning of 20th century is often considered to be one of the first systems of paraconsistent and multi-valued logic. The novelty of his logical project has opened up prospects for modern logic as well as for non-classical science in general. This volume contains a selection of papers written by modern specialists in the field and deals with various aspects of Vasiliev's logical ideas. The logical legacy of Nikolai Vasiliev can serve as a promising source for developing an impressive range of philosophical interpretations, as it marries promising technical innovations with challenging philosophical insights. (shrink)

Ocherk 1. Voprosy ontologii -- Ocherk 2. Voprosy ėtiki i ėstetiki -- Ocherk 3. Voprosy gnoseologii i aksiologii.

Because the techno-economic paradigm of contemporary conceptualizations of innovation is often taken for granted in the literature, this chapter opens up this self-evident notion. First, the chapter consults the work of Joseph Schumpeter, who can be seen as the founding father of the current conceptualization of innovation as technological and commercial. Second, we open up the concept by reflecting on two aspects of Schumpeter’s conceptualization of innovation, namely its destructive and its constructive aspect, based on findings in the history of (...) innovation. Finally, we synthesize our findings and propose an ontic-ontological conceptualization of innovation as ontogenetic process and outcome with six dimensions—newness, political dimension, economic dimension, temporal dimension, human dimension and risk—that moves beyond its technological and commercial orientation. (shrink)

Research on brain or cognitive/affective processes, culture, social interaction, and structural analysis are overlapping but often independent ways humans have attempted to understand the origins of their evolution, historical, and contemporary development. Each level seeks to employ its own theoretical concepts and methods for depicting human nature and categorizing objects and events in the world, and often relies on different sources of evidence to support theoretical claims. Each level makes reference to different temporal bandwidths (milliseconds, seconds, minutes, hours, days, months, (...) years, decades, and centuries) and focuses on different spatio-temporal activities and controlled and non-controlled stimulus conditions. Biological mechanisms and environmental pressures for survival simultaneously created a gradual intersection and enhancement of cognitive/affective skills, cultural practices, and changes in collaborative social interaction and communicative skills. The evolution of a given level of analysis is assumed to have been incremental and overlapping. These innovative and independent ways humans have learned to characterize their brain or cognitive/affective and social/economic/political life often depend on unexamined, representational re-descriptions or cognitive/affective and socio-cultural devices and forms of communication that facilitate the depiction of practices and beliefs we attribute to respondents or subjects and research colleagues. (shrink)

В книге очерки Владимира Брагинского в жанре ироничного эссе о любви.

The article is devoted to the memory of Vyacheslav Semenovich Stepin and Nikita Nikolaevich Moiseev, whose multifaceted work was integrally focused on philosophical, interdisciplinary and transdisciplinary research of the key ideas and principles of universal human-dimensional evolutionism. Other remarkable Russian scientists V.I. Vernadsky, S.P. Kurdyumov, S.P. Kapitsa, D.S. Chernavsky worked in the same tradition of universal evolutionism. While V.I. Vernadsky and N.N. Moiseev had been the originators of that scientific approach, V.S. Stepin provided philosophical foundations for the ideas of those (...) remarkable scientists and thinkers. The scientific legacy of V.S. Stepin and N.N. Moiseev maintained the formation of a new quality of research into the philosophy of science and technology as well as into the philosophy of culture. This new quality is multidimensional and it is difficult to define unambiguously, but we presume the formation of those areas of philosophical knowledge as constructively oriented languages of interdisciplinary and transdisciplinary co-participation of philosophy in the convergent-evolutionary development of scientific knowledge in general. In this regard, attention is paid to V.S. Stepin’s affirmations about non-classical nature of modern social and humanitarian knowledge. Quantum mechanics teaches us that the reality revealed through it is a hybrid construct, or symbiosis, of both mean and object of cognition. Therefore, the very act of cognitive observation constructs quantum reality. Thus, it is very close to the process of cognition in modern sociology and psychology. V.S. Stepin insisted that these principles are applicable to all complex selfdeveloping systems, and such are all “human-dimensional” objects of modern humanities. In all the phases of homeostasis changes, or crises, there is necessarily a share of chaos, instability, uncertainty in the selection process of future development scenarios, which is ineliminably affected by our observation. Therefore, a cognitive observer in the humanities should be considered as a concept of post-non-classical rationality, that is as an observer of complexity. (shrink)

t. 1. Filosofii︠a︡ ; Izbrannye predislovii︠a︡ ; I︠A︡zykoznanie -- t. 2. Filologii︠a︡ ; Vospominanii︠a︡ i nabli︠u︡denii︠a︡ ; Pami︠a︡ti uchiteleĭ i kolleg ; Prilozhenie : A.N. Kolmogorov, semioticheskie poslanii︠a︡.

Formulation of a general model of evolution is presented which is based upon the recognition of the ?biosocial? entity, that is the biosphere and human society, as a component?system. It can be demonstrated that the interactions of the components (moleculas, cells, organisms, ecosystems in the biological realms and people, artifacts and ideas in the societies) have replicative organization. We suggest an explanation for the spontaneous emergence of replicative function and organization, a process called autogenesis. During autogenesis, hierarchical levels of replicative (...) organization emerge and compartmentalization and convergence of replicative information occurs. Questions of the origin and evolution of life are discussed. The replicative paradigm can also be applied to the processes of cultural evolution, in which complex replicative networks of people, ideas, and man?made artifacts show all stages and phenomena of autogenesis. Finally, the present state of evolution of the whole global biosocial system is discussed. (shrink)

V. C. Chappell; IV*—Stuff and Things, Proceedings of the Aristotelian Society, Volume 71, Issue 1, 1 June 1971, Pages 61–76, https://doi.org/10.1093/aristotelia.