"Mit den digitalen Medien haben sich neue Formen der Warenzirkulation auf der Grundlage sozialer Netzwerke etabliert, die unter dem Begriff Sharing Economy zusammen- gefasst werden. Die Durchsetzung dieser onlinebasierten Transaktionen ist von einem euphorischen Diskurs begleitet, der der Sharing Economy utopische Potenziale einer gemeinschaftlichen Mehrwerterzeugung zuschreibt. Wolfgang Sützls Beitrag betont, dass die rhetorische Wirkung des Teilens und dessen Idealisierung über den Tausch als eigentliche ökomische Form hinwegtäusche. Anhand von Gabentheorien zeigt er auf, wie das Teilen (durch die Leugnung der Äquivalenzerwartungen) (...) an seine Grenzen komme, indem es mit dem Geben verwechselt werde, und außerdem Wertschöpfungsprozesse von Unternehmen sowie die Verwertung von Ressourcen verschleiere. Den Gedanken, dass diese zur ›Ökonomisierbarkeit von allem‹ neige, greift auch Tomasz Konicz auf, der in der Ökonomie des Teilens einen ›anomalen‹ Wunsch nach alternativen Wirtschaftsformen angesichts der ›Krise des Kapitals‹ erkennt. Dafür bringt Konicz aus einer marxistischen Perspektive den ›prozessierenden Widerspruch‹ der Technologieentwicklung und ihre verheerenden Implikationen in Anschlag, die auch die Grundlage der Sharing Economy darstellen. Insofern sei die Suche nach Alternativen noch offen. With the digital media, new forms of the circulation of goods have been established on the basis of social networks, summarily addressed under the term ‘sharing economy.’ The enforcement of these online transactions is accompanied by a euphoric discourse, ascribing to the sharing economy utopian potentials to commonly generate added value. Wolfgang Sützl’s contribution emphasizes that the rhetorical effect of sharing and its idealization distract from exchange as basic economic form. With reference to theories of gift exchange, he shows how sharing (by denying the expectation of equivalence) reaches its limits by being confused with giving, and how it also conceals the value-creation processes of companies as well as the exploitation of resources. Tomasz Konicz also picks up on the idea that the sharing economy tends to an ‘economization of everything,’ seeing in it an ‘anomalous’ desire for alternative forms of economy in the face of the ‘crisis of capital.’ On the other hand, from a Marxist perspective, Konicz points to the ‘processing contradiction’ of technology development and its devastating implications, which also form the basis of the sharing economy. In this respect, the search for alternatives still goes on. ". (shrink)

"Mit den digitalen Medien haben sich neue Formen der Warenzirkulation auf der Grundlage sozialer Netzwerke etabliert, die unter dem Begriff Sharing Economy zusammen- gefasst werden. Die Durchsetzung dieser onlinebasierten Transaktionen ist von einem euphorischen Diskurs begleitet, der der Sharing Economy utopische Potenziale einer gemeinschaftlichen Mehrwerterzeugung zuschreibt. Wolfgang Sützls Beitrag betont, dass die rhetorische Wirkung des Teilens und dessen Idealisierung über den Tausch als eigentliche ökomische Form hinwegtäusche. Anhand von Gabentheorien zeigt er auf, wie das Teilen (durch die Leugnung der Äquivalenzerwartungen) (...) an seine Grenzen komme, indem es mit dem Geben verwechselt werde, und außerdem Wertschöpfungsprozesse von Unternehmen sowie die Verwertung von Ressourcen verschleiere. Den Gedanken, dass diese zur ›Ökonomisierbarkeit von allem‹ neige, greift auch Tomasz Konicz auf, der in der Ökonomie des Teilens einen ›anomalen‹ Wunsch nach alternativen Wirtschaftsformen angesichts der ›Krise des Kapitals‹ erkennt. Dafür bringt Konicz aus einer marxistischen Perspektive den ›prozessierenden Widerspruch‹ der Technologieentwicklung und ihre verheerenden Implikationen in Anschlag, die auch die Grundlage der Sharing Economy darstellen. Insofern sei die Suche nach Alternativen noch offen. With the digital media, new forms of the circulation of goods have been established on the basis of social networks, summarily addressed under the term ‘sharing economy.’ The enforcement of these online transactions is accompanied by a euphoric discourse, ascribing to the sharing economy utopian potentials to commonly generate added value. Wolfgang Sützl’s contribution emphasizes that the rhetorical effect of sharing and its idealization distract from exchange as basic economic form. With reference to theories of gift exchange, he shows how sharing (by denying the expectation of equivalence) reaches its limits by being confused with giving, and how it also conceals the value-creation processes of companies as well as the exploitation of resources. Tomasz Konicz also picks up on the idea that the sharing economy tends to an ‘economization of everything,’ seeing in it an ‘anomalous’ desire for alternative forms of economy in the face of the ‘crisis of capital.’ On the other hand, from a Marxist perspective, Konicz points to the ‘processing contradiction’ of technology development and its devastating implications, which also form the basis of the sharing economy. In this respect, the search for alternatives still goes on. ". (shrink)

In this paper, we discuss the processes of racialisation on the example of biomedical research. We argue that applying the concept of racialisation in biomedical research can be much more precise, informative and suitable than currently used categories, such as race and ethnicity. For this purpose, we construct a model of the different processes affecting and co-shaping the racialisation of an individual, and consider these in relation to biomedical research, particularly to studies on hypertension. We finish with a discussion on (...) the potential application of our proposition to institutional guidelines on the use of racial categories in biomedical research. (shrink)

In this article, we analyse how researchers use the categories of race and ethnicity with reference to genetics and genomics. We show that there is still considerable conceptual “messiness” (despite the wide-ranging and popular debate on the subject) when it comes to the use of ethnoracial categories in genetics and genomics that among other things makes it difficult to properly compare and interpret research using ethnoracial categories, as well as draw conclusions from them. Finally, we briefly reconstruct some of the (...) biases of reductionism to which geneticists (as well as other researchers referring to genetic methods and explanations) are particularly exposed to, and we analyse the problem in the context of the biologization of ethnoracial categories. Our work constitutes a novel, in-depth contribution to the debate about reporting race and ethnicity in biomedical and health research. First, we reconstruct the theoretical background assumptions about racial ontology which researchers implicitly presume in their studies with the aid of a sample of recent papers published in medical journals about COVID-19. Secondly, we use the typology of the biases of reductionism to the problem of biologization of ethnoracial categories with reference to genetics and genomics. (shrink)

In this paper we investigate computable isomorphisms of Boolean algebras with operators (BAOs). We prove that there are examples of polymodal Boolean algebras with finitely many computable isomorphism types. We provide an example of a polymodal BAO such that it has exactly one computable isomorphism type but whose expansions by a constant have more than one computable isomorphism type. We also prove a general result showing that BAOs are complete with respect to the degree spectra of structures, computable dimensions, expansions (...) by constants, and the degree spectra of relations. (shrink)

The classical arguments against metaphysics provided by Immanuel Kant, neopositivists and recently by analytical philosophers focus on the problem of meaning. In my paper I would like to shed a little bit of light on different dimensions of this problem in the metaphysical discourse and make a proposition how to overcome the difficulties that arise from this kind of discourse.

We present the (Lascar) Galois group of any countable theory as a quotient of a compact Polish group by an F_σ normal subgroup: in general, as a topological group, and under NIP, also in terms of Borel cardinality. This allows us to obtain similar results for arbitrary strong types defined on a single complete type over ∅. As an easy conclusion of our main theorem, we get the main result of [K. Krupiński, A. Pillay and T. Rzepecki, Topological dynamics and (...) the complexity of strong types, Israel J. Math.228 (2018) 863–932] which says that for any strong type defined on a single complete type over ∅, smoothness is equivalent to type-definability. We also explain how similar results are obtained in the case of bounded quotients of type-definable groups. This gives us a generalization of a former result from the paper mentioned above about bounded quotients of type-definable subgroups of definable groups. (shrink)

In this interview, Tomasz Zarębski speaks with Allan Janik, co-author of _Wittgenstein’s Vienna_ (1973, with Stephen Toulmin), on the occasion of the 50 th anniversary of the publication of this pathbreaking book. The conversation concerns the circumstances, motivations and reasons for his undertaking the work on the book, as well as its reception and place in Wittgenstein scholarship. A large part of the discussion refers to his perspective of Wittgenstein, Toulmin’s philosophical writings, and Janik’s own vision of philosophy. The (...) interview took place in Innsbruck on 23 rd and 25 th August 2023. (shrink)

My paper builds on the conceptual tools from three interrelated philosophical debates that—as I believe—may help structure important if chaotic discussions about surrogates for living human brains and resolve some practical issues related to regulatory matters. In particular, I refer to the discussions about the “moral precautionary principle” in research ethics (Koplin and Wilkinson 2019); about normative uncertainty in ethics (MacAskill, Bykvist, and Ord 2020), and about the inductive risk problem for animal welfare scientists (Birch 2018). I elucidate upon the (...) possible meanings of the phrase “a too good human brain surrogate” used by Henry T. Greely (2021), and I demonstrate that the evaluation of the practical and regulatory implications of the “goodness” of such surrogates created for research purposes should be sensitive to the possible consequences of two types of errors: the under-attribution and over-attribution of moral status to such beings. Many authors writing about this topic (including Greely 2021, but see also, e.g., Koplin and Savulescu 2019) concentrate only on the first type of error, neglecting the negative consequences of the second type, i.e., over-attribution. (shrink)

Its interpretation, however, is as unsettled now as in the heroic days of Einstein and Bohr.This book focuses on quantum non-locality, the curious quantum ...

This book uses the formal semantics of counterfactual conditionals to analyze the problem of non-locality in quantum mechanics. Counterfactual conditionals enter the analysis of quantum entangled systems in that they enable us to precisely formulate the locality condition that purports to exclude the existence of causal interactions between spatially separated parts of a system. They also make it possible to speak consistently about alternative measuring settings, and to explicate what is meant by quantum property attributions. The book develops the possible-world (...) semantics of quantum counterfactuals using David Lewis's famous approach as a starting point but modifying it significantly in order to achieve compatibility with the demands of the special theory of relativity as well as quantum mechanics. There have been several attempts to use counterfactuals semantics to strengthen Bell's theorem and its cognates such as the GHZ and Hardy theorems. These are critically evaluated in the book. Finally, a counterfactual reconstruction of the EPR argument and Bell's theorem is proposed that sheds a new light on their philosophical consequences regarding the relations between realism and local causation. (shrink)

In this paper I present an argument in favour of a parental duty to use preimplantation genetic diagnosis (PGD). I argue that if embryos created in vitro were able to decide for themselves in a rational manner, they would sometimes choose PGD as a method of selection. Couples, therefore, should respect their hypothetical choices on a principle similar to that of patient autonomy. My thesis shows that no matter which moral doctrine couples subscribe to, they ought to conduct the PGD (...) procedure in the situations when it is impossible to implant all of the created embryos and if there is a significant risk for giving birth to a child with a serious condition. (shrink)

We prove that all semisimple varieties of FL ew-algebras are discriminator varieties. A characterisation of discriminator and EDPC varieties of FL ew-algebras follows. It matches exactly a natural classification of logics over FL ew proposed by H. Ono.

To analyze potential negative consequences of adopting generative AI solutions in the digital afterlife industry (DAI), in this paper we present three speculative design scenarios for AI-enabled simulation of the deceased. We highlight the perspectives of the data donor, data recipient, and service interactant – terms we employ to denote those whose data is used to create ‘deadbots,’ those in possession of the donor’s data after their death, and those who are meant to interact with the end product. We draw (...) on the scenarios to map out several key ethical concerns posed by ‘re-creation services’ and to put forward recommendations on the ethical development of AI systems in this specific area of application. The recommendations, targeted at providers of AI-enabled re-creation services, include suggestions for developing sensitive procedures for retiring deadbots, ensuring meaningful transparency, restricting access to such services to adult users only, and adhering to the principle of mutual consent of both data donors and service interactants. While we suggest practical solutions to the socio-ethical challenges posed by the emergence of re-creation services, we also emphasize the importance of ongoing interdisciplinary research at the intersection of the ethics of AI and the ethics of the DAI. (shrink)

Varieties like groups, rings, or Boolean algebras have the property that, in any of their members, the lattice of congruences is isomorphic to a lattice of more manageable objects, for example normal subgroups of groups, two-sided ideals of rings, filters (or ideals) of Boolean algebras.algebraic logic can explain these phenomena at a rather satisfactory level of generality: in every member A of a τ-regular variety ������ the lattice of congruences of A is isomorphic to the lattice of deductive filters on (...) A of the τ-assertional logic of ������. Moreover, if ������ has a constant 1 in its type and is 1-subtractive, the deductive filters on A ∈ ������ of the 1-assertional logic of ������ coincide with the ������-ideals of A in the sense of Gumm and Ursini, for which we have a manageable concept of ideal generation. However, there are isomorphism theorems, for example, in the theories of residuated lattices, pseudointerior algebras and quasi-MV algebras that cannot be subsumed by these general results. The aim of the present paper is to appropriately generalise the concepts of subtractivity and τ-regularity in such a way as to shed some light on the deep reason behind such theorems. The tools and concepts we develop hereby provide a common umbrella for the algebraic investigation of several families of logics, including substructural logics, modal logics, quantum logics, and logics of constructive mathematics. (shrink)

Standard deontic logic (SDL) is defined on the basis of possible world semantics and is a logic of alethic-deontic modalities rather than deontic modalities alone. The interpretation of the concepts of obligation and permission comes down exclusively to the logical value that a sentence adopts for the accessible deontic alternatives. Here, we set forth a different approach, this being a logic which additionally takes into consideration whether sentences stand in relation to the normative system or to the system of values (...) under which we predicate the deontic qualifications. By taking this aspect into account, we arrive at a logical system which preserves laws proper to a deontic logic but where the standard paradoxes of deontic logic do not arise. It is a logic of strictly-deontic modalities DR. (shrink)

According to constitutive reductionism of Derek Parfit, a subject/person is not a separate existing being but his existence consists in the existence of a brain and body, performance of actions, thinking and occurrence of other physical and mental events. The identity of the subject in time comes down only to “Relation R” - mental consistency and/or connectedness – elicited by appropriate reasons. In the following article, I will try, relying on Frank Johnson's Knowledge Argument, to argue in favour of the (...) following conclusions: a person/subject is a “fact”irreducible to body and physical relations with the environment and a subject is something/”fact” non-reducible to mental occurrences. (shrink)

Reclamation of a slur involves the creation of a new, positively-valenced meaning that gradually replaces the old pejorative meaning. This means that at a critical stage, the slur is ambiguous. It has been claimed that this ambiguity is polysemy. However, it is far from clear whether the view can explain why the introduction of the new meaning forces the old one out of existence. I argue that this datapoint can be explained by invoking the mechanism of homonymic conflict, and, therefore, (...) that the ambiguity involved in reclamation is homonymy. One generalization that follows from my account is that conventionalized verbal irony, unlike conventionalized metonymy and metaphor, begets homonymy. Along the way, I criticize the standard ways of drawing the distinction between polysemy and homonymy in terms of semantic and etymological relatedness. If the notions of polysemy and homonymy are to be invoked in explanations, they should be understood in terms of how meanings are stored in the mental lexicon. My account also provides an elegant way of conceptualizing the difference between two types of conceptual engineering, namely reclamation and amelioration. (shrink)

The development of innovative biomedical technologies that use gene editing tools opens up new possibilities in the treatment of rare diseases, as well as diseases that were not previously treated...

This paper addresses the issue of the multiplicity of various grades of discernibility that can be defined in model theory. Building upon earlier works on the subject, I first expand the known logical categorizations of discernibility by introducing several symmetry-based concepts of discernibility, including one I call “witness symmetry-discernibility”. Then I argue that only grades of discernibility stronger than this one possess certain intuitive features necessary to individuate objects. Further downsizing of the set of non-equivalent grades of discernibility can be (...) achieved by stipulating that any relation of discernibility should be applied only to those pairs of objects which have been previously distinguished from the rest of the universe. Restricting discernibility to pairs of objects satisfying this condition gives an additional bonus in the form of restoring the transitivity of some types of indiscernibility which have been known to be non-transitive. (shrink)

In the late 2010s, various international committees, expert groups, and national strategy boards have voiced the demand to ‘open’ the algorithmic black box, to audit, expound, and demystify artificial intelligence. The opening of the algorithmic black box, however, cannot be seen only as an engineering challenge. In this article, I argue that only the sort of transparency that arises from critique—a method of theoretical examination that, by revealing pre-existing power structures, aims to challenge them—can help us produce technological systems that (...) are less deceptive and more just. I relate the question of AI transparency to the broader challenge of responsible making, contending that future action must aim to systematically reconcile design—as a way of concealing—with critique—as a manner of revealing. (shrink)

In recent years, the so-calledindispensability argument has been given a lotof attention by philosophers of mathematics.This argument for the existence of mathematicalobjects makes use of the fact, neglected inclassical schools of philosophy of mathematics,that mathematics is part of our best scientifictheories, and therefore should receive similarsupport to these theories. However, thisobservation raises the question about the exactnature of the alleged connection betweenexperience and mathematics (for example: is itpossible to falsify empirically anymathematical theorems?). In my paper I wouldlike to address this (...) question by consideringthe explicit assumptions of different versionsof the indispensability argument. My primaryclaim is that there are at least three distinctversions of the indispensability argument (andit can be even suggested that a fourth,separate version should be formulated). I willmainly concentrate my discussion on thisvariant of the argument, which suggests thepossibility of empirical confirmation ofmathematical theories. A large portion of mypaper will focus on the recent discussion ofthis topic, starting from the paper by E.Sober, who in my opinion put reasonablerequirements on what is to be counted as anempirical confirmation of a mathematicaltheory. I will develop his model into threeseparate scenarios of possible empiricalconfirmation of mathematics. Using an exampleof Hilbert space in quantum mechanicaldescription I will show that the most promisingscenario of empirical verification ofmathematical theories has neverthelessuntenable consequences. It will be hypothesizedthat the source of this untenability lies in aspecific role which mathematical theories playin empirical science, and that what is subjectto empirical verification is not themathematics used, but the representabilityassumptions. Further I will undertake theproblem of how to reconcile the allegedempirical verification of mathematics withscientific practice. I will refer to thepolemics between P. Maddy and M. Resnik,pointing out certain ambiguities of theirarguments whose source is partly the failure todistinguish carefully between different sensesof the indispensability argument. For thatreason typical arguments used in the discussionare not decisive, yet if we take into accountsome metalogical properties of appliedmathematics, then the thesis that mathematicshas strong links with experience seems to behighly improbable. (shrink)