This is the compelling story of one of the most fascinating thinkers of the twentieth century- a richly toned portrait of a modern-day Thoreau.

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)

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)

This paper considers the possibility of prediction in land use planning, and the use of statistical research methods in analyses of relationships between urban form and travel behaviour. Influential writers within the tradition of critical realism reject the possibility of predicting social phenomena. This position is fundamentally problematic to public planning. Without at least some ability to predict the likely consequences of different proposals, the justification for public sector intervention into market mechanisms will be frail. Statistical methods like regression analyses (...) are commonly seen as necessary in order to identify aggregate-level effects of policy measures, but are questioned by many advocates of critical realist ontology. Using research into the relationship between urban structure and travel as an example, the paper discusses relevant research methods and the kinds of prediction necessary and possible in spatial planning of urban development. Finally, the political implications of positions within theory of science rejecting the possibility of predictions about social phenomena are addressed. (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)

This paper discusses the practice of cost-benefit analyses of transportation infrastructure investment projects from the meta-theoretical perspective of critical realism. Such analyses are based on a number of untenable ontological assumptions about social value, human nature and the natural environment. In addition, main input data are based on transport modelling analyses based on a misleading `local ontology' among the model makers. The ontological misconceptions translate into erroneous epistemological assumptions about the possibility of precise predictions and the validity of willingness-to-pay investigations. (...) Accepting the ontological and epistemological assumptions of cost-benefit analysis involves an implicit acceptance of the ethical and political values favoured by these assumptions. Cost-benefit analyses of transportation investment projects tend to neglect long-term environmental consequences and needs among population groups with a low ability to pay. Instead of cost-benefit analyses, impact analyses evaluating the likely effects of project alternatives against a wide range of societal goals is recommended, with quantification and economic valorisation only for impact categories where this can be done in an ontologically and epistemologically defensible way. (shrink)

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.

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

This article argues that there is a fundamental contradiction between a profit-oriented economic system and long-term environmental sustainability. The ‘solutions’ that are proposed by mainstream environmental economists as well as their ‘ecological economy’ colleagues do not solve the central problems, but serve to further highlight the difficulties of changing capitalism towards sustainability. In a profit-oriented economy, capital accumulation is a prime driving force, and non-growth for the economy at large tends to result in serious economic and social crises. On the (...) other hand, a de-coupling of economic growth from resource depletion and environmental degradation is possible only within certain sectors or product types and within relatively short time perspectives. The assumptions of mainstream economists about infinite economic growth (and infinite dematerialisation) represent a false ontology according to which the powers and mechanisms of the natural world are considered totally controllable by humans as if they were mere epiphenomena of the human world. On the other hand, the assumptions of certain ecological economists about the possibility of steady-state capitalism disregard the relation between capital and surplus value, which constitutes a strong mechanism driving the capitalist economy toward limitless growth. (shrink)

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)

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 ..

Ecology, Community and Lifestyle is a revised and expanded translation of Naess' book Okologi, Samfunn og Livsstil, which sets out the author's thinking on the relevance of philosophy to the problems of environmental degradation and the rethinking of the relationship between mankind and nature. The text has been thoroughly updated by Naess and revised and translated by David Rothenberg.

Kritik af tidens fremherskende funktionalistiske, historieløse kultur, der fratager os evnen til at koncentrere og fordybe os, og efterlader et samfund uden rødder og retning.

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 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.