In the accepted view, the basic disposition of believers is one of absolute obedience, humility, and lack of critique, doubt, or, indeed, defiance of God. Only through such a disposition do believers convey their absolute faith and establish the appropriate hierarchy between God and humans. This article challenges this view and argues that, in mainstream rabbinic tradition, the believer is not required to renounce his or her moral autonomy and certainly not his or her understanding of God and the world. (...) Indeed, faith rests on such understanding; moreover, human autonomy is the mechanism through which humans convey God’s goodness and perfection. Their questions and criticism are part of a persistent effort to close the evident gap between their assumptions about God’s goodness and the flawed imperfect reality. The analysis focuses on rabbinic tradition but its implications go beyond it, presenting a model of a life of faith that compels subjects, as believers, to preserve their constitutive foundations as rational autonomous creatures. (shrink)

We show that there is a restriction, or modification of the finite-variable fragments of First Order Logic in which a weak form of Craig's Interpolation Theorem holds but a strong form of this theorem does not hold. Translating these results into Algebraic Logic we obtain a finitely axiomatizable subvariety of finite dimensional Representable Cylindric Algebras that has the Strong Amalgamation Property but does not have the Superamalgamation Property. This settles a conjecture of Pigozzi [12].

This chapter investigates how a reading of Wittgenstein along the lines laid out by Cora Diamond makes room for a novel approach to ethical truth. Following Diamond, I develop the connection between the kinds of elucidatory propositions by means of which we spell out and maintain the shape of our theoretical thinking, such as “‘someone’ is not the name of someone” and “five plus seven equals twelve,” and the kind of propositions by means of which we spell out and maintain (...) the shape of ethical thinking, such as “slavery is unjust.” As Diamond points out in connection with the last example, this is a proposition that we take to be an undeniable truth; for anyone who would attempt to negate it would become unintelligible to us. In this sense this ethical truth spells out the limits of ethical thinking. And yet what counts as coherent thought about such matters tends to shift over time. Indeed the great difficulty of overcoming ethical disagreements has to do with the fact that what is at stake in them is not just the content, but the form and limits of thought. Nonetheless, Diamond proposes that ethical propositions may count as genuine truths. For this to make sense, a middle path between realism and relativism must be found. In order to show how this is possible, and in order to defend Diamond’s view, I propose to approach ethical truth by means of a disjunctivist strategy. On this approach, while we, just as much as our interlocutor, may at times be misled in our ethical thinking, and while we may at times fail to shape our ethical thought in ways that prevent us from gaining clarity on ethical matters, this does not detract from the fact that we may at times be right, and that we may then genuinely possess ethical truth. (shrink)

The question ‘What is computation?’ might seem a trivial one to many, but this is far from being in consensus in philosophy of mind, cognitive science and even in physics. The lack of consensus leads to some interesting, yet contentious, claims, such as that cognition or even the universe is computational. Some have argued, though, that computation is a subjective phenomenon: whether or not a physical system is computational, and if so, which computation it performs, is entirely a matter of (...) an observer choosing to view it as such. According to one view, which we dub bold anti-realist pancomputationalism, every physical object (can be said to) computes every computer program. According to another, more modest view, some computational systems can be ascribed multiple computational descriptions. We argue that the first view is misguided, and that the second view need not entail observer-relativity of computation. At least to a large extent, computation is an objective phenomenon. Construed as a form of information processing, we argue that information-processing considerations determine what type of computation takes place in physical systems. (shrink)

Which notion of computation (if any) is essential for explaining cognition? Five answers to this question are discussed in the paper. (1) The classicist answer: symbolic (digital) computation is required for explaining cognition; (2) The broad digital computationalist answer: digital computation broadly construed is required for explaining cognition; (3) The connectionist answer: sub-symbolic computation is required for explaining cognition; (4) The computational neuroscientist answer: neural computation (that, strictly, is neither digital nor analogue) is required for explaining cognition; (5) The extreme (...) dynamicist answer: computation is not required for explaining cognition. The first four answers are only accurate to a first approximation. But the “devil” is in the details. The last answer cashes in on the parenthetical “if any” in the question above. The classicist argues that cognition is symbolic computation. But digital computationalism need not be equated with classicism. Indeed, computationalism can, in principle, range from digital (and analogue) computationalism through (the weaker thesis of) generic computationalism to (the even weaker thesis of) digital (or analogue) pancomputationalism. Connectionism, which has traditionally been criticised by classicists for being non-computational, can be plausibly construed as being either analogue or digital computationalism (depending on the type of connectionist networks used). Computational neuroscience invokes the notion of neural computation that may (possibly) be interpreted as a sui generis type of computation. The extreme dynamicist argues that the time has come for a post-computational cognitive science. This paper is an attempt to shed some light on this debate by examining various conceptions and misconceptions of (particularly digital) computation. (shrink)

In recent decades, the scientific study of consciousness has significantly increased our understanding of this elusive phenomenon. Yet, despite critical development in our understanding of the functional side of consciousness, we still lack a fundamental theory regarding its phenomenal aspect. There is an “explanatory gap” between our scientific knowledge of functional consciousness and its “subjective,” phenomenal aspects, referred to as the “hard problem” of consciousness. The phenomenal aspect of consciousness is the first-person answer to “what it’s like” question, and it (...) has thus far proved recalcitrant to direct scientific investigation. Naturalistic dualists argue that it is composed of a primitive, private, non-reductive element of reality that is independent from the functional and physical aspects of consciousness. Illusionists, on the other hand, argue that it is merely a cognitive illusion, and that all that exists are ultimately physical, non-phenomenal properties. We contend that both the dualist and illusionist positions are flawed because they tacitly assume consciousness to be an absolute property that doesn’t depend on the observer. We develop a conceptual and a mathematical argument for a relativistic theory of consciousness in which a system either has or doesn’t have phenomenal consciousness with respect to some observer. Phenomenal consciousness is neither private nor delusional, just relativistic. In the frame of reference of the cognitive system, it will be observable and in other frame of reference it will not. These two cognitive frames of reference are both correct, just as in the case of an observer that claims to be at rest while another will claim that the observer has constant velocity. Given that consciousness is a relativistic phenomenon, neither observer position can be privileged, as they both describe the same underlying reality. Based on relativistic phenomena in physics we developed a mathematical formalization for consciousness which bridges the explanatory gap and dissolves the hard problem. Given that the first-person cognitive frame of reference also offers legitimate observations on consciousness, we conclude by arguing that philosophers can usefully contribute to the science of consciousness by collaborating with neuroscientists to explore the neural basis of phenomenal structures. (shrink)

Brain implants, such as Deep Brain Stimulation (DBS), which are designed to improve motor, mood and behavioural pathology, present unique challenges to our understanding of identity, agency and free will. This is because these devices can have visible effects on persons' physical and psychological properties yet are essentially undetectable when operating correctly. They can supplement and compensate for one's inherent abilities and faculties when they are compromised by neuropsychiatric disorders. Further, unlike talk therapy or pharmacological treatments, patients need not ‘do’ (...) anything for the treatment to take effect. If one accepts, as we argue here, that brain implants are unique among implantable types of devices, then this can have significant implications for what it means to persist as the same person and be the source of one's thoughts and actions. By examining two of the most common indications for DBS in current use, namely in the motor (Parkinson's Disease) and psychiatric (Major Depression) domains, we further argue that although DBS, as it is currently applied, does not necessarily represent a unique threat to personal identity and agency per se, it introduces an unprecedented ‘third party’ into the debate on these concepts. In this way, DBS can be used as a tool to begin probing, both conceptually and empirically, some of philosophy's most perennial metaphysical questions. (shrink)

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)

This paper presents a review of academic literature, policy documents from government organizations and international agencies, and reports from industries and popular media on the trends in Big Data utilization in key development issues and its worthwhileness, usefulness, and relevance. By looking at Big Data deployment in a number of key economic sectors, it seeks to provide a better understanding of the opportunities and challenges of using it for addressing key issues facing the developing world. It reviews the uses of (...) Big Data in agriculture and farming activities in developing countries to assess the capabilities required at various levels to benefit from Big Data. It also provides insights into how the current digital divide is associated with and facilitated by the pattern of Big Data diffusion and its effective use in key development areas. It also discusses the lessons that developing countries can learn from the utilization of Big Data in big corporations as well as in other activities in industrialized countries. (shrink)

The most contentious aspect of South Africa's Truth and Reconciliation Commission (TRC) concerned its amnesty‐granting powers. In return for perpetrators providing full disclosure about their crimes, the TRC was authorized to release them from both criminal responsibility and civil liability. This essay takes up the thorny question of how such a commission might be morally justified. Part 1 discusses the political circumstances that led to the creation of the TRC. Part 2 provides a critical survey of some previous attempts to (...) justify the commission's work. Part 3 offers a new justification, grounded in Adam Smith's notion of sympathy; after outlining some of the benefits of sympathy for political reconciliation, I argue that the work of a South African–style truth commission can promote sympathy between former enemies. (shrink)

The target article focuses on how attacker-defender conflicts are fought. This commentary complements it by considering how attacker-defender conflicts may be resolved at the bargaining table. I highlight multiple linkages between asymmetric intergroup conflict as modeled with the attacker-defender game and negotiation research and illustrate how the proposed model of attacker-defender conflicts can inspire new research on intergroup negotiation.

Major depression is among the most common, challenging and disabling conditions. It is highly heterogeneous, affects patients throughout the lifespan and, in up to one-third of people affected, res...

Advances in neuromodulation and an improved understanding of the anatomy and circuitry of psychopathology have led to a resurgence of interest in surgery for psychiatric disease. Clinical trials exploring deep brain stimulation (DBS), a focally targeted, adjustable and reversible form of neurosurgery, are being developed to address the use of this technology in highly selected patient populations. Psychiatric patients deemed eligible for surgical intervention, such as DBS, typically meet stringent inclusion criteria, including demonstrated severity, chronicity and a failure of conventional (...) therapy. Although a humanitarian device exemption by the US Food and Drug Administration exists for its use in obsessive-compulsive disorder, DBS remains a largely experimental treatment in the psychiatric context, with its use currently limited to clinical trials and investigative studies. The combination of a patient population at the limits of conventional therapy and a novel technology in a new indication poses interesting challenges to the informed consent process as it relates to clinical trial enrollment. These challenges can be divided into those that relate to the patient, their disease and the technology, with each illustrating how traditional conceptualisations of research consent may be inadequate in the surgical psychiatry context. With specific reference to risk analysis, patient autonomy, voluntariness and the duty of the clinician-researcher, this paper will discuss the unique challenges that clinical trials of surgery for refractory psychiatric disease present to the consent process. Recommendations are also made for an ethical approach to clinical trial consent acquisition in this unique patient population. (shrink)

Recent developments in the field of neurosurgery, specifically those dealing with the modification of mood and affect as part of psychiatric disease, have led some researchers to discuss the ethical implications of surgery to alter personality and personal identity. As knowledge and technology advance, discussions of surgery to alter undesirable traits, or possibly the enhancement of normal traits, will play an increasingly larger role in the ethical literature. So far, identity and enhancement have yet to be explored in a neurosurgical (...) context, despite the fact that 1) neurological disease and treatment both potentially alter identity, and 2) that neurosurgeons will likely be the purveyors of future enhancement implantable technology. Here, we use interviews with neurosurgical patients to shed light on the ethical issues and challenges that surround identity and enhancement in neurosurgery. The results provide insight into how patients approach their identity prior to potentially identity-altering procedures and what future ethical challenges lay ahead for clinicians and researchers in the field of neurotherapeutics. (shrink)

How are new Bayesian hypotheses generated within the framework of predictive processing? This explanatory framework purports to provide a unified, systematic explanation of cognition by appealing to Bayes rule and hierarchical Bayesian machinery alone. Given that the generation of new hypotheses is fundamental to Bayesian inference, the predictive processing framework faces an important challenge in this regard. By examining several cognitive‐level and neurobiological architecture‐inspired models of hypothesis generation, we argue that there is an essential difference between the two types of (...) models. Cognitive‐level models do not specify how they can be implemented in brains and include structures and assumptions that are external to the predictive processing framework. By contrast, neurobiological architecture‐inspired models, which aim to better resemble brain processes, fail to explain important capacities of cognition, such as categorization and few‐shot learning. The “scaling‐up” challenge for proponents of predictive processing is to explain the relationship between these two types of models using only the theoretical and conceptual machinery of Bayesian inference. (shrink)

Fear can undermine cooperation. It may discourage individuals from collaborating with others because of concerns about potential exploitation; prompt them to engage in defensive aggression by launching a preemptive strike; and propel power-seeking individuals to act dominantly rather than compassionately. Therefore, accumulated evidence requires a more contextualized consideration of the link between fear and cooperation in adults.

This paper deals with the question: What are the criteria that an adequate theory of computation has to meet? 1. Smith's answer: it has to meet the empirical criterion (i.e. doing justice to computational practice), the conceptual criterion (i.e. explaining all the underlying concepts) and the cognitive criterion (i.e. providing solid grounds for computationalism). 2. Piccinini's answer: it has to meet the objectivity criterion (i.e. identifying computation as a matter of fact), the explanation criterion (i.e. explaining the computer's behaviour), the (...) right things compute criterion, the miscomputation criterion (i.e. accounting for malfunctions), the taxonomy criterion (i.e. distinguishing between different classes of computers) and the empirical criterion. 3. Von Neumann's answer: it has to meet the precision and reliability of computers criterion, the single error criterion (i.e. addressing the impacts of errors) and the distinction between analogue and digital computers criterion. 4. “Everything” computes answer: it has to meet the implementation theory criterion by properly explaining the notion of implementation. -/- According to computationalists, minds are computational. Before we can judge the plausibility of any particular computationalist theory, we need to understand what notion of computation this theory employs. Although there are extant accounts of computation, any of which may, in principle, serve as a basis for computationalism, it isn’t clear that they’re all equivalent or even adequate as accounts of computation proper. By examining plausible alternatives to Smith’s adequacy criteria, our goal here is to resist his claim that no adequate account of computation proper is possible. (shrink)

Dreams are a remarkable experiment in psychology and neuroscience, conducted every night in every sleeping person. They show that the human brain, disconnected from the environment, can generate an entire world of conscious experiences by itself. Content analysis and developmental studies have promoted understanding of dream phenomenology. In parallel, brain lesion studies, functional imaging and neurophysiology have advanced current knowledge of the neural basis of dreaming. It is now possible to start integrating these two strands of research to address fundamental (...) questions that dreams pose for cognitive neuroscience: how conscious experiences in sleep relate to underlying brain activity; why the dreamer is largely disconnected from the environment; and whether dreaming is more closely related to mental imagery or to perception. (shrink)

Is reducing large-scale intergroup conflict the business of corporations? Although large corporations can use their power and prominence to reduce intergroup conflict in society, it is unclear to what extent stakeholders support corporate Intergroup Responsibility. Study 1 showed that support for CIR correlates in theoretically meaningful ways with relevant economic, social, and moral attitudes, including fair market ideology, consumer support for corporate social responsibility, social dominance orientation, symbolic racism, and moral foundations. Studies 2 and 3 employed experimental designs to test (...) the hypothesis that business leaders who advocate for intergroup tolerance boost perceptions of corporations and their leaders as moral, just, and fair, which in turn, increases stakeholders’ support for CIR. We found support for this hypothesis across two highly publicized and contentious events related to racial conflict in the U.S.: The White supremacy rally in Charlottesville and the federal government’s announcement about the planned rescinding of the Deferred Action for Childhood Arrivals immigration policy. Specifically, exposing participants to real-world tweets by CEOs who advocated intergroup tolerance following these events increased participants’ support for CIR. This effect was mediated by heightened perceptions of corporations and their leaders as moral, just, and fair. Taken together, these findings enhance our understanding of the factors that shape stakeholders’ reactions to CIR; highlight intergroup conflict as an emerging arena for CSR; and illustrate the power of ethical intergroup leadership. (shrink)

This book is an attempt to read the totality of Camus s oeuvre as a voyage, in which Camus approaches the fundamental questions of human existence: What is the meaning of life? Can ultimate values be grounded without metaphysical presuppositions? Can the pain of the other penetrate the thick shield of human narcissism and self-interest? Solipsism and solidarity are among the destinations Camus reaches in the course of this journey. This book is a new reading of one of the towering (...) humanists of the twentieth century, and sheds new light on his spiritual world.". (shrink)

There are currently considerable confusion and disarray about just how we should view computationalism, connectionism and dynamicism as explanatory frameworks in cognitive science. A key source of this ongoing conflict among the central paradigms in cognitive science is an equivocation on the notion of computation simpliciter. ‘Computation’ is construed differently by computationalism, connectionism, dynamicism and computational neuroscience. I claim that these central paradigms, properly understood, can contribute to an integrated cognitive science. Yet, before this claim can be defended, a better (...) understanding of ‘computation’ is required. ‘Digital computation’ is an ambiguous concept. It is not just the classical dichotomy between analogue and digital computation that is the basis for the equivocation on ‘computation’ simpliciter in cognitive science, but also the diversity of extant accounts of digital computation. There are many answers on what it takes for a system to perform digital computation. Answers to this problem range from Turing machine computation, through the formal manipulation of symbols, the execution of algorithms and others, to the strong-pancomputational thesis, according to which every physical system computes every Turing-computable function. Despite some overlap among them, extant accounts of concrete digital computation are non-equivalent, thus, rendering ‘digital computation’ ambiguous. The objective of this dissertation is twofold. First, it is to promote a clearer understanding of concrete digital computation. Accordingly, my main thesis is that not only are extant accounts of concrete digital computation non-equivalent, but most of them are inadequate. I show that these accounts are not just intensionally different (this is quite trivially the case), but also extensionally distinct. In the course of examining several key accounts of concrete digital computation, I propose the instructional information processing account, according to which digital computation is the processing of discrete data in accordance with finite instructional information. The second objective is to establish the foundational role of computation in cognitive science whilst rejecting the purported representational nature of computation. (shrink)

Growing interest in psychiatric neurosurgery, and in deep brain stimulation (DBS) in particular, requires that the field be placed in the appropriate historical and scientific context. Current methods of neuromodulation for refractory psychiatric conditions are premised on assumptions similar to those proposed in earlier attempts, namely, the number of resistant patients and the absence of any other effective treatments. As a result, a discussion of the current and future prospects, as well as the limits, of neuromodulation is required to avoid (...) a replay of earlier transgressions, and to place its current chapter in the appropriate historical and ethical context. (shrink)

This article analyses and interprets the works of Friedensreich Hundertwasser (1928-2000) as a source of inspiration for environmental ethics and offers an extended model of the Ecological Self based on an interpretation of his works. Hundertwasser was a prominent Jewish-Austrian artist and environmental activist, yet despite his commitment to environmental issues, he has not received the attention he deserves from the environmental ethics community. His works and writings suggest a critique and reformulation of the well-known concept of the Ecological Self. (...) This concept implies that humans are essentially embedded in the natural world - that the Self is porous and open rather than disengaged and atomistic. This article suggests an alternative, holistic and extended version of this concept. It assesses and incorporates additional layers found between humans and nature - clothing, architecture, urban environments, and social and political environments. (shrink)

Is the mathematical function being computed by a given physical system determined by the system’s dynamics? This question is at the heart of the indeterminacy of computation phenomenon (Fresco et al. [unpublished]). A paradigmatic example is a conventional electrical AND-gate that is often said to compute conjunction, but it can just as well be used to compute disjunction. Despite the pervasiveness of this phenomenon in physical computational systems, it has been discussed in the philosophical literature only indirectly, mostly with reference (...) to the debate over realism about physical computation and computationalism. A welcome exception is Dewhurst’s ([2018]) recent analysis of computational individuation under the mechanistic framework. He rejects the idea of appealing to semantic properties for determining the computational identity of a physical system. But Dewhurst seems to be too quick to pay the price of giving up the notion of computational equivalence. We aim to show that the mechanist need not pay this price. The mechanistic framework can, in principle, preserve the idea of computational equivalence even between two different enough kinds of physical systems, say, electrical and hydraulic ones. (shrink)

Let be a countable first order structure and endow the universe of with the discrete topology. Then the automorphism group of becomes a topological group. A tuple of automorphisms is defined to be weakly generic iff its diagonal conjugacy class (in the algebraic sense) is dense (in the topological sense) and the ‐orbit of each is finite. Existence of tuples of weakly generic automorphisms are interesting from the point of view of model theory as well as from the point of (...) view of finite combinatorics.The main results of the present work are as follows. In Theorem 2.6 we characterize the existence of tuples of weakly generic automorphisms with the aid of the profinite topology of free groups. In Corollary 2.12 we will show that if has finite topological rank r (and satisfies a further, mild technical condition) then the existence of a weakly generic tuple in implies the existence of weakly generic tuples in for all natural number. Finally, in Theorem 3.2 we show that if is a countable model of an ℵ0‐categorical, simple theory in which all types over the empty set are stationary and has a pair of weakly generic automorphisms then it has tuples of weakly generic automorphisms of arbitrary finite length.At the technical level we will combine elementary investigations about the profinite topology of free groups with the results of [11] about topological ranks of the automorphism groups of some structures. (shrink)

Cities are traditionally characterized as a sub-unit of the state that functions as a socioeconomic node. However, global trends in recent decades indicate that cities are gradually acquiring a semi-independent political role, challenging and contesting the nation state`s authority. Into the twenty-first century, cities` actions in global politics (e.g., supranational city-based networks) and within the state (e.g., sanctuary cities) indicate that they aspire to attain or even directly claim more political autonomy. However, achieving these localist goals sometimes warrants regional cooperation (...) with neighboring municipal jurisdictions, thereby engendering ad-hoc and bottom-up regionalisms. Addressing this phenomenon theoretically, this Article analyzes three empirically and conceptually distinct types of the localist-regionalist nexus, demonstrating different rationales: (1) regional cooperation supporting localist innovation independent of state intervention; (2) regional cooperation supporting localist contestation of state policies; and (3) regional solidarity in the face of national tensions. Based on recent examples from Israel, it analyzes these three types along with their political and normative implications. Despite various discrepancies and possible tensions between localism and regionalism, the main conclusion emerging from this Article is that these two principles are not mutually exclusive. Moreover, although there are legal, institutional, political, and ideological tensions between them, the analysis suggests a third way between localism or regionalism. Likewise, some types of regionalization may act as a mechanism or tactic to support and deepen localist agendas. (shrink)

Both left libertarians, who support the redistribution of income and wealth through taxation, and right libertarians, who oppose redistributive taxation, share an important view: that, looming catastrophes aside, the state must never redistribute any part of our body or our person without our consent. Cécile Fabre rejects that view. For her, just as the undeservedly poor have a just claim to money from their fellow citizens in order to lead a minimally flourishing life, the undeservedly ‘medically poor’ have a just (...) claim to help from fellow citizens in order to lead such a life. Such obligatory help may in principle involve even the supply of body parts for transplantation. The state ought to exact such resources from the medically rich whenever doing so would secure the prospect of a minimally flourishing life to the medically poor without denying that prospect to anyone else. Fabre criticizes Ronald Dworkin's belief in ‘a prophylactic line that comes close to making the body inviolate, that is, making body parts not parts of social resources at all’. For her, ‘Duties to help. . . do not stop at material resources: they involve the body. . . in invasive ways’. (shrink)

This essay offers a conception of logic by which logic may be considered to be exceptional among the sciences on the backdrop of a naturalistic outlook. The conception of logic focused on emphasises the traditional role of logic as a methodology for the sciences, which distinguishes it from other sciences that are not methodological. On the proposed conception, the methodological aims of logic drive its definitions and principles, rather than the description of scientific phenomena. The notion of a methodological discipline (...) is explained as a relation between disciplines or practices. Logic serves as a methodological discipline with respect to any theoretical practice, and this generality, as well as logic’s reflexive nature, distinguish it from other methodological disciplines. Finally, the evolution of model theory is taken as a case study, with a focus on its methodological role. Following recent work by John Baldwin and Juliette Kennedy, we look at model theory from its inception in the mid-twentieth century as a foundational endeavour until developments at the end of the century, where the classification of theories has taken centre-stage. (shrink)

Do the dynamics of a physical system determine what function the system computes? Except in special cases, the answer is no: it is often indeterminate what function a given physical system computes. Accordingly, care should be taken when the question ‘What does a particular neuronal system do?’ is answered by hypothesising that the system computes a particular function. The phenomenon of the indeterminacy of computation has important implications for the development of computational explanations of biological systems. Additionally, the phenomenon lends (...) some support to the idea that a single neuronal structure may perform multiple cognitive functions, each subserved by a different computation. We provide an overarching conceptual framework in order to further the philosophical debate on the nature of computational indeterminacy and computational explanation. (shrink)

Is the mathematical function being computed by a given physical system determined by the system’s dynamics? This question is at the heart of the indeterminacy of computation phenomenon (Fresco et al. [unpublished]). A paradigmatic example is a conventional electrical AND-gate that is often said to compute conjunction, but it can just as well be used to compute disjunction. Despite the pervasiveness of this phenomenon in physical computational systems, it has been discussed in the philosophical literature only indirectly, mostly with reference (...) to the debate over realism about physical computation and computationalism. A welcome exception is Dewhurst’s ([2018]) recent analysis of computational individuation under the mechanistic framework. He rejects the idea of appealing to semantic properties for determining the computational identity of a physical system. But Dewhurst seems to be too quick to pay the price of giving up the notion of computational equivalence. We aim to show that the mechanist need not pay this price. The mechanistic framework can, in principle, preserve the idea of computational equivalence even between two different enough kinds of physical systems, say, electrical and hydraulic ones. (shrink)

In this paper I discuss a prevailing view by which logical terms determine forms of sentences and arguments and therefore the logical validity of arguments. This view is common to those who hold that there is a principled distinction between logical and nonlogical terms and those holding relativistic accounts. I adopt the Tarskian tradition by which logical validity is determined by form, but reject the centrality of logical terms. I propose an alternative framework for logic where logical terms no longer (...) play a distinctive role. This account employs a new notion of semantic. (shrink)

There are many different notions of information in logic, epistemology, psychology, biology and cognitive science, which are employed differently in each discipline, often with little overlap. Since our interest here is in biological processes and organisms, we develop a taxonomy of functional information that extends the standard cue/signal distinction. Three general, main claims are advanced here. This new taxonomy can be useful in describing learning and communication. It avoids some problems that the natural/non-natural information distinction faces. Functional information is​ ​produced (...) through exploration and stabilisation processes. (shrink)

Wittgenstein’s Tractatus construes the nature of reasoning in a manner which sharply conflicts with the conventional wisdom that logic is normative, not descriptive of thought. For although we sometimes seem to reason incorrectly, Wittgenstein denies that we can make logical mistakes (5.473). My aim in this paper is to show that the Tractatus provides us with good reasons to rethink some of the central assumptions that are standardly made in thinking about the relation between logic and thought. In particular, the (...) rejection of logical mistakes is to be understood in connection with Wittgenstein’s non-psychological approach to the thinking subject (5.641). On Wittgenstein's view, inference, understanding, and meaning are holistically related; cases of defective reasoning are to be explained in terms of a defective grasp of meaning which manifests in an indeterminate use of signs. Invalid reasoning therefore does not count for Wittgenstein as a species of reasoning, but rather as the mere illusion of reasoning. The rejection of logical mistakes thus gives voice to a radical disjunctivist approach. (shrink)

Growing interest in psychiatric neurosurgery, and in deep brain stimulation (DBS) in particular, requires that the field be placed in the appropriate historical and scientific context. Current methods of neuromodulation for refractory psychiatric conditions are premised on assumptions similar to those proposed in earlier attempts, namely, the number of resistant patients and the absence of any other effective treatments. As a result, a discussion of the current and future prospects, as well as the limits, of neuromodulation is required to avoid (...) a replay of earlier transgressions, and to place its current chapter in the appropriate historical and ethical context. (shrink)

Volume 23, Issue 1, March 2020, Page 53-69.