We use formal semantic analysis based on new constructions to study abstract realizability, introduced by Läuchli in 1970, and expose its algebraic content. We claim realizability so conceived generates semantics-based intuitive confidence that the Heyting Calculus is an appropriate system of deduction for constructive reasoning.Well-known semantic formalisms have been defined by Kripke and Beth, but these have no formal concepts corresponding to constructions, and shed little intuitive light on the meanings of formulae. In particular, the completeness proofs for these semantics (...) do not generate confidence in the sufficiency of the Heyting Calculus, since we have no reason to believe that every intuitively constructive truth is valid in the formal semantics.Läuchli has proved completeness for a realizability semantics with formal concepts analogous to constructions. We argue in some detail that, in spite of a certain inherent inexactness of the analogy, every intuitively constructive truth is valid in Läuchli semantics, and therefore the Heyting Calculus is powerful enough to prove all constructive truths. Our argument is based on the postulate that a uniformly constructible object must be communicable in spite of imprecision in our language, and that the permutations in Läuchli's semantics represent conceivable imprecision in a language, while allowing a certain amount of freedom in choosing the particular structure of the language.We give a detailed generalization of Läuchli's proof of completeness for the propositional part of the Heyting Calculus, in order to make explicit constructive and algebraic content.In our treatment, we establish several new results about Läuchli models. We show how to extend the sconing and gluing constructions familiar from Kripke and Frame semantics and Topos theory, to Läuchli models, and use them to give an algebraic approach to countermodel construction. In particular, the Läuchli arguments are given without the restriction to the integers, Z, as a group of permutations, which makes much of the coding scheme used in Läuchli's original paper transparent.We also make use of a new propositions-as-types syntax for the Heyting calculus, with limited nondeterminism, in which validity of formulae can be decided without loop-detection. (shrink)

Drawing on a landscape analysis of existing data-sharing initiatives, in-depth interviews with expert stakeholders, and public deliberations with community advisory panels across the U.S., we describe features of the evolving medical information commons. We identify participant-centricity and trustworthiness as the most important features of an MIC and discuss the implications for those seeking to create a sustainable, useful, and widely available collection of linked resources for research and other purposes.

At the heart of the current surge of interest in religion among contemporary Continental philosophers stands Augustine’s Confessions. With Derrida’s Circumfession constantly in the background, this volume takes up the provocative readings of Augustine by Heidegger, Lyotard, Arendt, and Ricoeur. Derrida himself presides over and comments on essays by major Continental philosophers and internationally recognized Augustine scholars. While studies on and about Augustine as a philosopher abound, none approach his work from such a uniquely postmodern point of view, showing both (...) the continuing relevance of Augustine and the religious resonances within postmodernism. Posed at the intersection of philosophy, theology, and religious studies, this book will be of interest to scholars and students of Augustine as well as those interested in the invigorating discussion between philosophy, religion, and postmodernism. Contributors include Geoffrey Bennington, Philippe Capelle, John D. Caputo, Elizabeth A. Clark, Hent de Vries, Jacques Derrida, Jean Bethke Elshtain, Richard Kearney, Catherine Malabou, James O’Donnell, Michael J. Scanlon, and Mark Vessey. Indiana Series in the Philosophy of Religion—Merold Westphal, general editor. (shrink)

Hayek argued that the central question of economics is the coordination problem: How does the spontaneous interaction of many purposeful individuals, each having dispersed bits of subjective knowledge, generate an order in which the actors' subjective data are coordinated in a way that enables them to dovetail their plans and activities successfully? In attempting to solve this problem, Hayek outlined an approach to economic theorizing that takes seriously the limited, subjective nature of human knowledge. Despite purporting to have appropriated Hayek's (...) thought by acknowledging the information-transmitting role of prices, mainstream economists have missed Hayek's point. The predominant tool of formal economics—equilibrium analysis—begins by assuming the data held by actors to have been pre-reconciled, and so evades the problem to be solved. Even the more advanced tools for modeling knowledge in economic analysis, such as the economics of information, assume away either the subjectivism of knowledge and expectations (rendering the coordination of beliefs and plans a trivial matter) or the frictions and “imperfections” of reality (rendering the coordination problem indeterminate). (shrink)

The eukaryotic helicase is an 11-subunit machine containing an Mcm2-7 motor ring that encircles DNA, Cdc45 and the GINS tetramer, referred to as CMG. CMG is “built” on DNA at origins in two steps. First, two Mcm2-7 rings are assembled around duplex DNA at origins in G1 phase, forming the Mcm2-7 “double hexamer.” In a second step, in S phase Cdc45 and GINS are assembled onto each Mcm2-7 ring, hence producing two CMGs that ultimately form two replication forks that travel (...) in opposite directions. Here, we review recent findings about CMG structure and function. The CMG unwinds the parental duplex and is also the organizing center of the replisome: it binds DNA polymerases and other factors. EM studies reveal a 20-subunit core replisome with the leading Pol ϵ and lagging Pol α-primase on opposite faces of CMG, forming a fundamentally asymmetric architecture. Structural studies of CMG at a replication fork reveal unexpected details of how CMG engages the DNA fork. The structures of CMG and the Mcm2-7 double hexamer on DNA suggest a completely unanticipated process for formation of bidirectional replication forks at origins. Here, we review the structure and function of CMG, the 11 subunit helicase for eukaryotic DNA replication. Two CMGs are assembled at origins starting from two Mcm2-7 hexamers oriented N-to-N. The orientation of CMG at a forked DNA implies that the two CMGs at an origin pass one another. (shrink)

The aesthetic techniques used in The Expanse are indicative of the infinite space that is an essential and ever‐present character in the show. The cinematography and set design of The Expanse make extensive use of chiaroscuro—a famous artistic technique in the history of painting. For some reason, the infinity of The Expanse attracts us. The look and design of the show indulges us in an experience of the sublime. The dynamically sublime is an experience of infinite power, but not where (...) our survival is threatened by it. The experience of the sublime is one proof of freedom. The absence of the ability to know the significance of what one does in the context of the infinite does not diminish the significance of what they do. The characters of The Expanse know this. They act because they know they must, and they have faith that what they do matters. (shrink)

What is the future of Philosophy of education? Or as many of scholars and thinkers in this final ‘future-focused’ collective piece from the philosophy of education in a new key Series put it, what are the futures—plural and multiple—of the intersections of ‘philosophy’ and ‘education?’ What is ‘Philosophy’; and what is ‘Education’, and what role may ‘enquiry’ play? Is the future of education and philosophy embracing—or at least taking seriously—and thinking with Indigenous ethicoontoepistemologies? And, perhaps most importantly, what is that (...) ‘Future’? These debates have been located in the work of diverse scholars: from the West, from Global South, from indigenous thinkers. In this collective piece, we purposefully juxtapose diverse takes on the future of these intersections. We have given up the urge to organise, place together, separate with subheadings or connect the paragraphs that follow. Instead, we let these philosophers of education and thinkers who use philosophical texts and ideas to sit together in one long read as potentially ‘strange and unusual bedfellows’. This text urges us to understand how these scholars and thinkers perceive our educational philosophical futures, and how the work and thinking they have done on thinking about what the future of that new key in philosophy of education may look like is embedded in a much deeper and richer literature, and personal experience. (shrink)

Evidence that an animal is capable of some degree of symbolic, human language processing supports the argument that the animal's consciousness is to some degree human-like. In this paper, we reinterpret the findings of Savage- Rumbaugh et al. using the twin tools of Deacon's referential hierarchy and Systemic Functional Linguistics, with a view to providing further corroborative evidence for a Bonobo ape's symbolic processing abilities, and as a result to open a window into the consciousness of at least one non-human (...) primate. (shrink)

Although the E-Z Reader model accounts well for eye-tracking data, it will be judged by new predictions and consistency with evidence from brain imaging methodologies. The stage architecture proposed for lexical access seems somewhat arbitrary and calculated timings are conservatively slow. There are certain effects in the literature that seem incompatible with the model.

O'Donnell, J. R. Anton Charles Pegis on the occasion of his retirement.--Conlan, W. J. The definition of faith according to a question of MS. Assisi 138: study and edition of text.--Spade, P. V. Five logical tracts by Richard Lavenham.--Maurer, A. Henry of Harclay's disputed question on the plurality of forms.--Brown, V. Giovanni Argiropulo on the agent intellect: an edition of Ms. Magliabecchi V 42.--Synan, E. A. The Exortacio against Peter Abelard's Dialogus inter philosophum, Iudaeum et Christianum.--Fitzgerald, W. Nugae Hyginianae.--Sheehan, (...) M. M. Marriage and family in English conciliar and synodal legislation.--Shook, L. K. Riddles relating to the Anglo-Saxon scriptorium.--Boyle, L. E. The De regno and the two powers.--Colledge, E. A Middle English Christological poem.--Gough, M. R. E. Three forgotten martyrs of Anazarbus in Cilicia.--Häring, N. Chartres and Paris revisited.--Hayes, W. Greek recentiores, (Ps.) Basil, Adversus eunomium, IV-V.--Owens, J. The physical world of Parmenides. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Commentary on Augustine City of God, Books 1–5 by Gillian ClarkJames J. O'DonnellCommentary on Augustine City of God, Books 1–5. By Gillian Clark. Oxford: Oxford University Press, 2021. Pp. xii + 281. ISBN: 978-0-19-887007-4.Pierre Bayard's masterful How to Talk about Books You Haven't Read offers soothing balm for readers in the daunting presence of Augustine's City of God. Weighing in at a third of a million words, Augustine's (...) magnum opus et arduum,1 offers a Moby-Dick and a half of verbiage spread out over twenty-two books. I make the claim, nervously and looking about for intelligent contradiction, that it is the longest work of sustained and coherent argument to survive from Greco-Roman antiquity. Other behemoths are compilations in the main of one kind or another, but this one has a structure and a linear direction and was tightly enough written that a theme opened in the second book with a promise of returning with later treatment is in fact picked up in the nineteenth book written perhaps a dozen years later.Those who really will read, or at least read in, Civ. benefit from all the help they can get. There are good translations (English alone in my lifetime by McCracken et al. in Loeb, Bettenson, Dyson, and Babcock) but none provides more than a minimalist annotation. Francophone readers have been better served since 1960 by the five volume edition with more ample annotation in the Bibliothèque Augustinienne of G. Bardy et al., and it is the standard point of entrance to serious study for scholars. That work has many strengths but the limitations of arising from a devout tradition of scholarship and of coming before the efflorescence in late antique and Augustinian studies through which we have lived.More help is now at hand in the form of the volume under review and its promise of more to come. Gillian Clark is known and admired among Augustinian scholars for many works, not least the earlier exercise in commentary of her Cambridge "green and yellow"2 edition of Confessions 1–4 (1995). The present work began as an ambitious multi-author collaborative project that proved unwieldy (see the present volume, pp. 31–32) and results in this first installment of [End Page 179] a series now in Clark's hands exclusively, drawing on her strengths as a classical historian specializing in late antiquity and patristics. Four additional volumes are anticipated, ideally on two-year intervals. The task requires multiple competences: at least, the history of the fourth and fifth centuries, the history and presence of ancient philosophy, the history of Christian reception and interpretation of scripture, and the reception of classical literature in late antiquity. It is a work that soars with no middle flight.As commentary on a behemoth, the commentary begins with the virtue of concision. At a rough calculation, commentary here runs at about half again the length of the text under review, producing volumes that can be usefully read alongside Augustine without swamping either Augustine or the reader in an ocean of erudition and detail. After an introduction that is as much to the whole work as to books 1–5, the book is organized strictly by lemmata to passages commented. The lemmata are all in Latin to facilitate use by readers of various editions and translations, with references given by book/chapter and page/line to the standard CCSL 1955 reprinting of the edition of Dombart-Kalb (itself originally a Teubner of 1928).3The focus of the annotation is on the work as historical artifact, well situated in both the moment and controversies of writing and in the apparatus of learning that Augustine brought to his work. Inevitably this includes welcome discussion of argument, rhetoric, and strategy (the very short discussion of how Augustine wrote on pp. 9–12 is remarkably insightful), but readers will welcome the lucid guidance offered to how the text made sense in Aug.'s own time, to what he was evidently reading as he wrote, and to the range of historical realia that make up his argument. Commentary on later... (shrink)

James questions the validity of the very tentative statement made in the final sentence of our paper. Our claim concerned the proportion of twins in Britain in the 1990s that might have arisen through subfertility treatment and was linked to the suggestion that the natural twinning rate might still be in decline. If this were true, we, like James, would regard that prospect with concern.

Reconnaissant que la foi en Dieu Créateur est un mystère qui transcende notre pouvoir de compréhension humaine et de mise en concepts, l'auteur met en oeuvre divers modèles théologiques pour jeter quelque lumière sur la richesse de cette croyance. En ce qui concerne le modèle ontologique, il a recours à la théologie de Karl Rahner pour explorer le sens de l'être-créature. De par sa constitution ontologique l'être humain est à la fois différent et dépendant de Dieu en tout acte. Le (...) modèle «fiduciaire» favorisé par les Réformateurs, insiste sur le fait que la foi en Dieu Créateur est réellement un acte de confiance en l'attention que Dieu nous porte. Le modèle eschatologique, proposé par des penseurs tels Moltmann et Pannenberg, met l'accent sur Dieu comme notre futur absolu et l'objet de nos plus profonds désirs. L'article examine également certains modèles écologiques courants ainsi que l'«ecoféminisme» qui soulignent le besoin d'une intendance de la création plutôt que d'une domination. Un modèle de domination conduit à la violation de la terre comme à l'exploitation de la femme. L'article se préoccupe principalement de montrer que la foi en Dieu Créateur dans le Nouveau Testament est toujours liée au Christ comme Nouvelle Création. L'intention divine en créant était de conduire les créatures à partager la filiation du Christ. Les créatures deviennent imago Dei en vivant la relation filiale du Christ vis-à-vis du Père. Ignace de. (shrink)

L'article commence une analyse de la vertu théologique de l'espérance par une phénoménologie de l'espérance. En plus d'un regard donné aux considérations philosophiques sur l'espérance chez des auteurs tels Gabriel Marcel et Ernst Bloch, il étudie les oeuvres dramatiques de Marcel ainsi qu'un certain nombre d'auteurs utopistes tels Thomas More, Henry David Thoreau et Charles Péguy. Des métaphores de la situation humaine, tels l'emprisonnement et l'exil, sont examinées ainsi que la lumière que les auteurs concernés trouvent dans des expériences d'obscurité. (...) La crise de l'histoire est aussi examinée particulièrement dans les écrits de l'auteur italien, Sergio Quinzio: comment pouvons-nous continuer à espérer deux mille ans après la mort du Christ tandis que l'histoire de la souffrance humaine continue, apparemment sans solution ? Après avoir posé la question de l'espérance, la réponse chrétienne est examinée surtout à travers les oeuvres de Jürgen Moltmann qui base sa théologie sur le Dieu qui vient à nous comme futur, le Dieu qui renouvelle toutes choses, le Dieu créateur qui fait être a partir de rien et ressuscite les morts. Tandis que l'optimisme se base sur les resources humaines et la croyance que les choses iront inévitablement mieux, l'espérance s'enracine en ce que Dieu peut faire dans une situation de souffrance, de mort et de destruction. Une telle espérance ne nous conduit cependant pas à fuir le monde. Au contraire, notre espé. (shrink)

There is an anomaly about the origins of Augustine’s great work of anti-pagan polemic and Christian apologetic that has not been accorded due weight in discussion of the development of the work’s idea in Augustine’s mind. The purpose of this brief note is to point out a hitherto unrecognized explanation for this anomaly, while leaving aside a full-scale development of the implications of this discovery.

There is an anomaly about the origins of Augustine’s great work of anti-pagan polemic and Christian apologetic that has not been accorded due weight in discussion of the development of the work’s idea in Augustine’s mind. The purpose of this brief note is to point out a hitherto unrecognized explanation for this anomaly, while leaving aside a full-scale development of the implications of this discovery.