Hume's attempt to show that deduction is the only legitimate form of inference presupposes that enumerative induction is the only non-deductive form of inference. In actuality, enumerative induction is not even a form of inference: all supposed cases of enumerative induction are disguised cases of Inference to the Best Explanation (IBE), so far as they aren't simply cases of mentation of a purely associative kind and, consequently, of a kind that is non-inductive and otherwise non-inferential. The justification for IBE lies (...) in two truths, each analytic, viz. that good explanations eliminate anomalies and, second, that anomaly-elimination is identical with discontinuity-elimination. Given these truisms, along with the empirical data to which even skeptics must grant that we have access, it follows that induction is truth-conducive, a corrollary being that skepticism with regard to the veridicality of our senses is indefensible. Hume's erroneous beliefs about non-deductive inference are consequences of his belief that the world has a digital, as opposed to an analogue, structure--of, in other words, his belief that the spatiotemporal manifold decomposes into minimal units. This belief of his is not only false, but analytically so, and its negation has the consequence--for reasons additional to the one already given---that many forms of skepticism are non-starters. It also has the consequence, later given empirical confirmation by the (apparent) truth of Relativity Theory, that spatiotemporal relations are causal relations. Finally, it has the consequence that, contrary to what Hume argues, there are instances of causation. Additional reinforcemet for this claim is shown to lie in a fact first identified by Kant, viz. that we couldn't even ask whether or not there were instances of causation unless there were in fact such instances. Other, similarly 'transcendental' arguments of Kant's are put forth, sometimes in a modified form, so as to buttress the anti-skeptical positions advocated in thsi paper. (shrink)

Relative to digital computation, analogue computation has been neglected in the philosophical literature. To the extent that attention has been paid to analogue computation, it has been misunderstood. The received view—that analogue computation has to do essentially with continuity—is simply wrong, as shown by careful attention to historical examples of discontinuous, discrete analogue computers. Instead of the received view, I develop an account of analogue computation in terms of a particular type of analogue representation that allows for discontinuity. This account (...) thus characterizes all types of analogue computation, whether continuous or discrete. Furthermore, the structure of this account can be generalized to other types of computation: analogue computation essentially involves analogue representation, whereas digital computation essentially involves digital representation. Besides being a necessary component of a complete philosophical understanding of computation in general, understanding analogue computation is important for computational explanation in contemporary neuroscience and cognitive science. (shrink)

We present a Bayesian analysis of the epistemology of analogue experiments with particular reference to Hawking radiation. Provided such experiments can be externally validated via universality arguments, we prove that they are confirmatory in Bayesian terms. We then provide a formal model for the scaling behaviour of the confirmation measure for multiple distinct realisations of the analogue system and isolate a generic saturation feature. Finally, we demonstrate that different potential analogue realisations could provide different levels of confirmation. Our results thus (...) provide a basis both to formalise the epistemic value of analogue experiments that have been conducted and to advise scientists as to the respective epistemic value of future analogue experiments. (shrink)

Summary Analogue models are actual physical setups used to model something else. They are especially useful when what we wish to investigate is difficult to observe or experiment upon due to size or distance in space or time: for example, if the thing we wish to investigate is too large, too far away, takes place on a time scale that is too long, does not yet exist or has ceased to exist. The range and variety of analogue models is too (...) extensive to attempt a survey. In this article, I describe and discuss several different analogue model experiments, the results of those model experiments, and the basis for constructing them and interpreting their results. Examples of analogue models for surface waves in lakes, for earthquakes and volcanoes in geophysics, and for black holes in general relativity, are described, with a focus on examining the bases for claims that these analogues are appropriate analogues of what they are used to investigate. A table showing three different kinds of bases for reasoning using analogue models is provided. Finally, it is shown how the examples in this article counter three common misconceptions about the use of analogue models in physics. (shrink)

Analogue Gravity Phenomenology is a collection of contributions that cover a vast range of areas in physics, ranging from surface wave propagation in fluids to nonlinear optics. The underlying common aspect of all these topics, and hence the main focus and perspective from which they are explained here, is the attempt to develop analogue models for gravitational systems. The original and main motivation of the field is the verification and study of Hawking radiation from a horizon: the enabling feature is (...) the possibility to generate horizons in the laboratory with a wide range of physical systems that involve a flow of one kind or another. The years around 2010 and onwards witnessed a sudden surge of experimental activity in this expanding field of research. However, building an expertise in analogue gravity requires the researcher to be equipped with a rather broad range of knowledge and interests. The aim of this book is to bring the reader up to date with the latest developments and provide the basic background required in order to appreciate the goals, difficulties and success stories in the field of analogue gravity. Each chapter of the book treats a different topic explained in detail by the major experts for each specific discipline. The first chapters give an overview of black hole spacetimes and Hawking radiation before moving on to describe the large variety of analogue spacetimes that have been proposed and are currently under investigation. This introductory part is then followed by an in-depth description of what are currently the three most promising analogue spacetime settings, namely surface waves in flowing fluids, acoustic oscillations in Bose-Einstein condensates and electromagnetic waves in nonlinear optics. Both theory and experimental endeavours are explained in detail. The final chapters refer to other aspects of analogue gravity beyond the study of Hawking radiation, such as Lorentz invariance violations and Brownian motion in curved spacetimes, before concluding with a return to the origins of the field and a description of the available observational evidence for horizons in astrophysical black holes. (shrink)

This book presents fresh insights into analogue quantum simulation. It argues that these simulations are a new instrument of science. They require a bespoke philosophical analysis, sensitive to both the similarities to and the differences with conventional scientific practices such as analogical argument, experimentation, and classical simulation. -/- The analysis situates the various forms of analogue quantum simulation on the methodological map of modern science. In doing so, it clarifies the functions that analogue quantum simulation serves in scientific practice. To (...) this end, the authors introduce a number of important terminological distinctions. They establish that analogue quantum ‘computation' and ‘emulation' are distinct scientific practices and lead to distinct forms of scientific understanding. The authors also demonstrate the normative value of the computation vs. emulation distinction at both an epistemic and a pragmatic level. -/- The volume features a range of detailed case studies focusing on: i) cold atom computation of many-body localisation and the Higgs mode; ii) photonic emulation of quantum effects in biological systems; and iii) emulation of Hawking radiation in dispersive optical media. Overall, readers will discover a normative framework to isolate and support the goals of scientists undertaking analogue quantum simulation and emulation. This framework will prove useful to both working scientists and philosophers of science interested in cutting-edge scientific practice. (shrink)

Pervasive digitality reveals us as analogue creatures that are unprepared for a world and a logic generated increasingly through automation. Promulgated by capitalism, digitality has created a new form of alienation, one far more powerful and comprehensive than that envisaged by either Marx or Lukács in the analogue-industrial age. Digital alienation-through-automation is the central process in our digital post-modernity. The effects reach increasing registers and spheres of culture, economy and politics. This essay considers the effects within the production of knowledge (...) within higher education. Through a critique of Clayton Christensen’s concept of ‘disruptive technologies’, it develops the argument that knowledge produced in our higher institutions of learning suffer from two forms of ‘knowledge capture’. The first and most comprehensive is knowledge increasingly oriented toward instrumental outcomes, generated in vocationally oriented and market-pressured contexts, and produced by the general-sector institutions; second is knowledge, much of it profound and potentially world-changing—in economics and climate science in the cases discussed here. These are generated in both prestigious general-sector universities, and in the elite Ivy League and Russell Group universities but are unable to gain traction with an ascendant and alien post-Westphalian, post-modern and post-Enlightenment political context—created by a globalising digitality. I argue that unless we recognise our analogue essence, and that this has been alienated by digital automation, then the aporias of digitality, with knowledge production an important element, then our institution of higher learning will continue to produce much valuable knowledge that has diminishing practical (political) effect. (shrink)

I argue that analogue mental representations possess a canonical decomposition into privileged constituents from which they compose. I motivate this suggestion, and rebut arguments to the contrary, through reflection on the approximate number system, whose representations are widely expected to have an analogue format. I then argue that arguments for the compositionality and constituent structure of these analogue representations generalize to other analogue mental representations posited in the human mind, such as those in early vision and visual imagery.

It is only now, with the rise of digitalization and the near-obsolescence of traditional technology, that we are becoming fully aware of the distinctive character of analogue photography. This owl-of-Minerva-like appreciation of the analogue has prompted photographic art practices that mine the medium for its specificity. Indeed, one could argue that analogue photography has only recently become a medium in the fullest sense of the term, for it is only when artists refuse to switch over to digital photographic technologies that (...) the question of what constitutes analogue photography as a medium is self-consciously posed. While the benefits of digitalization—in terms of accessibility, dissemination, speed, and efficiency—are universally acknowledged, some people are also beginning to reflect on what is being lost in this great technological revolution. In this context, artists' use of analogue film and the revival of early photographic techniques should be regarded as timely interventions, although these may strike some as anachronistic. This essay does not attempt an ontological inquiry into the essential nature of the analogue; rather, it is an effort to articulate something about the meaning of analogue photography as an artistic medium for contemporary artists by paying close attention to its meaning and stakes for particular artists. Instead of presenting a general survey, I want to consider the work of just two artists, Zoe Leonard and Tacita Dean, both of whose work is concerned with what is being lost. As Leonard put it: “New technology is usually pitched to us as an improvement. … But progress is always an exchange. We gain something, we give something else up. I'm interested in looking at some of what we are losing.”1 Tellingly, both artists have produced exhibitions simply called Analogue. Leonard gave the title to a large project she did between 1998 and 2009 consisting of 412 silver gelatin and c-prints of local shop fronts in lower Manhattan and poor market stalls around the world.2 Dean used it for a 2006 retrospective exhibition of her films, photographs, and drawings. (shrink)

Every definably complete expansion of an ordered field satisfies an analogue of the Baire Category Theorem.

This article re-examines some of the principal concepts of cybernetics — control, communication, feedback — and its preoccupation with the ‘coupling’ of human and machine in an increasingly automated world. Historically, the rise of cybernetics coincides with the so-called Space Age, where the kind of computerized control systems theorized in cybernetics were essential to the guidance and operation of the complex machinery required to place humans and machines in space. Taking the Apollo programme as a paradigmatic case of accelerated technological (...) evolution, the article looks at aspects of the human-machine relationship in Apollo and more specifically at the modes of interface — ‘analogue’ and ‘digital’ — which mediated that relationship. Despite a certain humanism of control which posits the human agent as the ultimate instance of perception, decision and action, it is argued that the evolutionary tendency detectable in the Apollo programme is towards the progressive marginalization, or ‘redundancy’, of the human agent. (shrink)

It is exceedingly frequent for people to speak of the ‘passing of time’. We do not, on the other hand, speak of the ‘passing of space’. There do not seem to be any common locutions concerning spatial passage analogous to those of time’s assumed passage. Further, there is a long held belief in the philosophy of time that there is no spatial analogue of the passage of time. This opinion does not take into account circumstances that cannot be noticed in (...) day-to-day existence and which indicate that there is such a spatial analogue. (shrink)

This paper provides the first systematic philosophical analysis of an increasingly important part of modern scientific practice: analogue quantum simulation. We introduce the distinction between `simulation' and `emulation' as applied in the context of two case studies. Based upon this distinction, and building upon ideas from the recent philosophical literature on scientific understanding, we provide a normative framework to isolate and support the goals of scientists undertaking analogue quantum simulation and emulation. We expect our framework to be useful to both (...) working scientists and philosophers of science interested in cutting-edge scientific practice. (shrink)

The problem of epistemic opacity in Artificial Intelligence is often characterised as a problem of intransparent algorithms that give rise to intransparent models. However, the degrees of transparency of an AI model should not be taken as an absolute measure of the properties of its algorithms but of the model’s degree of intelligibility to human users. Its epistemically relevant elements are to be specified on various levels above and beyond the computational one. In order to elucidate this claim, I first (...) contrast computer models and their claims to algorithm-based universality with cybernetics-style analogue models and their claims to structural isomorphism between elements of model and target system. While analogue models aim at perceptually or conceptually accessible model-target relations, computer models give rise to a specific kind of underdetermination in these relations that needs to be addressed in specific ways. I then undertake a comparison between two contemporary AI approaches that, although related, distinctly align with the above modelling paradigms and represent distinct strategies towards model intelligibility: Deep Neural Networks and Predictive Processing. I conclude that their respective degrees of epistemic transparency primarily depend on the underlying purposes of modelling, not on their computational properties. (shrink)

In this article we argue for the existence of ‘analogue simulation’ as a novel form of scientific inference with the potential to be confirmatory. This notion is distinct from the modes of analogical reasoning detailed in the literature, and draws inspiration from fluid dynamical ‘dumb hole’ analogues to gravitational black holes. For that case, which is considered in detail, we defend the claim that the phenomena of gravitational Hawking radiation could be confirmed in the case that its counterpart is detected (...) within experiments conducted on diverse realizations of the analogue model. A prospectus is given for further potential cases of analogue simulation in contemporary science. 1 Introduction2 Physical Background2.1 Hawking radiation in semi-classical gravity2.2 Modelling sound in fluids2.3 The acoustic analogue model of Hawking radiation3 Simulation and Analogy in Physical Theory3.1 Analogical reasoning and analogue simulation3.2 Confirmation via analogue simulation3.3 Recapitulation4 The Sound of Silence: Analogical Insights into Gravity4.1 Experimental realization of analogue models4.2 Universality and the Hawking effect4.3 Confirmation of gravitational Hawking radiation5 Prospectus. (shrink)

I reply to comments by David Miguel Gray and Grant Gillett concerning my paper, ‘The Generality Constraint and the Structure of Thought’.

In this paper is constructed an analogue of the square of opposition for propositions about relations between two non-empty sets. Unlike the classical square of opposition, the proposed scheme uses all logically possible syllogistic constants, formulated in V.I. Markin’s universal language for traditional positive syllogistic theories. This scheme can be called “Logical lantern”. The basic constants of this language are representing the five basic relations between two non-empty sets: equity, strict inclusion, reversed strict inclusion, intersection and exclusion (considered are only (...) the relations between sets, but not the relations of the sets to the universe). The other relations between sets are combinations (disjunctions) of the basic ones. There are 32 constants and 32 respective propositions, and the proposed diagram expresses and/or allows to deduce the logical relations among those propositions. The constructed scheme, making it possible to visually see the logical relations among propositions about relations between two non-empty sets, allows us to suggest considering logical relations not discussed previously: many-place Aristotelian-like logical relations among propositions: exhaustive _n_-place contrariety and exhaustive _n_-place subcontrariety (_n_ is a natural number, \(n>2\) ). (shrink)

In this paper, we present a logic MMLS5n which is a combination of multilattice logic and modal logic S5. MMLS5n is an extension of Kamide and Shramko’s modal multilattice logic which is a multilattice analogue of S4. We present a cut-free hypersequent calculus for MMLS5n in the spirit of Restall’s one for S5 and develop a Kripke semantics for MMLS5n, following Kamide and Shramko’s approach. Moreover, we prove theorems for embedding MMLS5n into S5 and vice versa. As a result, we (...) obtain completeness, cut elimination, decidability, and interpolation theorems for MMLS5n. Besides, we show the duality principle for MMLS5n. Additionally, we introduce a modification of Kamide and Shramko’s sequent calculus for their multilattice version of S4 which (in contrast to Kamide and Shramko’s original one) proves the interdefinability of necessity and possibility operators. Last, but not least, we present Hilbert-style calculi for all the logics in question as well as for a larger class of modal multilattice logics. (shrink)

We investigate the relationship between two approaches to modeling physical systems. On the first approach, simplifying assumptions are made about the level of detail we choose to represent in a computational simulation with an eye toward tractability. On the second approach simpler, analogue physical systems are considered that have more or less well-defined connections to systems of interest that are themselves too difficult to probe experimentally. Our interest here is in the connections between the artifacts of modeling that appear in (...) these two approaches. We begin by outlining an important respect in which the two are essentially dissimilar and then propose a method whereby overcoming that dissimilarity by hand results in usefully analogous behavior. We claim that progress can be made if we think of artifacts as clues to the projectible predicates proper to the models themselves. Our degree of control over the connection between interesting analogue physical systems and their targets arises from determining the projectible predicates in the analogue system through a combination of theory and experiment. To obtain a similar degree of control over the connection between large-scale, distributed simulations of complex systems and their targets we must similarly determine the projectible predicates of the simulations themselves. In general theory will be too intractable to be of use, and so we advocate an experimental program for determining these predicates. the object of the natural history which I propose is...to give light to the discovery of causes and supply a suckling philosophy with its first food . Francis Bacon, The Great Instauration. (shrink)

In this, journal, W. Buchholz gave an elegant proof of a characterization theorem for provably total recursive functions in the theory IDv for the v-times iterated inductive definitions . He characterizes the classes of functions by Hardy functions. In this note we will show that a slow growing analogue to the theorem can be obtained by a slight modification of Buchholz' proof.

We address an argument by Floridi (Synthese 168(1):151–178, 2009; 2011a), to the effect that digital and analogue are not features of reality, only of modes of presentation of reality. One can therefore have an informational ontology, like Floridi’s Informational Structural Realism, without commitment to a supposedly digital or analogue world. After introducing the topic in Sect. 1, in Sect. 2 we explain what the proposition expressed by the title of our paper means. In Sect. 3, we describe Floridi’s argument. In (...) the following three sections, we raise three difficulties for it, (i) an objection from intuitions: Floridi’s view is not supported by the intuitions embedded in the scientific views he exploits (Sect. 4); (ii) an objection from mereology: the view is incompatible with the world’s having parts (Sect. 5); (iii) an objection from counting: the view entails that the question of how many things there are doesn’t make sense (Sect. 6). In Sect. 7, we outline two possible ways out for Floridi’s position. Such ways out involve tampering with the logical properties of identity, and this may be bothersome enough. Thus, Floridi’s modus ponens will be our (and most ontologists’) modus tollens. (shrink)

Mirrored-self misidentification is the delusional belief that one's own reflection in the mirror is a stranger. In two experiments, we tested the ability of hypnotic suggestion to model this condition. In Experiment 1, we compared two suggestions based on either the delusion's surface features (seeing a stranger in the mirror) or underlying processes (impaired face processing). Fifty-two high hypnotisable participants received one of these suggestions either with hypnosis or without in a wake control. In Experiment 2, we examined the extent (...) to which social cues and role-playing could account for participants' behaviour by comparing the responses of 14 hypnotised participants to the suggestion for impaired face processing (reals) with those of 14 nonhypnotised participants instructed to fake their responses (simulators). Overall, results from both experiments confirm that we can use hypnotic suggestion to produce a compelling analogue of mirrored-self misidentification that cannot simply be attributed to social cues or role-playing. (shrink)

Analogue experiments have attracted interest for their potential to shed light on inaccessible domains. For instance, ‘dumb holes’ in fluids and Bose–Einstein condensates, as analogues of black holes, have been promoted as means of confirming the existence of Hawking radiation in real black holes. We compare analogue experiments with other cases of experiment and simulation in physics. We argue—contra recent claims in the philosophical literature—that analogue experiments are not capable of confirming the existence of particular phenomena in inaccessible target systems. (...) As they must assume the physical adequacy of the modelling framework used to describe the inaccessible target system, arguments to the conclusion that analogue experiments can yield confirmation for phenomena in those target systems, such as Hawking radiation in black holes, beg the question. (shrink)

In analogical reasoning, observations about one or more source domains provide varying degrees of support for a conjecture about a target domain. Norton (2021) challenges the usefulness of formal models of analogical inference. Other philosophers (Dardashti et al. 2019) develop just such formal models in order to show how analogue experiments can confirm a hypothesis, even when the target domain is inaccessible. This paper defends the value of quasi-formal models of analogical reasoning. Such models are broadly compatible with Norton’s position, (...) but help to clarify the structure of analogical reasoning and to identify basic requirements for a good analogical inference. (shrink)

This paper provides a method to obtain terminating analytic calculi for a large class of intuitionistic modal logics. For a given logic L with a cut-free calculus G that is an extension of G3ip the method produces a terminating analytic calculus that is an extension of G4ip and equivalent to G. G4ip was introduced by Roy Dyckhoff in 1992 as a terminating analogue of the calculus G3ip for intuitionistic propositional logic. Thus this paper can be viewed as an extension of (...) Dyckhoff’s work to intuitionistic modal logic. (shrink)

The relativistic formulation of Hide's “magnetic analogue” of Ertel's potential vorticity theorem is Dirac's “new classical theory of electrons”.

We continue the study of a theory which is a valued analogue of the theory of regular rings studied by Carson, Lipshitz and Saracino, characterize it as the model companion of the theory of Prüfer rings, and prove its decidability. We then link it to the theory of p.p. rings developed by Weispfenning and show that it admits quantifier elimination in a related language.

Sean Cubitt _The Cinema Effect_ Cambridge, Massachusetts: MIT Press, 2004 ISBN 0-262-03312-7 456 pp.

Rice's Theorem says that every nontrivia semantic property of programs is undecidable. In this spirit we show the following: Every nontrivia absolute counting property of circuits is UP-hard with respect to polynomial-time Turing reductions. For generators [31] we show a perfect analogue of Rice's Theorem.

The issue of abstractness raises two distinct questions. First, is there a format-independent magnitude representation? Second, does analogue magnitude really play a crucial role in the development of human mathematics? We suggest that neither developmental nor cultural studies support this notion. The field needs to redefine the properties of the core number representation as used in human arithmetic.

Phenomenology presents itself not as an explanation or interpretation of phenomena but as a description of them. Describing experience means making its internal structure explicit, which, in phenomenology, is an eidetic structure. The method of phenomenological explication or clarification is, however, by no means univocal. This paper aims to isolate the two fundamental ways in which phenomenological description is achieved. The first refers to a phenomenology of manifestation, based on the concept of determination or datum, which is realized in the (...) phenomenological-static approach and, in particular, on the concept of extensive quality. The second refers to a phenomenology of disposition, based on the concept of tension or force – which is realized in the genetic approach as well as in Merleau-Ponty’s phenomenology of perception – and, in particular on the concept of intensive or forceful quality. The analysis of the difference between the two approaches allows us to introduce the crucial distinction between digital and analogue dimensions within phenomenology. (shrink)

There are close similarities between the Weihrauch lattice and the zoo of axiom systems in reverse mathematics. Following these similarities has often allowed researchers to translate results from one setting to the other. However, amongst the big five axiom systems from reverse mathematics, so far $\mathrm {ATR}_0$ has no identified counterpart in the Weihrauch degrees. We explore and evaluate several candidates, and conclude that the situation is complicated.

In this paper we study the modal behavior of Σ-preservativity, an extension of provability which is equivalent to interpretability for classical superarithmetical theories. We explain the connection between the principles of this logic and some well-known properties of HA, like the disjunction property and its admissible rules. We show that the intuitionistic modal logic given by the preservativity principles of HA known so far, is complete with respect to a certain class of frames.

This article examines how modern Chinese Buddhism has been influenced by Christianity. For our purposes ‘modern Chinese Buddhism’ refers to a form of what has become known in the West as ‘Engaged Buddhism’, but in Chinese is known by titles which can be translated ‘Humanistic Buddhism’ or ‘Buddhism for Human Life’. This tradition was initiated on the Chinese mainland between the two World Wars by the monk Tài X?, and Part one of the article is devoted to him. Since the (...) communist conquest of China, its main branches have flourished in Taiwan, whence two of them have spread worldwide. The most successful, at least in numerical terms, has been Fo Guang Shan, founded by a personal disciple of Tài X?, Hsing Yun, now very old, and it is on this movement that we concentrate in Parts two and three. We differentiate between conscious imitation and analogous development due to similar social circumstances, and show how Protestant Christianity and Roman Catholicism have had different effects. In Part four, we examine Fo Guang Shan as a missionary religion. (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)

ABSTRACTVantage perspective during recall is thought to affect the emotionality and accessibility of distressing memories. This study aimed to test the effects of vantage perspective during recall...

We propose an analogy between optical holography and neural behavior as a hypothesis about the physical mechanisms of neural reuse. Specifically, parameters in optical holography (frequency, amplitude, and phase of the reference beam) may provide useful analogues for understanding the role of different parameters in determining the behavior of neurons (e.g., frequency, amplitude, and phase of spiking behavior).