Zygon®, Volume 57, Issue 2, Page 418-442, June 2022.

We explain the general significance of integer-based descriptors for natural shapes and show that the evolution of two such descriptors, called mechanical descriptors (the number _N_(_t_) of static balance points and the Morse–Smale graph associated with the scalar distance function measured from the center of mass) appear to capture (unlike classical geophysical shape descriptors) one of our most fundamental intuitions about natural abrasion: shapes get monotonically _simplified_ in this process. Thus mechanical descriptors help to establish a correlation between subjective and (...) objective descriptors of perceived objects. (shrink)

Plato claimed that the regular solids are the building blocks of all matter. His views, commonly referred to as the geometric atomistic model, had enormous impact on human thought despite the fact that four of the five Platonic solids can not fill space without gaps. In this paper we quantify these gaps, showing that the errors in Plato’s estimates were quite small. We also develop a mean field approximation to convex honeycombs using a generalized version of Plato’s idea. This approximation (...) not only admits to view convex mosaics in$$d=3$$d=3dimensions as a continuum but we also find that it is quite accurate, showing that Plato’s geometric intuition may have been remarkable. (shrink)

This article will explore a problem which is related to our moral obligations towards species. Although the re-creation of extinct animals has been discussed to some degree both in lay deliberations as well as by scientists, advocates tend to emphasize the technological and scientific value of such an endeavour, and the “coolness” factor, 32–33, 2013). This article will provide an argument in favour of re-creation based on normative considerations. The environmentalist community generally accepts that it is wrong to exterminate species, (...) for reasons beyond any instrumental value these species may have. It is often also claimed that humanity has a collective responsibility to either preserve or at least to not exterminate species. These two beliefs are here assumed to be correct. The argument presented here departs from and places these two ideas in a deontological framework, from which it is argued that when humanity causes the extinction of a species, this is a moral transgression, entailing a residual obligation. Such an obligation implies a positive duty to mitigate any harm caused by our moral failure. In light of recent scientific progress in the field of genetic engineering, it will be argued that humanity has a prima facie obligation to re-create species whose extinction mankind may have caused, also known as de-extinction. (shrink)

An intelligent machine surpassing human intelligence across a wide set of skills has been proposed as a possible existential catastrophe. Among those concerned about existential risk related to artificial intelligence, it is common to assume that AI will not only be very intelligent, but also be a general agent. This article explores the characteristics of machine agency, and what it would mean for a machine to become a general agent. In particular, it does so by articulating some important differences between (...) belief and desire in the context of machine agency. One such difference is that while an agent can by itself acquire new beliefs through learning, desires need to be derived from preexisting desires or acquired with the help of an external influence. Such influence could be a human programmer or natural selection. We argue that to become a general agent, a machine needs productive desires, or desires that can direct behavior across multiple contexts. However, productive desires cannot sui generis be derived from non-productive desires. Thus, even though general agency in AI could in principle be created by human agents, general agency cannot be spontaneously produced by a non-general AI agent through an endogenous process. In conclusion, we argue that a common AI scenario, where general agency suddenly emerges in a non-general agent AI, such as DeepMind’s superintelligent board game AI AlphaZero, is not plausible. (shrink)

In recent decades, non-representational approaches to mental phenomena and cognition have been gaining traction in cognitive science and philosophy of mind. In these alternative approach, mental representations either lose their central status or, in its most radical form, are banned completely. While there is growing agreement that non-representational accounts may succeed in explaining some cognitive capacities, there is widespread skepticism about the possibility of giving non-representational accounts of cognitive capacities such as memory, imagination or abstract thought. In this paper, I (...) will critically examine the view that there are fundamental limitations to non-representational explanations of cognition. Rather than challenging these arguments on general grounds, I will examine a set of human cognitive capacities that are generally thought to fall outside the scope of non-representational accounts, i.e. numerical cognition. After criticizing standard representational accounts of numerical cognition for their lack of explanatory power, I will argue that a non-representational approach that is inspired by radical enactivism offers the best hope for developing a genuine naturalistic explanatory account for these cognitive capacities. (shrink)

This paper expands Rami Ali’s dissolution of the gamer’s dilemma (Ethics Inf Technol 17:267-274, 2015). Morgan Luck’s gamer’s dilemma (Ethics Inf Technol 11(1):31-36, 2009) rests on our having diverging intuition when considering virtual murder and virtual child molestation in video games. Virtual murder is seemingly permissible, when virtual child molestation is not and there is no obvious morally relevant difference between the two. Ali argues that virtual murder and virtual child molestation are equally permissible/impermissible when considered under different modes of (...) engagement. To this end, Ali distinguishes between story-telling gameplay and simulation games, discussing both in depth. I build on the dissolution by looking into competitive gameplay in order to consider what the morally relevant difference between virtual murder and virtual child molestation might be when competing in a video game. I argue that when competitors consent to participate in a competition, the rules of the competition supersede everyday moral intuitions. As such, virtual competitions ought to represent such consent from virtual characters. Virtual children cannot be represented as giving consent to be molested because (1) children cannot be represented as giving sexual consent, and (2) consent to be possibly molested cannot be given. This creates a morally relevant difference between murder and molestation. By fully addressing competitive gameplay, I answer Luck’s worry that Ali’s dissolution is incomplete (Ethics Inf Technol 20:157-162, 2018). (shrink)

the Mona Lisa, the Mondscheinsonate, the Chanson d’automne are works of art, the salt shaker on your table, the car in your garage, or the pijamas on your bed are not. the basic question of the metaphysics of works of art is this: what makes a thing a work of art? that is: what sort of property do works of art have in virtue of which they are works of art? or more simply: what sort of property being a work (...) of art is? In this paper we argue that things are works of art in virtue of what they are like, their intrinsic features, that is, in virtue of the fact that they have the perceptual (auditory, visual, etc.) properties they have. In other words: being a work of art supervenes on perceptual-intrinsic features. Currently, this metaphysical view is extremely unpopular within the philosophy of art. It is unpopular because there allegedly exists a knock-down objection to it, the well-known argument from indiscernible counterparts. our thesis implies, among other things, that every perceptual duplicate of a work of art is also a work of art. according to the argument from indiscernible counterparts, however, there could be (or even: there are) indiscernible counterparts such that one of them is a work of art while the other is not. hence things cannot be works of art solely in virtue of what they are like. Our paper divides into three parts. In the first part we state our views. In the second part we defend it against various versions of the argument from indiscernible counterparts. (In doing so our position will become more plausible, we hope). In the final part we provide some meta-reflections on the matter. (shrink)

The uniform halting problem (UH) can be stated as follows.Give a decision procedure which for any given Turing machine (TM) will decide whether or not it has an immortal instantaneous description (ID).An ID is called immortal if it has no terminal successor. As it is generally the case in the literature (see e.g. Minsky [3, p. 118]) we assume that in an ID the tape must be blank except for some finite numbers of squares. If we remove this restriction the (...) UH becomes the immortality problem (IP). The UH should not be confused with the initialised uniform halting problem (whether or not a TM has an immortal ID when started in a specified state) which can easily be shown to be undecidable (see e.g. Minsky [3, p. 151]). (shrink)

Continuity as appears to us immediately by intuition differs from its current formalization, the arithmetical continuum or equivalently the set of real numbers used in modern mathematical analysis. Motivated by the known mathematical and physical problems arising from this formalization of the continuum, our aim in this paper is twofold. Firstly, by interpreting Chaitin’s variant of Gödel’s first incompleteness theorem as an inherent uncertainty or fuzziness of the arithmetical continuum, a formal set-theoretic entropy is assigned to the arithmetical continuum. Secondly, (...) by analyzing Noether’s theorem on symmetries and conserved quantities, we argue that whenever the four dimensional space-time continuum containing a single, stationary, asymptotically flat black hole is modeled by the arithmetical continuum in the mathematical formulation of general relativity, the hidden set-theoretic entropy of this latter structure reveals itself as the entropy of the black hole, indicating that this apparently physical quantity might have a pure set-theoretic origin, too. (shrink)

Embodied and extended cognition is a relatively new paradigm within cognitive science that challenges the basic tenet of classical cognitive science, viz. cognition consists in building and manipulating internal representations. Some of the pioneers of embodied cognitive science have claimed that this new way of conceptualizing cognition puts pressure on epistemological and ontological realism. In this paper I will argue that such anti-realist conclusions do not follow from the basic assumptions of radical embodied cognitive science. Furthermore I will show that (...) one can develop a form of realism that reflects rather than just accommodates the core principles of non-representationalist embodied cognitive science. (shrink)

The professions have focused considerable attention on developing codes of conduct. Despite their efforts there is considerable controversy regarding the propriety of professional codes of ethics. Many provisions of professional codes seem to exacerbate disputes between the profession and the public rather than providing a framework that satisfies the public''s desire for moral behavior.After examining three professional codes, we divide the provisions of professional codes into those provisions which urge professionals to avoid moral hazard, maintain professional courtesy and serve the (...) public interest. We note that whereas provisions urging the avoidance of moral hazard are uncontroversial, the public is suspicious of provisions protecting professional courtesy. Public interest provisions are controversial when the public and the profession disagree as to what is in the public interest. Based on these observations, we conclude with recommendations regarding the content of professional codes. (shrink)

Deindustrialization is a major burden on workers’ health in many countries, calling for theoretically informed sociological analysis. Here, we present a novel neoclassical sociological synthesis of the lived experience of deindustrialization. We conceptualize industry as a social institution whose disintegration has widespread implications for the social fabric. Combining Durkheimian and Marxian categories, we show that deindustrialization generates ruptures in economic production, which entail job and income loss, increased exploitation, social inequality, and the disruption of services. These ruptures spill over to (...) the field of social reproduction, generating material deprivation, job strain, fatalism, increased domestic workload, anomie, community disintegration, and alienation. These ruptures in social reproduction are sources of psychosocial stress, through which deindustrialization gets embodied as ill health and dysfunctional health behavior. We substantiate this framework through the extensive qualitative thematic analysis of 82 life history interviews in Hungary’s rust belt. (shrink)

A small but growing number of studies have aimed to understand, assess and reduce existential risks, or risks that threaten the continued existence of mankind. However, most attention has been focused on known and tangible risks. This paper proposes a heuristic for reducing the risk of black swan extinction events. These events are, as the name suggests, stochastic and unforeseen when they happen. Decision theory based on a fixed model of possible outcomes cannot properly deal with this kind of event. (...) Neither can probabilistic risk analysis. This paper will argue that the approach that is referred to as engineering safety could be applied to reducing the risk from black swan extinction events. It will also propose a conceptual sketch of how such a strategy may be implemented: isolated, self-sufficient, and continuously manned underground refuges. Some characteristics of such refuges are also described, in particular the psychosocial aspects. Furthermore, it is argued that this implementation of the engineering safety strategy safety barriers would be effective and plausible and could reduce the risk of an extinction event in a wide range of possible scenarios. Considering the staggering opportunity cost of an existential catastrophe, such strategies ought to be explored more vigorously. (shrink)

Econophysics is a new and exciting cross-disciplinary research field that applies models and modelling techniques from statistical physics to economic systems. It is not, however, without its critics: prominent figures in more mainstream economic theory have criticized some elements of the methodology of econophysics. One of the main lines of criticism concerns the nature of the modelling assumptions and idealizations involved, and a particular target are ‘kinetic exchange’ approaches used to model the emergence of inequality within the distribution of individual (...) monetary income. This article will consider such models in detail, and assess the warrant of the criticisms drawing upon the philosophical literature on modelling and idealization. Our aim is to provide the first steps towards informed mediation of this important and interesting interdisciplinary debate, and our hope is to offer guidance with regard to both the practice of modelling inequality, and the inequality of modelling practice. _1_ Introduction _1.1_ Econophysics and its discontents _1.2_ Against burglar economics _2_ Modelling Inequality _2.1_ Mainstream economic models for income distribution _2.2_ Econophysics models for income distribution _3_ Idealizations in Kinetic Exchange Models _3.1_ Binary interactions _3.2_ Conservation principles _3.3_ Exchange dynamics _ 4 _ Fat Tails and Savings _ 5 _ Evaluation. (shrink)

The current confrontation between Russia and Ukraine raises essential problems regarding ethics and laws of war. It also presents an opportunity to compose an ethics case study to analyze the idea of a just war. The present-day war of Russia’s aggression toward Ukraine can hardly be analyzed ethically. We lean back to the seminal ideas of just war theorists to argue that war must be waged in a manner that is consistent with moral and ethical principles, such as proportionality, discrimination, (...) and respect for the rights of non-combatants. This article emphasizes the relationship between war and politics, and the belief that military forces should be used rationally and calculatedly. Wars have influenced the development of the modern world history. The fall of the Soviet Union led to 30 years of peace; however, the ideas of its creators returned to contemporary Russian thinking. We attempt to draw conclusions based on the past to enable conflict to end peacefully and a balance to be restored. (shrink)

Disease prioritarianism is a principle that is often implicitly or explicitly employed in the realm of healthcare prioritization. This principle states that the healthcare system ought to prioritize the treatment of disease before any other problem. This article argues that disease prioritarianism ought to be rejected. Instead, we should adopt ‘the problem-oriented heuristic’ when making prioritizations in the healthcare system. According to this idea, we ought to focus on specific problems and whether or not it is possible and efficient to (...) address them with medical means. This has radical implications for the extension of the healthcare system. First, getting rid of the binary disease/no-disease dichotomy implicit in disease prioritarianism would improve the ability of the healthcare system to address chronic conditions and disabilities that often defy easy classification. Second, the problem-oriented heuristic could empower medical practitioners to address social problems without the need to pathologize these conditions. Third, the problem-oriented heuristic clearly states that what we choose to treat is a normative consideration. Under this assumption, we can engage in a discussion on de-medicalization without distorting preconceptions. Fourth, this pragmatic and de-compartmentalizing approach should allow us to reconsider the term ‘efficiency’. (shrink)

The `problem of time' is a cluster of interpretational and formal issues in the foundations of general relativity relating to both the representation of time in the classical canonical formalism, and to the quantization of the theory. The purpose of this short chapter is to provide an accessible introduction to the problem.

We claim that, as it stands, the Deutsch–Wallace–Everett approach to quantum theory is conceptually incoherent. This charge is based upon the approach’s reliance upon decoherence arguments that conflict with its own fundamental precepts regarding probabilistic reasoning in two respects. This conceptual conflict obtains even if the decoherence arguments deployed are aimed merely towards the establishment of certain ‘emergent’ or ‘robust’ structures within the wave function: To be relevant to physical science notions such as robustness must be empirically grounded, and, on (...) our analysis, this grounding can only plausibly be done in precisely the probabilistic terms that lead to conceptual conflict. Thus, the incoherence problems presented necessitate either the provision of a new, non-probabilistic empirical grounding for the notions of robustness and emergence in the context of decoherence, or the abandonment of the Deutsch–Wallace–Everett programme for quantum theory. (shrink)

As we learn more about the human brain, novel biotechnological means to modulate human behaviour and emotional dispositions become possible. These technologies could be used to enhance our morality. Moral bioenhancement, an instance of human enhancement, alters a person’s dispositions, emotions or behaviour in order to make that person more moral. I will argue that moral bioenhancement could be carried out in three different ways. The first strategy, well known from science fiction, is behavioural enhancement. The second strategy, favoured by (...) prominent defenders of moral bioenhancement, is emotional enhancement. The third strategy is the enhancement of moral dispositions, such as empathy and inequity aversion. I will argue that we ought to implement a combination of the second and third strategies. Furthermore, I will argue that the usual arguments against other instances of human enhancement do not apply to moral bioenhancement, or apply only to the first strategy, behavioural enhancement. (shrink)

This is a comprehensive study of the Derveni Papyrus. The papyrus, found in 1962 near Thessaloniki, is not only one of the oldest surviving Greek papyri but is also considered by scholars as a document of primary importance for a better understanding of the religious and philosophical developments in the fifth and fourth centuries BC. Gábor Betegh aims to reconstruct and systematically analyse the different strata of the text and their interrelation by exploring the archaeological context; the interpretation of rituals (...) in the first columns of the text; the Orphic poem commented on by the author of the papyrus; and the cosmological and theological doctrines which emerge from the Derveni author's exegesis of the poem. Betegh discusses the place of the text in the context of late Presocratic philosophy and offers an important preliminary edition of the text of the papyrus with critical apparatus and English translation. (shrink)

We study sincere-strategy preference-based approval voting , a system proposed by Brams and Sanver [1] and here adjusted so as to coerce admissibility of the votes , with respect to procedural control. In such control scenarios, an external agent seeks to change the outcome of an election via actions such as adding/deleting/partitioning either candidates or voters. SP-AV combines the voters' preference rankings with their approvals of candidates, where in elections with at least two candidates the voters' approval strategies are adjusted (...) – if needed – to approve of their most-preferred candidate and to disapprove of their least-preferred candidate. This rule coerces admissibility of the votes even in the presence of control actions, and hybridizes, in effect, approval with pluralitiy voting. We prove that this system is computationally resistant to 19 out of 22 types of constructive and destructive control. Thus, SP-AV has more resistances to control than is currently known for any other natural voting system with a polynomial-time winner problem. In particular, SP-AV is the second natural voting system with an easy winner-determination procedure that is known to have full resistance to constructive control, and unlike Copeland voting it in addition displays broad resistance to destructive control. (shrink)

We study sincere-strategy preference-based approval voting (SP-AV), a system proposed by Brams and Sanver [1] and here adjusted so as to coerce admissibility of the votes (rather than excluding inadmissible votes a priori), with respect to procedural control. In such control scenarios, an external agent seeks to change the outcome of an election via actions such as adding/deleting/partitioning either candidates or voters. SP-AV combines the voters' preference rankings with their approvals of candidates, where in elections with at least two candidates (...) the voters' approval strategies are adjusted – if needed – to approve of their most-preferred candidate and to disapprove of their least-preferred candidate. This rule coerces admissibility of the votes even in the presence of control actions, and hybridizes, in effect, approval with pluralitiy voting. We prove that this system is computationally resistant (i.e., the corresponding control problems are NP-hard) to 19 out of 22 types of constructive and destructive control. Thus, SP-AV has more resistances to control than is currently known for any other natural voting system with a polynomial-time winner problem. In particular, SP-AV is (after Copeland voting, see Faliszewski et al. [2, 3]) the second natural voting system with an easy winner-determination procedure that is known to have full resistance to constructive control, and unlike Copeland voting it in addition displays broad resistance to destructive control (© 2009 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim). (shrink)

BackgroundObtaining informed consent for participation in genomic research in low-income settings presents specific ethical issues requiring attention. These include the challenges that arise when providing information about unfamiliar and technical research methods, the implications of complicated infrastructure and data sharing requirements, and the potential consequences of future research with samples and data. This study investigated researchers’ and participants’ parents’ experiences of a consent process and understandings of a genome-wide association study of malaria involving children aged five and under in Mali. (...) It aimed to inform best practices in recruiting participants into genomic research.MethodsA qualitative rapid ethical assessment was undertaken. Fifty-five semi-structured interviews were conducted with the parents of research participants. An additional nine semi-structured interviews were conducted with senior research scientists, research assistants and with a member of an ethics committee. A focus group with five parents of research participants and direct observations of four consent processes were also conducted. French and translated English transcripts were descriptively and thematically coded using OpenCode software.ResultsParticipants’ parents in the MalariaGEN study had differing understandings of the causes of malaria, the rationale for collecting blood samples, the purposes of the study and the kinds of information the study would generate. Genomic aspects of the research, including the gene/environment interaction underlying susceptibility or resistance to severe malaria, proved particularly challenging to explain and understand.ConclusionsThis study identifies a number of areas to be addressed in the design of consent processes for genomic research, some of which require careful ethical analysis. These include determining how much information should be provided about differing aspects of the research and how best to promote understandings of genomic research. We conclude that it is important to build capacity in the design and conduct of effective and appropriate consent processes for genomic research in low and middle-income settings. Additionally, consideration should be given to the role of review committees and community consultation activities in protecting the interests of participants in genomic research. (shrink)

The concept of the “End of History” was originally developed by G. W. F. Hegel in the Phenomenology of the spirit in 1806 (Hegel, 2018). The concept can be closely related to a utopia, the completion of the work of philosophers, and the creation of a perfect framework of the finished system of ideas. Hegel had a lot of influence on Western philosophy with the development of this idea and on Marx, who obviously thought of history in dialectic terms. However, (...) he developed the idea of “communism”, which would have been a state of humankind very similar to the concept of Hegel, with no class differences and no opiates of the people—and no place for further development (Marx & Engels, 2002). The “End of History” is based on this theoretical viewpoint that mankind has reached the final and most advanced form of societal development. However, the theorists and their intellectual followers both have to realize a painful way that the phenomenon can only be attained preliminarily. It proves to be a utopia. (shrink)

Starting from a generalized Hamilton-Jacobi formalism, we develop a new framework for constructing observables and their evolution in theories invariant under global time reparametrizations. Our proposal relaxes the usual Dirac prescription for the observables of a totally constrained system and allows one to recover the influential partial and complete observables approach in a particular limit. Difficulties such as the non-unitary evolution of the complete observables in terms of certain partial observables are explained as a breakdown of this limit. Identification of (...) our observables relies upon a physical distinction between gauge symmetries that exist at the level of histories and states, and those that exist at the level of histories and not states. This distinction resolves a tension in the literature concerning the physical interpretation of the partial observables and allows for a richer class of observables in the quantum theory. There is the potential for the application of our proposal to the quantization of gravity when understood in terms of the Shape Dynamics formalism. (shrink)

Symplectic reduction is a formal process through which degeneracy within the mathematical representations of physical systems displaying gauge symmetry can be controlled via the construction of a reduced phase space. Typically such reduced spaces provide us with a formalism for representing both instantaneous states and evolution uniquely and for this reason can be justifiably afforded the status of fun- damental dynamical arena - the otiose structure having been eliminated from the original phase space. Essential to the application of symplectic reduction (...) is the precept that the first class constraints are the relevant gauge generators. This prescription becomes highly problematic for reparameterization invariant theories within which the Hamiltonian itself is a constraint; not least because it would seem to render prima facie distinct stages of a history physically identical and observable functions changeless. Here we will consider this problem of time within non-relativistic me- chanical theory with a view to both more fully understanding the temporal struc- ture of these timeless theories and better appreciating the corresponding issues in relativistic mechanics. For the case of nonrelativistic reparameterization invariant theory application of symplectic reduction will be demonstrated to be both unnec- essary; since the degeneracy involved is benign; and inappropriate; since it leads to a trivial theory. With this anti-reductive position established we will then examine two rival methodologies for consistently representing change and observable func- tions within the original phase space before evaluating the relevant philosophical implications. We will conclude with a preview of the case against symplectic re- duction being applied to canonical general relativity. (shrink)

Matti Häyry presents a new ethical theory that he calls “conflict-responsive need-based negative utilitarianism.”1 In this commentary, I present my critical observations on his main points against the more general background of utilitarianism and theories of value.

We develop and apply a multi-dimensional conception of explanatory depth towards a comparative analysis of inflationary and bouncing paradigms in primordial cosmology. Our analysis builds on earlier work due to Azhar and Loeb (2021) that establishes initial condition fine-tuning as a dimension of explanatory depth relevant to debates in contemporary cosmology. We propose dynamical fine-tuning and autonomy as two further dimensions of depth in the context of problems with instability and trans-Planckian modes that afflict bouncing and inflationary approaches respectively. In (...) the context of the latter issue, we argue that the recently formulated trans-Planckian censorship conjecture leads to a trade-off for inflationary models between dynamical fine-tuning and autonomy. We conclude with the suggestion that explanatory preference with regard to the different dimensions of depth is best understood in terms of differing attitudes towards heuristics for future model building. (shrink)

The uniform halting problem (UH) can be stated as follows:Give a decision procedure which for any given Turing machine (TM) will decide whether or not it has an immortal instantaneous description (ID).An ID is called immortal if it has no terminal successor. As it is generally the case in the literature (see e.g. Minsky [4, p. 118]) we assume that in an ID the tape must be blank except for some finite number of squares. If we remove this restriction the (...) UH becomes the immortality problem (IP). (shrink)

Brain machine interface (BMI) technology makes direct communication between the brain and a machine possible by means of electrodes. This paper reviews the existing and emerging technologies in this field and offers a systematic inquiry into the relevant ethical problems that are likely to emerge in the following decades.

Here we investigate the classes RCA $^\uparrow_\alpha$ of representable directed cylindric algebras of dimension α introduced by Nemeti[12]. RCA $^\uparrow_\alpha$ can be seen in two different ways: first, as an algebraic counterpart of higher order logics and second, as a cylindric algebraic analogue of Quasi-Projective Relation Algebras. We will give a new, "purely cylindric algebraic" proof for the following theorems of Nemeti: (i) RCA $^\uparrow_\alpha$ is a finitely axiomatizable variety whenever α ≥ 3 is finite and (ii) one can obtain (...) a strong representation theorem for RCA $^\uparrow_\alpha$ if one chooses an appropriate (non-well-founded) set theory as foundation of mathematics. These results provide a purely cylindric algebraic solution for the Finitization Problem (in the sense of [11]) in some non-well-founded set theories. (shrink)

In 1981 Unruh proposed that fluid mechanical experiments could be used to probe key aspects of the quantum phenomenology of black holes. In particular, he claimed that an analogue to Hawking radiation could be created within a fluid mechanical `dumb hole', with the event horizon replaced by a sonic horizon. Since then an entire sub-field of `analogue gravity' has been created. In 2016 Steinhauer reported the experimental observation of quantum Hawking radiation and its entanglement in a Bose-Einstein condensate analogue black (...) hole. What can we learn from such analogue experiments? In particular, in what sense can they provide evidence of novel phenomena such as black hole Hawking radiation? (shrink)

A fundamental tenet of Paul Feyerabend’s pluralistic view of science has it that theory proliferation, that is, the availability of theoretical alternatives, is of crucial importance for the detection of anomalies in established theories. Paul Hoyningen-Huene calls this the Anomaly Importation Thesis, according to which anomalies are imported, as it were, into well-established theories from competing alternatives. This article pursues two major objectives: (a) to work out the systematic details of Feyerabend’s ideas on theory proliferation and anomaly import as they (...) are presented in his early publications and his Against Method and (b) to compare Feyerabend’s ideas on theory proliferation and anomaly import with corresponding features in Popper’s critical rationalist philosophy of science. As it turns out, neither the Principle of Proliferation nor the Anomaly Importation Thesis are necessarily incompatible with critical rationalism. In spite of Feyerabend’s general anti-Popperian attitude, I argue that theoretical pluralism can be seen as an advancement of the critical rationalist philosophy and that critical rationalism provides good arguments for pluralism. (shrink)

A physically consistent semi-classical treatment of black holes requires universality arguments to deal with the ‘trans-Planckian’ problem where quantum spacetime effects appear to be amplified such that they undermine the entire semi-classical modelling framework. We evaluate three families of such arguments in comparison with Wilsonian renormalization group universality arguments found in the context of condensed matter physics. Our analysis is framed by the crucial distinction between robustness and universality. Particular emphasis is placed on the quality whereby the various arguments are (...) underpinned by ‘integrated’ notions of robustness and universality. Whereas the principal strength of Wilsonian universality arguments can be understood in terms of the presence of such integration, the principal weakness of all three universality arguments for Hawking radiation is its absence. (shrink)

Current philosophical reflections on science have departed from mainstream history of science with respect to both methodology and conclusions. The article investigates how different approaches to reconstructing commitments can explain these differences and facilitate a mutual understanding and communication of these two perspectives on science. Translating the differences into problems pertaining to principles of charity, the paper offers a platform for clarification and resolution of the differences between the two perspectives. The outlined contextual approach occupies a middle ground between mainstream (...) history and sociology of science, bracketing questions of rationality, and individual coherence-maximizing, rationality-centered approaches. It can satisfy those, who believe that science is an epistemically privileged endeavor, and its epistemic content should not be neglected when reconstructing the scientists’ positions. It can also satisfy those who hold that it is naive to believe that the immediate context, e.g. the challenges to a theory, the expectations of the author about his audience, etc., does not affect the position a scientist takes. Its theoretical considerations are exemplified with a close study of the debate following the 1672 publication of Newton's theory of light and colours, also offering a novel reading of the development of his methodological views concerning the demonstrativity of the famous crucial experiment. Although we only show the capacity of the framework to analyze a direct controversy, given that it is hard to think about any scientific text as detached from an argumentative context, this approach has the potential to be a general guide for interpretation. (shrink)