The philosophical interest in experimental practice in neuroscience has brought renewed attention to the study of the development and use of techniques and tools for data production. John Bickle has argued that the construction and progression of theories in neuroscience are entirely dependent on the development and ingenious use of research tools. In Bickle's account, theory plays a tertiary role, as it depends on what the tools allow researchers to manipulate, and the tools, in turn, are developed not in order (...) to test theories but as solutions to engineering problems. However, Bickle's account is not entirely precise in explaining what informs researchers' decision-making in their atheoretical laboratory tinkering. Identifying the sources that guide researchers in tool development and use is crucial if one wishes to contribute to the philosophical or meta-scientific understanding of experimental practice in neuroscience. In the following paper, I claim that decision-making in tools' development and use in neuroscience is doubly guided. Pre-existing theory and concepts determine information's relevance, whereas tools' functioning in controlled situations determines information's reliability. Accordingly, experimenters' decision-making is situated both in the context of analysing, modelling or interpreting information and in the context of producing information. I study the case of the tungsten microelectrode developed by David Hubel during the 1950s. First, I show that pre-existing theory and concepts determine in advance what information would be relevant to obtain from the microelectrode. Second, I show that Hubel's tinkering follows the guidelines derived from the very structure of what we recognise as reliable experimentally produced information. Finally, I suggest that data-production processes allow experimenters to assess what to expect from an experimental system in terms of concept- and theory-generation and confirmation, thereby endorsing Bickle's tenet on the tertiary role of theory in neuroscience. (shrink)

There is a very simple way in which the safe/normal variable discipline of Bellantoni–Cook recursion [S. Bellantoni, S. Cook, A new recursion theoretic characterization of the polytime functions, Computational Complexity 2 97–110] can be imposed on arithmetical theories like PA: quantify over safes and induct on normals. This weakens the theory severely, so that the provably recursive functions become more realistically computable . Earlier results of D. Leivant [Intrinsic theories and computational complexity, in: D. Leivant , Logic and Computational Complexity, (...) Lecture Notes in Computer Science, vol. 960, Springer-Verlag, 1995, pp. 177–194] are re-worked and extended in this new context, giving proof-theoretic characterizations of complexity classes between Grzegorczyk’s E2 and E3. (shrink)

Subrecursive hierarchy classifications are used to compare the complexities of recursive functions according to their derivations in a version of Kleene's equation calculus, and their computations by term-rewriting. In each case ordinal bounds are assigned, and it turns out that the respective complexity measures are given by a version of the Fast Growing Hierarchy, and the Slow Growing Hierarchy. Known comparisons between the two hierarchies then provide ordinal trade-offs between derivation and computation. Characteristics of some well-known subrecursive classes are also (...) read off. (shrink)

Wilfred Sieg and Stanley S. Wainer. Program Transformation and Proof Transformation.

This work is derived from the SERC "Logic for IT" Summer School Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles which form an invaluable introduction to proof theory aimed at both mathematicians and computer scientists.

There is increasing interest in the EU about the central place of eIdentity (eID) in people’s lives. eID is increasingly seen as a bridge between the commercial viability of models based on large-scale provision of e-services and users’ need for privacy and security in online transactions. This paper examines technological, social and legal developments in the field of eID and asks whether there is the need for a new regulatory framework that both preserves users’ identity and enables the provision of (...) advanced services. Firstly, the paper interprets recent market moves in the eID field as a response to a rising regulatory tide. Secondly, it examines some of the challenges arising from Web2.0, and four emerging socio-legal issues associated with eID—behavioural profiling, social engineering, redlining and other unsocial practices. Thirdly, the paper examines the capacity of the current regulatory framework to absorb this turbulence, and finds it wanting. Finally, it advances a novel model of eID regulation that may help regulators create an identity-preserving, transaction-friendly eID environment. (shrink)

This article aims to read feminist new materialisms (Barad), together with ‘postulated’ linguistic or cultural primacy of Queer Theory (Butler), to show how both are engaged in similar critical-ethical endeavours. The central argument is that the criticism of Barad and new materialisms misses Butler’s materialistic insights due to a narrow interpretation of Butler's alleged social-constructivist position. There is, therefore, a specific focus on where they both make similar ethical appeals. Moreover, the article relies on Adorno's negative dialectic to highlight an (...) interpretation of Barad and Butler as being part of the same dialectical movement, in which materialism and idealism fluctuate in their mutual criticisms, thus continuing the procession towards 'new knowledge' and emancipation, or freedom, through their motions back and forth. (shrink)

In his entertaining and informative book Graphic Discovery, Howard Wainer unlocked the power of graphical display to make complex problems clear. Now he's back with Picturing the Uncertain World, a book that explores how graphs can serve as maps to guide us when the information we have is ambiguous or incomplete. Using a visually diverse sampling of graphical display, from heartrending autobiographical displays of genocide in the Kovno ghetto to the "Pie Chart of Mystery" in a New Yorker cartoon, (...) Wainer illustrates the many ways graphs can be used--and misused--as we try to make sense of an uncertain world. Picturing the Uncertain World takes readers on an extraordinary graphical adventure, revealing how the visual communication of data offers answers to vexing questions yet also highlights the measure of uncertainty in almost everything we do. Are cancer rates higher or lower in rural communities? How can you know how much money to sock away for retirement when you don't know when you'll die? And where exactly did nineteenth-century novelists get their ideas? These are some of the fascinating questions Wainer invites readers to consider. Along the way he traces the origins and development of graphical display, from William Playfair, who pioneered the use of graphs in the eighteenth century, to instances today where the public has been misled through poorly designed graphs. We live in a world full of uncertainty, yet it is within our grasp to take its measure. Read Picturing the Uncertain World and learn how. (shrink)

In this explosive book, Howard Wainer uses statistical evidence to show why some of the most widely held beliefs in education today--and the policies that have resulted--are wrong.

The class of all recursive functions fails to possess a natural hierarchical structure, generated predicatively from "within". On the other hand, many (proof-theoretically significant) sub-recursive classes do. This paper attempts to measure the limit of predicative generation in this context, by classifying and characterizing those (predictably terminating) recursive functions which can be successively defined according to an autonomy condition of the form: allow recursions only over well-orderings which have already been "coded" at previous levels. The question is: how can a (...) recursion code a well-ordering? The answer lies in Girard's theory of dilators, but is reworked here in a quite different and simplified framework specific to our purpose. The "accessible" recursive functions thus generated turn out to be those provably recursive in $(\prod_{1}^{1}-CA)_{0}$. (shrink)

Este artigo apresenta os principais resultados de uma pesquisa que objetivou verificar a validade e viabilidade de aplicar modelos lógico-pragmáticos da Lingüística Cognitiva ao entendimento dos processos inferenciais nos diálogos de díades pacientepsicoterapeuta em Terapia Cognitivo-Comportamental ..

Girard’s maxim, that Peano Arithmetic is a theory of one inductive definition, is re-examined in the light of a weak theory EA formalising basic principles of Nelson’s predicative Arithmetic.

This paper reports on an approach to model generalized implicatures using nonmonotonic logics. The approach, called compositional, is based on the idea of compositional semantics, where the implicatures carried by a sentence are constructed from the implicatures carried by its constituents, but it also includes some aspects nonmonotonic logics in order to model the defeasibility of generalized implicatures.

Assyriologists who have studied Mesopotamian commentary formation have drawn upon ideas from scholars of religion in treating the creation of a static canon at the end of the second millennium bce as a necessary precondition for the emergence of cuneiform commentaries. The present contribution argues against the idea that Mesopotamian commentaries emerged in response to a closed canon by marshaling evidence from Mesopotamian divinatory compositions, including the celestial-divinatory series Enūma Anu Enlil and its associated aḫû, or “extraneous” tradition, as well (...) as the extispical treatise Bārûtu. These compositions illustrate that commentaries could be written about texts that were still fluid and malleable in ancient Mesopotamia. Moreover, a brief look at the phenomenon of inner biblical exegesis in the Hebrew Bible supports the idea that texts need not be unchanging to be the subject of interpretation, whether in ancient Mesopotamia or elsewhere. In response to these conclusions, I outline an alternate theory for Mesopotamian commentary formation that eschews the importance of a closed canon and stresses instead ideas of scholarly bilingualism, divination, authority, and textual decorum in ancient Iraq. (shrink)

The general objective of this essay is to systematize Jean-Luc Nancy’s post- deconstructive reflections on the concept of evidence. A general claim of this paper is that the post-deconstructive concept of evidence is genuinely an epistemic concept of evidence insofar as it refers to structures involved in verification processes. Evidence is the presentation of a state of affairs that relates the presentation not only to what we claim about this state of affairs but also to the singular circumstances of its (...) production. Verification (the production of a claim’s truth) results directly from the singularities involved in the production or presentation of evidence. This means that evidence is never exhausted in the truth it produces or the knowledge it validates but remains a priori exposed or available to produce and validate unknown knowledge about unknown states of affairs. (shrink)

Terence Irwin's edition of the Nicomachean Ethics offers more aids to the reader than are found in any modern English translation. It includes an Introduction, headings to help the reader follow the argument, explanatory notes on difficult or important passages, and a full glossary explaining Aristotle's technical terms. The Third Edition offers additional revisions of the translation as well as revised and expanded versions of the notes, glossary, and Introduction. Also new is an appendix featuring translated selections from related texts (...) of Aristotle. (shrink)

Following our [6], though with somewhat different methods here, further variants of Goodstein sequences are introduced in terms of parameterized Ackermann–Péter functions. Each of the sequences is shown to terminate, and the proof-theoretic strengths of these facts are calibrated by means of ordinal assignments, yielding independence results for a range of theories: PRA, PA,$\Sigma ^1_1$-DC$_0$, ATR$_0$, up to ID$_1$. The key is the so-called “Hardy hierarchy” of proof-theoretic bounding finctions, providing a uniform method for associating Goodstein-type sequences with parameterized normal (...) form representations of positive integers. (shrink)

The development of transplantation technology increasingly places before society a multitude of diverse, complex ethical and legal problems. The subject is the more complex because of the various divergent interests involved. There are the interests of the donor of organs, who has a right to protection of his legal position, and those of the patient in need of an often lifesaving organ. There are also the interests of the donor’s relatives, after his death, and those of the transplantation surgeons. The (...) international dimension of transplantation technology makes the picture even more complicated. Though this article is devoted to the European situation, the problems are similar all over the world. (shrink)

The development of transplantation technology increasingly places before society a multitude of diverse, complex ethical and legal problems. The subject is the more complex because of the various divergent interests involved. There are the interests of the donor of organs, who has a right to protection of his legal position, and those of the patient in need of an often lifesaving organ. There are also the interests of the donor’s relatives, after his death, and those of the transplantation surgeons. The (...) international dimension of transplantation technology makes the picture even more complicated. Though this article is devoted to the European situation, the problems are similar all over the world. (shrink)

This study described the relationships between academic class and student moral sensitivity and reasoning and between curriculum design components for ethics education and student moral sensitivity and reasoning. The data were collected from freshman (n = 506) and senior students (n = 440) in eight baccalaureate nursing programs in South Korea by survey; the survey consisted of the Korean Moral Sensitivity Questionnaire and the Korean Defining Issues Test. The results showed that moral sensitivity scores in patient-oriented care and conflict were (...) higher in senior students than in freshman students. Furthermore, more hours of ethics content were associated with higher principled thinking scores of senior students. Nursing education in South Korea may have an impact on developing student moral sensitivity. Planned ethics content in nursing curricula is necessary to improve moral sensitivity and moral reasoning of students. (shrink)

Data production in experimental sciences depends on localised experimental systems, but the epistemic properties of data transcend the contingencies of the processes that produce them. Philosophers often believe that experimental systems instantiate but do not produce the epistemic properties of data. In this paper, we argue that experimental systems' local functioning entails intrinsic capacities to produce the epistemic properties of data. We develop this idea by applying Derrida's model of arche-writing to study a case of theory-oriented experimental practice. Derrida's model (...) relativises or dissolves the conceptual distinction between the moment of data production and a subsequent moment of data dissemination. It thus has consequences for understanding both data production (despite being intrinsically local, data production a priori generates transferrable and modellable information) and data dissemination (when modelling information, researchers needs to refer this information to the context of its production). We study a case of data production in a non-exploratory experimental system designed to test a pre-existing hypothesis in visual neuroscience. A case of theory-oriented experimental practice should allow us to identify the autonomous functioning of experimental systems in data production more clearly, insofar as it allows us to study the limits of pre-existing theory in the activities of these systems. We suggest that pre-existing concepts, hypotheses and theories condition the relevance but not the production of experimental data. (shrink)

Is the procreation asymmetry intuitively supported? According to a recent article in this journal, an experimental study suggests the opposite. Dean Spears (2020) claims that nearly three-quarters of participants report that there is a reason to create a person just because that person’s life would be happy. In reply, I argue that various confounding factors render the study internally invalid. More generally, I show how one might come to adopt the procreation asymmetry for the wrong reasons by misinterpreting one’s intuitions.

Philosophers ask just whose expression, if anyone’s, we hear in lyric poetry. Walton provides a novel possibility: it’s the reader who “uses” the poem (just as a speech giver uses a speech) who makes the language expressive. But worries arise once we consider poems in particular social or political settings, those which require a strong self-other distinction, or those with expressions that should not be disassociated from the subjects whose experience they draw from. One way to meet this challenge is (...) to consider the poem expressive of a plural subject, which frees us from looking for a particular individual whose voice we hear in the work, whether she be fictional or actual. Some lyrics give voice to a group whose experience is attended to in the work. This may be done through a posited fictional speaker, but the ontology of the speaker is shown to be less important. Attending to a group whose concerns are voiced allows us to explain how poems can manage to address our-worldly concerns even when lacking actual persons whose expressions we encounter in the poems. (shrink)

Chance Neutrality is the thesis that, conditional on some proposition being true, its chance of being true should be a matter of practical indifference. The aim of this article is to examine whether Chance Neutrality is a requirement of rationality. We prove that given Chance Neutrality, the Principal Principle entails a thesis called Linearity; the centerpiece of von Neumann and Morgenstern’s expected utility theory. With this in mind, we argue that the Principal Principle is a requirement of practical rationality but (...) that Linearity is not and, hence, that Chance Neutrality is not rationally required. (shrink)

An English language translation accompanies the original Greek text of Aristotle's book about the nature of the state, constitutions, revolutions, democracy, and oligarchy.