It is not understood how the numbers and identities of vertebrae are controlled during mammalian development. The remarkable robustness and conservation of segmental numbers may suggest the digital nature of the underlying process. The study proposes a mechanism that allows cells to obtain and store the segmental information in digital form, and to produce a pattern of chromatin accessibility that in turn regulates Hox gene expression specific to the metameric segment. The model requires that a regulatory element be present such (...) that the number of occurrences of the motif between two consecutive Hox genes equals the number of segments under the control of the anterior gene. This is true for the recently discovered hydroxyl radical cleavage 3bp-periodic (HRC3) motif, associated with histone modifications and developmental genes. The finding not only allows the correct prediction of the numbers of segments using only sequence information, but also resolves the 40-year-old enigma of the function of temporal and spatial collinearity of Hox genes. The logic of the mechanism is illustrated in the attached animated video. How different aspects of the proposed mechanism can be tested experimentally is also discussed. (shrink)

This book is a study in the logic of questions (sometimes called erotetic logic). The central topics in erotetic logic have been the structure of questions and the question-answer relationship. This book doesn't neglect these problems, but much of it is focussed on other issues. The main subject is the logical analysis of certain relations between questions and the contexts of their appearance. And our aim is to elaborate the conceptual apparatus of the inferential approach to the logic of questions. (...) Questions are asked for many reasons and for different purposes. Yet, before a question is asked or posed, a questioner must arrive at it. In many cases arriving at a question resembles coming to a conclusion: there are some premises involved and some inferential thought processes take place. If we agree that a conclusion need not be "conclusive", we may say that sometimes questions can play the role of conclusions. But questions can also perform the role of premises: we often pass from some "initial" question to another question. In other words, there are inferential thought processes - we shall call them erotetic inferences - in which questions play the roles of conclusions or conclusions and premises. The inferential approach to the logic of questions focusses its attention on the analysis of erotetic inferences. This book consists of eight chapters. (shrink)

We provide an application of a sequent calculus framework to the formalization of definite descriptions. It is a continuation of research undertaken in [20, 22]. In the present paper a so-called free description theory is examined in the context of different kinds of free logic, including systems applied in computer science and constructive mathematics for dealing with partial functions. It is shown that the same theory in different logics may be formalised by means of different rules and gives results of (...) varying strength. For all presented calculi a constructive cut elimination is provided. (shrink)

This Research Topic addresses the eleventh Sustainable Development Goal (SDG), which is to “make cities and human settlements inclusive, safe, resilient and sustainable.” Several individual targets and indicators measure progress toward this goal. Researchers study, among others, urban inclusion, the influence of urban policy on socioeconomic disparities, and gentrification. This Research Topic primarily addresses the challenges and complexities of sustainable urban planning and development concerning decent work, economic growth, and associated crises due to their significant impact on urban living.

Hypersequent calculi can formalize various non-classical logics. In [9] we presented a non-commutative variant of HC for the weakest temporal logic of linear frames Kt4.3 and some its extensions for dense and serial flow of time. The system was proved to be cut-free HC formalization of respective temporal logics by means of Schütte/Hintikka-style semantical argument using models built from saturated hypersequents. In this paper we present a variant of this calculus for Kt4.3 with a constructive syntactical proof of cut elimination.

By and large, Inferential Erotetic Logic (IEL, for short) is an approach to the logic of questions which puts in the centre of attention inferential aspects of questioning. IEL is not an enterprise of the last few years only. The idea originates from the late 1980s. It evolved through time. Initially, the stress was put on the phenomenon of question raising. This changed gradually, as some forms of reasoning that involve questions have appeared to be analyzable by means of the (...) conceptual apparatus developed. In this essay I present the basics of IEL and comment on them. Most, though not all, of the ideas discussed here have been scattered across my earlier publications. The invitation from the organizers of the Asking and Answering workshop (Greifswald, September 2020) resulted in an attempt of presenting the themes of IEL in a concise but, as I hope, also comprehensible way. (shrink)

The basic assumption of the paper is the recognition that the complexity of the challenges related to population ageing forces the development of cooperative links in the area of the silver economy between public policy entities representing various sectors. In other words, there is a need for more intensive and better-coordinated cooperation between organisations in the commercial sector, public sector, non-governmental sector, informal sector and social economy sector (e.g., cooperatives).

Generational differences in societies are characteristics generally attributed to people’s age that constitute a sociocultural phenomenon. Divisions in the generations differ across nations and extend even to civilizations. Perception and recognition of the different characteristics of each generation affect the cooperation between people in social, political, and economic capacities, and subsequently extend to entities in the public, informal, commercial, and nongovernmental sectors. From the perspective of social justice, it is important to draw attention to how workplace management techniques are used (...) to promote equal opportunities among representatives of various generations. (shrink)

This is a sequel article to [10] where a hypersequent calculus for some temporal logics of linear frames includingKt4.3and its extensions for dense and serial flow of time was investigated in detail. A distinctive feature of this approach is that hypersequents are noncommutative, i.e., they are finite lists of sequents in contrast to other hypersequent approaches using sets or multisets. Such a system in [10] was proved to be cut-free HC formalization of respective logics by means of semantical argument. In (...) this article we present an equivalent variant of this calculus for which a constructive syntactical proof of cut elimination is provided. (shrink)

Local and global dependencies and interactions between individuals, groups and institutions are becoming increasingly opaque and risky. This is due to increased importance of highly complex abstract systems created and supported in order to maintain of transport, communications, finance, energy, media, security infrastructure, as well as social and cultural institutions. These systems require the knowledge and skills of experts. Professionals that not only satisfy identified needs, but also create new thereby contribute the development of cultural narcissism phenomenon. The aim of (...) the book is to discuss relations of experts and mass narcissism, on the background of shaping the knowledge societies and knowledge-based economies, and moreover their transformations towards the societies and economies based on creativity and wisdom. Undertaken analysis is contribute to sociology of expertise and intervention by indicating four selected contemporary issues: dilemmas of the knowledge society development; selection between trust substitutes and its reconstruction methods; transformations of social stratification; and the choice of pathways to socio-economic development. (shrink)

“Age of life” is one of the essential characteristics that differentiate people. Age perception is also associated with social justice. The concept of age is defined ambiguously. At the same time, the different age criteria also forms the basis of age differentiation and age discrimination. The population lead to distinctions of age groups, age categories, and generations. Differences between generations also lead to Study in the concepts of intergenerationality, intergenerational justice, and intergenerational policies.

Services for single parents constitute a category of child and family services. These services are carried out by public and non-governmental bodies for people who are single parents by the unfortunate events or by their own choice. Individuals come to single parenthood mainly through divorce, separation, birth outside of marriage, child abuse/neglect, death of a partner/widowhood, and adoption.

The Philosophy of Hermann Cohen: An Attempt to SystematizeThe article adressess the problem of evolution of Hermann Cohen’s thinking. In the first part, the evolution is shown in the historical-problematic context and the main idea is to show the basic concepts organizing the author’s most important books. Part two is an attempt to capture the motives of his understanding of philosophy and the central concept is the logic of validity Geltungslogik. As a result it is shown that throughout his whole (...) life Cohen struggled with the problem of such an understanding of philosophy. (shrink)

In this article, an analysis was made of what’s new in the debate on the condition of the contemporary political community brought up by the discussion about the relationship between care and justice. The author introduces the category of care in philosophy and its understanding and with particular emphasis on the views of Virginia Held. He analyzes the importance of a relationship of care as the foundation for the proper functioning of the socio-political community and criticism of the idea of (...) a social contract undertaken by representatives of the ethics of care. Critically, he presents the consequences of the assumptions of the civic community accepted by Held. (shrink)

Teoria cywilizacji Marcuse oferuje udaną syntezę freudyzmu i marksizmu. Podejście Marcusego, które znalazło swój najdobitniejszy wyraz w Erosie i cywilizacji, miało na celu całkowite przeformułowanie nauki o popędach Freuda, uhistorycznienie jej i sprzęgnięcie z zagadnieniem strukturalnej przemocy czy zinstytucjonalizowanymi (oraz zinternalizowanymi) mechanizmami represji. Twierdzę, że wspomniane przeformułowanie stanowi kamień węgielny dla idiosynkratycznej wersji teorii krytycznej Marcusego, która w mojej interpretacji posiada wyraźne akcenty protoakceleracjonistyczne. Artykuł krótko rekapituluje "dialektykę cywilizacji" Marcusego i wskazuje na jej zaskakujące zbieżności z akceleracjonistyczną wersją post-kapitalizmu w (...) refleksji Marcusego nad polityką, technologią oraz rolą sztuki i wyobraźni estetycznej w zakwestionowaniu afirmatywnego (desublimującego) charakteru kultury. (shrink)

This paper is a systematic comparison between two well–known and theologically relevant concepts – the sublime as developed in Kant’s third Critique, and Marion’s saturated phenomenon. Although it discusses the significant and apparent similarities between them, it also criticizes Marion’s identification of the sublime as a possible example of a saturated phenomenon. This is primarily because of the different origins and philosophical presuppositions guiding the elaboration of these two ideas. Kant’s aim is to confine the reception of the phenomenon to (...) the conditions of experience, so that both in the case of judg-ments of beauty and judg-ments of the sublime, the subject achieves pleasure through self-centred appreciation of its rational capacities. Marion’s saturated phenomenon, on the other hand, aims at dispensing with the ‘metaphysical’ horizon of either the object, or the transcendental subject, in favour of passive appropriation of givenness. Although both are meant to describe what happens when the limits of understanding are breached, in the sublime this breach only serves to reinforce the capacity of the rational subject, whereas in the saturated phenomenon it points to the possibility of apprehension of the totally Other as purely given. (shrink)

The article presents Henryk Skolimowski’s standpoint on the civilizational role of technology in the context of his eco-philosophy concept, it also reviews the changes underway in science and technology and the challenges posed on their rationality. Despite its evident historical anchoring, Skolimowski’s position appears to contain many currently important ideas and solutions.