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)

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)

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)

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)

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)

This volume offers a collection of in-depth explorations of pragmatism as a framework for discussions in philosophy of science and metaphysics. Each chapter involves explicit reflection on what it means to be pragmatist, and how to use pragmatism as a guiding framework in addressing topics such as realism, unification, fundamentality, truth, laws, reduction, and more. -/- .

كتاب بحصي يتناول الصراع بين الصوفية والسلفية ويتناول قصة حياة الحلاج وابن الفارض والسهروردي ودواوينهم ويتناول الحب الإلهي عند الصوفية.

"First published by Oxford University Press, 1916."--Title page verso.

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

This is the first complete, one-volume English translation of the ancient Chinese text Xunzi, one of the most extensive, sophisticated, and elegant works in the tradition of Confucian thought. Through essays, poetry, dialogues, and anecdotes, the Xunzi articulates a Confucian perspective on ethics, politics, warfare, language, psychology, human nature, ritual, and music, among other topics. Aimed at general readers and students of Chinese thought, Eric Hutton’s translation makes the full text of this important work more accessible in English than ever (...) before. Named for its purported author, the Xunzi has long been neglected compared to works such as the Analects of Confucius and the Mencius. Yet interest in the Xunzi has grown in recent decades, and the text presents a much more systematic vision of the Confucian ideal than the fragmented sayings of Confucius and Mencius. In one famous, explicit contrast to them, the Xunzi argues that human nature is bad. However, it also allows that people can become good through rituals and institutions established by earlier sages. Indeed, the main purpose of the Xunzi is to urge people to become as good as possible, both for their own sakes and for the sake of peace and order in the world. In this edition, key terms are consistently translated to aid understanding and line numbers are provided for easy reference. Other features include a concise introduction, a timeline of early Chinese history, a list of important names and terms, cross-references, brief explanatory notes, a bibliography, and an index. (shrink)

This incisive book deals with the use of the criminal law to enforce morality, in particular sexual morality, a subject of particular interest and importance since the publication of the Wolfenden Report in 1957. Professor Hart first considers John Stuart Mill's famous declaration: "The only purpose for which power can be rightfully exercised over any member of a civilized community is to prevent harm to others." During the last hundred years this doctrine has twice been sharply challenged by two great (...) lawyers: Sir James Fitzjames Stephen, the great Victorian judge and historian of the common law, and Lord Devlin, who both argue that the use of the criminal law to enforce morality is justified. The author examines their arguments in some detail, and sets out to demonstrate that they fail to recognize distinction of vital importance for legal and political theory, and that they espouse a conception of the function of legal punishment that few would now share. (shrink)

A classic exposition of Kant's ethical thought.