Defining the degree of categoricity of a computable structure ${\mathcal{M}}$ to be the least degree d for which ${\mathcal{M}}$ is d-computably categorical, we investigate which Turing degrees can be realized as degrees of categoricity. We show that for all n, degrees d.c.e. in and above 0 (n) can be so realized, as can the degree 0 (ω).

We study the complexity of the isomorphism relation on classes of computable structures. We use the notion of FF-reducibility introduced in [9] to show completeness of the isomorphism relation on many familiar classes in the context of all ${\mathrm{\Sigma }}_{1}^{1}$ equivalence relations on hyperarithmetical subsets of ω.

The study of Borel equivalence relations under Borel reducibility has developed into an important area of descriptive set theory. The dichotomies of Silver [20] and Harrington, Kechris and Louveau [6] show that with respect to Borel reducibility, any Borel equivalence relation strictly above equality on ω is above equality on , the power set of ω, and any Borel equivalence relation strictly above equality on the reals is above equality modulo finite on . In this article we examine the effective (...) content of these and related results by studying effectively Borel equivalence relations under effectively Borel reducibility. The resulting structure is complex, even for equivalence relations with finitely many equivalence classes. However use of Kleene’s O as a parameter is sufficient to restore the picture from the noneffective setting. A key lemma is that of the existence of two effectively Borel sets of reals, neither of which contains the range of the other under any effectively Borel function; the proof of this result applies Barwise compactness to a deep theorem of Harrington establishing for any recursive ordinal α the existence of singletons whose α-jumps are Turing incomparable. (shrink)

For a computable structure $\mathcal {M}$, the categoricity spectrum is the set of all Turing degrees capable of computing isomorphisms among arbitrary computable copies of $\mathcal {M}$. If the spectrum has a least degree, this degree is called the degree of categoricity of $\mathcal {M}$. In this paper we investigate spectra of categoricity for computable rigid structures. In particular, we give examples of rigid structures without degrees of categoricity.

We study the structure of Σ11 equivalence relations on hyperarithmetical subsets of ω under reducibilities given by hyperarithmetical or computable functions, called h-reducibility and FF-reducibility, respectively. We show that the structure is rich even when one fixes the number of properly equation imagei.e., Σ11 but not equation image equivalence classes. We also show the existence of incomparable Σ11 equivalence relations that are complete as subsets of ω × ω with respect to the corresponding reducibility on sets. We study complete Σ11 (...) equivalence relations and show that existence of infinitely many properly Σ11 equivalence classes that are complete as Σ11 sets is necessary but not sufficient for a relation to be complete in the context of Σ11 equivalence relations. (shrink)

LetEbe a computably enumerable equivalence relation on the setωof natural numbers. We say that the quotient set$\omega /E$realizesa linearly ordered set${\cal L}$if there exists a c.e. relation ⊴ respectingEsuch that the induced structure is isomorphic to${\cal L}$. Thus, one can consider the class of all linearly ordered sets that are realized by$\omega /E$; formally,${\cal K}\left = \left\{ {{\cal L}\,|\,{\rm{the}}\,{\rm{order}}\, - \,{\rm{type}}\,{\cal L}\,{\rm{is}}\,{\rm{realized}}\,{\rm{by}}\,E} \right\}$. In this paper we study the relationship between computability-theoretic properties ofEand algebraic properties of linearly ordered sets realized (...) byE. One can also define the following pre-order$ \le _{lo} $on the class of all c.e. equivalence relations:$E_1 \le _{lo} E_2 $if every linear order realized byE1is also realized byE2. Following the tradition of computability theory, thelo-degrees are the classes of equivalence relations induced by the pre-order$ \le _{lo} $. We study the partially ordered set oflo-degrees. For instance, we construct various chains and anti-chains and show the existence of a maximal element among thelo-degrees. (shrink)

For a class K of structures, closed under isomorphism, the index set is the set I of all indices for computable members of K in a universal computable numbering of all computable structures for a fixed computable language. We study the complexity of the index set of class of structures with decidable theories. We first prove the result for the class of all structures in an arbitrary finite nontrivial language. After the complexity is found, we prove similar results for some (...) well-known classes of structures, such as directed graphs, undirected graphs, partial orders and lattices. (shrink)

We study the algorithmic complexity of embeddings between bi-embeddable equivalence structures. We define the notions of computable bi-embeddable categoricity, \ bi-embeddable categoricity, and degrees of bi-embeddable categoricity. These notions mirror the classical notions used to study the complexity of isomorphisms between structures. We show that the notions of \ bi-embeddable categoricity and relative \ bi-embeddable categoricity coincide for equivalence structures for \. We also prove that computable equivalence structures have degree of bi-embeddable categoricity \, or \. We furthermore obtain results (...) on the index set complexity of computable equivalence structure with respect to bi-embeddability. (shrink)

We show that for every computable limit ordinal α, there is a computable structure A that is $\Delta _\alpha ^0 $ categorical, but not relatively $\Delta _\alpha ^0 $ categorical (equivalently. it does not have a formally $\Sigma _\alpha ^0 $ Scott family). We also show that for every computable limit ordinal a, there is a computable structure A with an additional relation R that is intrinsically $\Sigma _\alpha ^0 $ on A. but not relatively intrinsically $\Sigma _\alpha ^0 $ (...) on A (equivalently, it is not definable by a computable $\Sigma _\alpha $ formula with finitely many parameters). Earlier results in [7], [10], and [8] establish the same facts for computable successor ordinals α. (shrink)

We prove an effective version of the Lopez-Escobar theorem for continuous domains. Let $Mod(\tau )$ be the set of countable structures with universe $\omega $ in vocabulary $\tau $ topologized by the Scott topology. We show that an invariant set $X\subseteq Mod(\tau )$ is $\Pi ^0_\alpha $ in the Borel hierarchy of this topology if and only if it is definable by a $\Pi ^p_\alpha $ -formula, a positive $\Pi ^0_\alpha $ formula in the infinitary logic $L_{\omega _1\omega }$. As (...) a corollary of this result we obtain a new pullback theorem for positive computable embeddings: Let $\mathcal {K}$ be positively computably embeddable in $\mathcal {K}'$ by $\Phi $, then for every $\Pi ^p_\alpha $ formula $\xi $ in the vocabulary of $\mathcal {K}'$ there is a $\Pi ^p_\alpha $ formula $\xi ^{*}$ in the vocabulary of $\mathcal {K}$ such that for all $\mathcal {A}\in \mathcal {K}$, $\mathcal {A}\models \xi ^{*}$ if and only if $\Phi (\mathcal {A})\models \xi $. We use this to obtain new results on the possibility of positive computable embeddings into the class of linear orderings. (shrink)

We study degree spectra of structures with respect to the bi-embeddability relation. The bi-embeddability spectrum of a structure is the family of Turing degrees of its bi-embeddable copies. To facilitate our study we introduce the notions of bi-embeddable triviality and basis of a spectrum. Using bi-embeddable triviality we show that several known families of degrees are bi-embeddability spectra of structures. We then characterize the bi-embeddability spectra of linear orderings and study bases of bi-embeddability spectra of strongly locally finite graphs.

Computable reducibility is a well-established notion that allows to compare the complexity of various equivalence relations over the natural numbers. We generalize computable reducibility by introducing degree spectra of reducibility and bi-reducibility. These spectra provide a natural way of measuring the complexity of reductions between equivalence relations. We prove that any upward closed collection of Turing degrees with a countable basis can be realised as a reducibility spectrum or as a bi-reducibility spectrum. We show also that there is a reducibility (...) spectrum of computably enumerable equivalence relations with no countable basis and a reducibility spectrum of computably enumerable equivalence relations which is downward dense, thus has no basis. (shrink)

We investigate the complexity of embeddings between bi-embeddable structures. In analogy with categoricity spectra, we define the bi-embeddable categoricity spectrum of a structure A as the family of Turing degrees that compute embeddings between any computable bi-embeddable copies of A; the degree of bi-embeddable categoricity of A is the least degree in this spectrum (if it exists). We extend many known results about categoricity spectra to the case of bi-embeddability. In particular, we exhibit structures without degree of bi-embeddable categoricity, and (...) we show that every degree d.c.e above 0(α) for α a computable successor ordinal and 0(λ) for λ a computable limit ordinal is a degree of bi-embeddable categoricity. We also give examples of families of degrees that are not bi-embeddable categoricity spectra. (shrink)

We study the algorithmic complexity of isomorphic embeddings between computable structures.

We combine computable structure theory and algorithmic learning theory to study learning of families of algebraic structures. Our main result is a model-theoretic characterization of the learning type InfEx_\iso, consisting of the structures whose isomorphism types can be learned in the limit. We show that a family of structures is InfEx_\iso-learnable if and only if the structures can be distinguished in terms of their \Sigma^2_inf-theories. We apply this characterization to familiar cases and we show the following: there is an infinite (...) learnable family of distributive lattices; no pair of Boolean algebras is learnable; no infinite family of linear orders is learnable. (shrink)

In this article we analyze the methodological commitments of a radical embodied cognition approach to social interaction and social cognition, specifically with respect to the explanatory framework it adopts. According to many representatives of REC, such as enactivists and the proponents of dynamical and ecological psychology, sociality is to be explained by focusing on the social unit rather than the individuals that comprise it and establishing the regularities that hold on this level rather than modeling the sub-personal mechanisms that could (...) be said to underlie social phenomena. We point out that, despite explicit commitment, such a view implies an implicit rejection of the mechanistic explanation framework widely adopted in traditional cognitive science, which, in our view, hinders comparability between REC and these approaches. We further argue that such a position is unnecessary and that enactive mechanistic explanation of sociality is both possible and desirable. We examine three distinct objections from REC against mechanistic explanation, which we dub the decomposability, causality and extended cognition worries. In each case we show that these complaints can be alleviated by either appreciation of the full scope of the mechanistic account or adjustments on both mechanistic and REC sides of the debate. (shrink)

Social robots are gradually entering children’s lives in a period when children learn about social relationships and exercise prosocial behaviors with parents, peers, and teachers. Designed for long-term emotional engagement and to take the roles of friends, teachers, and babysitters, such robots have the potential to influence how children develop empathy. This article presents a review of the literature in the fields of human–robot interaction, psychology, neuropsychology, and roboethics, discussing the potential impact of communication with social robots on children’s social (...) and emotional development. The critical analysis of evidence behind these discussions shows that, although robots theoretically have high chances of influencing the development of empathy in children, depending on their design, intensity, and context of use, there is no certainty about the kind of effect they might have. Most of the analyzed studies, which showed the ability of robots to improve empathy levels in children, were not longitudinal, while the studies observing and arguing for the negative effect of robots on children’s empathy were either purely theoretical or dependent on the specific design of the robot and the situation. Therefore, there is a need for studies investigating the effects on children’s social and emotional development of long-term regular and consistent communication with robots of various designs and in different situations. (shrink)

The article focuses on those paragraphs of the famous text Spiritual Situation of our Time by Karl Jaspers in which he approaches the problem of time from the perspective of philosophical anthropology. This text was published in 1931 and saw multiple editions, including the reprint in 1947, which followed the lecture The Question of Guilt. We surmise from this juxtaposition of texts in the new publication that Jaspers believed in the necessity to revisit the problem of the spiritual situation, but (...) he also regarded his conceptualization of temporality viable in the new context and applicable to analyzing this new situation. We corroborate this hypothesis by close reading of the version of the 1947 text. As there exists a wealth of studies of Jasperss philosophy, we aim to explicate his interpretation of personal historicity and to find a reply to the question why it seems necessary to emphasize the appropriation of time. We demonstrate that the existentialist approach Jaspers offers is a universal model for living in the spiritual situation and for appropriating time. The need to appropriate time is inherent in human nature but the capacity to make sense of it and unravel the potential for authentic existence is not. Human beings are often unaware of their choice of certain time appropriation; moreover, human beings lack consistency in constructing the context of their own historicity. We elaborate in greater detail on the meaning of such concepts as spiritual situation, knowledge of the totality, philosophical life. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Philosophy and Rhetoric 37.1 (2004) 1-20 [Access article in PDF] Endoxa, Epistemological Optimism, and Aristotle's Rhetorical Project Ekaterina V. Haskins Communication Department Boston College Aristotle's crucial role in institutionalizing the art of rhetoric in the fourth century BCE is beyond dispute, but the significance of Aristotle's rhetorical project remains a point of lively controversy among philosophers and rhetoricians alike. There are many ways of reading and evaluating Aristotle's (...) Rhetoric that depend on the philosophical, theoretical, and pedagogical purposes of the scholar.1 Most philosophical and rhetorical exegeses of the Rhetoric, however, while focusing on the text's connections to Aristotle's corpus and to the rhetorical tradition before and after Aristotle, seem to lack a critical perspective on Aristotle's relationship with his cultural context. Yet, like other parts of Aristotle's encyclopedic intellectual endeavor, much of Rhetoric 's cultural content was provided by endoxa, "reputable or received opinions."Since G. E. L. Owen's essay "Tithenai ta phainomena" (1961) many scholars have accepted the claim that endoxa, rather than empirical observations, are the source of Aristotle's own philosophical principles. The "linguistic" turn within Aristotelian studies has drawn attention to the role of "facts" of language and ordinary experience within Aristotle's philosophical method. As a result, a view of Aristotle as a hard-core empiricist has given way to a picture of a humanist who is attuned to the nuances of his cultural milieu. Still, this new portrait fails to take into account that Aristotle's manner of selecting and categorizing his linguistic resources allows him to transform what we would consider cultural beliefs into natural, and hence, atemporal premises. This pattern can be explained by Aristotle's "epistemological optimism," in itself a blend of several cultural assumptions about perception in general and vision in particular, the function of language, and the cyclical nature of human history. Part of this essay's objective, then, will be an explanation of these components of Aristotle's epistemological optimism. By appreciating Aristotle's difference [End Page 1] on these issues from our modern assumptions, we will be in a better position to understand why Aristotle relies on endoxa on all three levels of philosophical discourse (theoretical science, moral philosophy, and productive arts of poetics and rhetoric). Aristotle remains consistent in his treatment of endoxa throughout; rhetoric, however, presents a major challenge to Aristotle's epistemological optimism and his conception of language. I shall argue that Aristotle recognized this challenge and that he answered it by isolating proofs and rhetorical genres from their linguistic medium (lexis ), and postulating linguistic transparency (sapheneia ) as a stylistic norm. I. Aristotle's openness to appearances (phainomena ) and opinions (endoxa ) was accorded prominence especially thanks to the work of G. E. L. Owen and Martha Nussbaum. Owen was first to defend a linguistic translation of Aristotle's phainomena as "ordinary beliefs" and "appearances" against the then-prevalent rendition "observed facts." In so doing he asserted the crucial impact of the philosopher's cultural context on the formation of speculative discourse. Owen (1961) nonetheless demanded that phainomena be understood as empirical observations in Aristotle' treatises on biology and meteorology (84-86), so as to preserve the methodological and epistemological distinctions between inquiries into the natural world, on the one hand, and the world inhabited by human agents, on the other. Nussbaum (1986) went much further than Owen in asserting the role of phainomena and endoxa in Aristotle's inquiry. Unlike Owen, Nussbaum sees no fundamental difference between "experiences" of a philosopher and linguistic expressions of cultural beliefs and interpretations—his discursive data—from which Aristotle constructs his philosophical accounts. Nussbaum's chief (and highly influential) claim is that Aristotle's method is marked by a deep concern for the experiential world of his fellow men and their language. Aristotle's philosophical insights into the human condition, on this reading, echo and amplify classical Greek tragedy, despite the austere diction of Aristotle's extant treatises.Owing to this openness to the world of ordinary beliefs, Aristotle seems to depart from the Eleatic and Platonic distrust of human... (shrink)

In the present-day information burst and information revolution epoch the mankind must realize the adaptation to the new conditions of its existence in the limited time. The most important problem is the problem of the human being successful adaptation to the modern information medium. The information medium is the factor demanding absolutely new adaptation of human being. Modern information medium specific character leads to correction of existing nature and social human being adaptation mechanisms and creation of new mechanisms. Information technologies (...) as a modern civilization core change not only quality and substance of present time human being life, but they threaten to transformate his way of existence in the modern world. (shrink)

In the current debate there are two epistemological approaches to the definition of ignorance: the Standard View and the New View. The former defines ignorance simply as not knowing, while the latter defines it as the absence of true belief. One of the main differences between these two positions lies in rejecting (Standard View) or in accepting (New View) the factivity of ignorance, i.e., if an agent is ignorant of φ, then φ is true. In the present article, we first (...) provide a criticism of the Standard View in favour of the New View. Secondly, we propose a formal setting to represent the notion of factive ignorance. (shrink)

In this article, we examine two philosophical theories of recognition: those of Paul Ricoeur and Alexandre Kojève. We trace this line of development in the theory of recognition as a return from Ricoeur to Kojève. Our hypothesis is that over the past twenty years, the theory of recognition has undergone a change in content and has transformed into a theory of misrecognition. In turn, the theory of misrecognition is grounded in the struggle between subjects and brings us back to the (...) discourse of the struggle between the Slave and the Master. This transformation from struggle to reciprocity and vice versa, we argue, suggests that a theory of identity formation as a process of resistance to assujettissement is in demand at this moment in history. In the 2010s, as the theory of misrecognition took shape primarily in the English‑speaking world, the constitution of the subject began to be understood once again as the outcome of struggles within feminist, Marxist, and other emancipatory theories. We examine both Ricoeur’s arguments against Kojève, Althusser, and the theory of misrecognition in general, as well as the «return» of Kojève’s arguments in the contemporary theory of misrecognition. (shrink)

Is there a unique way to de-idealize models? If not, how might the possible ways of reducing the distortion between models and reality differ from each other? Based on an empirical case study conducted in financial markets, this paper discusses how a popular valuation model (the Discounted Cash Flow model) idealizes reality and how the market participants de-idealize it in concrete market situations. In contrast to Cartwright's view that economic models are generally over-constrained, this paper suggests that valuation models are (...) under-constrained. This serves as the reason why the relaxation of simplifying assumptions and concretization do not work as methods of de-idealization. The paper finds that financial market participants de-idealize models using commentary that takes the form of judgment. As a conclusion, a hypothesis is formulated that proposes that the more underdetermined the model is the bigger role narrative and other pragmatic elements play in the process of model application. (shrink)

The purpose of this study is to determine the features of creating integrated courses using a foreign language for university students. Achieving this goal requires solving the problems of developing a conceptual framework for the use of a foreign language in integrated courses in the educational process at the university. The article presents and analyzes: the definition, classification, typology, main characteristics and advantages of the work of a teacher with students in the university within the framework of an integrated course. (...) The conclusions of the study allowed us to present some of the most important features of the educational subjects working in the framework of an integrated course at the university. (shrink)

Intracellular bacteria were recently shown to employ eukaryotic prenylation system for modifying activity and ensuring proper intracellular localization of their own proteins. Following the same logic, the proteins of viruses may also serve as prenylation substrates. Using extensively validated high-confidence prenylation predictions by PrePS with a cut-off for experimentally confirmed farnesylation of hepatitis delta virus antigen, we compiled in silico evidence for several new prenylation candidates, including IRL9 and few other proteins encoded by Herpesviridae, Nef, E1A, NS5A, PB2, HN, L83L, (...) MC155R, other Poxviridae proteins, and some bacteriophages of human associated bacteria. If confirmed experimentally, these findings may aid in dissection of molecular functions of uncharacterized viral proteins and provide a novel rationale for statin and FT/GGT1-based inhibition of viral infections. Prenylation of bacteriophage proteins may aid in moderation of microbial infections. Many human viruses, including HCV, HIV1, ASFV, and a number of Adeno-, Pox-, and herpesviruses, including CMV, encode the substrates for mammalian prenylation enzymes. Prenylation is advantageous for viral infection; its suppression by FT/GGT and FPPS inhibitors has antiviral effects. In bacteriophages, prenylation may aid in moderation of microbial infections. (shrink)

Intracellular bacteria were recently shown to employ eukaryotic prenylation system for modifying activity and ensuring proper intracellular localization of their own proteins. Following the same logic, the proteins of viruses may also serve as prenylation substrates. Using extensively validated high-confidence prenylation predictions by PrePS with a cut-off for experimentally confirmed farnesylation of hepatitis delta virus antigen, we compiled in silico evidence for several new prenylation candidates, including IRL9 and few other proteins encoded by Herpesviridae, Nef, E1A, NS5A, PB2, HN, L83L, (...) MC155R, other Poxviridae proteins, and some bacteriophages of human associated bacteria. If confirmed experimentally, these findings may aid in dissection of molecular functions of uncharacterized viral proteins and provide a novel rationale for statin and FT/GGT1-based inhibition of viral infections. Prenylation of bacteriophage proteins may aid in moderation of microbial infections. Many human viruses, including HCV, HIV1, ASFV, and a number of Adeno-, Pox-, and herpesviruses, including CMV, encode the substrates for mammalian prenylation enzymes. Prenylation is advantageous for viral infection; its suppression by FT/GGT and FPPS inhibitors has antiviral effects. In bacteriophages, prenylation may aid in moderation of microbial infections. (shrink)

The purpose of the study is to determine the personal results of students with disabilities and to identify the necessary conditions for effective work with this category of children in distance learning. The analysis of the results revealed the need for the use of subject-oriented technology in the educational process, which contributes to the formation of the subjective position of students, allowing for the individualization of the educational process, maximally compensating for developmental deficits caused by diseases. As a result, the (...) necessity of organizing purposeful career guidance work with disabled children and educational work with parents was revealed. (shrink)

The first main result isolates some conditions which fail for the class of graphs and hold for the class of Abelian p-groups, the class of Abelian torsion groups, and the special class of "rank-homogeneous" trees. We consider these conditions as a possible definition of what it means for a class of structures to have "Ulm type". The result says that there can be no Turing computable embedding of a class not of Ulm type into one of Ulm type. We apply (...) this result to show that there is no Turing computable embedding of the class of graphs into the class of "rank-homogeneous" trees. The second main result says that there is a Turing computable embedding of the class of rank-homogeneous trees into the class of torsion-free Abelian groups. The third main result says that there is a "rank-preserving" Turing computable embedding of the class of rank-homogeneous trees into the class of Boolean algebras. Using this result, we show that there is a computable Boolean algebra of Scott rank ${\mathrm{\omega }}_{1}^{\mathrm{C}\mathrm{K}}$. (shrink)

The article analyzes the background and dynamics of Lev S. Vygotsky’s notions of smysl. Drawing on the data of archival records...

The article aims to show that the task of grounding categorial constituents in the specific founded acts of perception yields the problem field of phenomenological inquiry, within the framework of which remains Heidegger’s project of fundamental ontology. To achieve this goal the article reconstructs, first, the problem of the possibility of a priori correspondence between meaning and intuition of the intentional act; second, the phenomenological justification of extension of the traditional concept of truth, as a result of which truth characteristic (...) expands to intentional acts structured in a certain way, namely acts of total agreement between meaning and intuition (identification acts); third, the problem of the “categorial” in the phenomenological analysis of perception, which includes the extension of the concept of perception, limited in transcendental philosophy to the area of sensible intuitions, and justification of the specific categorial acts. On this basis, the article demonstrates that (1) phenomenology in a certain sense continues the project of transcendental philosophy, but the idea of a priori correspondence between notion and intuition within the framework of structural analysis of intentionality forms a new research problem. (2) The phenomenological understanding of truth in terms of the dynamics of empty and filled meaning intention is significant for the concept of truth presented by Heidegger in Being and Time. Heidegger explicates the concept of the truth in fundamental ontology based on the idea of identification. (3) The extension of the concept of object to its categorial constitution justified by Husserl provides fundamental ontology with the research subject. Heidegger interprets the categories, phenomenally represented in acts of categorial intuition, as a priori structures of the being of beings. The study also ascertains that new concepts of Husserl’s phenomenology saturate the conceptual framework of fundamental ontology. However, Heidegger also rethinks the key concepts of phenomenology in accordance with objectives which are different from the original objectives of the project of phenomenology designed by Husserl. (shrink)

Introduction. Digital transformation transforms all spheres of society. Digital technologies are gradually changing the interaction between producers and consumers, creating new forms of communication. The priorities of individual consumption have become of greater importance for public relations. Consumption is being individualized as the consumption of meanings, and not just the functions of things and services. Prosumers are being emerged, joint and responsible consumer practices — sharing, recycling, etc. are being spread. In the context of digitalization, the need for a person (...) to create a “demand for himself” in order to be recognized / to be let into social relations (work, family, friendship, hobbies, etc.) is actualized. A brand as a sociocultural phenomenon and its functions are undergoing significant changes under the influence of digitalization. The purpose of the study is to identify and characterize the social functions of the brand in a situation of total digitalization. Methods. The author uses general scientific methods — analysis, comparison, generalization, classification. Classification of the brand function is carried out on the basis of structural and functional analysis and a systematic approach. Scientific novelty of the study. The article presents the specifics of functioning of the brand as a sociocultural phenomenon of the consumer society in the context of digitalization. The author identifies and characterizes social functions of the brand in the digital space. Results. Consumption in the digital space is characterized by the growing importance of not only the manufacturer’s activity, but also the cultural-creative practices of consumers that set trends in the digital and material market, determine and create Web 2.0 Internet content. Brands, due to their symbolic nature, have actualized their functions in the digital environment. Conclusion. Brand research from the standpoint of social, humanitarian and philosophical sciences can reveal its humanistic potential for developing man and society in the digital age. The social functions of the brand in the digital space contribute to the self-development of a person and the evolution of social relations due to the focus on individuality and creativity. (shrink)

The article discusses teaching the analysis of documentary films from the standpoint of a discursive approach. The importance of teaching the analysis of documentary films is due to the specifics of audiovisual production. A documentary film is a polyosemiotic construct combined with verbal, pictorial and sound signs, which are important for the translator to take into account in the translation process. The discursive approach allows to teach future translators to analyze not only the work as a whole, but also to (...) analyze the historical and socio-cultural context in which it was created. (shrink)

The article examines the issues of modern trends in the development of small business in the Republic of Kalmykia. One of these trends is entrepreneurship, which actively uses ethnic, national components in its line of business. The purpose of the article is to study the ethno-economic aspects of modern entrepreneurship in Kalmykia. The main research method is an expert survey. A total of 12 experts were interviewed. The study was conducted in May-June 2020 in Elista. As experts, restaurateurs or owners (...) of national cuisine cafes, ateliers, clothing manufacturers, representatives of the tourism business, manufacturers of souvenir products, owners of souvenir shops, manufacturers of ethnic furniture, etc. Experts note the popularity and demand for ethnic goods, handicrafts in the segment of ethnic fashion, ethnic design. And also services of ethno-tourism, ethno-restaurants, which testifies to the prospects of ethno-business and ethno-entrepreneurship in the republic. Active revival of Buddhism, restoration, development of national culture, natural resources make Kalmykia especially attractive for tourists. However, one of the problems in the development of ethnic entrepreneurship is the fact that there are very few masters of national instruments, masters of making complex souvenirs. An expert survey has shown that the development of ethnic entrepreneurship is an important resource for economic development in Kalmykia. (shrink)

Personal data use is increasingly permeating our everyday life. Informed consent for personal data use is a central instrument for ensuring the protection of personal data. However, current informed consent practices often fail to actually inform data subjects about the use of personal data. This article presents the results of a requirements analysis for informed consent from both a legal and usability perspective, considering the application context of educational assessment. The requirements analysis is based on European Union law and a (...) review of current practices. As the main outcome, the article presents a blueprint which will be the basis for the development of an informed consent template that supports data controllers in establishing an effective and efficient informed consent form. Because the blueprint, and subsequently, the template, distinguishes between legal and usability requirements, it also provides the basis for the mapping of legal requirements in other contexts. (shrink)

I assert that Bulgarian journalists recruited during communism to also serve the government as intelligence agents had the opportunity to make moral choices despite the country's dictatorship. Post-communist discussions in Bulgarian media focused on the extent of guilt of journalists who acted as spies. The three possibilities of forgetting the past, punishing those who spied, or forgiving them, are considered. The article concludes that the spy/journalists cannot be forgiven because they violated moral principles that had been vital in Eastern Europe (...) even during the communist regimes; a democratic society should rely on journalists with no history of deceiving audiences. (shrink)

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 recent years, the emergence of a new trend in contemporary philosophy has been observed in the increasing usage of empirical research methods to conduct philosophical inquiries. Although philosophers primarily use secondary data from other disciplines or apply quantitative methods (experiments, surveys, etc.), the rise of qualitative methods (e.g., in-depth interviews, participant observations and qualitative text analysis) can also be observed. In this paper, I focus on how qualitative research methods can be applied within philosophy of science, namely within the (...) philosophical debate on modeling. Specifically, I review my empirical investigations into the issues of model de-idealization, model justification and performativity. (shrink)

Following a proposal by Kooi and Tamminga, we introduce a conservative translation manual for every four-valued truth-functional propositional logic into a modal logic. However, the application of this translation does not preserve the intuitive reading of the truth-values for every four-valued logic. In order to solve this problem, we modify the translation manual and prove its conservativity by exploiting the method of generalized truth-values.