In his classic paper On Computable Numbers Turing analyzed what can be done by a human computor in a routine, “mechanical” way. He argued that mechanical op-erations obey locality conditions and are carried out on configurations satisfying boundedness conditions. Processes meeting these restrictive conditions can be shown to be computable by a Turing machine. Turing viewed memory limitations of computors as the ultimate reason for the restrictive conditions. In contrast, Gandy analyzed in his paper Church’s Thesis and Principles for Mechanisms (...) what can be done by “discrete deterministic mechanical devices” and appealed to physical considerations to motivate restrictive principles. These devices include, crucially, ones that carry out parallel processes, e.g., cellular automata. Following Turing’s methodological ways and guided by Conway’s “Game of Life” as a paradigm, Gandy formulated four restrictive principles and proved that devices satisfying them are computationally equivalent to Turing machines. (shrink)

Theory of Computation -- Computation by Abstracts Devices.

When we are concerned with the logical form of a computation and its formal properties, then it can be theoretically described in terms of mathematical and logical functions and relations between abstract entities. However, actual computation is realised by some physical process, and the latter is of course subject to physical laws and the laws of thermodynamics in particular. An issue that has been the subject of much controversy is that of whether or not there are any (...) systematic connections between the logical properties of computations considered abstractly and the thermodynamical properties of their concrete physical realizations. Landauer [R. Landauer, Irreversibility and heat generation in the computing process, IBM Journal of Research and Development 5 183–191. Reprinted in Leff and Rex ] proposed such a general connection, known as Landauer’s Principle. To resolve this matter an analysis of the notion of the implementation of a computation by a physical system is clearly required. Another issue that calls for an analysis of implementation is that of realism about computation. The account of implementation presented here is based on the notion of an L-machine. This is a hybrid physical-logical entity that combines a physical device, a specification of which physical states of that device correspond to various logical states, and an evolution of that device which corresponds to the logical transformation L. The most general form of Landauer’s Principle can be precisely stated in terms of L-machines, namely that the logical irreversibility of L implies the thermodynamic irreversibility of every corresponding L-machine. (shrink)

This book describes a novel methodology for studying algorithmic skills, intended as cognitive activities related to rule-based symbolic transformation, and argues that some human computational abilities may be interpreted and analyzed as genuine examples of extended cognition. It shows that the performance of these abilities relies not only on innate neurocognitive systems or language-related skills, but also on external tools and general agent–environment interactions. Further, it asserts that a low-level analysis, based on a set of core neurocognitive systems linking numbers (...) and language, is not sufficient to explain some specific forms of high-level numerical skills, like those involved in algorithm execution. To this end, it reports on the design of a cognitive architecture for modeling all the relevant features involved in the execution of algorithmic strategies, including external tools, such as paper and pencils. The first part of the book discusses the philosophical premises for endorsing and justifying a position in philosophy of mind that links a modified form of computationalism with some recent theoretical and scientific developments, like those introduced by the so-called dynamical approach to cognition. The second part is dedicated to the description of a Turing-machine-inspired cognitive architecture, expressly designed to formalize all kinds of algorithmic strategies. (shrink)

ABSTRACT I argue that this examination and appreciation for the shift to abductive reasoning should be extended to the intersection of neuroscience and novel brain-computer interfaces too. This paper highlights the implications of applying abductive reasoning to personalized implantable neurotechnologies. Then, it explores whether abductive reasoning is sufficient to justify insurance coverage for devices absent widespread clinical trials, which are better applied to one-size-fits-all treatments. INTRODUCTION In contrast to the classic model of randomized-control trials, often with a large number (...) of subjects enrolled, precision medicine attempts to optimize therapeutic outcomes by focusing on the individual.[i] A recent publication highlights the strengths and weakness of both traditional evidence-based medicine and precision medicine.[ii] Plus, it outlines a tension in the shift from evidence-based medicine’s inductive reasoning style (the collection of data to postulate general theories) to precision medicine’s abductive reasoning style (the generation of an idea from the limited data available).[iii] The paper’s main example is the application of precision medicine for the treatment of cancer.[iv] I argue that this examination and appreciation for the shift to abductive reasoning should be extended to the intersection of neuroscience and novel brain-computer interfaces too. As the name suggests, brain-computer interfaces are a significant advancement in neurotechnology that directly connects someone’s brain to external or implanted devices.[v] Among the various kinds of brain-computer interfaces, adaptive deep brain stimulation devices require numerous personalized adjustments to their settings during the implantation and computation stages in order to provide adequate relief to patients with treatment-resistant disorders. What makes these devices unique is how adaptive deep brain stimulation integrates a sensory component to initiate the stimulation. While not commonly at the level of sophistication as self-supervising or generative large language models,[vi] they currently allow for a semi-autonomous form of neuromodulation. This paper highlights the implications of applying abductive reasoning to personalized implantable neurotechnologies. Then, it explores whether abductive reasoning is sufficient to justify insurance coverage for devices absent widespread clinical trials, which are better applied to one-size-fits-all treatments.[vii] ANALYSIS I. The State of Precision Medicine in Oncology and the Epistemological Shift While a thorough overview of precision medicine for the treatment of cancer is beyond the scope of this article, its practice can be roughly summarized as identifying clinically significant characteristics a patient possesses (e.g., genetic traits) to land on a specialized treatment option that, theoretically, should benefit the patient the most.[viii] However, in such a practice of stratification patients fall into smaller and smaller populations and the quality of evidence that can be applied to anyone outside these decreases in turn.[ix] As inductive logic helps to articulate, the greater the number of patients that respond to a particular therapy the higher the probability of its efficacy. By straying from this logical framework, precision medicine opens the treatment of cancer to more uncertainty about the validity of these approaches to the resulting disease subcategories.[x] Thus, while contemporary medical practices explicitly describe some treatments as “personalized”, they ought not be viewed as inherently better founded than other therapies.[xi] A relevant contemporary case of precision medicine out of Norway focuses on the care of a patient with cancer between the ventricles of the heart and esophagus, which had failed to respond to the standard regimen of therapies over four years.[xii] In a last-ditch effort, the patient elected to pay out-of-pocket for an experimental immunotherapy (nivolumab) at a private hospital. He experienced marked improvements and a reduction in the size of the tumor. Understandably, the patient tried to pursue further rounds of nivolumab at a public hospital. However, the hospital initially declined to pay for it given the “lack of evidence from randomised clinical trials for this drug relating to this [patient’s] condition.”[xiii] In rebuttal to this claim, the patient countered that he was actually similar to a subpopulation of patients who responded in “open‐label, single arm, phase 2 studies on another immune therapy drug” (pembrolizumab).[xiv] Given this interpretation of the prior studies and the patient’s response, further rounds of nivolumab were approved. Had the patient not had improvements in the tumor’s size following a round of nivolumab, then pembrolizumab’s prior empirical evidence in isolation would have been insufficient, inductively speaking, to justify his continued use of nivolumab.[xv] The case demonstrates a shift in reasoning from the traditional induction to abduction. The phenomenon of ‘cancer improvement’ is considered causally linked to nivolumab and its underlying physiological mechanisms.[xvi] However, “the weakness of abductions is that there may always be some other better, unknown explanation for an effect. The patient may for example belong to a special subgroup that spontaneously improves, or the change may be a placebo effect. This does not mean, however, that abductive inferences cannot be strong or reasonable, in the sense that they can make a conclusion probable.”[xvii] To demonstrate the limitations of relying on the abductive standard in isolation, commentators have pointed out that side effects in precision medicine are hard to rule out as being related to the initial intervention itself unless trends from a group of patients are taken into consideration.[xviii] As artificial intelligence (AI) assists the development of precision medicine for oncology, this uncertainty ought to be taken into consideration. The implementation of AI has been crucial to the development of precision medicine by providing a way to combine large patient datasets or a single patient with a large number of unique variables with machine learning to recommend matches based on statistics and probability of success upon which practitioners can base medical recommendations.[xix] The AI is usually not establishing a causal relationship[xx] – it is predicting. So, as AI bleeds into medical devices, like brain-computer interfaces, the same cautions about using abductive reasoning alone should be carried over. II. Responsive Neurostimulation, AI, and Personalized Medicine Like precision medicine in cancer treatment, computer-brain interface technology similarly focuses on the individual patient through personalized settings. In order to properly expose the intersection of AI, precision medicine, abductive reasoning, and implantable neurotechnologies, the descriptions of adaptive deep brain stimulation systems need to deepen.[xxi] As a broad summary of adaptive deep brain stimulation, to provide a patient with the therapeutic stimulation, a neural signal, typically referred to as a local field potential,[xxii] must first be detected and then interpreted by the device. The main adaptive deep brain stimulation device with premarket approval, the NeuroPace Responsive Neurostimulation system, is used to treat epilepsy by detecting and storing “programmer-defined phenomena.”[xxiii] Providers can optimize the detection settings of the device to align with the patient’s unique electrographic seizures as well as personalize the reacting stimulation’s parameters.[xxiv] The provider adjusts the technology based on trial and error. One day machine learning algorithms will be able to regularly aid this process in myriad ways, such as by identifying the specific stimulation settings a patient may respond to ahead of time based on their electrophysiological signatures.[xxv] Either way, with AI or programmers, adaptive neurostimulation technologies are individualized and therefore operate in line with precision medicine rather than standard treatments based on large clinical trials. Contemporary neurostimulation devices are not usually sophisticated enough to be prominent in AI discussions where the topics of neural networks, deep learning, generative models, and self-attention dominate the conversation. However, implantable high-density electrocorticography arrays (a much more sensitive version than adaptive deep brain stimulation systems use) have been used in combination with neural networks to help patients with neurologic deficits from a prior stroke “speak” through a virtual avatar.[xxvi] In some experimental situations, algorithms are optimizing stimulation parameters with increasing levels of independence.[xxvii] An example of neurostimulation that is analogous to the use of nivolumab in Norway surrounds a patient in the United States who was experiencing both treatment-resistant OCD and temporal lobe epilepsy.[xxviii]Given the refractory nature of her epilepsy, implantation of an adaptive deep brain stimulation system was indicated. As a form of experimental therapy, her treatment-resistant OCD was also indicated for the off-label use of an adaptive deep brain stimulation set-up. Another deep brain stimulation lead, other than the one implanted for epilepsy, was placed in the patient’s right nucleus accumbens and ventral pallidum region given the correlation these nuclei had with OCD symptoms in prior research. Following this, the patient underwent “1) ambulatory, patient-initiated magnet-swipe storage of data during moments of obsessive thoughts; (2) lab-based, naturalistic provocation of OCD-related distress (naturalistic provocation task); and (3) lab-based, VR [virtual reality] provocation of OCD-related distress (VR provocation task).”[xxix] Such signals were used to identify when to deliver the therapeutic stimulation in order to counter the OCD symptoms. Thankfully, following the procedure and calibration the patient exhibited marked improvements in their OCD symptoms and recently shared her results publicly.[xxx] In both cases, there is a similar level of abductive justification for the efficacy of the delivered therapy. In the case study in which the patient was treated with adaptive deep brain stimulation, they at least had their neural activity tested in various settings to determine the optimum parameters for treatment to avoid them being based on guesswork. Additionally, the adaptive deep brain stimulation lead was already placed before the calibration trials were conducted, meaning that the patient had already taken on the bulk of the procedural risk before the efficacy could be determined. Such an efficacy test could have been replicated in the first patient’s cancer treatment, had it been biopsied and tested against the remaining immunotherapies in vitro. Yet, in the case of cancer with few options, one previous dose of a drug that appeared to work on the patient may justify further doses. However, as the Norwegian case presents, corroboration with known responses to a similar drug (from a clinical trial) could be helpful to validate the treatment strategy. (It should be noted that both patients were resigned to these last resort options regardless of the efficacy of treatment.) There are some elements of inductive logic seen with adaptive deep brain stimulation research in general. For example, abductively the focus could be that patient X’s stimulation parameters are different from patient Y’s and patient Z’s. In contrast, when grouped as subjects who obtained personalized stimulation, patients X, Y, and Z demonstrate an inductive aspect to this approach’s safety and/or efficacy. The OCD case holds plenty of abductive characteristics in line with precision medicine’s approach to treating cancer and as more individuals try the method, there will be additional data. With the gradual integration of AI into brain-computer interfaces in the name of efficacy, this reliance on abduction will continue, if not grow, over time. Moving forward, if a responsive deep brain stimulation treatment is novel and individualized (like the dose of nivolumab) and there is some other suggestion of efficacy (like clinical similarities to other patients in the literature), then it may justify insurance coverage for the investigative intervention, absent other unrelated reasons to deny it. III. Ethical Implications and Next Steps While AI’s use in oncology and neurology is not yet as prominent as its use in other fields (e.g., radiology), it appears to be on the horizon for both.[xxxi] AI can be found in both the functioning of the neurotechnologies as well as the implementation of precision medicine. The increasing use of AI may serve to further individualize both oncologic and neurological therapies. Given these implications and the handful of publications cited in this article, it is important to have a nuanced evaluation of how these treatments, which heavily rely on abductive justification, ought to be managed. The just use an abductive approach may be difficult as AI infused precision medicine is further pursued. At baseline, such technology relies on a level of advanced technology literacy among the general public and could exclude populations who lack access to basic technological infrastructure or know-how from participation.[xxxii] Even among nations with adequate infrastructure, as more patients seek out implantable neurotechnologies, which require robust healthcare resources, the market will favor patient populations that can afford this complex care.[xxxiii] If patients already have the means to pay for an initial dose/use of a precision medicine product out of pocket, should insurance providers be required to cover subsequent treatments?[xxxiv] That is, if a first dose of a cancer drug or a deep brain stimulator over its initial battery life is successful, patients may feel justified in having the costs of further treatments covered. The Norwegian patient’s experience implies there is a precedent for the idea that some public insurance companies ought to cover successful cancer therapies, however, insurance companies may not all see themselves as obligated to cover neurotechnologies that rely on personalized settings or that are based on precision/abductive research more than on clinical trials. CONCLUSION The fact that the cases outlined above rely on abductive style of reasoning implies that there may not be as strong a justification for coverage by insurance, as they are both experimental and individualized, when compared to the more traditional large clinical trials in which groups have the same or a standardized protocol (settings/doses). If a study is examining the efficacy of a treatment with a large cohort of patients or with different experimental groups/phases, insurance companies may conclude that the resulting symptom improvements are more likely to be coming from the devices themselves. A preference for inductive justification may take priority when ruling in favor of funding someone’s continued use of an implantable neurostimulator. There are further nuances to this discussion surrounding the classifications of these interventions as research versus clinical care that warrant future exploration, since such a distinction is more of a scale[xxxv] than binary and could have significant impacts on the “right-to-try” approach to experimental therapies in the United States.[xxxvi] Namely, given the inherent limitations of conducting large cohort trials for deep brain stimulation interventions on patients with neuropsychiatric disorders, surgically innovative frameworks that blend abductive and inductive methodologies, like with sham stimulation phases, have traditionally been used.[xxxvii] Similarly, for adaptive brain-computer interface systems, if there are no large clinical trials and instead only publications that demonstrate that something similar worked for someone else, then, in addition to the evidence that the first treatment/dose worked for the patient in question, the balance of reasoning would be valid and arguably justify insurance coverage. As precision approaches to neurotechnology become more common, frameworks for evaluating efficacy will be crucial both for insurance coverage and for clinical decision making. ACKNOWLEDGEMENT This article was originally written as an assignment for Dr. Francis Shen’s “Bioethics & AI” course at Harvard’s Center for Bioethics. I would like to thank Dr. Shen for his comments as well as my colleagues in the Lázaro-Muñoz Lab for their feedback. - [i] Jonathan Kimmelman and Ian Tannock, “The Paradox of Precision Medicine,” Nature Reviews. Clinical Oncology 15, no. 6 (June 2018): 341–42, https://doi.org/10.1038/s41571-018-0016-0. [ii] Henrik Vogt and Bjørn Hofmann, “How Precision Medicine Changes Medical Epistemology: A Formative Case from Norway,” Journal of Evaluation in Clinical Practice 28, no. 6 (December 2022): 1205–12, https://doi.org/10.1111/jep.13649. [iii] David Barrett and Ahtisham Younas, “Induction, Deduction and Abduction,” Evidence-Based Nursing 27, no. 1 (January 1, 2024): 6–7, https://doi.org/10.1136/ebnurs-2023-103873. [iv] Vogt and Hofmann, “How Precision Medicine Changes Medical Epistemology,” 1208. [v] Wireko Andrew Awuah et al., “Bridging Minds and Machines: The Recent Advances of Brain-Computer Interfaces in Neurological and Neurosurgical Applications,” World Neurosurgery, May 22, 2024, S1878-8750(24)00867-2, https://doi.org/10.1016/j.wneu.2024.05.104. [vi] Mark Riedl, “A Very Gentle Introduction to Large Language Models without the Hype,” Medium (blog), May 25, 2023, https://mark-riedl.medium.com/a-very-gentle-introduction-to-large-language-models-without-the-hype-5 f67941fa59e. [vii] David E. Burdette and Barbara E. Swartz, “Chapter 4 - Responsive Neurostimulation,” in Neurostimulation for Epilepsy, ed. Vikram R. Rao (Academic Press, 2023), 97–132, https://doi.org/10.1016/B978-0-323-91702-5.00002-5. [viii] Kimmelman and Tannock, 2018. [ix] Kimmelman and Tannock, 2018. [x] Simon Lohse, “Mapping Uncertainty in Precision Medicine: A Systematic Scoping Review,” Journal of Evaluation in Clinical Practice 29, no. 3 (April 2023): 554–64, https://doi.org/10.1111/jep.13789. [xi] Kimmelman and Tannock, “The Paradox of Precision Medicine.” [xii] Vogt and Hofmann, 1206. [xiii] Vogt and Hofmann, 1206. [xiv] Vogt and Hofmann, 1206. [xv] Vogt and Hofmann, 1207. [xvi] Vogt and Hofmann, 1207. [xvii] Vogt and Hofmann, 1207. [xviii] Vogt and Hofmann, 1210. [xix] Mehar Sahu et al., “Chapter Three - Artificial Intelligence and Machine Learning in Precision Medicine: A Paradigm Shift in Big Data Analysis,” in Progress in Molecular Biology and Translational Science, ed. David B. Teplow, vol. 190, 1 vols., Precision Medicine (Academic Press, 2022), 57–100, https://doi.org/10.1016/bs.pmbts.2022.03.002. [xx] Stefan Feuerriegel et al., “Causal Machine Learning for Predicting Treatment Outcomes,” Nature Medicine 30, no. 4 (April 2024): 958–68, https://doi.org/10.1038/s41591-024-02902-1. [xxi] Sunderland Baker et al., “Ethical Considerations in Closed Loop Deep Brain Stimulation,” Deep Brain Stimulation 3 (October 1, 2023): 8–15, https://doi.org/10.1016/j.jdbs.2023.11.001. [xxii] David Haslacher et al., “AI for Brain-Computer Interfaces,” 2024, 7, https://doi.org/10.1016/bs.dnb.2024.02.003. [xxiii] Burdette and Swartz, “Chapter 4 - Responsive Neurostimulation,” 103–4; “Premarket Approval (PMA),” https://www.accessdata.fda.gov/scripts/cdrh/cfdocs/cfpma/pma.cfm?id=P100026. [xxiv] Burdette and Swartz, “Chapter 4 - Responsive Neurostimulation,” 104. [xxv] Burdette and Swartz, 126. [xxvi] Sean L. Metzger et al., “A High-Performance Neuroprosthesis for Speech Decoding and Avatar Control,” Nature 620, no. 7976 (August 2023): 1037–46, https://doi.org/10.1038/s41586-023-06443-4. [xxvii] Hao Fang and Yuxiao Yang, “Predictive Neuromodulation of Cingulo-Frontal Neural Dynamics in Major Depressive Disorder Using a Brain-Computer Interface System: A Simulation Study,” Frontiers in Computational Neuroscience 17 (March 6, 2023), https://doi.org/10.3389/fncom.2023.1119685; Mahsa Malekmohammadi et al., “Kinematic Adaptive Deep Brain Stimulation for Resting Tremor in Parkinson’s Disease,” Movement Disorders 31, no. 3 (2016): 426–28, https://doi.org/10.1002/mds.26482. [xxviii] Young-Hoon Nho et al., “Responsive Deep Brain Stimulation Guided by Ventral Striatal Electrophysiology of Obsession Durably Ameliorates Compulsion,” Neuron 0, no. 0 (October 20, 2023), https://doi.org/10.1016/j.neuron.2023.09.034. [xxix] Nho et al. [xxx] Nho et al.; Erik Robinson, “Brain Implant at OHSU Successfully Controls Both Seizures and OCD,” OHSU News, accessed March 3, 2024, https://news.ohsu.edu/2023/10/25/brain-implant-at-ohsu-successfully-controls-both-seizures-and-ocd. [xxxi] Awuah et al., “Bridging Minds and Machines”; Haslacher et al., “AI for Brain-Computer Interfaces.” [xxxii] Awuah et al., “Bridging Minds and Machines.” [xxxiii] Sara Green, Barbara Prainsack, and Maya Sabatello, “The Roots of (in)Equity in Precision Medicine: Gaps in the Discourse,” Personalized Medicine 21, no. 1 (January 2024): 5–9, https://doi.org/10.2217/pme-2023-0097. [xxxiv] Green, Prainsack, and Sabatello, 7. [xxxv] Robyn Bluhm and Kirstin Borgerson, “An Epistemic Argument for Research-Practice Integration in Medicine,” The Journal of Medicine and Philosophy: A Forum for Bioethics and Philosophy of Medicine 43, no. 4 (July 9, 2018): 469–84, https://doi.org/10.1093/jmp/jhy009. [xxxvi] Vijay Mahant, “‘Right-to-Try’ Experimental Drugs: An Overview,” Journal of Translational Medicine 18 (June 23, 2020): 253, https://doi.org/10.1186/s12967-020-02427-4. [xxxvii] Michael S. Okun et al., “Deep Brain Stimulation in the Internal Capsule and Nucleus Accumbens Region: Responses Observed during Active and Sham Programming,” Journal of Neurology, Neurosurgery & Psychiatry 78, no. 3 (March 1, 2007): 310–14, https://doi.org/10.1136/jnnp.2006.095315. (shrink)

Combining physics, mathematics and computer science, quantum computing and its sister discipline of quantum information have developed in the past few decades from visionary ideas to two of the most fascinating areas of quantum theory. General interest and excitement in quantum computing was initially triggered by Peter Shor (1994) who showed how a quantum algorithm could exponentially “speed-up” classical computation and factor large numbers into primes far more efficiently than any (known) classical algorithm. Shor’s algorithm was soon followed by (...) several other algorithms that aimed to solve combinatorial and algebraic problems, and in the years since theoretical study of quantum systems serving as computational devices has achieved tremendous progress. Common belief has it that the implementation of Shor’s algorithm on a large scale quantum computer would have devastating consequences for current cryptography protocols which rely on the premise that all known classical worst-case algorithms for factoring take time exponential in the length of their input (see, e.g., Preskill 2005). Consequently, experimentalists around the world are engaged in attempts to tackle the technological difficulties that prevent the realisation of a large scale quantum computer. But regardless whether these technological problems can be overcome (Unruh 1995; Ekert and Jozsa 1996; Haroche and Raimond 1996), it is noteworthy that no proof exists yet for the general superiority of quantum computers over their classical counterparts. -/- The philosophical interest in quantum computing is manifold. From a social-historical perspective, quantum computing is a domain where experimentalists find themselves ahead of their fellow theorists. Indeed, quantum mysteries such as entanglement and nonlocality were historically considered a philosophical quibble, until physicists discovered that these mysteries might be harnessed to devise new efficient algorithms. But while the technology for harnessing the power of 50–100 qubits (the basic unit of information in the quantum computer) is now within reach (Preskill 2018), only a handful of quantum algorithms exist, and the question of whether these can truly outperform any conceivable classical alternative is still open. From a more philosophical perspective, advances in quantum computing may yield foundational benefits. For example, it may turn out that the technological capabilities that allow us to isolate quantum systems by shielding them from the effects of decoherence for a period of time long enough to manipulate them will also allow us to make progress in some fundamental problems in the foundations of quantum theory itself. Indeed, the development and the implementation of efficient quantum algorithms may help us understand better the border between classical and quantum physics (Cuffaro 2017, 2018a; cf. Pitowsky 1994, 100), and perhaps even illuminate fundamental concepts such as measurement and causality. Finally, the idea that abstract mathematical concepts such as computability and complexity may not only be translated into physics, but also re-written by physics bears directly on the autonomous character of computer science and the status of its theoretical entities—the so-called “computational kinds”. As such it is also relevant to the long-standing philosophical debate on the relationship between mathematics and the physical world. (shrink)

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)

The medium‐independence of computational descriptions has shaped common conceptions of computational explanation. So long as our goal is to explain how a system successfully carries out its computations, then we only need to describe the abstract series of operations that achieve the desired input–output mapping, however they may be implemented. It is argued that this abstract conception of computational explanation cannot be applied to so‐called real‐time computing systems, in which meeting temporal deadlines imposed by the systems with which (...) a device interfaces are constitutive of the computing tasks that a device performs. Instead, real‐time computing reveals the need for alternative conceptions of computational explanation, as well as computational implementation, that eschew medium‐independence. (shrink)

Two very different insights motivate characterizing the brain as a computer. One depends on mathematical theory that defines computability in a highly abstract sense. Here the foundational idea is that of a Turing machine. Not an actual machine, the Turing machine is really a conceptual way of making the point that any well-defined function could be executed, step by step, according to simple 'if-you-are-in-state-P-and-have-input-Q-then-do-R' rules, given enough time (maybe infinite time) [see COMPUTATION]. Insofar as the brain is a (...) device whose input and output can be characterized in terms of some mathematical function -- however complicated -- then in that very abstract sense, it can be mimicked by a Turning machine. Given what is known so far brains do seem to depend on cause-effect operations, and hence brains appear to be, in some formal sense, equivalent to a Turing machine [see CHURCH-TURING THESIS]. On its own, however, this reveals nothing at all of how the mind-brain actually works. The second insight depends on looking at the brain as a biological device that processes information from the environment to build complex representations that enable the brain to make predictions and select advantageous behaviors. Where necessary to avoid ambiguity, we will refer to the first notion of computation as algorithmic computation, and the second as information processing computation. (shrink)

Alan M. Turing, pioneer of computing and WWII codebreaker, is one of the most important and influential thinkers of the twentieth century. In this volume for the first time his key writings are made available to a broad, non-specialist readership. They make fascinating reading both in their own right and for their historic significance: contemporary computational theory, cognitive science, artificial intelligence, and artificial life all spring from this ground-breaking work, which is also rich in philosophical and logical insight. An introduction (...) by leading Turing expert Jack Copeland provides the background and guides the reader through the selection. About Alan Turing Alan Turing FRS OBE, (1912-1954) studied mathematics at King's College, Cambridge. He was elected a Fellow of King's in March 1935, at the age of only 22. In the same year he invented the abstract computing machines - now known simply as Turing machines - on which all subsequent stored-program digital computers are modelled. During 1936-1938 Turing continued his studies, now at Princeton University. He completed a PhD in mathematical logic, analysing the notion of 'intuition' in mathematics and introducing the idea of oracular computation, now fundamental in mathematical recursion theory. An 'oracle' is an abstract device able to solve mathematical problems too difficult for the universal Turing machine. In the summer of 1938 Turing returned to his Fellowship at King's. When WWII started in 1939 he joined the wartime headquarters of the Government Code and Cypher School (GC&CS) at Bletchley Park, Buckinghamshire. Building on earlier work by Polish cryptanalysts, Turing contributed crucially to the design of electro-mechanical machines ('bombes') used to decipher Enigma, the code by means of which the German armed forces sought to protect their radio communications. Turing's work on the version of Enigma used by the German navy was vital to the battle for supremacy in the North Atlantic. He also contributed to the attack on the cyphers known as 'Fish'. Based on binary teleprinter code, Fish was used during the latter part of the war in preference to morse-based Enigma for the encryption of high-level signals, for example messages from Hitler and other members of the German High Command. It is estimated that the work of GC&CS shortened the war in Europe by at least two years. Turing received the Order of the British Empire for the part he played. In 1945, the war over, Turing was recruited to the National Physical Laboratory (NPL) in London, his brief to design and develop an electronic computer - a concrete form of the universal Turing machine. Turing's report setting out his design for the Automatic Computing Engine (ACE) was the first relatively complete specification of an electronic stored-program general-purpose digital computer. Delays beyond Turing's control resulted in NPL's losing the race to build the world's first working electronic stored-program digital computer - an honour that went to the Royal Society Computing Machine Laboratory at Manchester University, in June 1948. Discouraged by the delays at NPL, Turing took up the Deputy Directorship of the Royal Society Computing Machine Laboratory in that year. Turing was a founding father of modern cognitive science and a leading early exponent of the hypothesis that the human brain is in large part a digital computing machine, theorising that the cortex at birth is an 'unorganised machine' which through 'training' becomes organised 'into a universal machine or something like it'. He also pioneered Artificial Intelligence. Turing spent the rest of his short career at Manchester University, being appointed to a specially created Readership in the Theory of Computing in May 1953. He was elected a Fellow of the Royal Society of London in March 1951 (a high honour). (shrink)

In a future world of ubiquitous computing, in which humans interact with computerized technologies even more frequently and in even more situations than today, interface design will have increased importance. One feature of interface that I argue will be especially relevant is what I call abstract relational strategies. This refers to an approach (in both a bodily and conceptual sense) toward the use of a technology, an approach that is general enough to be applied in many different concrete scenarios. (...) Such an abstract manner of approach is relevant, for example, when an interface design for a device to which users are already accustomed is applied to an entirely different device (such as a device used for a completely different purpose). To articulate this idea, I explore the history of keyboards, and consider how the habits of interface with one kind (e.g., piano keyboards) have historically enabled some users to approach other technologies fitted with similar keyboard interface (e.g., typewriters, electronic instrumentation). I conclude by brainstorming ways that abstract relational strategies, applicable to a variety of different devices, will have increased importance in a future world in which computing is even more ubiquitous than today. (shrink)

Recently, Horsman et al. have proposed a new framework, Abstraction/Representation theory, for understanding and evaluating claims about unconventional or non-standard computation. Among its attractive features, the theory in particular implies a novel account of what is means to be a computer. After expounding on this account, I compare it with other accounts of concrete computation, finding that it does not quite fit in the standard categorization: while it is most similar to some semantic accounts, it is not itself (...) a semantic account. Then I evaluate it according to the six desiderata for accounts of concrete computation proposed by Piccinini. Finding that it does not clearly satisfy some of them, I propose a modification, which I call Agential AR theory, that does, yielding an account that could be a serious competitor to other leading account of concrete computation. (shrink)

In this paper we specialize the notion of abstract computational procedure previously introduced for intensionally presented structures to those which are extensionally given. This is provided by a form of generalized recursion theory which uses schemata for explicit definition, conditional definition and least fixed point recursion in functional of type level 2 over any appropriate structure. It is applied here to the case of potentially infinite streams as an abstract data type.

As an undergraduate I was taught to multiply two numbers with the help of log tables, using the formulaHaving graduated to teach calculus to Engineers, I learned that log tables were to be replaced by slide rules. It was then that Imade the fateful decision that there was no need for me to learn how to use this tedious device, as I could always rely on the students to perform the necessary computations. In the course of time, slide rules were (...) replaced by pocket calculators and personal computers, but I stuck to my original decision.My computer phobia did not prevent me from taking an interest in the theoretical question: what is a computation? This question goes back to Hilbert's 10th problem, which asks for an algorithm, or computational procedure, to decide whether any given polynomial equation is solvable in integers. It quickly leads to the related question: which numerical functionsf: ℕn→ ℕ are computable?While Hilbert's 10th problem was only resolved in 1970, this related question had some earlier answers, of which I shall single out the following three:f is recursive,f is computable on an abstract machine,f is definable in the untyped λ-calculus.These tentative answers were shown to be equivalent by Church [1936] and Turing [1936–7].I shall discuss here some of the more recent developments of these notions of computability and their relevance to linguistics and logic. I hope to be forgiven for dwelling on some of the work I have been involved with personally, with greater emphasis than is justified by its historical significance. (shrink)

his article will focus on the mechanistic origins of the computer metaphor, which forms the conceptual framework for the methodology of the cognitive sciences, some areas of artificial intelligence and the philosophy of mind. The connection between the history of computing technology, epistemology and the philosophy of mind is expressed through the metaphorical dictionaries of the philosophical discourse of a particular era. The conceptual clarification of this connection and the substantiation of the mechanistic components of the computer metaphor is the (...) main goal of this article. The statement is substantiated that the invention of mechanical computing devices, having a long history in the European engineering tradition, formed the prerequisites for the emergence of machine functionalism in the modern philosophy of mind. The idea of multiple implementation stems from the principle that a formal symbol system prescribes rules for the use of rational abstractions through the physical architecture of a computational engine. The article considers the reasons for the conceptual shift and reveals the semantic foundations for the metaphorical transfer of the properties of abstract objects from the theory of automata to the field of modern philosophy of mind. The criticism and ways of protecting the philosophical program of machine functionalism are analyzed by changing the content of the metaphor “Mind as machine”. The reasons for the stability of the information-computer approach in cognitive sciences are also disclosed and explained. (shrink)

ABSTRACT In 1588 Tycho Brahe proposed a new cosmological system keeping a motionless Earth at the centre of the world. In the first half of the following century the reception of Tycho’s model within the Society of Jesus was characterized by a strong resistance at the beginning, followed by a long and winding path, and then a good fortune, whereas heliocentric models were increasingly investigated in European observatories. In 1651 a Jesuit astronomer, Giovan Battista Riccioli, published the Almagestum novum, (...) an encyclopaedic synthesis of astronomical knowledge where the Earth’s motions or rest were extensively discussed in order to prove the Earth's immobility. However, through the period 1650–1687 the Almagestum novum did not entirely fulfil its aims, rather seeming like the dying swan’s song of Tychonic or semi-Tychonic models. Contemporary scholars appreciated the encyclopaedic effort by Riccioli, but many were critical of his proofs. Even influential Jesuit astronomers showed a remarkable interest in the Copernican model, accepting geocentric models only on the basis of Holy Scripture’s authority. This conduct and the tacitly allowed circulation in Catholic Europe of openly Copernican books, indicate that Catholic science tolerated heliocentric theory, when presented as a computational device rather than a representation of reality, more frequently than we usually think. (shrink)

Abstract: Laws of computer science are prescriptive in nature but can have descriptive analogs in the physical sciences. Here, we describe a law of conservation of information in network programming, and various laws of computational motion (invariants) for programming in general, along with their pedagogical utility. Invariants specify constraints on objects in abstract computational worlds, so we describe language and data abstraction employed by software developers and compare them to Floridi's concept of levels of abstraction. We also consider (...) Floridi's structural account of reality and its fit for describing abstract computational worlds. Being abstract, such worlds are products of programmers' creative imaginations, so any "laws" in these worlds are easily broken. The worlds of computational objects need laws in the form of self-prescribed invariants, but the suspension of these laws might be creative acts. Bending the rules of abstract reality facilitates algorithm design, as we demonstrate through the example of search trees. (shrink)

Earlier, we have studied computations possible by physical systems and by algorithms combined with physical systems. In particular, we have analysed the idea of using an experiment as an oracle to an abstract computational device, such as the Turing machine. The theory of composite machines of this kind can be used to understand (a) a Turing machine receiving extra computational power from a physical process, or (b) an experimenter modelled as a Turing machine performing a test of a known (...) physical theory T. Our earlier work was based upon experiments in Newtonian mechanics. Here we extend the scope of the theory of experimental oracles beyond Newtonian mechanics to electrical theory. First, we specify an experiment that measures resistance using a Wheatstone bridge and start to classify the computational power of this experimental oracle using non-uniform complexity classes. Secondly, we show that modelling an experimenter and experimental procedure algorithmically imposes a limit on our ability to measure resistance by the Wheatstone bridge. The connection between the algorithm and physical test is mediated by a protocol controlling each query, especially the physical time taken by the experimenter. In our studies we find that physical experiments have an exponential time protocol, this we formulate as a general conjecture. Our theory proposes that measurability in Physics is subject to laws which are co-lateral effects of the limits of computability and computational complexity. (shrink)

In this paper, we address the question of what current computers are from the point of view of human-computer interaction. In the early days of computing, the Turing machine (TM) has been the cornerstone of the understanding of computers. The TM defines what can be computed and how computation can be carried out. However, in the last decades, computers have evolved and increasingly become interactive systems, reacting in real-time to external events in an ongoing loop. We argue that the (...) TM does not provide a mechanistic explanation for interactive computing. The reason is that the fundamental phenomena relevant to interactive computing are out of the scope of classical computability theory. Part of the explanatory power of the TM relies on what we propose to call an execution model. An execution model belongs to a level of abstraction where it is possible to describe both the functional architecture and the execution in mechanistic terms. An updated execution model is warranted to provide the minimal mechanistic description for interactive computation as a counterpart of what the TM could explain regarding Church-Turing computation. It would support an explanation of the ubiquitous computing devices we know - those interacting with humans, e.g., through digital interfaces. We show that such a model is not available within interactive models of computation and that relevant abstractions and concerns are available in computer engineering but need to be identified and gathered. To fill this void, we propose to reflect on the level of abstraction required to support the mechanistic description of an interactive execution and propose some preliminary requirements. (shrink)

We devise imperative programming languages for verified real number computation where real numbers are provided as abstract data types such that the users of the languages can express real number computation by considering real numbers as abstract mathematical entities. Unlike other common approaches toward real number computation, based on an algebraic model that lacks implementability or transcendental computation, or finite-precision approximation such as using double precision computation that lacks a formal foundation, our languages (...) are devised based on computable analysis, a foundation of rigorous computation over continuous data. Consequently, the users of the language can easily program real number computation and reason about the behaviours of their programs, relying on their mathematical knowledge of real numbers without worrying about artificial roundoff errors. As the languages are imperative, we adopt precondition–postcondition-style program specification and Hoare-style program verification methodologies. Consequently, the users of the language can easily program a computation over real numbers, specify the expected behaviour of the program, including termination, and prove the correctness of the specification. Furthermore, we suggest extending the languages with other interesting continuous data, such as matrices, continuous real functions, et cetera.Abstract taken directly from the thesis.E-mail: [email protected]: https://sewonpark.com/thesis. (shrink)

The evolutionary circuit design is an approach allowing engineers to realize computational devices. The evolved computational devices represent a distinctive class of devices that exhibits a specific combination of properties, not visible and studied in the scope of all computational devices up till now. Devices that belong to this class show the required behavior; however, in general, we do not understand how and why they perform the required computation. The reason is that the evolution can utilize, in addition to (...) the “understandable composition of elementary components”, material-dependent constructions and properties of environment (such as temperature, electromagnetic field etc.) and, furthermore, unknown physical behaviors to establish the required functionality. Therefore, nothing is known about the mapping between an abstract computational model and its physical implementation. The standard notion of computation and implementation developed in computer science as well as in cognitive science has become very problematic with the existence of evolved computational devices. According to the common understanding, the evolved devices cannot be classified as computing mechanisms. (shrink)

In contemporary global knowledge based society there are scorching needs for new knowledge and unprecedented vision of future development. Author is focuses attention to new possibilities of fostering creative abilities and gaining new socio-economic knowledge by the assistance of ICT, Internet and mainly by using products and services of computational intelligence. His method used is prevailingly new knowledge creation by experimentation in virtual laboratories. In using conventional methods, he combines inductive and deductive methods as set up for developing mental models (...) from up to down and bottom to up. Because in socio-economic branches it is very difficult and even almost wholly impossible to do experiments in objective reality the experimentation by the assistance of computational intelligence is promising advance in gaining new socioeconomic knowledge in contemporary complex world. Using such new approaches, methods and tools is the main scientific aim of the author. He uses convictive demonstration of successful using these unprecedented possibilities in gaining deeper knowledge about complex evolutionary phenomena. The distinction of such knowledge is against conventional one is consisting in very deep understanding of complex socio-economic dynamics. Using meant knowledge acquisition approaches is promising in quality and in abiding knowledge and skill of single individuals but the extraordinary progress of creative knowledge based society fostered by using them in advanced webs is useful for whole society. (shrink)

Excitement about digital agriculture—i.e., expanded reliance on collecting, integrating, analyzing, and applying digital data in agri-food systems—is bringing two different conceptualizations of abstraction into collision and dialogue. Critical agri-food scholars have long expressed concerns about disembedding—or abstracting—agriculture from particular geographies, farmers’ varied interests, and ecological processes. In contrast, in computer science, abstraction is understood as beneficial for taming the complexities of technology and supporting the development of general-purpose tools. In this paper, we compare these very different theorizations of abstraction through (...) an ethnographic case study of the early development of new digital agriculture networking infrastructure. We analyze how the commitments to abstraction in computer science relate to and depart from critical agri-food studies' critiques of decontextualization and disembedding. The study is based on a long-term collaboration between computer networking researchers and social scientists. Our findings indicate that the commitment to abstraction by computer network scientists leads them to engage minimally with critical agri-food studies’ concerns regarding historical processes of agricultural industrialization and their effect on farm size, the labor process, and the environment, but produces deep engagement with concerns regarding corporate control of innovation trajectories. We find, however, that the technologists focus on open innovation and vendor lock-in in order to expand the scale, scope, and pace of innovation, rather than to advance social justice and environmental sustainability, demonstrating that openness can be understood and practiced in various ways. Through integrated treatment of abstraction in computer science and critical agri-food studies, this article highlights opportunities and constraints for interdisciplinary analysis pertaining to the development of digital agriculture. Through ethnographic analysis of digital agriculture research and development, we identify mechanisms through which contemporary innovation processes are likely to reinforce the social, economic, and ecological relations of conventional agriculture. (shrink)

We study computability of the abstract linear Cauchy problem equation image)where A is a linear operator, possibly unbounded, on a Banach space X. We give necessary and sufficient conditions for A such that the solution operator K: x ↦ u of the problem is computable. For studying computability we use the representation approach to computable analysis developed by Weihrauch and others. This approach is consistent with the model used by Pour-El/Richards.

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:The Speeches of Cicero: Context, Law, RhetoricJohn NicholsonPaul MacKendrick. The Speeches of Cicero: Context, Law, Rhetoric, with the technical assistance of Emmett L. Bennett, Jr. London: Duckworth, 1995. viii + 627 pp. Cloth, £55.Readers familiar with MacKendrick’s 1989 study of The Philosophical Books of Cicero will have an idea what to expect from his new companion work on Cicero’s speeches. It is essentially a factual handbook providing (...) a full and careful summary of the contents of Cicero’s major orations, along with some basic background information and a rhetorical analysis. The treatment is quite detailed so that, despite a length of well over 600 pages, the book covers only half of the fifty-eight extant Ciceronian speeches. Regrettably omitted on account of limitation of space are all the Verrines and all the Philippics, as well as any representatives of the early orations. But otherwise, we get a judicious, well-balanced selection from all rhetorical types, lengths, and audiences.MacKendrick begins in medias res. What he calls chapter 1 is actually only a two-page chronological outline of Cicero’s life, and this is the only preface we get before plunging into the presentation of the first speech (On Pompey’s Command) which comprises chapter 2. It would have been helpful if MacKendrick had begun with some kind of statement about his aims and methods, and perhaps some introduction to the ways and means of classical rhetoric in general, and of Ciceronian oratory in particular. Such preliminaries will be especially missed by neophyte readers who select this book as an introduction to Cicero’s speeches. Otherwise the work is well suited to this audience since MacKendrick takes little for granted, translates into English virtually all the Latin he quotes, and repeatedly defines technical terms.The format of each chapter is strictly uniform, divided into four sections. First comes an outline summarizing in full detail the content of the speech under consideration, with the standard divisions marked off and labeled. (Here alone MacKendrick fails to define rhetorical terminology; structural labels like narratio, partitio, peroratio, etc. are left unexplained.) Second, there comes a section called “Context” succinctly describing the historical background. Third, MacKendrick gives a summary of the legal points raised by each speech, which is kept quite brief, depending largely on the conclusions of standard modern authorities, especially A. H. C. Greenidge’s time-honored Legal Procedure of Cicero’s Time (which is unfortunately missing from the intended key reference on 460). The fourth and final section, called “Rhetoric,” is the fullest, and is divided into the subcategories of Word Frequency, Metaphor, and Other Rhetorical Devices.While the first three sections of each chapter merely rehearse basic information in a useful handbook format, it is in the fourth section on rhetoric that we get MacKendrick’s main original contribution, essentially a quantified word study of the speeches. Though he nowhere explicitly declares his analytical strategy, an early note decrying “the shapeless gobbledegook” (460 n. 2) of much [End Page 654] modern criticism reveals his contempt for sloppy subjective evaluation. Accordingly, his own approach here is largely statistical in nature, presumably based on computer-generated tabulations. The preoccupation is with quantitative analysis via word frequency lists and the counting and cataloging of metaphors and various rhetorical figures used by Cicero over the course of his career.MacKendrick first examines the semantic range and varying significance of the most commonly repeated words in each oration, and shows how Cicero manipulates them in different contexts. Personal pronouns usually head the lists, followed by terms such as res publica, urbs, civi[ta]s, consul, senatus, salus, omnis, lex, dignitas, bellum, and populus Romanus.Next he counts and classifies metaphors, a category which he defines very broadly—at times to the point of robbing the term of practical descriptive value inasmuch as extremely common words are analyzed as though poetic figures. For example, the verb fero and its many compounds are considered “metaphors of touch” even in standard idioms such as legem fero, while aequus is called a “metaphor of earth” (a subcategory of “metaphors of nature”), and intellego is called a “metaphor of agriculture” (since it literally means “to glean... (shrink)

In Contingent Computation, M. Beatrice Fazi offers a new theoretical perspective through which we can engage philosophically with computing. The book proves that aesthetics is a viable mode of investigating contemporary computational systems. It does so by advancing an original conception of computational aesthetics that does not just concern art made by or with computers, but rather the modes of being and becoming of computational processes. Contingent Computation mobilises the philosophies of Gilles Deleuze and Alfred North Whitehead in (...) order to address aesthetics as an ontological study of the generative potential of reality. Through a novel philosophical reading of Gödel’s incompleteness theorems and of Turing’s notion of incomputability, Fazi finds this potential at the formal heart of computational systems, and argues that computation is a process of determining indeterminacy. This indeterminacy, which is central to computational systems, does not contradict their functionality. Instead, it drives their very operation, albeit in a manner that might not always fit with the instrumental, representational and cognitivist purposes that we have assigned to computing. (shrink)

We characterize abstraction in computer science by first comparing the fundamental nature of computer science with that of its cousin mathematics. We consider their primary products, use of formalism, and abstraction objectives, and find that the two disciplines are sharply distinguished. Mathematics, being primarily concerned with developing inference structures, has information neglect as its abstraction objective. Computer science, being primarily concerned with developing interaction patterns, has information hiding as its abstraction objective. We show that abstraction through information hiding is a (...) primary factor in computer science progress and success through an examination of the ubiquitous role of information hiding in programming languages, operating systems, network architecture, and design patterns. (shrink)

Cellular automata (henceforth: CA) are discrete, abstract computational systems that have proved useful both as general models of complexity and as more specific representations of non-linear dynamics in a variety of scientific fields. Firstly, CA are (typically) spatially and temporally discrete: they are composed of a finite or denumerable set of homogeneous, simple units, the atoms or cells. At each time unit, the cells instantiate one of a finite set of states. They evolve in parallel at discrete time steps, (...) following state update functions or dynamical transition rules: the update of a cell state obtains by taking into account the states of cells in its local neighborhood (there are, therefore, no actions at a distance). Secondly, CA are abstract, as they can be specified in purely mathematical terms and implemented in physical structures. Thirdly, CA are computational systems: they can compute functions and solve algorithmic problems. Despite functioning in a different way from traditional, Turing machine-like devices, CA with suitable rules can emulate a universal Turing machine, and therefore compute, given Turing's Thesis, anything computable.... (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Empirical Questions Deserve Empirical AnswersColin MartindaleWhat is wrong with the current state of humanistic literary studies? On the theoretical level, we find various types of postmodernism, none of which makes much sense. On the other hand, there are approaches such as Marxism, Feminism, and the New Historicism. One can at least understand the contentions of such theorists, but these contentions are generally quite implausible. If poetry were an (...) effective means of maintaining the status quo or of oppressing anyone, one wonders why this was never noticed by politicians or generals. Now that the fact has been “discovered,” one wonders why it is not put to use by the power elite. What has led literary theory to stray onto such strange grounds? I believe that the faulty methods used by many literary theorists offer us at least part of an answer.Humanistic critics have no reasonable way of deciding among alternative answers if theorists happen to ask a question that is answerable—i.e., if they propose an empirical investigation. Their only method is one of producing examples and trying to persuade the reader. 1 Can a scientific approach provide something better? Certainly it can. First, the scientist does not pose unanswerable questions. Second, science provides methods for resolving disputes, for answering questions that are answerable. These methods are the scientific apparatus of counting, measuring, experimenting, and so on. Humanistic inquiry is simply not as effective as scientific inquiry. If a question is meaningful, it is by definition an empirical question. Science is the only method to us available for answering such questions. Humanism has no decision-making methods, no objective methods of choosing amongst competing hypotheses. [End Page 347]To paraphrase Plato, literary critics hypothesize many fine things but know nothing of how to test them. Science already has the methods. We merely need to apply them. To give an example from my own research, Raymond and a number of other literary scholars tried to say that across the course of the nineteenth century, the content of French poetry became more primary process (Freud), dedifferentiated (Werner), associative (Wundt), or mythic (Cassirer) in its content. 2 Unless one can translate Raymond’s comments into these theoretical terms, it is difficult to understand what in the world he is talking about, let alone to test his contention. Because literary critics usually make up their psychology as they go along, it is difficult to understand what they say. Because they have only a proof-by-example method, it is difficult to believe what they say. If we do make the translation and develop a metric to measure the degree to which poetic content is primary process, we can test Raymond’s hypothesis and find out if it is correct. 3 We can not only find out if it is correct. We can fit curves to the data, compute rates of change, relate rates of change to other variables, and so on. One cannot fit curves to what Lotman aptly called “literary chit-chat.” 4 Without such an objective measure of primary process content, one would no doubt assert that twentieth-century poetry is even more mythic in its content, because the poets themselves have said so. 5 In fact, the metric confirms Plato’s warning that poets lie.Some literary theorists, of course, do things that are at least close to science. Numbers would be of great help to such theorists if only as mnemonic devices. Given that people cannot hold more than about seven things in mind at once, the task of sorting out and comparing hundreds of texts is very difficult unless some counting is done. 6 Humanists can count, but they seem not to realize the value of this ability. Lévi-Strauss and the structuralists were doing what might be called zero-degree science. 7 It is reasonable to segment texts and look for regularities. It is not reasonable to look for regularities before one has determined the reliability of the segmentations: that is, before one has determined whether people agree as to how to segment texts. To compute a reliability coefficient, one has to use numbers, and one has to know the formula. Humanists don’t... (shrink)

In lieu of an abstract, here is a brief excerpt of the content:breatheJohn Cayley (bio)To view the current version of John Cayley's digital work "breathe" as a standalone website, please visit https://work.programmatology.com/breathe/. Use of a Chrome browser is advised, and, for mobiles, the site has only been tested for iOS devices. On the desktop, switching to full screen will avoid having to manually resize the browser window to a more or less 16:9 aspect. To view Cayley's notebook with digital (...) code, visit https://observablehq.com/@shadoof/breathe.breathe is a brief, prose-poetic essay in explicitly paragrammatic language art. The 'supply text' that underlies a fundamentally dynamic, temporal making of meaning is what in other contexts might be read as an original composition by myself, its subject the interior oceanscape of breath that we experienced during the pandemic year of 2020, our respiratory rhythms threatened, invisibly, by disease. The piece is also representative of a category of still largely potential poetic artifacts to which computation lends a dynamic and here, a paragrammatic concretism.Despite Julia Kristeva having made a convincing formalist-polemical case for the paragram,1 it seems to be more or less absent from most contemporary milieux of poetic praxis as an explicit, generative principle.2 For 'poetic praxis' I might have said 'writing' or 'literary practice' but the common usage of the former is overly constrained, and its sense after Derrida is, perforce, radically ambiguous. 'Literary' (with its root and other derivations) I now tend to reserve for language art practices within the domain of which the letter is properly and compositionally constitutive. Is breathe an instance of 'writing' or 'literary practice'? Well, literary practice: yes, but not as usually conceived. 'Letteral,' definitely.In Kristeva's abstracted models of poetic language, the paragram is everywhere in both prose and poetry as such: the (chiefly) literal inscription of alternate, multiplied, yet readable 'grams,' at once within and beyond those of the text as received, generative of new meanings, and of various modes for the aestheticization of poetic objects. In subsequent or adjacent criticism–regardless of whether or not it is psychoanalytically inclined–paragram may be further associated with Lacan's "lalangue" (surfacing in breathe as 'lalanguage'), that part of Language (an anglophone term, distinctly capitalized) which clearly exceeds and eludes most of the dubious, fundamentally orthographic, or designative 'sciences' of linguistics.3 But even lalanguage is only ever at best commensurate with [End Page 97] the 'not all,' despite (or perhaps due to) the ineluctable fact that, as T. S. Eliot's Sweeney puts it, "I gotta use words when I talk to you." What should be clear, however, even from this most cursory of outlines, is that paragrams should be read as poetic and that–particularly if allowed to embrace non-literal, metaphoric instances–a case may be (has been) made that paragrams are (Kristeva would have written =) poetic language.In actually existing 'literature' we might suggest that paragrams are hypostasized or stunned (historically, by literal inscription) in latency or in hiding but, clearly, there are potential movements and/or transformative processes, realized through reading, from the 'grams' of the received text to their paragrams. While the usual sense of the prefix 'para-' is "parallel to, separate from or going beyond" (OED), Kristeva and others call attention to this real if usually implicit movement. (I quote extensively from her essay without further comment except to point out that these words are highly suggestive of other aspects of language art in digital media which are not directly addressed in the present, more focused remarks.)[...] the literary text presents itself as a system of multiple connections that could be described as a structure of paragrammatic networks. [...] The term network replaces univocity (linearity) by encompassing it, and suggests that each set (sequence) is the outcome and the beginning of a plurivalent relation. In this network, the elements will be presented as the peaks of a graph ( [...] ), enabling us to formalize the symbolic operation of language as a dynamic mark, as a moving 'gram' (hence as a paragram) which makes rather than expresses a meaning.4The movements-as-transformative(or deformative)-process in breathe are various modes of letteral replacement, particularly of letters... (shrink)

In lieu of an abstract, here is a brief excerpt of the content:"Your Cell Will Teach You Everything":Old Wisdom, Modern Science, and the Art of AttentionNoreen HerzfeldA brother came to Scetis to visit Abba Moses and asked him "Father, give me a word." The old man said to him "Go, sit in your cell, and your cell will teach you everything." 1 Among the Desert Fathers, Christian monks of the fourth and fifth centuries, it was customary for a novice (...) to go to an elder and ask for "a word," a word of advice, of counsel, a word to take home and reflect on. What does this word of advice say to us today?A Multitasking World"Your cell will teach you everything." To my students, this seems like very strange advice indeed. "Your cell?" When I quoted Abba Moses to a colleague he instinctively reached for his phone. But a monk's cell? Isn't a monk's cell empty, isolated? What can that cell possibly have to teach? And how? The lives of the young men and women I teach are the very antithesis of sitting in a cell. Their attention is fragmented, divided by an array of modern technologies. I watch them walk by my office window, iPod plugged into the ears, cell phone or Blackberry in hand as they check e-mail or send a text message. Time in their rooms is characterized by one eye on the television and another on the computer, on which are open their theology paper, an instant messaging box or two connecting them to friends, their Facebook page, in case one of their friends should post a status update, and perhaps a Twitter feed or their favorite blog. They assure me that they have grown up multitasking. Young Americans spend an average of six hours a day using nonprint media, and at least a quarter of that time they are using more than one screen, device, or channel.2 They are connected, linked in, logged on.It is not just the student who multitasks while doing homework. The average office worker is interrupted roughly every three minutes during the workday, interruptions that the worker herself often initiates.3 These include the phone, e-mail, [End Page 83] checking websites. As more jobs move to the knowledge and service sectors, more of us find the temptation to multitask at work irresistible.But what effect does all this multitasking have on the person? We're not getting more done, for one thing. Several recent studies have shown that, contrary to self-perception, people really can't multitask. The brain cannot concentrate on several things simultaneously. Instead it switches focus from task to task the same way a computer does. This means that all tasks are slowed down somewhat by the switching process, and the attempt to coordinate too many tasks can lead to more time being devoted to the switching than to the tasks at hand, a phenomenon computer scientists have long been aware of, known as "thrashing." Earl Miller, a neuroscientist at MIT, notes: "Think about writing an e-mail and talking on the phone at the same time. You cannot focus on one while doing the other. That's because of interference between the two tasks."4 Miller notes that in an MRI you can actually see the brain struggling as it shifts rapidly from one to the other.One can see that this might have a deleterious effect on one's work life. Research shows that, once interrupted by an e-mail or a phone call, the average worker can take up to half an hour to return to full concentration on the task at hand.5 But why does this matter for the spiritual life? Over time, multitasking erodes our ability to pay focused, close attention, and this eventually eats away at traits such as patience, tenacity, judgment, and problem solving. This is most evident in the latter. In a test of fifteen-year-olds, the United States ranks twenty-fourth out of the twenty-nine developed countries in the Organization for Economic Co-operation and Development on problem solving skills, with nearly 60 percent of them scoring below the most basic level of using a single... (shrink)

In the past decades, computers have become more and more involved in society by the rise of ubiquitous systems, increasing the number of interactions between humans and IT systems. At the same time, the technology itself is getting more complex, enabling devices to act in a way that previously only humans could, based on developments in the fields of both robotics and artificial intelligence. This results in a situation in which many autonomous, intelligent and context-aware systems are involved in decisions (...) that affect their environment. These relations between people, machines, and decisions can take many different forms, but thus far, a systematic account of machine-assisted moral decisions is lacking. This paper investigates the concept of machine-assisted moral decisions from the perspective of technological mediation. It is argued that modern machines do not only have morality in the sense of mediating the actions of humans, but that, by making their own decisions within their relations with humans, mediate morality itself. A classification is proposed to differentiate between four different types of moral relations. The moral aspects within the decisions these systems make are combined into three dimensions that describe the distinct characteristics of different types of moral mediation by machines. Based on this classification, specific guidelines for moral behavior can be provided for these systems. (shrink)

Currently, there is widespread skepticism that higher cognitive processes, given their apparent flexibility and globality, could be carried out by specialized computational devices, or modules. This skepticism is largely due to Fodor’s influential definition of modularity. From the rather flexible catalogue of possible modular features that Fodor originally proposed has emerged a widely held notion of modules as rigid, informationally encapsulated devices that accept highly local inputs and whose opera- tions are insensitive to context. It is a mistake, however, to (...) equate such features with computational devices in general and therefore to assume, as Fodor does, that higher cognitive processes must be non-computational. Of the many possible non-Fodorean architectures, one is explored here that offers possible solutions to computational problems faced by conventional modular systems: an ‘enzymatic’ architecture. Enzymes are computational devices that use lock-and-key template matching to iden- tify relevant information (substrates), which is then operated upon and returned to a common pool for possible processing by other devices. Highly specialized enzymes can operate together in a common pool of information that is not pre-sorted by information type. Moreover, enzymes can use molecular ‘tags’ to regulate the operations of other devices and to change how particular substrates are construed and operated upon, allowing for highly interactive, context-specific processing. This model shows how specialized, modular processing can occur in an open system, and suggests that skepti- cism about modularity may largely be due to failure to consider alternatives to the standard model. (shrink)

I examine the abstraction/representation theory of computation put forward by Horsman et al., connecting it to the broader notion of modeling, and in particular, model-based explanation, as considered by Rosen. I argue that the ‘representational entities’ it depends on cannot themselves be computational, and that, in particular, their representational capacities cannot be realized by computational means, and must remain explanatorily opaque to them. I then propose that representation might be realized by subjective experience (qualia), through being the bearer of (...) the structure of abstract objects that are represented. (shrink)

From the advent of general purpose, Turing-complete machines, the relation between operators, programmers and users with computers can be observed as interconnected informational organisms (inforgs), henceforth analysed with the method of levels of abstraction (LoAs), risen within the philosophy of information (PI). In this paper, the epistemological levellism proposed by L. Floridi in the PI to deal with LoAs will be formalised in constructive terms using category theory, so that information itself is treated as structure-preserving functions instead of Cartesian products. (...) The milestones in the history of modern computing are then analysed through constructive levellism to show how the growth of system complexity lead to more and more information hiding. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:The Journal of Aesthetic Education 37.4 (2003) 26-32 [Access article in PDF] A Sense of Reality In the current highly information-oriented society, electronic media have entered into our daily lives ever so naturally, even unnoticeably, yet their great influence on us is beyond measure. In addition to the many ways that information surrounds us in our everyday lives, we are also exposed to information from outer space via (...) television; computer networks; the surveillance satellite, Landsat; and the weather satellite, Himawari. The means ofunderstanding the "world" no longer come through our own bodies or through immediate involvement with phenomena. Instead, our experience via technologies of information is now mainly indirect. The changes in the [End Page 26] structure of experience have effectuated diverse influences on people, raising problems both within individuals and in society.This essay was written as an introduction to the exhibition "A Sense of Reality," held at the Utsunomiya Museum of Art in the summer of 1999. The purpose of this exhibition was to question the new relationship betweenmedia art and today's society, and the relationship between electronic media and human beings.For this exhibition, based on "sense" and "language," our objective was to examine the transformation of our bodily sensations and the state of "the self," including the changing relations between the two and in the present computerized society. The exhibition has been constructed to have the viewers interact directly with the exhibited works. The works by four artists and two groups cover a wide range of expression, from an installation using a video projector, to digital prints of a virtual space using a computer. Body Absorbed into Media "Lovers," a collaboration by Teiji Furuhashi and Artlab, was first exhibited in 1994 at Hillside Plaza in Tokyo, and has since traveled to various countries. This work can be seen as a work depicting the present state of "information" and "body" with the strongest determination, while also superbly revealing the present-day problems in relation to these. When the viewers entered the virtual space constructed by the electronic media, their living bodies were projected as images. Through intertwining and assimilating sensations both through and about the body, the feeling of merging into an imaginary world at some point creates a sense of bodily unification.This world, originated as a vessel for the "mother of electronics," thatblessed us with "eternal love," was the last device created by Teiji Furuhashi, who had a premonition of his own death. Except for the floor, which was made of white linoleum, the dark space was covered with a black cloth, ten meters in length and width, and six meters in height. A tower-shaped object was installed in the center of the floor. On the tower were video and slide projectors with sensors, which continuously showed the images of nine women and men on the walls and ceiling. The viewers encountered the life-size images that appeared from nowhere, and were compelled to interact with these images. The incidents that took place inside the dark, rectangular space enabled the viewers to actualize various encounters and partings with the images of naked bodies.Though the viewers felt as if they were dreaming or hallucinating, they had an uncanny sensation that the memory of this experience would become manifest deep inside their bodies. "Lovers" was an extraordinary interactive work that fully utilized electronic media, but was uncommon in that the technology was hardly noticeable. This work signified the future state of "the body and media," or "the body absorbed into media." The [End Page 27] work also urged us to recreate a humanistic relationship with the electronic media. Neutral Mind-Body Today, we are surrounded by a variety of electronic media, most of which are beyond the world of art. Many have already become essential devices in our daily lives. The widespread proliferation of electronic media such as video products, CDs, mobile phones, and devices which use information from satellites, have brought about convenient changes in our living environment and in communication. Real-time information, bi-directional information, and other electronic networks circle the globe.Electronic media have... (shrink)

This book celebrates the work of Don Pigozzi on the occasion of his 80th birthday. In addition to articles written by leading specialists and his disciples, it presents Pigozzi’s scientific output and discusses his impact on the development of science. The book both catalogues his works and offers an extensive profile of Pigozzi as a person, sketching the most important events, not only related to his scientific activity, but also from his personal life. It reflects Pigozzi's contribution to the rise (...) and development of areas such as abstract algebraic logic, universal algebra and computer science, and introduces new scientific results. Some of the papers also present chronologically ordered facts relating to the development of the disciplines he contributed to, especially abstract algebraic logic. The book offers valuable source material for historians of science, especially those interested in history of mathematics and logic. (shrink)

The authors attempt to speculatively reconstruct the concept of the “So­viet computer game”. They propose to consider gaming practices associ­ated with computers as a derivative of the accepted ideological guidelines that accompany the Soviet project of machine modernization. Within this framework, the concept of the Soviet computer game appears as an unre­alized historical alternative to the normative game design that has devel­oped in countries with market economies. Despite the industry — or the electronic entertainment market — not having had the (...) time to be properly established in the USSR, there were a number of discursive attitudes re­garding the game as such, and the gaming function of computing devices in particular. Even early Soviet pedagogical theories assumed that “playing like a Soviet” involves performing activities structurally similar to labor, where the player becomes part of production. Later, cybernetic discourse, through game theory, indicated the possibility of formalizing any prag­matic activity as a game model; with the advancement of programming, the pragmatics of digital gaming as a way of educating and solving utili­tarian tasks was developed. Based on the memoir archive of Soviet cyber­netics, and publications in the late-Soviet press, the authors demonstrate that the Soviet computer game was not seen an entertainment product, but a representative model for solving problems in an algorithmic form. Thus, the article is not about specific games that could be called Soviet, but about the logic that guided and set the tone for the interpretation of certain computer-game phenomena in the USSR. (shrink)

The computer is one of the most complex artifacts ever built. Given its complexity, it can be described from many different points of view. The aim of this paper is to investigate the representational structure and multifunctionality of a particular subset of computers, namely personal devices from a user-centred perspective. The paper also discusses the concept of “cognitive task”, as recently employed in some definitions of cognitive artifacts, and investigates the metaphysical properties of such artifacts. From a representational point of (...) view, the article introduces the concepts of artifactual meta-representation and of semi-transparency, two features that personal devices share with some cognitive and non-cognitive artifacts. Recognising the meta-representational nature of personal devices and of other cognitive artifacts, thus overcoming semi-transparency, is important for the understanding of why different artifacts offer us different cognitive affordances as well as different cognitive advantages. In this sense, it is not simply a theoretical achievement, but has some important practical consequences. In our highly technological world we can use different kinds of computers and artifacts for solving the same tasks, and we need to understand why some artifacts are better suited for some tasks than others. The ultimate characterisation of personal devices that emerges from this work is that of a sort of super-artifact. This special status is given to personal devices because of their distinctive features. They are in fact intrinsically multifunctional and meta-representational artifacts, with extremely variable structures. As super-artifacts, personal devices are characterised by macro-functionality and can be easily used as both cognitive artifacts and tools for other functions, depending on the kind of representations they instantiate. (shrink)

This paper addresses the methodological problem of analysing what it is to explain observed behaviours of engineered computing systems, focusing on the crucial role that abstraction and idealization play in explanations of both correct and incorrect BECS. First, it is argued that an understanding of explanatory requests about observed miscomputations crucially involves reference to the rich background afforded by hierarchies of functional specifications. Second, many explanations concerning incorrect BECS are found to abstract away from descriptions of physical components and (...) processes of computing systems that one finds below the logic circuit and gate layer of functional specification hierarchies. Third, model-based explanations of both correct and incorrect BECS that are provided in the framework of formal verification methods often involve idealizations. Moreover, a distinction between restrictive and permissive idealizations is introduced and their roles in BECS explanations are analysed. (shrink)

This is a presentation about joint work between Hector Zenil and Jean-Paul Delahaye. Zenil presents Experimental Algorithmic Theory as Algorithmic Information Theory and NKS, put together in a mixer. Algorithmic Complexity Theory defines the algorithmic complexity k(s) as the length of the shortest program that produces s. But since finding this short program is in general an undecidable question, the only way to approach k(s) is to use compression algorithms. He shows how to use the Compress function in Mathematica to (...) give an idea about the compressibility of various sequences. However, the idea of applying a compression algorithm breaks down for very short sequences. This is true not only for the Compress function, but also for any other compression algorithm. Zenil's approach is to construct a metric of algorithmic complexity for short sequences from scratch. He defines the algorithmic probability as the probability that an arbitrary program produces a sequence. The basic idea is to run a whole class of computational devices such as Turing Machines or Cellular Automata, and compute the distributions of the sequences they generate. Zenil presents a comparison of frequency distributions of sequences generated by 2-state 3-color Turing Machines and 2-color radius 1 Cellular Automata. He also compared these distributions to distributions found in data from the real world, and found that not only there is correlation across different systems, but also that the distributions are rather stable, and the difference between the distributions in abstract systems and real-world data can be attributed to noise. In his paper Zenil elaborates on the nature of the noise he has encountered. Zenil conjectures that the correlation distances between different systems decreases with a larger number of steps, and converge in the infinite limit case. (shrink)

By language we understand a lower predicate calculus with identity and (perhaps) relation and function symbols. It is convenient to allow for more than one sort of variable. Now each individual constant (if there are any) is of a specified sort, the formal expressions R(t1, … tn), f(t1,…, tn) are well formed only if the terms t1, …, tn are of specified sorts determined by the relation symbol R and the function symbol f, and the term f(t1, …, tn) (if (...) well formed) is of a sort determined by f. We admit s = t as well formed, no matter what the sorts of s and t. (shrink)

The intention here is that of giving a formal underpinning to the idea of ‘meaning-is-use’ which, even if based on proofs, it is rather different from proof-theoretic semantics as in the Dummett–Prawitz tradition. Instead, it is based on the idea that the meaning of logical constants are given by the explanation of immediate consequences, which in formalistic terms means the effect of elimination rules on the result of introduction rules, i.e. the so-called reduction rules. For that we suggest an extension (...) to the Curry– Howard interpretation which draws on the idea of labelled deduction, and brings back Frege’s device of variable-abstraction to operate on the labels (i.e., proof-terms) alongside formulas of predicate logic. (shrink)

The greatest intensity of “live” life is captured from as close as possible in order to be borne as far as possible away. Jacques Derrida. Echographies of Television . Rainer Ganahl has made a study of studying. As part of his extensive autobiographical art practice, he documents and presents many of the ambitious educational activities he undertakes. For example, he has been videotaping hundreds of hours of solitary study that show him struggling to learn Chinese, Arabic and a host of (...) other languages. The stacked boxes of tapes are then presented like minimalist monoliths, dense archives of effort. About fifteen years ago, Ganahl began photographing the lectures that he attends. At the time, he hadn’t seen anyone else doing it, so besides his spare selection of images of the speaker and the audience, much of the time the lectures would just pass into memory, undocumented, or recorded in writing alone. Since then, he has felt the transition to digital cause a significant shift in his process. At the same time, he has seen the habit become ubiquitous as others photograph, record, and videotape the lectures all around him. In keeping with the theme of this inaugural issue of continent. , can we propose each small grouping of photographs that result an isthmus stretching between two disparate bodies of mind? The first being the body of the lecture as spelled out in the title of each work – the experience of the event in all its constituent parts. The second is the body of the recipient, the listener, in this case an artist, who plays a minimal role just beyond the prescripted behavior of sitting and listening. He uses a gesture of documentation to draw a line between himself and the event, creating an artwork. Františka + Tim Gilman: As we mentioned before, the theme of the magazine for this issue is "isthmus." It seems like a very good way into your work, and it leads us to ask what connection you see between your photographs of the lecture and the lecture itself? Rainer Ganahl: The relationship is of course a concrete, pictorial one, or if you want a mimetic one but also an abstract one because the photographs carry the title of the lecture, the names of the lecturers, the site, the institution and the time of the lecture. Photos are fixed moments of time and can reproduce images displayed and reproduce visuals presented at a moment but they don’t come with time based recordings that video or sound takes are offering. What remains of a lecture is usually just the memory, some notes and all the announcements of it. In my case I end up with a visual product I declare as my artwork. It might not differ from any snapshot taken by any other student or member of the audience but I do this in a semi-systematic way with certain rules and procedures I have set up. While I am at a lecture I am mainly focusing on the lecture itself. Last night I went to one of Slavoj Žižek which demanded quite some concentration. I even was asking him a question at the end. I took photos as well but still didn’t lose track of the lecture. I didn’t walk around, I was not preoccupied by where I was sitting and what light I was having like some of the other photographing and filming people in the room who came and left, moved around and tried to capture him from this and that angle, from close and far. I just sat there and concentrated on the lecture and yet managed to take about 30 or so images of him, the public around me and of the film clips he presented. Once the lecture is over the story changes: it all becomes a question of the images, their selection, their visual qualities, their labeling and archiving. The function of the images also change: not only do they stand for an intellectual event in a row of lectures that become part of my intellectual history within many possible such histories but they also have to function as art, something not everybody else with images of lecturers demands of their images. This is my specific claim as an artist to impose them as artworks. And as with all artistic propositions the offer can be accepted or rejected. I basically spend my life trying to do exactly that: making what I declare as art, offering something to anybody interested in it as my art, an offer that is not and will never be accepted as such by all people. F+T: What are your criteria for selection, i.e. how do you choose which lectures to photograph, by lecturer, by topic, or do you photograph any and every lecture you can? RG: As everything in my life, I go by my interest which is the result of many factors. If I am aware of a lecturer, read his books or appreciate his works my interest of attending his much higher than if I am not aware of it. I usually don’t go to lecturers simply based on their subjects—something that can happen of course, if the subject, the title of the lecture is promising or at the heart of my interest. Sometimes I also wait for years to get a change to photograph certain people but I do that in a very low-level “keep your ears up” mentality and not in a systematic scanning of all channels and possibilities. I do not go into philosophy departments and photograph everybody teaching there. I go with the flow—and unfortunately a great deal of great talks I also miss because I hear too late of them. Often, I also stumble into them by traveling, by getting emails from friends and by simply being in the right spot at the right time. Somehow you could look at my lecture par cours as some kind of loose intellectual flâneurism . If you know of interesting lectures and events, please, let me know. F+T: Is your selection of images more of a production or post-production method? That is, do you take a lot of photos and select only a few images from each lecture, or do you take them very selectively? Do you have a particular methodology for the selection of images? RG: This all changed a bit with the arrival of digital photography. In the beginning I had to pay a lot of money for film developing. Hence, I was taking either one role - 36 images - or half a role - 13 images - depending on who talked and whether they projected images. With the unlimited capacity of digital imaging I easily end up between 30 and 150 images of one event still depending of whether images are presented or not. In the first years of that project when I wasn’t fully aware yet of what I was doing, I printed at least 2 images of any lecture and sometimes three or even four, a choice that was also constrained by costs. But again, since I have a web site and since images can easily be selected and presented on my web site without generating remarkable costs I have now more and more pain to reduce them to less than ten or eight images for an event. Now, before I have them printed which really is expensive, I can present them already as artwork on my web site without any immediate costs. Thus the economic factor is at the end of the chain which enables me to be more ‘generous’ and include more images. Over the last years I have been mostly selecting at least four photographs for a lecture unit but recently also as many as ten. But so far only one set above four images has been actually printed and sold. What might sound even more shocking is the likely fact that if a curator or a collector demands me to reduce the number of images due to costs, I might compromise at this current stage if the images have not been yet printed or published outside my own web site. This means that to a certain degree any selection that has only seen publication on my web site and not yet been produced runs the risk to change in numbers of images included. Needless to say, I am the last one that finally makes a decision and I do honor all given earlier decision if those were final. F+T: How do you feel the act of photographing the lecture affects your reception of the contents of the lecture? And your recollection afterwards, do you remember the lecture more having photographed it, or just having sat and listened? RG: As mentioned above, I get very little distraction from photographing since I can multitask well and do not obsess about the quality of the image: I photograph from where I am and listen with my ears and not my eyes. I am not sure whether the images serve as a mnemonic devise to the content of the lecture if there are no images involved but they at least remind me that the lecture existed, the title of the lecture and the name of the people and institutions involved. The titles of the hundreds of lectures I took during the past 15 years can also be read as an essay of theoretical life in that period. This will be come more and more visible as time passes by. These images age much better than I do. F+T: You mentioned at the outset of our discussions that you started this practice some time ago and have seen the practice of photographing lecturers become more commonplace. Why do you think that this shift has taken place? RG: The answer is very simple. Photographing is now free of any charge and hence omnipresent. You buy a phone or any other personal digital assistant and it has a camera integrated in it whether you want it or not. There is no need to develop images and there is no hassle to keep images, to distribute images, to organize images and save them. It is all virtual, not creating any costs and doesn’t require any efforts. You don’t spend twenty dollars for photo-developing anymore, you don’t need to walk anymore to your pharmacy or your photo shop to drop off and return to pick up and pay. You don’t need to go to the post office to send somebody a picture. You have a program like Photoshop already built into your camera. Photographing is now a thing for everybody—with functioning cameras made for two year olds. It is technically now nearly impossible to make bad images. The image quality is virtually guaranteed by cheap, high performing, mini-computers packed into miniscule cameras. With all these technological changes, we are undergoing now a cultural paradigm shift that includes permanent recording (not only still image taking) of everything. I wonder even whether babies are just born to be photographed—at least a process where the first photograph is right there. What is interesting now, is how the law is trying to catch up. I am experiencing and expecting more restrictions on photographing and recording—something already in place in many museums and in certain galleries—as the recording devices become more and more invisible and undetectable. It is an interesting cat and mouse play and will end up with some of us that are photographing the world around us in court. The world has become very transparent and everybody is contributing to it with social networking technologies—like twitter and Facebook—that are designed to monitor and communicate every step we make in our lives. F+T: Why did you start the practice? As a way to remember, or to capture the experience of the lecture and the environment there? RG: A couple of years earlier I started to photograph my own reading seminars as part of my art work with results that surprised me positively. I really liked these images of students and people discussing heavy non-fiction with me. The reading seminars justified this kind of pictorialism. Then in 1995 I had the chance to attend an entire seminar by Edward Said entitled “The Representation of Intellectuals at Columbia University,” which really gave me the idea to start this series. Why not also photograph these lectures I visit all the time since this really is a way of representing intellectuals? F+T: The constellation of images and the title seem like a kind of portrait, do you agree? If so, is it a portrait of the speaker, of yourself, or of the event? RG: Well, to follow up on the previous question the lectures are more than just portraits of lecturers since I include not only the speakers but also the audience, an audience that is not named or specifically highlighted as is the speaker. So if we stick with the metaphor of the portrait we would have to extend it also to the environment, the class room, the lecture hall, the arrangements of seats or benches, tables, lecture stands and other stuff typically seen on my images. Often the walls are decorated or even tagged with graffiti or posters and other stuff. There is a big difference between a small seminar room at the English Department of Columbia University, full with books and cabinets and a lecture room at a Paris or Frankfurt university that accommodates 50 to 150 people. We should, maybe, also distinguish between lectures that are one time events—mostly open to the public, free of charge or paid—and events that are weekly, closed to the public and held mostly in universities that can cost fortunes or be paid by the State as it is still predominantly the case in continental Europe. All this, of course, is not necessarily announced in the title of the lecture and is subject to information that isn’t visible on the images. To a certain degree we see also portraits of a general privilege when it comes to the public of certain institutions that are highly selective and extremely costly without forgetting that most of the lectures are dealing with theory, art, philosophy and other highbrow subjects. In general, I would say we see very little if we don’t know already what’s going on, who the lecturer, the institutions, the context are in which we subsequently can zoom into variants like sexual, racial, or age-related make-up without ignoring clothing fashions, hair styling, body mannerisms, gadgets and stuff. F+T: Do you see a relation between this body of work and your other work, for example your language studies? RG: Everything I do is “unfortunately” related. I say unfortunately because this makes my work not so easy to grasp. The relationship to the language studies is relatively clear since both are originally grounded in the domain of education and knowledge production. Nearly all my work comes across that nexus where knowledge and power are addressed. I was at one point wondering what the relationship was to some of my earlier indexical work where I was happy alone with footnotes from books painted on the walls: I came to understand that both are just different manifestations of knowledge and information. F+T: Do you foresee continuing the series indefinitely, or is there an end to it? RG: I think that I will continue this series indefinitely or to be more precise, as long as I go listen to lectures and want to learn something which brings me to your previous question: What do the reading seminars, language studies, historical research and lecture hopping have in common: I learn something. Further Reading Rainer Ganahl’s website William Kaizen. “ Vulgar Politics .” art&education . April 2009. Web. Smith, Roberta. “ Rainer Ganahl: ‘Language of Emigration & Pictures of Emigration .’” New York Times April 23 2010. Web. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Aestheticism and SpiritualismA Narrative Study of the Exploration of Self through the Practice of Chinese CalligraphyMing-Tak Hue (bio)IntroductionCalligraphy has been used to preserve significant writings and texts in a beautiful form and to make the different styles of writing enjoyable. It is not only the art of beautiful handwriting but also a cultural heritage and tradition that reflects the culture and history of a society, a race, a (...) nation, and a country. Hence, it has very great educational value. In China calligraphy is done with a brush, which was a common writing implement in ancient times. In addition to its utilitarian function, calligraphy is the most fundamental element in other types of art, such as painting and seal-carving, and is closely connected to many subject disciplines, such as literature, history, and philosophy. Brush calligraphy is still popular in Chinese society and is frequently used in different forms of publication, such as banners and newspapers; however, it is becoming more popular for these publications to be created mechanically or in electronic form with computers rather than by hand. In the context of schooling, a similar phenomenon can be seen. Many teachers in Hong Kong, as elsewhere, are concerned that fewer and fewer students have the chance to write with a pen and enjoy the beauty of writing, as the use of computers and different types of electronic devices for writing become more popular with the general public.The aim of this article is to examine the meaning of the practice of Chinese calligraphy from a cultural perspective and to draw school practitioners' attention to the importance of calligraphy education in the promotion of the whole-person growth of students and of multicultural education. Relevant literature on Western and Chinese calligraphy will be reviewed. Then an explanation will be given on how a narrative approach to the personal experience method and textual analysis were adopted for the data analysis. The article argues that calligraphy serves more than a utilitarian function. It [End Page 18] has also been used as an aesthetic practice and spiritual discipline. Hence, it is suggested that the calligraphy of brushwork is not only delightful to the eye but also an inspiration to the spirit. It is a practice of mindfulness for promoting self-reflection and self-cultivation, which leads calligraphy practitioners to reflect in their mind and heart, and so brings them into a harmonious relationship with others and the natural world.Literature ReviewIn Western societies for the last one hundred years, calligraphy has been rediscovered and relearned.1 Knight pointed out that the heritage and traditions of calligraphy have not been properly addressed and inherited in Western societies. Uyehara further suggested that calligraphy had been basically restudied and relearned in Europe and the United States up until the end of World War II. Edward Johnston (1872-1944) could be the most influential scholar who attempted to rediscover the art of Western calligraphy, lettering, and illuminating. In his study of ancient inscriptions and old manuscripts, three essential qualities of calligraphy were identified: "legibility," "beauty," and "character."2 When creating a piece of artwork, calligraphers have to ensure the legibility of the letter forms, the mastery of the skills of creating beautiful writing, and the readability of their works. As he explained,To make good letters and to arrange them well. To make good letters is not necessarily to "design" them—they have been designed long ago—but it is to take the best letters we can find, and to acquire them and make them our own. To arrange letters well requires no great art, but it requires a working knowledge of letter-forms and of the reasonable methods of grouping these forms to suit every circumstance.3Similarly, Knight highlighted the essential qualities of "legibility" and "beauty." Further, he stressed that the "creativity" of calligraphy should be imposed upon the tradition and cultural heritage of ancient manuscripts. As he said,[M]any of the conventions we use today in letter design and typography were established during the manuscript age. To know the classic work of this period is to know more about the ground we stand upon. If we grasp the... (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Diacritics 31.4 (2001) 85-102 [Access article in PDF] Culture in the Disk Drive Computationalism, Memetics, and the Rise of Posthumanism Stephen Dougherty Ever since Descartes argued that there are striking similarities between a man and a clock, humanism has been in a state of crisis. To put it more pointedly, humanism has always been in a state of crisis, ever since it emerged in the sixteenth and seventeenth (...) centuries as a constellation of beliefs that made man rather than God the measure of all things. Thus, since we are arguably witnesses now to the eclipse of the humanist tradition, we might take some comfort (if any is desired) in considering that if we have failed the ideal of humanism, it has also failed us. From the beginning its borders were too porous, its boundaries too ill defined. For even as man turned himself into a god, he increasingly began to resemble a machine.In terms of bodily representation, our machinic evolution through the last four centuries culminates in the figure of the cyborg; and if we have already become posthuman, as N. Katherine Hayles suggests, then the cyborg stands as the iconic pop culture figure of our epochal transformation. But you don't need electronic prosthetic devices attached to your body or silicon chips implanted in your head to be posthuman. As Hayles argues, "[w]hether or not interventions have been made on the body, new models of subjectivity emerging from such fields as cognitive science and artificial life imply that even a biologically unaltered Homo sapiens counts as posthuman" [4]. What counts especially, according to Hayles, is not the body/machine interface but how we conceptualize the workings of the mind/brain.In the humanist tradition signalled by Descartes, the subject is an I, an ego that is master of itself, a unified consciousness thinking itself. Before it is anything else, the Cartesian subject is a function of thought—ineffable and immaterial, and partaking in its nature of the divine and ineffable spirit that guarantees its communication with the material world. Thus, even though God has always been in the process of disappearing through the centuries since the Renaissance, spirit hasn't. Humanism never abandoned the concept of a spiritualized man, registering at the least a dissatisfaction with science's conventional claim to the possession of special and superior knowledge, and until quite recently dualism of one variety or another has been the normative philosophical attitude.But in posthumanism matters are different. To begin with, as Hayles puts it, "computation rather than possessive individualism is taken as the ground of being" [34]. Human consciousness is no longer that which thinks itself into its own unity, a mysterious phenomenon of infinite reflexivity that would become the central subject of, and the central problem for, modern philosophy. In fact, in the posthumanist regime human consciousness is no longer primarily a matter for philosophy, since questions regarding ontology and epistemology are displaced by the question of functionality. Cognitive processes are turned into syntactical operations similar to those that computers perform, 1 [End Page 85] and consciousness is reduced to mere epiphenomena of those machinic operations. 2Further, the cognitive functions of posthuman subjectivity are dispersed among a complex network of interrelated systems and subsystems (modules) responsible for receiving and interpreting data. 3 Consciousness thus loses the holistic unity it had possessed with a considerable degree of consensus from Descartes up to the behavioralists. Just as significantly, it loses its ineffability. The computationalists do not interrogate the mind as something beyond the grasp of scientific rationality because they do not approach thought as immaterial. Insofar as the brain has become a machine, mind is reduced to matter. In the new posthuman dispensation, then, philosophical dualism gives way to monism.Such an outcome would seem to suggest that the onset of posthumanism represents the ultimate victory for positivism and scientific rationalism in explaining human behavior. As Francis Crick explains in The Astonishing Hypothesis: The Scientific Search for the Soul, "the aim of science is to explain all aspects of the behavior of our brains, including... (shrink)

continent. 2.2 (2012): 148–151 When things get complex, as they may indeed be getting, the distinction between tools and the things that can be made with them begins to dissolve. The medium is not only also a message, it is an essential counter-valence to our own impulses towards the creation of meaning, beauty and knowledge. The tools we think we are using also use us: They push us around, make us think new things, do new things, even be new things. (...) Language is no different, of course, although in its supremacy and ubiquity, it is even more elusive, difficult to perceive. The very words you are looking at right now are like compact little cryptograms—a written convention, talking back at you in codes. Poetry is language speaking for itself. It is, at its best, where what is being told is coincident with the telling. The words written, or uttered, pop out at us, while in the same moment, constellations of meaning emerge; the components and its composition resonate, vacillate, on the page and in the air. Many of the constraints and styles of poetry we know have developed in order to allow words to express themselves, or show themselves as the mediation of a mental image. Programming languages for computer hardware, no matter how “high level” or abstract they are, are by necessity far less elaborate than traditional forms of writing and speech. But the structure and function of these new languages give them special advantage in clarity: These languages (syntax, sequence) and the results they produce (ideas, ‘executables’) are absolutely inseparable. By design, computing languages are created in order to express specific ideas, creating certain kinds of action or manipulation of other codes (data). In this sense perhaps, software is always, and already, poetic. It is precise description, and pure syntax—the signifier and signified—clearly coincident in the machine. Ishac Bertran ’s code {poems} is an edited book project that exposes the materiality of computer programming languages. Here are presented a small sampling from a compiled book of poetry written by software engineers, artists and other code writers, “exploring the potential of code to communicate at the level of poetry.” ( code-poems.com ) The project solicited for online, public submissions from code-writers in response to the notion of a poem, written in a software language which is semantically valid (i.e.: it compiles ). This solicitation winds up revealing the inner workings, constitutive elements, and styles of both a particular software and its authors. From a large number of submissions, a selection of poems will be printed as a bound volume in the Autumn of 2012. - Jamie Allen __________________________________________________ DAILYGRIND import java.util.Date; public class DailyGrind { public static final void main(String[] args) { boolean its_time_to_go_home = false; boolean away_the_hours = true; while (away_the_hours) { boolean away_the_hours = true; Date now = new Date(); its_time_to_go_home = now.getHours() > 17 && now.getMinutes() > 30; if (its_time_to_go_home) { break; } try { Thread.sleep(60000); } catch (InterruptedException e) { // ignore } } } } Paul Illingworth // Java __________________________________________________ UNHANDLED LOVE class love {}; void main() { throw love(); } Daniel Bezerra // C++ __________________________________________________ TWOFACED public class TwoFaced { public String greet() { return "Hi! So great to see you!"; } private String think() { return "Fucking bitch."; } } Jason Kopylec // Java __________________________________________________ DANCING WITHIN using System; public class PoemCode { private bool dancing_within() { Boolean me = true; while (dancing_within()) { var iables_of_light = ""; try { int elligently_to; object ify_the_world_apart; } catch (Exception s) { int o_the_broken_parts; throw; int o_the_seed_of_life; } Random ashes_of = new Random(); float ing_devices; short age_of; char acter_will_never_let_you = 'b'; } return me; } } Álvaro Matías Wong Díaz // C#  . (shrink)

Sensory and tracking technologies are being introduced into workplaces in ways Taylor and the Gilbreths could only have imagined. New work design experiments merge wellness with productivity to measure and modulate the affective and emotional labour of resilience that is necessary to survive the turbulence of the widespread incorporation of agile management systems, in which workers are expected to take symbolic direction from machines. The Quantified Workplace project was carried out by one company that fitted sensory algorithmic devices to workers’ (...) computers and bodies, which, this article argues, identify workers’ so-called agility and reveal management practices that track affective and emotional labour, categorized in the project as stress, subjective productivity and wellbeing. Capital’s accelerated attempts to capture more areas of work and workers’ capacities facilitate the conversion of labour power into a source of value but also results in alienation and abstraction. Participants’ resistance to participation in the Quantified Workplace reveals tensions in the labour process when affect is measured in processes of corporate change. (shrink)

I present a hypothetical account of how the ancients might have come to introduce mathematical objects in order to describe patterns, and I explain how working with patterns can generate information about the mathematical realm. The ancients might have started using what I call templates, i.e. concrete devices, like blueprints or drawings, to represent how things are shaped or structured, and this could have evolved into representing the abstract patterns that concrete things might fit. In this way, they might (...) have come to believe that written constructions and computations could provide information about the mathematical realm, for by their very nature, patterns should be structurally analogous to their templates and in positing that they are, one simply projects onto structures and features already attributed to templates. By reflecting on systems of dots representing cardinalities, the ancients could generate a body of results that then evolved into a systematic theory of numbers, but the approach fails when there is no direct connection between the computations and the patterns they are supposed to concern, e.g. those concerning trigonometric functions or transfinite ordinal numbers. In these cases, we forge a connection between proofs and patterns by positing that the premises of the proofs state uncontroversial features of the patterns, i.e. the premises constitute implicit definitions of the patterns. I explain how this position does not entail that mathematics is analytic or a priori. (shrink)

We capture the principal models of computation and specification in the literature by a uniform set of transparent mathematical descriptions which—starting from scratch—provide the conceptual basis for a comparative study.1.