Ambient assisted living technologies are increasingly presented and sold as essential smart additions to daily life and home environments that will radically transform the healthcare and wellness markets of the future. An ethical approach and a thorough understanding of all ethics in surveillance/monitoring architectures are therefore pressing. AAL poses many ethical challenges raising questions that will affect immediate acceptance and long-term usage. Furthermore, ethical issues emerge from social inequalities and their potential exacerbation by AAL, accentuating the existing access gap between (...) high-income countries and low and middle-income countries. Legal aspects mainly refer to the adherence to existing legal frameworks and cover issues related to product safety, data protection, cybersecurity, intellectual property, and access to data by public, private, and government bodies. Successful privacy-friendly AAL applications are needed, as the pressure to bring Internet of Things devices and ones equipped with artificial intelligence quickly to market cannot overlook the fact that the environments in which AAL will operate are mostly private. The social issues focus on the impact of AAL technologies before and after their adoption. Future AAL technologies need to consider all aspects of equality such as gender, race, age and social disadvantages and avoid increasing loneliness and isolation among, e.g. older and frail people. Finally, the current power asymmetries between the target and general populations should not be underestimated nor should the discrepant needs and motivations of the target group and those developing and deploying AAL systems. Whilst AAL technologies provide promising solutions for the health and social care challenges, they are not exempt from ethical, legal and social issues. A set of ELSI guidelines is needed to integrate these factors at the research and development stage. (shrink)

The objective of the paper is a presentation and an interpretation of Władysław Stróżewski’s views on aesthetics. Built upon the foundation provided by classical metaphysics, Stróżewski’s aesthetics is simultaneously a continuation of the tradition of phenomenological interpretation of art. Stróżewski extends Roman Ingarden’s aesthetic theory by including the idea of numinous concretion, largely inspired by the works of Rudolf Otto. As a result, this new phenomenological perspective transcends the narrowly understood ‘aesthetics’ of the work of art towards the inherent dimension (...) of the sacred. Moreover, Stróżewski’s scrutiny of the aspect of art that goes beyond the aesthetic reveals an important relationship obtaining between his insights and the theological aesthetics of Hans Urs von Balthasar. Thus Stróżewski’s ideas turn out to be of significance to contemporary aesthetic and theological debates. In particular, he shows the movement of beauty from aesthetic to transcendental, and ultimately towards the sacred, where numinosum is manifested as Mystery. (shrink)

The paper consists of two parts, outlined in the title.I. In the historical science time appears as an element of the historian’s workshop. The historian collects source information, evaluates them and assigns respective dates. Only on the ground of thus “processed” sources may he reproduce the past: events and longer development processes, setting them in time. This dated time is understood colloquially as something objective, which runs one way and may be measured.II. A historian who studies the past reality depends (...) on the extent to which those sources are preserved. As a result of their interpretation, with the use of increasingly excellent research methods, he reproduces that reality. He must carry out an ongoing selection of historical facts found. This exposes him to temptations of such selection of those facts so as to adjust the historical knowledge to serve well the national interests, his own political opinions, etc. In this way the historian exerts influence on social awareness, which may consists of various myths and stereotypes, which sometimes lead to negative social behaviors: aggression, chauvinism, etc. Therefore, for researcher honesty’s sake and in the sense of moral responsibility, he must be careful to be as impartial as possible in his work. (shrink)

Natural Deduction Natural Deduction is a common name for the class of proof systems composed of simple and self-evident inference rules based upon methods of proof and traditional ways of reasoning that have been applied since antiquity in deductive practice. The first formal ND systems were independently constructed in the 1930s by G. Gentzen and S. Jaśkowski and … Continue reading Natural Deduction →.

This text is a presentation of the notion of ontological imagination. It constitutes an attempt to merge two traditions: critical sociology and science and technology studies - STS. By contrasting these two intellectual traditions, I attempt to bring together: a humanist ethical-political sensitivity and a posthumanist ontological insight. My starting point is the premise that contemporary world needs new social ontology and new critical theory based on it in order to overcome the unconsciously adapted, “slice-based” modernist vision of social ontology. (...) I am convinced that we need new ontological frameworks of the social combined with a research disposition which I refer to as ontological imagination. (shrink)

This paper is concerned with n-localization property introduced by Newelski and Rosłanowski in [10] and getting it for CS iterations of forcing notions.

The main aim of the text is to show how a game of Go (Weiqi, baduk, Igo) can serve as a model representation of the ontological-metaphysical aspect of the actor–network theory (ANT). An additional objective is to demonstrate in return that this ontological-metaphys⁠ical aspect of ANT represented on Go/Weiqi game model is able to highlight the key aspect of this theory—onto-methodological praxis.

During the global financial crisis of 2007–2009 and the currentCovid-19 debacle, central banks acted quickly, boldly, and effectively. The paper argues that they did so thanks to the lessons learned from the past financial crises, which provided them with opportunities to reconsider their previous beliefs. A case in point is the banking crisis in the United States during the Great Depression of the 1930s that taught central banks to act rapidly and decisively in order to prevent an initial liquidity crisis (...) from escalating into a solvency crisis leading to bankruptcies of banks with potentially disastrous consequences for the entire economy. The paper revisits the consequences of the currency crises of the 1990s, which transformed exchange rate regimes across the world: the EMS one of 1992–1993 that accelerated the launch of the euro, and the Asian one of 1997–1998 resulted in the proliferation of floating exchange rates in emerging economies. (shrink)

I shall outline the topic from a historical perspective, placing the main emphasis on the hundred years’ period spanning 1870–1970.

John Gray argues that the modern conception of man is common for all variants of the liberal tradition. The version of liberalism which is defended in this paper cannot be called ‘classical’ because it refuses the conception in question (it refuses such elements of it as, for example, claims of universality, idea of neutral Reason, idea of human nature). That is why the best label which can be given to it is ‘postmodern’ or ‘communitarian’ liberalism. Moreover, postmodern liberalism does not (...) express any reluctance toward community as such. It only requires a community which respects the rights of individuals to autonomous, moral and comprehensive choices. In this sense one can say that postmodern liberalism renounces anti-social biases while remaining faithful to individualism, which - starting with the social and the common - arrives at the truly individual. In this way it can revitalize the sense and meaning of humanism understood as the idea of life of human beings who can create their own lives independently and freely in the political and social milieu, promoting justice and solidarity. (shrink)

The main aim of the present paper is to explain a nature of relationships exist between Nelson and Heyting algebras. In the realization, a topological duality theory of Heyting and Nelson algebras based on the topological duality theory of Priestley for bounded distributive lattices are applied. The general method of construction of spaces dual to Nelson algebras from a given dual space to Heyting algebra is described. The algebraic counterpart of this construction being a generalization of the Fidel-Vakarelov construction is (...) also given. These results are applied to compare the equational category N of Nelson algebras and some its subcategories with the equational category H of Heyting algebras. It is proved that the category N is topological over the category H. (shrink)

We prove the following theorems:1. IfX⊆ 2ωis aγ-set andY⊆2ωis a strongly meager set, thenX+Yis Ramsey null.2. IfX⊆2ωis aγ-set andYbelongs to the class ofsets, then the algebraic sumX+Yis anset as well.3. Under CH there exists a setX∈MGR* which is not Ramsey null.

The book deals with post-analytical philosophy of law, which departs from the traditional view which considers philosophical cognition as a sense-making and optimizing activity. It seeks to deconstruct the analytical, both philosophical and legal, narrative to expose it as a collection of schemes which oversimplify the legal and political reality.

The aim of the article is to systematize the de re/de dicto distinctions that are most frequently used in philosophy. The paper highlights the main contexts in which these distinctions may be found and their syntactic, semantic, and pragmatic definitions. The article consists of four points, which are discussed in turn: 1) the principal moments in the early history of the distinction between de re and de dicto; 2) the main theoretical contexts of this distinction; 3) contemporary attempts to systematize (...) the various versions of this distinction, derived from Thomas McKay and Michael Nelson; and 4) a similar attempt, conducted by the author, to make McKay and Nelson’s systematization more precise. (shrink)

The formalist point of view maintains that formal derivations underlying proofs, although usually not carried out in practice, contribute to the confidence in mathematical theorems. Opposing this opinion, the main claim of the present paper is that such a gain of confidence obtained from any link between proofs and formal derivations is, even in principle, impossible in the present state of knowledge. Our argument is based on considerations concerning length of formal derivations. Thanks to Jody Azzouni for enlightening discussions concerning (...) the subject of this paper and to anonymous referees whose important remarks permitted us to correct the arguments and improve presentation. The remaining flaws remain, of course, solely the responsibility of the author. This research was partially supported by NSERC discovery grant and by the Research Chair in Distributed Computing at the Université du Québec en Outaouais. CiteULike Connotea Del.icio.us What's this? (shrink)