There is no unique and definitive definition of phenomenology. It is rather a method and an experience always open and always renewing itself. Phenomenology involves a change in the "sense of the world": everything acquires its sense and value only when it becomes the content of the lived experience of the subject correlated to his intentional acts. This is the main thesis of the phenomenological method aiming at overcoming the traditional opposition between rationalism and empiricism. Starting from Husserl, the father (...) of this approach, the history of phenomenology undertook different and unexpected developments which in some cases were rather far away from Husserl's original thought. In the U.K. attention has been given to an analytical-epistemological phenomenology focused on the relationship between intentionality and logical semantics. In France it is mainly an anthropological-existential phenomenology. In Germany an hermeneutic phenomenology was developed, mainly by Heidegger and Gadamer. Regardless of these raw distinctions, a big question is so far unresolved: how to reconcile the phenomenological/ existential stance claiming for the irreducibility of each lived experience and the scientific paradigm? Is it possible to imagine brain mechanisms and physiological systems explaining the endless mysteries and manifold paradoxes of the human being? Phenomenology claims that a human being can never be considered as an object, as if he was a natural thing; rather the task is to understand him as the focus of a relationship linking subjective attitudes to the objects showed by the experience. In this sense, an important contribution was Merleau-Ponty's view that man is not something psychic joined to an organism, but a sort of fluctuation of the existence that sometimes is a bodily one, sometimes refers to personal acts. Consequently, he proposes to reinstate in the existence both its "physiological" and "psychic" sides both being intentionally oriented towards a world. (shrink)

The declaration of the COVID-19 pandemic by the World Health Organization on March 11, 2020, led to unprecedented events. All regions of the world participated in implementing preventive health measures such as physical distancing, travel restrictions, self-isolation, quarantines, and facility closures. The pandemic started global disruption of socio-economic systems, covering the postponement or cancellation of public events, supply shortages, schools and universities’ closure, evacuation of foreign citizens, a rise in unemployment and inflation, misinformation, the anti-vaccine movement, and incidents of discrimination (...) toward people affected by or suspected of having coronavirus disease. Attempts have been made to protect the oldest age group at risk, but in many cases, this has led to over-restriction and age discrimination. The rationale for working on the Research Topic "Socio-economic systems in the post-pandemic world: Design thinking, strategic planning, management, and public policy" was the need to start reflecting on resilience and lessons learned from this public health event that revealed the global unpreparedness in critical areas. Also, the pandemic triggered both top-down and bottom-up responses that needed more in-depth analyzes. This Research Topic covers interdisciplinary contributions addressing new thinking, challenges, and transformations required for post-pandemic global, national, regional, and local realities. The presented Research Topic combines studies focused on recognizing the actions and interventions leading to the recovery of socio-economic systems during the tail end and after the pandemic. The studies delivered recommendations regarding, among others, the care of vulnerable, planning socio-economic restart, and imagining the "new normal.". (shrink)

On 11 March 2020, the World Health Organization declared a pandemic of the COVID-19 coronavirus disease that was first recognized in China in late 2019. Among the primary effects caused by the pandemic, there was the dissemination of health preventive measures such as physical distancing, travel restrictions, self-isolation, quarantines, and facility closures. This includes the global disruption of socio-economic systems including the postponement or cancellation of various public events (e.g., sporting, cultural, or religious), supply shortages and fears of the same, (...) schools and universities closure, evacuation of foreign citizens, a rise of unemployment, changes in the international aid schemes, misinformation, and incidents of discrimination toward people affected by or suspected of having the COVID-19 disease. The pandemic has brought to the fore unpreparedness in critical areas that require attention, amid prospects and challenges. Moreover, considerable reorganization efforts are required with implications for assets, resources, norms, and value systems. COVID-19 is challenging the concept of globalization and stimulating responses at the levels of local and regional socio-economic systems that lead to the mobilization of assets that have been unrecognized earlier on, such as various forms of economic capital, social capital, cultural capital, human capital, and creative capital. For example, through digital channels, local groups are forming to create schemes of support for physical and mental wellbeing. These emerging exchanges lead to various social and technological innovations by building on skills and assets that are less important in the free-market economy, such as empathy, skills for crafts, making and fixing; locally grown microgreens; and micromanufacturing. Isolation and local living are also making it much harder to ignore the civic responsibilities towards communities, meant as individuals, vulnerable groups, and local businesses. Whilst the pandemic is limiting physical participation, this challenging time is uncovering alternative ways of mutual support, which may create long-term benefits for socio-economic systems, including environmental and biodiversity protection, reduction of the air pollution, and climate action. The pandemic’s threat to public health will hopefully be overcome with implications for disruption for an extended period that we are unable to forecast at this stage. It is key to focus on studies recognizing the activities and interventions leading to the recovery of socio-economic systems after the pandemic. Reflecting and planning on how societies and economies will go back to “business as usual” requires new forms of communication and cooperation, imaginative design thinking, new styles of management, as well as new tools and forms of participation in various public policies. Many questions related to the care of the vulnerable, economic restart, and the risk of future pandemics, to mention but a few, are already occupying the academic, scientific, experts, and activist communities, who have started to imagine the “new normal.”. (shrink)

A recent study by Castellani et al. (JAMA 302(23):2573–2579, 2009) describes the population-level effects of the choices of individuals who underwent molecular carrier screening for cystic fibrosis (CF) in Veneto, in the northeastern part of Italy, between 1993 and 2007. We discuss some of the ethical issues raised by the policies and individual choices that are the subject of this study. In particular, (1) we discuss the ethical issues raised by the acquisition of genetic information through antenatal carrier testing; (2) (...) we consider whether by choosing to procreate naturally these couples can harm the resulting child and/or other members of society, and what the moral implications of such harm would be; (3) we consider whether by choosing to avoid natural procreation carrier couples can harm current or future individuals affected by cystic fibrosis; (4) we discuss whether programs that make carrier testing available can be considered eugenic programs. (shrink)

Besides the better-known Nelson logic and paraconsistent Nelson logic, in 1959 David Nelson introduced, with motivations of realizability and constructibility, a logic called $\mathcal{S}$. The logic $\mathcal{S}$ was originally presented by means of a calculus with infinitely many rule schemata and no semantics. We look here at the propositional fragment of $\mathcal{S}$, showing that it is algebraizable, in the sense of Blok and Pigozzi, with respect to a variety of three-potent involutive residuated lattices. We thus introduce the first known (...) algebraic semantics for $\mathcal{S}$ as well as a finite Hilbert-style calculus equivalent to Nelson’s presentation; this also allows us to clarify the relation between $\mathcal{S}$ and the other two Nelson logics $\mathcal{N}3$ and $\mathcal{N}4$. (shrink)

We develop a Priestley-style duality theory for different classes of algebras having a bilattice reduct. A similar investigation has already been realized by B. Mobasher, D. Pigozzi, G. Slutzki and G. Voutsadakis, but only from an abstract category-theoretic point of view. In the present work we are instead interested in a concrete study of the topological spaces that correspond to bilattices and some related algebras that are obtained through expansions of the algebraic language.

One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found. Since the inception of da Costa's paraconsistent calculi, an algebraic equivalent for such systems have been searched. It is known that these systems are non self-extensional (i.e., they do not satisfy the replacement property). More than this, they are not algebraizable in the sense of Blok-Pigozzi. The same negative results (...) hold for several systems of the hierarchy of paraconsistent logics known as Logics of Formal Inconsistency (LFIs). Because of this, these logics are uniquely characterized by semantics of non-deterministic kind. This paper offers a solution for two open problems in the domain of paraconsistency, in particular connected to algebraization of LFIs, by obtaining several LFIs weaker than C1, each of one is algebraizable in the standard Lindenbaum-Tarski's sense by a suitable variety of Boolean algebras extended with operators. This means that such LFIs satisfy the replacement property. The weakest LFI satisfying replacement presented here is called RmbC, which is obtained from the basic LFI called mbC. Some axiomatic extensions of RmbC are also studied, and in addition a neighborhood semantics is defined for such systems. It is shown that RmbC can be defined within the minimal bimodal non-normal logic E+E defined by the fusion of the non-normal modal logic E with itself. Finally, the framework is extended to first-order languages. RQmbC, the quantified extension of RmbC, is shown to be sound and complete w.r.t. BALFI semantics. (shrink)

In abstract algebraic logic, many systems, such as those paraconsistent logics taking inspiration from da Costa's hierarchy, are not algebraizable by even the broadest standard methodologies, as that of Blok and Pigozzi. However, these logics can be semantically characterized by means of non-deterministic algebraic structures such as Nmatrices, RNmatrices and swap structures. These structures are based on multialgebras, which generalize algebras by allowing the result of an operation to assume a non-empty set of values. This leads to an interest (...) in exploring the foundations of multialgebras applied to the study of logic systems. -/- It is well known from universal algebra that, for every signature Sigma, there exist algebras over Sigma which are absolutely free, meaning that they do not satisfy any identities or, alternatively, satisfy the universal mapping property for the class of Sigma-algebras. Furthermore, once we fix a cardinality of the generating set, they are, up to isomorphisms, unique, and equal to algebras of terms (or propositional formulas, in the context of logic). Equivalently, the forgetful functor, from the category of Sigma-algebras to Set, has a left adjoint. This result does not extend to multialgebras. Not only multialgebras satisfying the universal mapping property do not exist, but the forgetful functor U, from the category of Sigma-multialgebras to Set, does not have a left adjoint. -/- In this paper we generalize, in a natural way, algebras of terms to multialgebras of terms, whose family of submultialgebras enjoys many properties of the former. One example is that, to every pair consisting of a function, from a submultialgebra of a multialgebra of terms to another multialgebra, and a collection of choices (which selects how a homomorphism approaches indeterminacies), there corresponds a unique homomorphism, what resembles the universal mapping property. Another example is that the multialgebras of terms are generated by a set that may be viewed as a strong basis, which we call the ground of the multialgebra. Submultialgebras of multialgebras of terms are what we call weakly free multialgebras. Finally, with these definitions at hand, we offer a simple proof that multialgebras with the universal mapping property for the class of all multialgebras do not exist and that U does not have a left adjoint. (shrink)