Utility maximization is a key element of a number of theoretical approaches to explaining human behavior. Among these approaches are rational analysis, ideal observer theory, and signal detection theory. While some examples of these approaches define the utility maximization problem with little reference to the bounds imposed by the organism, others start with, and emphasize approaches in which bounds imposed by the information processing architecture are considered as an explicit part of the utility maximization problem. These latter approaches are the (...) topic of this issue of the journal. (shrink)

This article argues that Gilbert Simondon’s philosophy of technology is useful for both science and technology studies and critical theory. The synthesis has political implications. It offers an argument for the rationality of democratic interventions by citizens into decisions concerning technology. The new framework opens a perspective on the radical transformation of technology required by ecological modernization and sustainability. In so doing, it suggests new applications of STS methods to politics as well as a reconstruction of the Frankfurt School’s “rational (...) critique of reason.”. (shrink)

Few automated legal reasoning systems have been developed in domains of law in which a judicial decision maker has extensive discretion in the exercise of his or her powers. Discretionary domains challenge existing artificial intelligence paradigms because models of judicial reasoning are difficult, if not impossible to specify. We argue that judicial discretion adds to the characterisation of law as open textured in a way which has not been addressed by artificial intelligence and law researchers in depth. We demonstrate that (...) systems for reasoning with this form of open texture can be built by integrating rule sets with neural networks trained with data collected from standard past cases. The obstacles to this approach include difficulties in generating explanations once conclusions have been inferred, difficulties associated with the collection of sufficient data from past cases and difficulties associated with integrating two vastly different paradigms. A knowledge representation scheme based on the structure of arguments proposed by Toulmin has been used to overcome these obstacles. The system, known as Split Up, predicts judicial decisions in property proceedings within family law in Australia. Predictions from the system have been compared to those from a group of lawyers with favourable results. (shrink)

It is known that, on average, people adapt their choice of memory strategy to the subjective utility of interaction. What is not known is whether an individual's choices are boundedly optimal. Two experiments are reported that test the hypothesis that an individual's decisions about the distribution of remembering between internal and external resources are boundedly optimal where optimality is defined relative to experience, cognitive constraints, and reward. The theory makes predictions that are tested against data, not fitted to it. The (...) experiments use a no-choice/choice utility learning paradigm where the no-choice phase is used to elicit a profile of each participant's performance across the strategy space and the choice phase is used to test predicted choices within this space. They show that the majority of individuals select strategies that are boundedly optimal. Further, individual differences in what people choose to do are successfully predicted by the analysis. Two issues are discussed: the performance of the minority of participants who did not find boundedly optimal adaptations, and the possibility that individuals anticipate what, with practice, will become a bounded optimal strategy, rather than what is boundedly optimal during training. (shrink)

Despite a large and multifaceted effort to understand the vast landscape of phenotypic data, their current form inhibits productive data analysis. The lack of a community-wide, consensus-based, human- and machine-interpretable language for describing phenotypes and their genomic and environmental contexts is perhaps the most pressing scientific bottleneck to integration across many key fields in biology, including genomics, systems biology, development, medicine, evolution, ecology, and systematics. Here we survey the current phenomics landscape, including data resources and handling, and the progress that (...) has been made to accurately capture relevant data descriptions for phenotypes. We present an example of the kind of integration across domains that computable phenotypes would enable, and we call upon the broader biology community, publishers, and relevant funding agencies to support efforts to surmount today's data barriers and facilitate analytical reproducibility. (shrink)

We propose a framework for including information‐processing bounds in rational analyses. It is an application of bounded optimality (Russell & Subramanian, 1995) to the challenges of developing theories of mechanism and behavior. The framework is based on the idea that behaviors are generated by cognitive mechanisms that are adapted to the structure of not only the environment but also the mind and brain itself. We call the framework computational rationality to emphasize the incorporation of computational mechanism into the definition of (...) rational action. Theories are specified as optimal program problems, defined by an adaptation environment, a bounded machine, and a utility function. Such theories yield different classes of explanation, depending on the extent to which they emphasize adaptation to bounds, and adaptation to some ecology that differs from the immediate local environment. We illustrate this variation with examples from three domains: visual attention in a linguistic task, manual response ordering, and reasoning. We explore the relation of this framework to existing “levels” approaches to explanation, and to other optimality‐based modeling approaches. (shrink)

We say that A ≤LR B if every B-random number is A-random. Intuitively this means that if oracle A can identify some patterns on some real γ. In other words. B is at least as good as A for this purpose. We study the structure of the LR degrees globally and locally (i.e., restricted to the computably enumberable degrees) and their relationship with the Turing degrees. Among other results we show that whenever α in not GL₂ the LR degree of (...) α bounds $2^{\aleph _{0}}$ degrees (so that, in particular, there exist LR degrees with uncountably many predecessors) and we give sample results which demonstrate how various techniques from the theory of the c.e. degrees can be used to prove results about the c.e. LR degrees. (shrink)

It is shown that for every (Turing) degree 0 < a < 0´ there is a minimal degree m < 0´ such that a ∨ m = 0´ (and therefore a ∧ m = 0).

Historically, Thomas Aquinas has been controversial for his use of Averroistic-Aristotelian metaphysics. Because of his doctrine of simplicity many of argued that this entails a necessitarian view of nature—a debate that would pass through Spinoza, Descartes, and even to this day. Nevertheless, Thomas would prevail, not only to sainthood, but to become the patron of education and the Teacher of the Church. The task in this paper is to demonstrate that, contrary to many current contentions in Protestant, and especially Evangelical (...) circles, Aristotelian/Thomistic metaphysics remains a suitable, viable, even preferable framework for Christian Theism and, for the purposes of this paper, scientific thought. The specific focus will be on creation metaphysics and the relationship between current science and Christian thought raised by Lydia Jaeger. I will conclude with an example of the ability of radical contingency in Thomas to both satisfy contemporary physics and frame a consistent and coherent Christian Theism. (shrink)

The multiverse hypothesis is the leading alternative to the competing fine-tuning hypothesis. The multiverse dispels many aspects of the fine-tuning argument by suggesting that there are different initial conditions in each universe, varying constants of physics, and the laws of nature lose their known arbitrary values; thus, making the previous single-universe argument from fine- tuning incredibly weak. The position that will be advocated will be that a form of multiverse could exist and that any level of Tegmark's multiverse does not (...) circumvent the fine-tuning argument for the existence of a fine-tuner. An argument will be presented suggesting that the multiverse could strengthen the fine-tuning argument by narrowing down the parameters of the data to a more fundamental description needed for the multiverse to function as it does since it may be the case that some physical descriptions are not the same in every universe. That is, the task of explaining how the multiverse mechanism functions cannot be accounted for by the multiverse itself. Fine-tuning by a mind serves as a sufficient and best explanation for the data. (shrink)

The strong weak truth table (sw) reducibility was suggested by Downey, Hirschfeldt, and LaForte as a measure of relative randomness, alternative to the Solovay reducibility. It also occurs naturally in proofs in classical computability theory as well as in the recent work of Soare, Nabutovsky, and Weinberger on applications of computability to differential geometry. We study the sw-degrees of c.e. reals and construct a c.e. real which has no random c.e. real (i.e., Ω number) sw-above it.

Bioinformatics – the so-called shotgun marriage between biology and computer science – is an interdiscipline. Despite interdisciplinarity being seen as a virtue, for having the capacity to solve complex problems and foster innovation, it has the potential to place projects and people in anomalous categories. For example, valorised ‘outputs’ in academia are often defined and rewarded by discipline. Bioinformatics, as an interdisciplinary bricolage, incorporates experts from various disciplinary cultures with their own distinct ways of working. Perceived problems of interdisciplinarity include (...) difficulties of making explicit knowledge that is practical, theoretical, or cognitive. But successful interdisciplinary research also depends on an understanding of disciplinary cultures and value systems, often only tacitly understood by members of the communities in question. In bioinformatics, the ‘parent’ disciplines have different value systems; for example, what is considered worthwhile research by computer scientists can be thought of as trivial by biologists, and vice versa. This paper concentrates on the problems of reward and recognition described by scientists working in academic bioinformatics in the United Kingdom. We highlight problems that are a consequence of its cross-cultural make-up, recognising that the mismatches in knowledge in this borderland take place not just at the level of the practical, theoretical, or epistemological, but also at the cultural level too. The trend in big, interdisciplinary science is towards multiple authors on a single paper; in bioinformatics this has created hybrid or fractional scientists who find they are being positioned not just in-between established disciplines but also in-between as middle authors or, worse still, left off papers altogether. (shrink)

The writings of the Church Fathers form a distinct body of literature that shaped the early church and built upon the doctrinal foundations of Christianity established within the New Testament. Christian literature in the period c.100–c.400 constitutes one of the most influential textual oeuvres of any religion. Written mainly in Greek, Latin and Syriac, Patristic literature emanated from all parts of the early Christian world and helped to extend its boundaries. The History offers a systematic account of that literature and (...) its setting. The works of individual writers in shaping the various genres of Christian literature is considered, alongside three general essays, covering distinct periods in the development of Christian literature, which survey the social, cultural and doctrinal context within which Christian literature arose and was used by Christians. This is a landmark reference book for scholars and students alike. (shrink)

We study the Medvedev degrees of mass problems with distinguished topological properties, such as denseness, closedness, or discreteness. We investigate the sublattices generated by these degrees; the prime ideal generated by the dense degrees and its complement, a prime filter; the filter generated by the nonzero closed degrees and the filter generated by the nonzero discrete degrees. We give a complete picture of the relationships of inclusion holding between these sublattices, these filters, and this ideal. We show that the sublattice (...) of the closed Medvedev degrees is not a Brouwer algebra. We investigate the dense degrees of mass problems that are closed under Turing equivalence, and we prove that the dense degrees form an automorphism base for the Medvedev lattice. The results hold for both the Medvedev lattice on the Baire space and the Medvedev lattice on the Cantor space. (shrink)

We show that there exists a real α such that, for all reals β, if α is linear reducible to β then β≤Tα. In fact, every random real satisfies this quasi-maximality property. As a corollary we may conclude that there exists no ℓ-complete Δ2 real. Upon realizing that quasi-maximality does not characterize the random reals–there exist reals which are not random but which are of quasi-maximal ℓ-degree–it is then natural to ask whether maximality could provide such a characterization. Such hopes, (...) however, are in vain since no real is of maximal ℓ-degree. (shrink)

We show that given any (Turing) degree 0

Areas of Mathematics in Philosophy of Mathematics

Direct download (3 more)  

 

Export citation  

 

Bookmark   3 citations  

We show that in the c.e. weak truth table degrees if b < c then there is an a which contains no hypersimple set and b < a < c. We also show that for every w < c in the c.e. wtt degrees such that w is hypersimple, there is a hypersimple a such that w < a < c. On the other hand, we know that there are intervals which contain no hypersimple set.

ABSTRACTRecognising identity and emotion conveyed by the face is important for successful social interactions and has thus been the focus of considerable research. Debate has surrounded the extent...

We say that A≤LRB if every B-random set is A-random with respect to Martin–Löf randomness. We study this relation and its interactions with Turing reducibility, classes, hyperimmunity and other recursion theoretic notions.

We show that the identity bounded Turing degrees of computably enumerable sets are not dense.

This is the fourth volume of a series entitled `Current Legal Issues' that are published each Summer as a sister volume to `Current Legal Problems'. The interaction of religious practice and the law raises a number of difficult and fascinating issues. What exactly do we mean by religious faith? To what extent are the Courts competent to pass judgement on disputes arising within religious organisations? Are some religious faiths more legitimate than others? Should the law grant special privileges to religious (...) believers? - for example exemption from provisions in human rights legislation which would otherwise restrict their activities. (shrink)

Ayn Rand's first novel, We the Living, offers an early form of the author's nascent philosophy—the philosophy Rand later called Objectivism. Robert Mayhew's collection of entirely new essays brings together pre-eminent scholars of Rand's writing. In part a history of We the Living, from its earliest drafts to the Italian film later based upon it, Mayhew's collection goes on to explore the enduring significance of Rand's first novel as a work both of philosophy and of literature.

Metatheoretical codifications of the sociological writings of George H. Mead, Jose Ortega y Gasset, and Alfred Schutz highlight the importance of the idea of life and of a commitment to a realist perspective. The authors turn common concern with the life concept in three directions: evolutionary emergence, historical rationality, and phenomenological analysis. In spite of differences, these directions share an empirically grounded starting point in the situated individual and its environment, and end with suggestions for a universalist rationality. Preliminary metatheoretical (...) principles from these authors offer a start toward a vital realist sociology fitted to the universal conditions of social life. (shrink)

The infinite time Turing machine analogue of Post's problem, the question whether there are semi-decidable supertask degrees between 0 and the supertask jump 0∇, has in a sense both positive and negative solutions. Namely, in the context of the reals there are no degrees between 0 and 0∇, but in the context of sets of reals, there are; indeed, there are incomparable semi-decidable supertask degrees. Both arguments employ a kind of transfinite-injury construction which generalizes canonically to oracles.

Charney's target article continues a critique of genetic blueprint models of development that suggests reconsideration of concepts of adaptation, inheritance, and environment, which can be well illustrated in current research on infant attachment. The concepts of development and adaptation are so heavily based on the model of genetics and inheritance forged in the modern synthesis that they will require reconsideration to accommodate epigenetic inheritance.

Del Giudice provides an extension of the life history theory of attachment that incorporates emerging data suggestive of sex differences in avoidant male and preoccupied female attachment patterns emerging in middle childhood. This commentary considers the place of disorganized attachment within this theory and why male children may be more prone to disorganized attachment by drawing on Trivers's parental investment theory.

Law and History contains a broad range of essays by prominent legal historians, which explore the ways in which history has been used by lawyers. Largely theoretical in focus, the volume covers a broad range of issues, including discussions of norms in medieval England, the works of Montesquieu, Maine, and Weber, and of the nature of legal argument in nineteenth-century England, and in twentieth- century war crimes trials.Readership: Scholars of law and history, social historians, legal historians.

It is shown that for every degree 0