This book gives a detailed treatment of functional interpretations of arithmetic, analysis, and set theory. The subject goes back to Gödel's Dialectica interpretation of Heyting arithmetic which replaces nested quantification by higher type operations and thus reduces the consistency problem for arithmetic to the problem of computability of primitive recursive functionals of finite types. Regular functional interpretations, i.e. Dialectica and Diller-Nahm interpretation as well as Kreisel's modified realization, together with their Troelstra-style hybrids, are applied to constructive as well as (...) classical systems of arithmetic, analysis, and set theory. They yield relative consistency and conservativity results and closure under relevant rules of the theories in question as well as axiomatic characterizations of the functional translations. Prerequisites are: familiarity with classical and intuitionistic predicate logic, basics of computability theory, Gödel's incompleteness theorems. (shrink)

Because of its elegant simplicity, the Arabidopsis root has become a model for studying plant organogenesis. In this review we focus on recent results indicating the importance of signaling in root development. A role for positional information in root cell specification has been demonstrated by ablation analyses. Through mutational analysis, genes have been identified that play a role in radial pattern formation. The embryonic phenotypes of these mutants raised the possibility that division patterns in post‐embryonic roots are dependent on signaling (...) that originates during embryonic development. Analysis of expression of the SCARECROW gene indicates that it may play a role in this ‘top‐down’ signaling process. Characterization of root epidermis development has led to the identification of negative regulators of root‐hair formation. These appear to set up a prepattern which is reinforced by signaling by plant hormones. (shrink)

A growing number of cities and counties have emerged as leaders in the fight against obesity in the United States and have enacted innovative policies to address this epidemic. Much of this local strategy focuses on how retail food establishments — namely, chain restaurants, corner stores, supermarkets, farmers markets, and mobile vendors – affect public health. Recognizing the enormous influence a community’s food environment has on the quality and quantity of what people eat, cities and counties have sought to encourage (...) food retail establishments to promote healthier options through regulations and incentives. (shrink)

A growing number of cities and counties have emerged as leaders in the fight against obesity in the United States and have enacted innovative policies to address this epidemic. Much of this local strategy focuses on how retail food establishments — namely, chain restaurants, corner stores, supermarkets, farmers markets, and mobile vendors – affect public health. Recognizing the enormous influence a community’s food environment has on the quality and quantity of what people eat, cities and counties have sought to encourage (...) food retail establishments to promote healthier options through regulations and incentives. (shrink)

It is commonly held that Karl Barth emphatically rejected the usefulness of philosophy for theology. In this essay I explore the implications of Barth's theological epistemology for the relationship and proper boundaries between philosophy and theology, given its origin in Barth's theology of revelation. I seek to clarify Barth's position with respect to philosophy by distinguishing the contingency of its offence from any necessary incompatibility. Barth does not reject philosophy per se, but the way in which philosophy is typically conducted. (...) This is made explicit through an analysis of Barth's censure of the uncritical acceptance in theology of modernist philosophical presuppositions. I nuance Barth's response to a collection of philosophical assumptions that are rarely distinguished in theological literature. Finally, I highlight a representative instance of Barth's reflections on philosophy in relationship to theology, to demonstrate that the criterion for evaluating the usefulness of philosophical assumptions and methods in the service of theology is the same criterion by which theology is itself evaluated. (shrink)

Karl Barth and Alvin Plantinga are not thought of as theological allies. Barth is famous for his opposition to philosophy's role in theology, while Plantinga is famous for his emphasis on warranted belief. Kevin Diller argues that they actually offer a unified response to the central epistemological dilemma in theology.

A brief introduction to the first issue of the Journal of Analytic Theology.

Excerpt from The Psychology of Religion: An Empirical Study of the Growth of Religious Consciousness The author of the following pages has thought in his modesty that, since his name is as yet unknown to fame, his book might gain a prompter recognition if it were prefaced by a word of recommendation from some more hardened writer. Believing the book to be valuable, I am glad to be able to write such a preface. Many years ago Dr Starbuck, then a (...) student in Harvard University, tried to enlist my sympathies in his statistical inquiry into the religious ideas and experiences of the circumambient population. I fear that to his mind I rather damned the whole project with my words of faint praise. The question-circular method of collecting information had already, in America, reached the proportions of an incipient nuisance in psychological and pedagogical matters. Dr Starbuck's questions were of a peculiarly searching and intimate nature, to which it seemed possible that an undue number of answers from egotists lacking in sincerity might come. Moreover, so few minds have the least spark of originality that answers to questions scattered broadcast would be likely to show a purely conventional content. About the Publisher Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works. (shrink)

James E. Taylor As the title of this book makes clear, the essays contained in it are unified by their focus on models of God and alternative ultimate realities. But what is ultimate reality, what does 'God' mean, and what would count as a model ...

Currently, testimony is studied extensively in Anglo-American philosophy. However, most of this work is done from a justificationist perspective in which philosophers try to justify our reliance on testimony in some way. I agree with Popper that justificationism is radically mistaken. Thus, I construct an account of how we respond to testimony that in no way attempts to justify our reliance on it. This account is not a straightforward exegesis of Popper, as he never tackled testimony systematically. It makes use, (...) however, of several of Popper's key insights and incorporates them into a viable theory of testimony. Key Words: testimony • anti-justificationism • social epistemology • situational analysis • defeasibility. (shrink)

Here we present what we believe is a novel account of what languages are, along with an axiomatically rich representation of languages and language-related data that is based on this account. We propose an account of languages as aggregates of dispositions distributed across aggregates of persons, and in doing so we address linguistic competences and the processes that realize them. This paves the way for representing additional types of language-related entities. Like demographic data of other sorts, data about languages may (...) be of use to researchers in a number of areas, including biomedical research. Data on the languages used in clinical encounters are typically included in medical records, and capture an important factor in patient-provider interactions. Like many types of patient and demographic data, data on a person’s preferred and primary languages are organized in different ways by different systems. This can be a barrier to data integration. We believe that a robust framework for representing language in general and preferred and primary language in particular – which has been lacking in ontologies thus far – can promote more successful integration of language-related data from disparate data sources. (shrink)

Bioethics is a field in which innovation is required to help prevent and respond to zoonotic diseases with the potential to cause epidemics and pandemics. Some of the developments necessary to fight pandemics, such as COVID-19 vaccines, require public debate on the benefits and risks of individual choice versus responsibility to society. While these debates are necessary, a more fundamental ethical innovation to rebalance human, animal, and environmental interests is also needed. One Health (OH) can be characterized as a strategy (...) that recognizes and promotes the synergy between human, animal, and environmental health. Yet, despite the recognition that these entities are interdependent, there is a pronounced inequality in the power relations between human, non-human animal, and the environmental interests which threatens the well-being of all. Until OH can ensure the moral status of animals and the environment and thereby the equal consideration of these interests, it will struggle to protect non-human interests and, as a result, human health. To create a sustainable health system requires a renewed concept of justice that is ecocentric in nature and an application of OH that is flexible and responsive to different ethical interests (e.g., person-centred care and physician responsibilities). Ultimately, to save themselves, humans must now think beyond themselves. Bioethics must assume a key role in supporting the developments required to create and maintain relationships able to sustain environmental and human health. (shrink)

Arguably, the most philosophically nuanced defense of a Felix Culpa theodicy, born out of serious theological reflection, is to be found in Alvin Plantinga’srecent article entitled “Superlapsarianism, or ‘O Felix Culpa.’” In this paper I look at Plantinga’s argument for the necessity of evil as a means to God’s fargreater ends and raise four objections to it. The arguments I give are aimed at the theological adequacy of explaining the emergence of evil as a functionalgood. I conclude that Plantinga’s Felix (...) Culpa approach fails to demonstrate the necessity of evil for heightened intimacy with God, and collides with agent-centeredconsiderations. Moreover, I argue that all Felix Culpa theodicies reverse the apparent value God places on means and ends in the economy of salvation, while lending to evil a potentially morally and theologically distorting rational legitimacy. (shrink)

In his recent trilogy, J. L. Schellenberg presents a new religious option: to have beliefless faith in a general object of religious concern that he thinks is referenced at the core of most sectarian religions UUU’. After explaining what UUU is more fully, I argue that the claim that UUU exists should not be, as Schellenberg says, the only focus for philosophy of religion. Still, I argue that such a claim is a good basis for a new form of religion, (...) especially if it is modified in a couple of ways. (shrink)

I introduce a distinction between global and local versions of atheism and theism, where global ones are about all notions of God and local ones are about specific notions. Current expressions of atheism are ambiguous between the two. I argue that global atheism is difficult to enunciate and even more difficult to defend, so much so that global atheism is not yet justified. Until it is, atheists should be local atheists.

Classic perfect being theologians take ‘being perfect’ to be conceptually necessary and sufficient for being God. I argue that this claim is false because being perfect is not conceptually necessary for being God. I rest my case on a simple thought experiment inspired by an alternative I developed to perfect being theology that I call “functional theology.” My findings, if correct, are a boon for theists since if it should turn out that there is no perfect being, there could still (...) be a God. (shrink)

dialectical frameworks constitute a recent and powerful generalisation of Dung's argumentation frameworks, where the relationship between the arguments can be specified via Boolean formulas. Recent results have shown that this enhancement comes with the price of higher complexity compared to AFs. In fact, acceptance problems in the world of ADFs can be hard even for the third level of the polynomial hierarchy. In order to implement reasoning problems on ADFs, systems for quantified Boolean formulas thus are suitable engines to be (...) employed. In this paper we give complexity sensitive QBF encodings of ADF problems generalising recent work on QBFs for AF labellings. Our encodings provide a uniform and modular way of translating reasoning in ADFs to QBFs, that can be used as the basis for novel systems for ADF reasoning. (shrink)

This book is a debate about the existence of God in the form of a worldview comparison, meaning that it sets two worldviews—comprehensive pictures of what there.

Bartley’s pancritical rationalism is seen by some as being a refinement of Popper’s critical rationalism. I contest this view and argue that pancritical rationalism is obtained from critical rationalism by removing some of its most important and useful features. The remainder consists of a restatement of some of Popper’s key ideas and an interpretation of others that I attempt to show is not entirely faithful to what Popper says.

This paper considers an approach to teaching ethics in bioengineering based on the How People Learn (HPL) framework. Curricula based on this framework have been effective in mathematics and science instruction from the kindergarten to the college levels. This framework is well suited to teaching bioengineering ethics because it helps learners develop “adaptive expertise”. Adaptive expertise refers to the ability to use knowledge and experience in a domain to learn in unanticipated situations. It differs from routine expertise, which requires using (...) knowledge appropriately to solve routine problems. Adaptive expertise is an important educational objective for bioengineers because the regulations and knowledge base in the discipline are likely to change significantly over the course of their careers. This study compares the performance of undergraduate bioengineering students who learned about ethics for stem cell research using the HPL method of instruction to the performance of students who learned following a standard lecture sequence. Both groups learned the factual material equally well, but the HPL group was more prepared to act adaptively when presented with a novel situation. (shrink)

Bishop’s main claims are: (I) that James’ criteria on the admissibility of faith leaps need the addition of two moral criteria to be complete; (II) that a Kantian, at least, could not admissibly leap toward God, classically understood, and (III) that a Kantian, and anyone else, could admissibly leap toward God, understood his way. Here I will affirm (I) with a qualification; deny (II); affirm (III); and close with some reservations about Bishop’s novel model of God. This paper was delivered (...) at the APA Pacific 2007 Mini-Conference on Models of God. (shrink)

Gödel interpreted Heyting arithmetic HA in a “logic-free” fragment T 0 of his theory T of primitive recursive functionals of finite types by his famous Dialectica-translation D . This works because the logic of HA is extremely simple. If the logic of the interpreted system is different—in particular more complicated—, it forces us to look for different and more complicated functional translations. We discuss the arising logical problems for arithmetical and set theoretical systems from HA to CZF . We want (...) to test the thesis: While the functionals take care of the proof theoretic strength of the interpreted system, it is the functional translation that has to cope with the logical complexities of the system. (shrink)

Gödel's dialectica interpretation of Heyting arithmetic HA may be seen as expressing a lack of confidence in our understanding of unbounded quantification. Instead of formally proving an implication with an existential consequent or with a universal antecedent, the dialectica interpretation asks, under suitable conditions, for explicit 'interpreting' instances that make the implication valid. For proofs in constructive set theory CZF-, it may not always be possible to find just one such instance, but it must suffice to explicitly name a set (...) consisting of such interpreting instances. The aim of eliminating unbounded quantification in favor of appropriate constructive functionals will still be obtained, as our ∧-interpretation theorem for constructive set theory in all finite types CZFω- shows. By changing to a hybrid interpretation ∧q, we show closure of CZFω- under rules that – in stronger forms – have already been studied in the context of Heyting arithmetic. In a similar spirit, we briefly survey modified realizability of CZFω- and its hybrids. Central results of this paper have been proved by Burr 2000a and Schulte 2006, however, for different translations. We use a simplified interpretation that goes back to Diller and Nahm 1974. A novel element is a lemma on absorption of bounds which is essential for the smooth operation of our translation. (shrink)

Gödel's dialectica interpretation of Heyting arithmetic HA may be seen as expressing a lack of confidence in our understanding of unbounded quantification. Instead of formally proving an implication with an existential consequent or with a universal antecedent, the dialectica interpretation asks, under suitable conditions, for explicit ‘interpreting’ instances that make the implication valid. For proofs in constructive set theory CZF‐, it may not always be possible to find just one such instance, but it must suffice to explicitly name a set (...) consisting of such interpreting instances. The aim of eliminating unbounded quantification in favor of appropriate constructive functionals will still be obtained, as our ∧‐interpretation theorem for constructive set theory in all finite types CZFω‐ shows. By changing to a hybrid interpretation ∧q, we show closure of CZFω‐ under rules that – in stronger forms – have already been studied in the context of Heyting arithmetic. In a similar spirit, we briefly survey modified realizability of CZFω‐ and its hybrids. Central results of this paper have been proved by Burr 2000a and Schulte 2006, however, for different translations. We use a simplified interpretation that goes back to Diller and Nahm 1974. A novel element is a lemma on absorption of bounds which is essential for the smooth operation of our translation. (shrink)

I offer a solution to an old puzzle about how God can be both just and merciful at the same time—a feat which seems required of God, but at the same time seems impossible since showing mercy involves being more lenient than justice demands. Inspired by two of Jesus’ parables and work by Feinberg, Johnson and Smart, I suggest that following a “principle of merciful justice”—that persons ought to receive what they deserve or better—delivers mercy and justice simultaneously, certainly in (...) cases of distributions of goods, and even in cases of distribution of harms as well, if we can accept some qualifications. (shrink)

Building upon aspects of Isreal Scheffler's philosophy, this essay takes up the search for forms of education that will lead to increased participation in a universal conversation in the making. In particular, it looks at how the rational passions may either enhance or impede the possibility of intelligible discourse between opponents. On the impediment side, the phenomenon of 'communicative isolation' is investigated, along with the nature of arrogant perception and the problematic role played by negative rational passions. The conclusion reached (...) is one that advocates the cultivation of 'objective-subjectivity' – a practice that combines reflexivity and precise self-awareness with the conscious exercise of positive rational passions. (shrink)

Authorship is commonly used as the basis for the measurement of research productivity. It influences career progression and rewards, making it a valued commodity in a competitive scientific environment. To better understand authorship practices amongst collaborative teams, this study surveyed authors on collaborative journal articles published between 2011 and 2015. Of the 8364 respondents, 1408 responded to the final open-ended question, which solicited additional comments or remarks regarding the fair distribution of authorship in research teams. This paper presents the analysis (...) of these comments, categorized into four main themes: disagreements, questionable behavior, external influences regarding authorship, and values promoted by researchers. Results suggest that some respondents find ways to effectively manage disagreements in a collegial fashion. Conversely, others explain how distribution of authorship can become a “blood sport” or a “horror story” which can negatively affect researchers’ wellbeing, scientific productivity and integrity. Researchers fear authorship discussions and often try to avoid openly discussing the situation which can strain team interactions. Unethical conduct is more likely to result from deceit, favoritism, and questionable mentorship and may become more egregious when there is constant bullying and discrimination. Although values of collegiality, transparency and fairness were promoted by researchers, rank and need for success often overpowered ethical decision-making. This research provides new insight into contextual specificities related to fair authorship distribution that can be instrumental in developing applicable training tools to identify, prevent, and mitigate authorship disagreement. (shrink)

The Dialectica-style functional interpretation of Kripke-Platek set theory with infinity ( $\hbox{\sf KP} \omega$ ) given in [1] uses a choice functional (which is not a definable set function of ( $hbox{\sf KP} \omega$ ). By means of a Diller-Nahm-style interpretation (cf. [4]) it is possible to eliminate the choice functional and give an interpretation by set functionals primitive recursive in $x\mapsto\omega$ . This yields the following characterization: The class of $\Sigma$ -definable set functions of $\hbox{\sf KP} \omega$ coincides (...) with the collection of set functionals of type 1 primitive recursive in $x\mapsto \omega$. (shrink)

The Dialectica-style functional interpretation of Kripke-Platek set theory with infinity (\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $\hbox{\sf KP} \omega$\end{document}) given in [1] uses a choice functional (which is not a definable set function of (\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $hbox{\sf KP} \omega$\end{document}). By means of a Diller-Nahm-style interpretation (cf. [4]) it is possible to eliminate the choice functional and give an interpretation by set functionals primitive recursive in \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} (...) \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $x\mapsto\omega$\end{document}. This yields the following characterization: The class of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $\Sigma$\end{document}-definable set functions of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $\hbox{\sf KP} \omega$\end{document} coincides with the collection of set functionals of type 1 primitive recursive in \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $x\mapsto \omega$\end{document}. (shrink)