This paper develops a theory of analog representation. We first argue that the mark of the analog is to be found in the nature of a representational system’s interpretation function, rather than in its vehicles or contents alone. We then develop the rulebound structure theory of analog representation, according to which analog systems are those that use interpretive rules to map syntactic structural features onto semantic structural features. The theory involves three degree-theoretic measures that capture three (...) independent ways in which a system can be more or less analog. We explain how our theory improves upon prior accounts of analog representation, provides plausible diagnoses for novel challenge cases, extends to hybrid systems that are partially analog and partially symbolic, and accounts for some of the advantages and disadvantages of representing analogically versus symbolically. (shrink)

Building on Christopher Peacocke’s account of analog perceptual contentand my own account of analog perceptual vehicles, I defend three claims: that theperception of magnitudes often has analog contents; that the perception of magni-tudes often has analog vehicles; and that the first claim is true in virtue of the second—that is, the analog vehicles help to ground the analog contents.

The abstract basis of modern computation is the formal description of a finite state machine, the Universal Turing Machine, based on manipulation of integers and logic symbols. In this contribution to the discourse on the computer-brain analogy, we discuss the extent to which analog computing, as performed by the mammalian brain, is like and unlike the digital computing of Universal Turing Machines. We begin with ordinary reality being a permanent dialog between continuous and discontinuous worlds. So it is with (...) computing, which can be analog or digital, and is often mixed. The theory behind computers is essentially digital, but efficient simulations of phenomena can be performed by analog devices; indeed, any physical calculation requires implementation in the physical world and is therefore analog to some extent, despite being based on abstract logic and arithmetic. The mammalian brain, comprised of neuronal networks, functions as an analog device and has given rise to artificial neural networks that are implemented as digital algorithms but function as analog models would. Analog constructs compute with the implementation of a variety of feedback and feedforward loops. In contrast, digital algorithms allow the implementation of recursive processes that enable them to generate unparalleled emergent properties. We briefly illustrate how the cortical organization of neurons can integrate signals and make predictions analogically. While we conclude that brains are not digital computers, we speculate on the recent implementation of human writing in the brain as a possible digital path that slowly evolves the brain into a genuine (slow) Turing machine. (shrink)

We analyze the properties of optimum portfolios, the price of which is considered a new quantum variable and derive a quantum analog of the Black-Scholes formula for the price of financial variables in assumption that the market dynamics can by considered as its continuous weak measurement at no-arbitrage condition.

The common account of the analog vs digital distinction is based on features of physical systems, being related to the usage of continuous vs discrete supports respectively. It is proposed here to alternatively characterize the concepts of analog and digital as related to coding systems, of which a formal definition is given, by suggesting that the distinction refers to the strategy adopted to define the coding function: extensional in digital systems, isomorphic intensional in analog systems. This thesis (...) is supported by examples, in particular of analog systems exploiting discrete supports, and is discussed to explain why digital coding is currently so widespread in technological and social practice. (shrink)

It has been known for long time that the cosmic sound wave was there since the early epoch of the Universe. Signatures of its existence are abound. However, such an acoustic model of cosmology is rarely developed fully into a complete framework from the notion of space, cancer therapy up to the sky. This paper may be the first attempt towards such a complete description of the Universe based on classical wave equation of sound. It is argued that one can (...) arrive at a consistent description of space, elementary particles, Sachs-Wolfe acoustic theorem, up to a novel approach for cancer therapy, starting from this simple classical wave equation of sound. We also discuss a plausible extension of Acoustic Sachs-Wolfe theorem based on its analogue with Klein-Gordon equation to become Acoustic Sachs-Wolfe-Christianto-Smarandache-Umniyati (ASWoCSU) equation. It is our hope that the new proposed equation can be verified with observation data. But we admit that our model is still in its infancy, more researches are needed to fill all the missing details. (shrink)

This chapter presents a re-understanding of the contents of our analog magnitude representations (e.g., approximate duration, distance, number). The approximate number system (ANS) is considered, which supports numerical representations that are widely described as fuzzy, noisy, and limited in their representational power. The contention is made that these characterizations are largely based on misunderstandings—that what has been called “noise” and “fuzziness” is actually an important epistemic signal of confidence in one’s estimate of the value. Rather than the ANS having (...) noisy or fuzzy numerical content, it is suggested that the ANS has exquisitely precise numerical content that is subject to epistemic limitations. Similar considerations will arise for other analog representations. The chapter discusses how this new understanding of ANS representations recasts the learnability problem for number and the conceptual changes that children must accomplish in the number domain. (shrink)

I discuss the early history of holography and explore how perceptions, applications, and forecasts of the subject were shaped by prior experience. I focus on the work of Dennis Gabor (1900–1979) in England,Yury N. Denisyuk (1927-2005) in the Soviet Union, and Emmett N. Leith (1927–2005) and Juris Upatnieks (b. 1936) in the United States. I show that the evolution of holography was simultaneously promoted and constrained by its identification as an analog of photography, an association that influenced its assessment (...) by successive audiences of practitioners, entrepreneurs, and consumers. One consequence is that holography can be seen as an example of a modern technical subject that has been shaped by cultural influences more powerfully than generally appreciated. Conversely, the understanding of this new science and technology in terms of an older one helps to explain why the cultural effects of holography have been more muted than anticipated by forecasters between the 1960s and 1990s. (shrink)

Reflection Theory holds that our sensations reflect physical properties, whereas Empiricism believes that sense (data), presentations, and phenomena are the ultimate existence. Lenin adhered to Reflection Theory and criticized Helmholtz’s sensory symbolism for affirming the similarity between a sensation and a physical property. By using information and color vision theories, analyzing the ostensive definition with inverted qualia, and extending the relativity principle, this paper affirms the external world’s existence independent of personal sensations. Still, it denies the similarity between a sense (...) and a physical property. Then, it improves symbolism to analog symbolism and Reflection Theory to Information Reflection Theory. (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)

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)

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.

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)

This note clarifies an error in the proof of the main theorem of “The Ricean Objection: An Analogue of Rice’s Theorem for First-Order Theories”, Logic Journal of the IGPL, 16(6): 585–590(2008).

The capacity for feature binding is typically explained in terms of the attribution model: a perceptual state selects an individual and attributes properties to it (Kahneman & Treisman 1984; Clark 2004; Burge 2010). Thus features are bound together in virtue of being attributed to the same individual. While the attribution model successfully explains some cases of binding in perception, not all binding need be understood as property attribution. This chapter argues that some forms of binding—those involving holistic iconic representations, which (...) bind features outside the limits of attention and object files—don’t fit the attribution model. The chapter then sketches an alternative coordination model of binding that construes icons as complex analog representations. (shrink)

An influential objection to the epistemic power of the imagination holds that it is uninformative. You cannot get more out of the imagination than you put into it, and therefore learning from the imagination is impossible. This paper argues, against this view, that the imagination is robustly informative. Moreover, it defends a novel account of how the imagination informs, according to which the imagination is informative in virtue of its analog representational format. The core idea is that analog (...) representations represent relations ‘for free,’ and this explains how the imagination can contain more information than is put into it. This account makes important contributions to both philosophy of mind, by showing how the imagination can generate new content that is not represented by a subject’s antecedent mental states, and epistemology, by showing how the imagination can generate new justification that is not conferred by a subject’s antecedent evidence. (shrink)

This article argues that if panpsychism is true, then there are grounds for thinking that digitally-based artificial intelligence may be incapable of having coherent macrophenomenal conscious experiences. Section 1 briefly surveys research indicating that neural function and phenomenal consciousness may be both analog in nature. We show that physical and phenomenal magnitudes—such as rates of neural firing and the phenomenally experienced loudness of sounds—appear to covary monotonically with the physical stimuli they represent, forming the basis for an analog (...) relationship between the three. Section 2 then argues that if this is true and micropsychism—the panpsychist view that phenomenal consciousness or its precursors exist at a microphysical level of reality—is also true, then human brains must somehow manipulate fundamental microphysical-phenomenal magnitudes in an analog manner that renders them phenomenally coherent at a macro level. However, Sect. 3 argues that because digital computation abstracts away from microphysical-phenomenal magnitudes—representing cognitive functions non-monotonically in terms of digits—digital computation may be inherently incapable of realizing coherent macroconscious experience. Thus, if panpsychism is true, digital AI may be incapable of achieving phenomenal coherence. Finally, Sect. 4 briefly examines our argument’s implications for Tononi’s Integrated Information Theory theory of consciousness, which we contend may need to be supplanted by a theory of macroconsciousness as analog microphysical-phenomenal information integration. (shrink)

On a now orthodox view, humans and many other animals are endowed with a “number sense”, or approximate number system (ANS), that represents number. Recently, this orthodox view has been subject to numerous critiques, with critics maintaining either that numerical content is absent altogether, or else that some primitive analog of number (‘numerosity’) is represented as opposed to number itself. We distinguish three arguments for these claims – the arguments from congruency, confounds, and imprecision – and show that none (...) succeed. We then highlight positive reasons for thinking that the ANS genuinely represents numbers. The upshot is that proponents of the orthodox view should not feel troubled by recent critiques of their position. (shrink)

This dissertation examines aspects of the interplay between computing and scientific practice. The appropriate foundational framework for such an endeavour is rather real computability than the classical computability theory. This is so because physical sciences, engineering, and applied mathematics mostly employ functions defined in continuous domains. But, contrary to the case of computation over natural numbers, there is no universally accepted framework for real computation; rather, there are two incompatible approaches --computable analysis and BSS model--, both claiming to formalise algorithmic (...) computation and to offer foundations for scientific computing. -/- The dissertation consists of three parts. In the first part, we examine what notion of 'algorithmic computation' underlies each approach and how it is respectively formalised. It is argued that the very existence of the two rival frameworks indicates that 'algorithm' is not one unique concept in mathematics, but it is used in more than one way. We test this hypothesis for consistency with mathematical practice as well as with key foundational works that aim to define the term. As a result, new connections between certain subfields of mathematics and computer science are drawn, and a distinction between 'algorithms' and 'effective procedures' is proposed. -/- In the second part, we focus on the second goal of the two rival approaches to real computation; namely, to provide foundations for scientific computing. We examine both frameworks in detail, what idealisations they employ, and how they relate to floating-point arithmetic systems used in real computers. We explore limitations and advantages of both frameworks, and answer questions about which one is preferable for computational modelling and which one for addressing general computability issues. -/- In the third part, analog computing and its relation to analogue (physical) modelling in science are investigated. Based on some paradigmatic cases of the former, a certain view about the nature of computation is defended, and the indispensable role of representation in it is emphasized and accounted for. We also propose a novel account of the distinction between analog and digital computation and, based on it, we compare analog computational modelling to physical modelling. It is concluded that the two practices, despite their apparent similarities, are orthogonal. (shrink)

This article values the importance of symbolic language through an Analog Hermeneutics and Communication Community. This philosophical itinerary starts in a collective subject called “Us” (“nosotros”) from the Latin American philosophical reflection. The symbol, such as meaningful space for semantics, shows up in a symbolic language that includes a variety of rationalities. This inclusion through symbolic language allows strengthening the “a priori” of a Communication Community that supports and ethical and historical “us”. For this purpose, an Analog Hermeneutics (...) is presented as a valid method for philosophical thinking around the symbolic language. The analogy allows considering the ambiguous and unambiguous of languages and the hermeneutics through the symbol allows us to speak and think beyond what is stated. The Analog Hermeneutics invites to recover the different meanings and to interpret the senses through the symbol in different cultures. The symbol is a new inspiration for traditional Philosophy because it recovers wisdoms, customs, images and traditions. (shrink)

I argue that the accounts of inference recently presented (in this journal) by Paul Boghossian, John Broome, and Crispin Wright are unsatisfactory. I proceed in two steps: First, in Sects. 1 and 2, I argue that we should not accept what Boghossian calls the “Taking Condition on inference” as a condition of adequacy for accounts of inference. I present a different condition of adequacy and argue that it is superior to the one offered by Boghossian. More precisely, I point out (...) that there is an analog of Moore’s Paradox for inference; and I suggest that explaining this phenomenon is a condition of adequacy for accounts of inference. Boghossian’s Taking Condition derives its plausibility from the fact that it apparently explains the analog of Moore’s Paradox. Second, in Sect. 3, I show that neither Boghossian’s, nor Broome’s, nor Wright’s account of inference meets my condition of adequacy. I distinguish two kinds of mistake one is likely to make if one does not focus on my condition of adequacy; and I argue that all three—Boghossian, Broome, and Wright—make at least one of these mistakes. (shrink)

I defend an analog of probabilism that characterizes rationally coherent estimates for chances. Specifically, I demonstrate the following accuracy-dominance result for stochastic theories in the C*-algebraic framework: supposing an assignment of chance values is possible if and only if it is given by a pure state on a given algebra, your estimates for chances avoid accuracy-dominance if and only if they are given by a state on that algebra. When your estimates avoid accuracy-dominance (roughly: when you cannot guarantee that (...) other estimates would be more accurate), I say that they are sufficiently coherent. In formal epistemology and quantum foundations, the notion of rational coherence that gets more attention requires that you never allow for a sure loss (or “Dutch book”) in a given sort of betting game; I call this notion full coherence. I characterize when these two notions of rational coherence align, and I show that there is a quantum state giving estimates that are sufficiently coherent, but not fully coherent. (shrink)

Many people have recently argued that we need to distinguish between experiences and seemings and that this has consequences for views about how perception provides evidence. In this article I spell out my take on these issues by doing three things. First, I distinguish between mere sensations like seeing pitch black all around you and perceptual experiences like seeing a red apple. Both have sensory phenomenology in presenting us with sensory qualities like colors, being analog in Dretske's sense, and (...) being fine-grained. However, only the latter have furthermore a perceptual phenomenology characterized by objectification and related dualities of perspectivality/completion and variation/constancy. Second, I elaborate on the reasons for thinking that both mere sensations and perceptual experiences need to be distinguished from accompanying seemings that passively assign things into conceptual categories and thereby tell you something about them. For example, when you look at a red apple and have the relevant recognitional abilities it will also normally seem to you that this is an apple. Finally, I argue that the best version of the popular dogmatist view about evidence is one which claims that it's neither experiences nor seemings by themselves, but rather the right sorts of composites of experiences and seemings that provide evidence. (shrink)

Advancements in computing, instrumentation, robotics, digital imaging, and simulation modeling have changed science into a technology-driven institution. Government, industry, and society increasingly exert their influence over science, raising questions of values and objectivity. These and other profound changes have led many to speculate that we are in the midst of an epochal break in scientific history. -/- This edited volume presents an in-depth examination of these issues from philosophical, historical, social, and cultural perspectives. It offers arguments both for and against (...) the epochal break thesis in light of historical antecedents. Contributors discuss topics such as: science as a continuing epistemological enterprise; the decline of the individual scientist and the rise of communities; the intertwining of scientific and technological needs; links to prior practices and ways of thinking; the alleged divide between mode-1 and mode-2 research methods; the commodification of university science; and the shift from the scientific to a technological enterprise. Additionally, they examine the epochal break thesis using specific examples, including the transition from laboratory to real world experiments; the increased reliance on computer imaging; how analog and digital technologies condition behaviors that shape the object and beholder; the cultural significance of humanoid robots; the erosion of scientific quality in experimentation; and the effect of computers on prediction at the expense of explanation. -/- Whether these events represent a historic break in scientific theory, practice, and methodology is disputed. What they do offer is an important occasion for philosophical analysis of the epistemic, institutional and moral questions affecting current and future scientific pursuits. (shrink)

It is often claimed that pre-attentive vision has an ‘iconic’ format. This is seen to explain pre-attentive vision's characteristically high processing capacity and to make sense of an overlap in the mechanisms of early vision and mental imagery. But what does the iconicity of pre-attentive vision amount to? This paper considers two prominent ways of characterising pre-attentive visual icons and argues that neither is adequate: one approach renders the claim ‘pre-attentive vision is iconic’ empirically false while the other obscures its (...) ability to do the explanatory work, which motivates positing pre-attentive visual icons in the first place. With this noted, I introduce the notion of an ‘Analogue Map’ and argue that it provides a superior characterisation of pre-attentive vision's iconicity. I then argue that this forces a reassessment of debates which have traditionally presupposed the iconicity of pre-attentive vision, emphasising ramifications for the viability of a format-based perception-thought border. (shrink)

Perceptual systems respond to proximal stimuli by forming mental representations of distal stimuli. A central goal for the philosophy of perception is to characterize the representations delivered by perceptual systems. It may be that all perceptual representations are in some way proprietarily perceptual and differ from the representational format of thought (Dretske 1981; Carey 2009; Burge 2010; Block ms.). Or it may instead be that perception and cognition always trade in the same code (Prinz 2002; Pylyshyn 2003). This paper rejects (...) both approaches in favor of perceptual pluralism, the thesis that perception delivers a multiplicity of representational formats, some proprietary and some shared with cognition. The argument for perceptual pluralism marshals a wide array of empirical evidence in favor of iconic (i.e., image-like, analog) representations in perception as well as discursive (i.e., language-like, digital) perceptual object representations. (shrink)

This essay aims to provide a self-contained introduction to time in relativistic cosmology that clarifies both how questions about the nature of time should be posed in this setting and the extent to which they have been or can be answered empirically. The first section below recounts the loss of Newtonian absolute time with the advent of special and general relativity, and the partial recovery of absolute time in the form of cosmic time in some cosmological models. Section II considers (...) the beginning and end of time in a broader class of models in which there is not an analog of Newtonian absolute time. As we will see, reasonable physical assumptions imply that the universe is finite to the past, and Section III turns to consideration of the “beginning” itself. We critically review conventional wisdom that a “singularity” reveals flaws in general relativity and briefly assess ways of avoiding the singularity. (shrink)

One of the most important abilities we have as humans is the ability to think about number. In this chapter, we examine the question of whether there is an essential connection between language and number. We provide a careful examination of two prominent theories according to which concepts of the positive integers are dependent on language. The first of these claims that language creates the positive integers on the basis of an innate capacity to represent real numbers. The second claims (...) that language’s function is to integrate contents from modules that humans share with other animals. We argue that neither model is successful. (shrink)

There is much discussion about whether the human mind is a computer, whether the human brain could be emulated on a computer, and whether at all physical entities are computers (pancomputationalism). These discussions, and others, require criteria for what is digital. I propose that a state is digital if and only if it is a token of a type that serves a particular function - typically a representational function for the system. This proposal is made on a syntactic level, assuming (...) three levels of description (physical, syntactic, semantic). It suggests that being digital is a matter of discovery or rather a matter of how we wish to describe the world, if a functional description can be assumed. Given the criterion provided and the necessary empirical research, we should be in a position to decide on a given system (e.g. the human brain) whether it is a digital system and can thus be reproduced in a different digital system (since digital systems allow multiple realization). (shrink)

An ongoing philosophical discussion concerns how various types of mental states fall within broad representational genera—for example, whether perceptual states are “iconic” or “sentential,” “analog” or “digital,” and so on. Here, I examine the grounds for making much more specific claims about how mental states are structured from constituent parts. For example, the state I am in when I perceive the shape of a mountain ridge may have as constituent parts my representations of the shapes of each peak and (...) saddle of the ridge. More specific structural claims of this sort are a guide to how mental states fall within broader representational kinds. Moreover, these claims have significant implications of their own about semantic, functional, and epistemic features of our mental lives. But what are the conditions on a mental state's having one type of constituent structure rather than another? Drawing on explanatory strategies in vision science, I argue that, other things being equal, the constituent structure of a mental state determines what I call its distributional properties—namely, how mental states of that type can, cannot, or must co‐occur with other mental states in a given system. Distributional properties depend critically on and are informative about the underlying structures of mental states, they abstract in important ways from aspects of how mental states are processed, and they can yield significant insights into the variegation of psychological capacities. (shrink)

DNA possesses a double nature: it is both an analog chemical compound and a digital carrier of information. By distinguishing these two aspects, this paper aims to reevaluate the legally and politically influential idea that the human genome forms part of the common heritage of mankind, an idea which is thought to conflict with the practice of patenting DNA. The paper explores the lines of reasoning that lead to the common heritage idea, articulates and motivates what emerges as the (...) most viable version of it, and assesses the extent to which this version conflicts with gene-patenting practices as exemplified by the U.S. regime. It concludes that the genome is best thought of as a repository of information to which humanity has a fiduciary relationship, and that on this view, the perceived conflict with gene-patenting largely dissolves. (shrink)

The evidential value of moral intuitions has been challenged by psychological work showing that the intuitions of ordinary people are affected by distorting factors. One reply to this challenge, the expertise defence, claims that training in philosophical thinking confers enhanced reliability on the intuitions of professional philosophers. This defence is often expressed through analogy: since we do not allow doubts about folk judgments in domains like mathematics or physics to undermine the plausibility of judgments by experts in these domains, we (...) also should not do so in philosophy. In this paper I clarify the logic of the analogy strategy, and defend it against recent challenges by Jesper Ryberg. The discussion exposes an interesting divide: while Ryberg’s challenges may weaken analogies between morality and domains like mathematics, they do not affect analogies to other domains, such as physics. I conclude that the expertise defence can be supported by analogical means, though care is required in selecting an appropriate analog. I discuss implications of this conclusion for the expertise defence debate and for study of the moral domain itself. (shrink)

It is possible to wholly exist at multiple spatial locations at the same time. At least, if time travel is possible and objects endure, then such must be the case. To accommodate this possibility requires the introduction of a spatial analog of either relativising properties to times—relativising properties to spatial locations—or of relativising the manner of instantiation to times—relativising the manner of instantiation to spatial locations. It has been suggested, however, that introducing irreducibly spatially relativised or spatially adverbialised properties (...) presents some difficulties for the endurantist. I will consider an objection according to which embracing such spatially relativised properties could lead us to reject mereology altogether in favour of a metaphysics according to which objects are wholly present at every space-time point at which they exist. I argue that although such a view is coherent, there are some good reasons to reject it. Moreover, I argue that the endurantist can introduce spatially relativised or adverbialised properties without conceding that objects lack spatial parts. Such a strategy has the additional advantage that it allows the endurantist not only to explain time travel, but also to reconcile our competing intuitions about cases of fission. (shrink)

Traditionally, Kantian ethics has been thought hostile to agents' well-being. Recent commentators have rightly called this view into question, but they do not push their challenge far enough. For they leave in place a fundamental assumption on which the traditional view rests, viz., that happiness is all there is to well-being. This assumption is important, since, combined with Kant’s rationalism about morality and empiricism about happiness, it implies that morality and well-being are at best extrinsically related. Since morality can only (...) make our lives go well by making us happy, and since morality can only make us happy by influencing our sensibility, morality is not its own reward--not really. It is simply the condition for some separate benefit. Drawing on Kant’s underappreciated discussion of self-contentment, an intellectual analog of happiness, I reconstruct an alternative account of morality’s relation to well-being. Morality does make our lives go well--and so is its own reward--not because it makes us happy but because it makes us self-contented. (shrink)

It is possible to wholly exist at multiple spatial locations at the same time. At least, if time travel is possible and objects endure, then such must be the case. To accommodate this possibility requires the introduction of a spatial analog of either relativising properties to times—relativising properties to spatial locations—or of relativising the manner of instantiation to times—relativising the manner of instantiation to spatial locations. It has been suggested, however, that introducing irreducibly spatially relativised or spatially adverbialised properties (...) presents some difficulties for the endurantist. I will consider an objection according to which embracing such spatially relativised properties could lead us to reject mereology altogether in favour of a metaphysics according to which objects are wholly present at every space-time point at which they exist. I argue that although such a view is coherent, there are some good reasons to reject it. Moreover, I argue that the endurantist can introduce spatially relativised or adverbialised properties without conceding that objects lack spatial parts. Such a strategy has the additional advantage that it allows the endurantist not only to explain time travel, but also to reconcile our competing intuitions about cases of fission. (shrink)

This paper argues that the idea of a computer is unique. Calculators and analog computers are not different ideas about computers, and nature does not compute by itself. Computers, once clearly defined in all their terms and mechanisms, rather than enumerated by behavioral examples, can be more than instrumental tools in science, and more than source of analogies and taxonomies in philosophy. They can help us understand semantic content and its relation to form. This can be achieved because they (...) have the potential to do more than calculators, which are computers that are designed not to learn. Today’s computers are not designed to learn; rather, they are designed to support learning; therefore, any theory of content tested by computers that currently exist must be of an empirical, rather than a formal nature. If they are designed someday to learn, we will see a change in roles, requiring an empirical theory about the Turing architecture’s content, using the primitives of learning machines. This way of thinking, which I call the intensional view of computers, avoids the problems of analogies between minds and computers. It focuses on the constitutive properties of computers, such as showing clearly how they can help us avoid the infinite regress in interpretation, and how we can clarify the terms of the suggested mechanisms to facilitate a useful debate. Within the intensional view, syntax and content in the context of computers become two ends of physically realizing correspondence problems in various domains. (shrink)

A uniform construction for sequent calculi for finite-valued first-order logics with distribution quantifiers is exhibited. Completeness, cut-elimination and midsequent theorems are established. As an application, an analog of Herbrand’s theorem for the four-valued knowledge-representation logic of Belnap and Ginsberg is presented. It is indicated how this theorem can be used for reasoning about knowledge bases with incomplete and inconsistent information.

There is a wealth of resources— ideas, insights, discoveries, inventions, traditions, cultures, languages, arts, religions, sciences, narratives, stories, poems, customs and norms, music and songs, games and personal experiences, and advertisements—that we produce, curate, consume, transmit, and inherit as humans. This wealth, which I define as semantic capital, gives meaning to, and makes sense of, our own existence and the world surrounding us. It defines who we are and enables humans to develop an individual and social life. This paper discusses (...) the shift from analog to digital semantic capital, and the extent to which this might affect the semanticisation of our identities, our lives and our realities. -/- . (shrink)

This paper refines a controversial proposal: that core systems belong to a perceptual kind, marked out by the format of its representational outputs. Following Susan Carey, this proposal has been understood in terms of core representations having an iconic format, like certain paradigmatically perceptual outputs. I argue that they don’t, but suggest that the proposal may be better formulated in terms of a broader analogue format type. Formulated in this way, the proposal accommodates the existence of genuine icons in perception, (...) and avoids otherwise troubling objections. (shrink)

How is it possible that emotions in the community can be influenced by media? According to the paper’s concept, this is only understandable if we accept with Marshall McLuhan that media and the human body are not separable. There is no divide. The medium is the message expressed through the body/human being. This has preconditions, because the connection must be based on an analog principle that serves as the transmitter. This lies in non-discursive affectively relevant forms and an equally (...) affectively evaluative mode of perception, as empirical research now confirms. On this basis, as Daniel N. Stern shows, people operate “with vigorous goal-directedness to assure social interactions.” This points to the second premise, that every body/human being – infallibly – perceives a promise in communion with others, namely that of happiness, security, and community. This concept has far-reaching implications for how communities understand themselves, as the research of poststructuralists and frame theorists demonstrates, and as the trial and death of Socrates in ancient Athens attests. (shrink)

The motivating question of this paper is: ‘How are our beliefs in the theorems of mathematics justified?’ This is distinguished from the question ‘How are our mathematical beliefs reliably true?’ We examine an influential answer, outlined by Russell, championed by Gödel, and developed by those searching for new axioms to settle undecidables, that our mathematical beliefs are justified by ‘intuitions’, as our scientific beliefs are justified by observations. On this view, axioms are analogous to laws of nature. They are postulated (...) to best systematize the data to be explained. We argue that there is a decisive difference between the cases. There is agreement on the data to be systematized in the scientific case that has no analog in the mathematical one. There is virtual consensus over observations, but conspicuous dispute over intuitions. In this respect, mathematics more closely resembles stereotypical philosophy. We conclude by distinguishing two ideas that have long been associated -- realism (the idea that there is an independent reality) and objectivity (the idea that in a disagreement, only one of us can be right). We argue that, while realism is true of mathematics and philosophy, these domains fail to be objective. One upshot of the discussion is that even questions of fundamental physics may fail to be objective in roughly the sense that the question, ‘Is the Parallel Postulate is true?’, understood as one of pure mathematics, fails to be. Another is a kind of pragmatism. Factual questions in mathematics, modality, logic, and evaluative areas go proxy for non-factual practical ones. -/- . (shrink)

Cases in which people are self-deceived seem to require that the person hold two contradictory beliefs, something which appears to be impossible or implausible. A phenomenon seen in some brain-damaged patients known as confabulation (roughly, an ongoing tendency to make false utterances without intent to deceive) can shed light on the problem of self-deception. The conflict is not actually between two beliefs, but between two representations, a 'conceptual' one and an 'analog' one. In addition, confabulation yields valuable clues about (...) the structure of normal human knowledge-gathering processes. [The hypothesis defended here is significantly altered and greatly expanded in my book Brain Fiction.]. (shrink)

A pardon is an act of mercy according to the law, but is a pardon mercy in an ordinary or genuine sense? What distinguishes a pardon from a lenient judicial sentence, which is not mercy by the law’s lights? These are questions about what mercy as it is understood in law has to do with mercy as it is understood outside of law, and about who in government acts mercifully and when, if indeed anyone in government ever does. Here I (...) propose a general analysis of mercy, then bring that analysis to bear on government action. Three features of my analysis are noteworthy. First, almost all existing analyses say that mercy is unconstrained in a normative sense, but I argue that mercy is unconstrained in the way that arbitrary power is unconstrained. Second, although it’s often assumed that mercy must be motivated by compassion, I show that mercy only requires acting with the intention to benefit the recipient. Third, my analysis says that mercy requires the giver of mercy to overcome a motivation to treat the recipient harshly. Given this analysis, few government acts are merciful, but pardon is an institutional approximation or analog of mercy. -/- . (shrink)

Advocates of dynamic systems have suggested that higher mental processes are based on continuous representations. In order to evaluate this claim, we first define the concept of representation, and rigorously distinguish between discrete representations and continuous representations. We also explore two important bases of representational content. Then, we present seven arguments that discrete representations are necessary for any system that must discriminate between two or more states. It follows that higher mental processes require discrete representations. We also argue that discrete (...) representations are more influenced by conceptual role than continuous representations. We end by arguing that the presence of discrete representations in cognitive systems entails that computationalism (i.e., the view that the mind is a computational device) is true, and that cognitive science should embrace representational pluralism. (shrink)

The ocean terrain spanning the globe is vast and complex—far from an immense flat plain of mud. To map these depths accurately and wisely, we must understand how cartographic abstraction and generalization work both in analog cartography and digital GIS. This chapter explores abstraction practices such as selection and exaggeration with respect to mapping the oceans, showing significant continuity in such practices across cartography and contemporary GIS. The role of measurement and abstraction—as well as of political and economic power, (...) and sexual and personal bias—in these sciences is illustrated by the biographies of Marie Tharp and Bruce Heezen, whose mapping of the Mid-Atlantic Ridge precipitated a paradigm shift in geology. (shrink)

In “Psychopower and Ordinary Madness” my ambition, as it relates to Bernard Stiegler’s recent literature, was twofold: 1) critiquing Stiegler’s work on exosomatization and artefactual posthumanism—or, more specifically, nonhumanism—to problematize approaches to media archaeology that rely upon technical exteriorization; 2) challenging how Stiegler engages with Giuseppe Longo and Francis Bailly’s conception of negative entropy. These efforts were directed by a prevalent techno-cultural qualifier: the rise of Synthetic Intelligence (including neural nets, deep learning, predictive processing and Bayesian models of cognition). This (...) paper continues this project but first directs a critical analytic lens at the Derridean practice of the ontologization of grammatization from which Stiegler emerges while also distinguishing how metalanguages operate in relation to object-oriented environmental interaction by way of inferentialism. Stalking continental (Kapp, Simondon, Leroi-Gourhan, etc.) and analytic traditions (e.g., Carnap, Chalmers, Clark, Sutton, Novaes, etc.), we move from artefacts to AI and Predictive Processing so as to link theories related to technicity with philosophy of mind. Simultaneously drawing forth Robert Brandom’s conceptualization of the roles that commitments play in retrospectively reconstructing the social experiences that lead to our endorsement(s) of norms, we compliment this account with Reza Negarestani’s deprivatized account of intelligence while analyzing the equipollent role between language and media (both digital and analog). (shrink)

Cognitive representations are typically analysed in terms of content, vehicle and format. While current work on formats appeals to intuitions about external representations, such as words and maps, in this paper we develop a computational view of formats that does not rely on intuitions. In our view, formats are individuated by the computational profiles of vehicles, i.e., the set of constraints that fix the computational transformations vehicles can undergo. The resulting picture is strongly pluralistic, it makes space for a variety (...) of different formats, and is intimately tied to the computational approach to cognition in cognitive science and artificial intelligence. (shrink)

Kant uses the concept of the symbol to show the complicated relationship between the autonomy of beauty and its systematic function as a transition from nature to freedom, which are the two most important topics in the third Critique. Beauty’s symbolism of morality lies in the analog between aesthetic reflection and moral disposition; concretely, it lies in the purity or disinterestedness and self-legislation as negative and positive freedom in both subjective states of mind. In this scenario, beauty’s symbolism does (...) not refer to aesthetic ideas that either involve intelligent interests (in the beauty of nature) or presuppose an end (in the beauty of art); it also cannot be grounded in the supersensible substrate, which is an elevated and metaphysical principle of the judgment of taste given in the Dialectic but not the original principle of subjective purposiveness in the Analytic. With this formal relationship, beauty and morality accelerate each other in the empirical-anthological sense—but they are also not a sufficient or necessary condition for each other. Furthermore, through symbolism, taste looks toward the intelligible and serves as a transition from nature to freedom from the transcendental perspective. (shrink)

Hybrid languages are introduced in order to evaluate the strength of “minimal” mereologies with relatively strong frame definability properties. Appealing to a robust form of nominalism, I claim that one investigated language \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal {H}_{\textsf {m}}$\end{document} is maximally acceptable for nominalistic mereology. In an extension \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal {H}_{\textsf {gem}}$\end{document} of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal {H}_{\textsf {m}}$\end{document}, a modal (...) class='Hi'>analog for the classical systems of Leonard and Goodman and Leśniewski is introduced and shown to be complete with respect to 0-deleted Boolean algebras. We characterize the formulas of first-order logic invariant for \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal {H}_{\textsf {gem}}$\end{document}-bisimulations. (shrink)

This paper is a new defense of type-B materialism against Jackson’s knowledge argument (1982) inspired by the Kantian main opposition between concepts and sensible intuitions. Like all materialists of type B, I argue that on her release from her black-and-white room, Mary makes cognitive progress. However, contrary to the so-called phenomenal concept strategy (henceforth PCS), I do not think that such progress can be accounted for in terms of the acquisition of new concepts. I also reject Tye’s recent account of (...) Mary’s cognitive progress as the acquisition of a “thing-knowledge.” What is crucial is not the Russellian opposition between knowing things and knowing truths but rather the Kantian opposition between conceptual and nonconceptual representations of the same thing (property). Mary’s phenomenal knowledge is here accounted for as the result of the cooperation of her newly acquired nonconceptual representation of the same phenomenal redness (the same thing) she had a conceptual representation before. As that new nonconceptual representation carries information about the same physical property she already represented but is now coded in analog rather than in digital form (Dretske, 1981), that nonconceptual representation can be accounted for in physical terms as Chalmers’s Master argument requires. Nevertheless, that representation can account for Mary’s cognitive progress since it carries information coded in analog form, something that the imprisoned she could never possess. (shrink)