The Ansaru Allah Community, also known as the Nubian Islamic Hebrews (AAC/NIH) and later the Nuwaubians, is a deeply significant and controversial African American Muslim movement. Founded in Brooklyn in the 1960s, it spread through the prolific production and dissemination of literature and lecture tapes and became famous for continuously reinventing its belief system. In this book, Michael Muhammad Knight studies the development of AAC/NIH discourse over a period of thirty years, tracing a surprising consistency behind a facade of serial (...) reinvention. It is popularly believed that the AAC/NIH community abandoned Islam for Black Israelite religion, UFO religion, and Egyptosophy. However, Knight sees coherence in AAC/NIH media, explaining how, in reality, the community taught that the Prophet Muhammad was a Hebrew who adhered to Israelite law; Muhammad’s heavenly ascension took place on a spaceship; and Abraham enlisted the help of a pharaonic regime to genetically engineer pigs as food for white people. Against narratives that treat the AAC/NIH community as a postmodernist deconstruction of religious categories, Knight demonstrates that AAC/NIH discourse is most productively framed within a broader African American metaphysical history in which boundaries between traditions remain quite permeable. Unexpected and engrossing, Metaphysical Africa brings to light points of intersection between communities and traditions often regarded as separate and distinct. In doing so, it helps move the field of religious studies beyond conventional categories of “orthodoxy” and “heterodoxy,” challenging assumptions that inform not only the study of this particular religious community but also the field at large. (shrink)

Luck egalitarianism is a family of egalitarian theories of distributive justice that aim to counteract the distributive effects of luck. This article explains luck egalitarianism's main ideas, and the debates that have accompanied its rise to prominence. There are two main parts to the discussion. The first part sets out three key moves in the influential early statements of Dworkin, Arneson, and Cohen: the brute luck/option luck distinction, the specification of brute luck in everyday or theoretical terms and the specification (...) of advantage as resources, welfare, or some combination of these. The second part covers three later developments: the democratic egalitarian critique of luck egalitarianism, the luck egalitarian acceptance of pluralism, and luck egalitarian doubts about the significance of the brute luck/option luck distinction. (shrink)

This essay explores the relation between Living-Together and Living-Alone by analysing the overlap between two figures sketched out in Comment vivre ensemble: Autarky and Enclosure. Barthes's ambivalence towards enclosure and self-sufficiency — ideologically negative, existentially and neurotically positive — is traced backwards through a number of 1950s essays to his 1947 proto-mythology Esquisse d’une société sanatoriale. On the basis of Barthes's analysis there of the excessive socialization that serves to repress the reality of illness and death, I move forward (...) again to his own autobiographical return to the sanatorium in Roland Barthes by Roland Barthes, in interviews and — via Thomas Mann's The Magic Mountain — in Comment vivre ensemble. Finally, some passages of The Magic Mountain are read through Barthes's figures Enclosure and Cause. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:William James, W. E. B. Du Bois, and the Art of New Religious IdealsKolby Knight (bio)And I don’t know a soul who’s not been batteredI don’t have a friend who feels at easeI don’t know a dream that’s not been shatteredOr driven to its knees...Oh, and it’s alright, it’s alright, it’s alrightYou can’t be forever blessedStill, tomorrow’s going to be another working dayAnd I’m trying to get some restThat’s (...) all, I’m trying to get some rest—Paul Simon, “American Tune” (1973) / Recreated by Allen Toussaint (2016)William James and W. E. B. Du Bois believed that an artful life could produce new and world-changing religious ideals. As cosmopolitan scholars who studied in the United States and Europe, both men confidently interlaced original interpretations of Shakespeare, Wagner, and Goethe into their academic accounts of individual and social behavior. Beyond their patronage of the arts, James and Du Bois also saw themselves as scientists and artists who had the responsibility to create new pathways and religious ideals at a time when many European and American intellectuals depicted Western civilization as the endpoint of history.This article explores the pragmatic visions of science, art, and religion respectively offered by James and Du Bois. Pragmatism, here, refers to an active mode of study that looks closely at the interaction between specific thoughts and behaviors in particular situations without assuming a standard of truth which influences or evaluates human life from the outside of experience. As pragmatists, James and Du Bois did not believe their work consisted of merely the explication and description of preexisting truths, but more importantly the religious creation of what James called “new facts,” including healthier habits of thought and practice.1 [End Page 71]In this article, I will trace how the two men, as religious naturalists and leaders in the development of a pragmatic social science at the turn of the twentieth century, challenged evolutionary theories which envisioned Western civilization as the highest standard of aesthetic and intellectual development. Part one demonstrates how James, as a psychologist who prioritized the study and development of “first-hand” experiences, worked against visions of science that saw “lower” emotions as a hindrance to impartial intellectual discovery. It also explores how James centered personal religious experiences in his effort to de-center “impersonal” scientific frameworks which depicted human behavior and thinking as beholden to evolutionary laws which transcended individual experience. Part two considers James’s dissatisfaction with the “bad habits” of his privileged intellectual class, and how his own experience of “soul-sickness” and “stage fright” led him to contest both celebratory histories of Western progress and institutional arrangements which juxtaposed his “mystifying” intellectual performances to the lives of everyday people.Part three moves to how Du Bois, as a sociologist and former student of James, refocused James’s religious pragmatism within the context of his experience of anti-Black racism in the United States. This section traces how Du Bois saw his intellectual career as a work of art which could empower Black individuals to see themselves beyond what David Lloyd describes as “the racial regime of aesthetics” which imagines the progress of “lower humans” as dependent on higher civilizational and educational agents. This section also offers a tripartite interpretation of Du Bois’s experience of “double-consciousness” that considers its aesthetic, social, and political dimensions.2 While James expressed a desire to discard his own sense of double-consciousness, Du Bois’s experience of anti-Black racism made his two-ness more enforced and insidious. The fourth section looks at Du Bois’s disillusionment with white standards of beauty and intelligence as an experience akin to what James described as “soul-sickness.” It shows that whereas James believed that his negative emotional experiences could lead him to “new religious ideals” taking shape within the spiritual energy [End Page 72] and discomforts of his own individual body, Du Bois’s negative experience of racism led him to immerse himself in the religious and artistic vitality of Black social worlds which resisted the oppressive mechanisms and caricatures of... (shrink)

This article argues that Augustine’s understanding of the internal dynamics of number, order, and weight as they pertain to corporeal creatures supplies the basis for an analogy which characterizes the process of the soul’s reformation. In other words, Augustine understands the soul’s simplicity in an analogous manner to the simplicity of corporeal creatures, and the simplicity of corporeal creatures is determined by the relations between number, order, and weight. This analogy shows that Augustine conceives of the soul as a composite (...) entity with different loves as its constituent parts. In the process of reformation, the soul acquires an ordered disposition as those loves become more like one another. By virtue of this ordered disposition, the soul also acquires a greater degree of integration or number because the likeness of weight among its constituent parts allows the soul to move as a unity toward God as its final end. (shrink)

While the relationship between fathers and sons, real or metaphorical, is still a dominant paradigm among classicists, this paper considers the rival contribution of Roman sons-in-law to the processes of collaboration and succession. It discusses the tensions, constraints, and obligations that soceri – generi relationships involved, then claims a significant role for sons-in-law in literary production. A new category is proposed here: “son-in-law literature,” with texts offered as recompense for a wife or her dowry, or as substitute funeral orations. Cicero (...) and Tacitus are two authors for whom the relationship played a key role in shaping realities and fantasies of advancement. The idealized in-law bonds of De Amicitia, Brutus, and De Oratore are set against Cicero's intellectual aspirations and real-life dealings with a challenging son-in-law, while Tacitus' relationship to Agricola can be seen to affect both his historiographical discussions of father–son-in-law relationships and the lessons he drew from them about imperial succession. (shrink)

Similarities in properties among pairs of metallic elements and their compounds in the lower-right quadrant of the Periodic Table have been named the ‘Knight’s Move’ relationship. Here, we have undertaken a systematic study of the only two ‘double-pairs’ of ‘Knight’s Move’ elements within this region: copper-indium/indium-bismuth and zinc-tin/tin-polonium, focussing on: metal melting points; formulas and properties of compounds; and melting points of halides and chalcogenides. On the basis of these comparisons, we conclude that the systematic evidence for ‘Knight’s (...) Move’ relationships derives from similarities in formulas and properties of matching pairs of compounds in the same oxidation state. Physical properties, such as melting points, do not provide consistent patterns and trends and hence should not be considered as a common characteristic of this relationship. (shrink)

This volume collects twenty original essays on the philosophy of film. It uniquely brings together scholars working across a range of philosophical traditions and academic disciplines to broaden and advance debates on film and philosophy. The book includes contributions from a number of prominent philosophers of film including Noël Carroll, Chris Falzon, Deborah Knight, Paisley Livingston, Robert Sinnerbrink, Malcolm Turvey, and Thomas Wartenberg. While the topics explored by the contributors are diverse, there are a number of thematic threads that connect (...) them. Overall, the book seeks to bridge analytic and continental approaches to philosophy of film in fruitful ways. Moving to the individual essays, the first two sections offer novel takes on the philosophical value and the nature of film. The next section focuses on the film-as-philosophy debate. Section IV covers cinematic experience, while Section V includes interpretations of individual films that touch on questions of artificial intelligence, race and film, and cinema's biopolitical potential. Finally, the last section proposes new avenues for future research on the moving image beyond film. This book will appeal to a broad range of scholars working in film studies, theory, and philosophy. (shrink)

The 2010 Nagoya Protocol is an international framework for access and benefit sharing (ABS) of the use of genetic and biological resources, with particular focus on indigenous communities. This is especially important in Africa, where local communities have a close reliance on environmental resources and ecosystems. However, national legislation and policies commonly lag behind international agreements, and this poses challenges for legal compliance as well as practical applications. This study reviews the academic literature on the Nagoya Protocol and ABS applications, (...) and then considers the implications of this analysis for research in Africa. Results show that there is uneven engagement with the principles of the Nagoya Protocol across different academic disciplines; local communities are sometimes sidelined in these studies; and only 8% of researchers in the literature analysed are located in Africa. Future developments should focus on ensuring national compliance with the Nagoya Protocol, and that researchers and industry work in partnership with local African communities on ABS issues. (shrink)

The Hanf number for a set S of sentences in \ is the least infinite cardinal \ such that for all \, if \ has models in all infinite cardinalities less than \, then it has models of all infinite cardinalities. Friedman asked what is the Hanf number for Scott sentences of computable structures. We show that the value is \. The same argument proves that \ is the Hanf number for Scott sentences of hyperarithmetical structures.

Under what conditions are people responsible for their choices and the outcomes of those choices? How could such conditions be fostered by liberal societies? Should what people are due as a matter of justice depend on what they are responsible for? For example, how far should healthcare provision depend on patients' past choices? What values would be realized and which hampered by making justice sensitive to responsibility? Would it give people what they deserve? Would it advance or hinder equality? The (...) explosion of philosophical interest in such questions has been fuelled by increased focus on individual responsibility in political debates. Political philosophers, especially egalitarians, have responded to such developments by attempting to map out the proper place for responsibility in theories of justice. This book both reflects on these recent developments in normative political theory and moves the debate forwards. (shrink)

Shepherdson [14] showed that for a discrete ordered ring I, I is a model of IOpen iff I is an integer part of a real closed ordered field. In this paper, we consider integer parts satisfying PA. We show that if a real closed ordered field R has an integer part I that is a nonstandard model of PA (or even IΣ₄), then R must be recursively saturated. In particular, the real closure of I, RC (I), is recursively saturated. We (...) also show that if R is a countable recursively saturated real closed ordered field, then there is an integer part I such that R = RC(I) and I is a nonstandard model of PA. (shrink)

Social practices are widely regarded as the bedrock that turns one’s spade, beneath which no further justifications for action can be found. Followers of the later Wittgenstein might therefore be right to agree with Heideggerians and neo-pragmatists that philosophy’s traditional search for first principles should be abandoned. However, the concept of practices has played a very different role in the philosophy of Alasdair MacIntyre. Having once helped lead the assault on foundationalism in both moral and social philosophy, his elaboration of (...) an Aristotelian’ concept of practices in After Virtue has since led him to embrace a metaphysical teleology. This paper attempts to outline MacIntyre’s Aristotelian concept, and to identify its ethical, political and philosophical significance. (shrink)

The first main result isolates some conditions which fail for the class of graphs and hold for the class of Abelian p-groups, the class of Abelian torsion groups, and the special class of "rank-homogeneous" trees. We consider these conditions as a possible definition of what it means for a class of structures to have "Ulm type". The result says that there can be no Turing computable embedding of a class not of Ulm type into one of Ulm type. We apply (...) this result to show that there is no Turing computable embedding of the class of graphs into the class of "rank-homogeneous" trees. The second main result says that there is a Turing computable embedding of the class of rank-homogeneous trees into the class of torsion-free Abelian groups. The third main result says that there is a "rank-preserving" Turing computable embedding of the class of rank-homogeneous trees into the class of Boolean algebras. Using this result, we show that there is a computable Boolean algebra of Scott rank ${\mathrm{\omega }}_{1}^{\mathrm{C}\mathrm{K}}$. (shrink)

The book situates the works and reception of the French scholar Pierre de la Ramée (Petrus Ramus) in a variety of European cultural and educational contexts, from Britain and France to Eastern Europe, from Germany to the Iberian peninsula, and from Scandinavia to the Netherlands. Pierre de la Ramée or Petrus Ramus (1515-1572) has long been a controversial figure in educational reform and innovation, from the moment of his first public academic statements in the 1530s, to his reception among scholars (...) in the twentieth and twenty-first centuries. What is beyond dispute, however, is the vast reach of his influence throughout Europe. Ramus's ideas were disseminated through copious editions and translations of his own textbooks, and in wave after wave of adaptations and re-imaginings of his ideas that swept across the continent. This volume embarks on a European tour of Ramism, using a wide range of previously unpublished or untranslated archival evidence from throughout the continent to examine the dissemination of Ramus's works and his intellectual influence in geographic and in disciplinary terms. The ten chapters explore the spread of Ramism from his home country of France to Protestant strongholds in Germany, Holland, and Britain, and in the Catholic context of the Iberian peninsula. The book also examines Ramism in the less familiar territories (to most Anglophone readers) of Scandinavia and Hungary, and considers the preceding and contemporary Dutch and German educational reform movements from which Ramus borrowed to forge his own distinctive intellectual method. (shrink)

Let ???? be a computable structure and let R be a new relation on its domain. We establish a necessary and sufficient condition for the existence of a copy ℬ of ???? in which the image of R (¬R, resp.) is simple (immune, resp.) relative to ℬ. We also establish, under certain effectiveness conditions on ???? and R, a necessary and sufficient condition for the existence of a computable copy ℬ of ???? in which the image of R (¬R, resp.) (...) is simple (immune, resp.). (shrink)

In this paper, we give an example of a complete computable infinitary theory T with countable models ${\mathcal{M}}$ and ${\mathcal{N}}$ , where ${\mathcal{N}}$ is a proper computable infinitary extension of ${\mathcal{M}}$ and T has no uncountable model. In fact, ${\mathcal{M}}$ and ${\mathcal{N}}$ are (up to isomorphism) the only models of T. Moreover, for all computable ordinals α, the computable ${\Sigma_\alpha}$ part of T is hyperarithmetical. It follows from a theorem of Gregory (JSL 38:460–470, 1972; Not Am Math Soc 17:967–968, 1970) (...) that if T is a Π 1 1 set of computable infinitary sentences and T has a pair of models ${\mathcal{M}}$ and ${\mathcal{N}}$ , where ${\mathcal{N}}$ is a proper computable infinitary extension of ${\mathcal{M}}$ , then T would have an uncountable model. (shrink)

Here we prove that if T and T′ are strongly minimal theories, where T′ satisfies a certain property related to triviality and T does not, and T′ is model complete, then there is no computable embedding of Mod(T) into Mod(T′). Using this, we answer a question from [4], showing that there is no computable embedding of VS into ZS, where VS is the class of infinite vector spaces over Q, and ZS is the class of models of Th(Z, S). Similarly, (...) we show that there is no computable embedding of ACF into ZS, where ACF is the class of algebraically closed fields of characteristic 0. (shrink)

We study the relative computational power of structures related to the ordered field of reals, specifically using the notion of generic Muchnik reducibility. We show that any expansion of the reals by a continuous function has no more computing power than the reals, answering a question of Igusa, Knight, and Schweber [7]. On the other hand, we show that there is a certain Borel expansion of the reals that is strictly more powerful than the reals and such that any Borel (...) quotient of the reals reduces to it. (shrink)

Philosophical tradition has been challenged by those who would have us look to our own practice, and to nothing beyond. In this, the philosophy of Martin Heidegger is followed by the politics of Hannah Arendt, for whom the tradition of political philosophy terminated with Karl Marx’s theorization of labour. This challenge has been met by Alasdair MacIntyre, for whom the young Marx’s reconceptualization of production as a social activity can inform an Aristotelianism that addresses our shared practices in traditional, teleological (...) terms. Looking to the social nature of our practices orientates us to common goods, to the place of those goods in our own lives, and to their place within political communities. MacIntyre’s Thomistic Aristotelian tradition has Heideggerian and other philosophical rivals, but he argues that it represents our best way of theorizing practice. (shrink)

We study the complexity of infinite chains and antichains in computable partial orderings. We show that there is a computable partial ordering which has an infinite chain but none that is ${\Sigma _{1}^{1}}$ or ${\Pi _{1}^{1}}$ , and also obtain the analogous result for antichains. On the other hand, we show that every computable partial ordering which has an infinite chain must have an infinite chain that is the difference of two ${\Pi _{1}^{1}}$ sets. Our main result is that there (...) is a computably axiomatizable theory K of partial orderings such that K has a computable model with arbitrarily long finite chains but no computable model with an infinite chain. We also prove the corresponding result for antichains. Finally, we prove that if a computable partial ordering ${\mathcal{A}}$ has the feature that for every ${\mathcal{B} \cong \mathcal{A}}$ , there is an infinite chain or antichain that is ${\Delta _{2}^{0}}$ relative to ${\mathcal{B}}$ , then we have uniform dichotomy: either for all copies ${\mathcal{B}}$ of ${\mathcal{A}}$ , there is an infinite chain that is ${\Delta _{2}^{0}}$ relative to ${\mathcal{B}}$ , or for all copies ${\mathcal{B}}$ of ${\mathcal{A}}$ , there is an infinite antichain that is ${\Delta _{2}^{0}}$ relative to ${\mathcal{B}}$. (shrink)

Computable structures of Scott rank ${\omega_1^{CK}}$ are an important boundary case for structural complexity. While every countable structure is determined, up to isomorphism, by a sentence of ${\mathcal{L}_{\omega_1 \omega}}$ , this sentence may not be computable. We give examples, in several familiar classes of structures, of computable structures with Scott rank ${\omega_1^{CK}}$ whose computable infinitary theories are each ${\aleph_0}$ -categorical. General conditions are given, covering many known methods for constructing computable structures with Scott rank ${\omega_1^{CK}}$ , which guarantee that the (...) resulting structure is a model of an ${\aleph_0}$ -categorical computable infinitary theory. (shrink)

Alasdair MacIntyre is an Aristotelian critic of communitarianism, which he understands to be committed to the politics of the capitalist and bureaucratic nation-state. The politics he proposes instead is based in the resistance to managerial institutions of what he calls ‘practices’, because these are schools of virtue. This shares little with the communitarianism of a Taylor or the Aristotelianism of a Gadamer. Although practices require formal institutions. MacIntyre opposes such conservative politics. Conventional accounts of a ‘liberal-communitarian debate’ in political philosophy (...) face the dilemma that Alasdair MacIntyre, often identified as a paradigmatic communitarian, has consistently and emphatically repudiated this characterization. Although neo-Aristotelianism is sometimes seen as a philosophical warrant for communitarian politics, MacIntyre’s Aristotelianism is opposed to communitarianism. This paper explores the rationale of that opposition. (shrink)

The Greeks could never have asked, "Why is there something; why not nothing?" Parmenides and Plato both held Absolute Non-Being to be inconceivable, and Aristotle's emphasis on the priority of the actual also excluded this question. The ex nihilo nihil fit of classical metaphysics may be taken as an implicit rejection of the why of Being. To say that nothing can come from nothing is to deny any priority for, or any ontological status to, Nothing.

Within each of these negational ranges two general facets of negation may be distinguished for analysis. I shall call them "free" and "bound." Negation, however, is never completely free nor completely bound, so "free" and "bound" shall refer to negation in a relative sense.

Cancers rely on multiple, heterogeneous processes at different scales, pertaining to many biomedical fields. Therefore, understanding cancer is necessarily an interdisciplinary task that requires placing specialised experimental and clinical research into a broader conceptual, theoretical, and methodological framework. Without such a framework, oncology will collect piecemeal results, with scant dialogue between the different scientific communities studying cancer. We argue that one important way forward in service of a more successful dialogue is through greater integration of applied sciences (experimental and clinical) (...) with conceptual and theoretical approaches, informed by philosophical methods. By way of illustration, we explore six central themes: (i) the role of mutations in cancer; (ii) the clonal evolution of cancer cells; (iii) the relationship between cancer and multicellularity; (iv) the tumour microenvironment; (v) the immune system; and (vi) stem cells. In each case, we examine open questions in the scientific literature through a philosophical methodology and show the benefit of such a synergy for the scientific and medical understanding of cancer. (shrink)

"There is always an atheism to be extracted from a religion," Deleuze and Guattari write in their final collaboration, What Is Philosophy? Their claim that Christianity "secretes" atheism "more than any other religion," however, reflects the limits of their archive. Theological projects seeking to engage Deleuze remain embedded within Christian theologies and intellectual histories; whether they embrace, resist, or negotiate with Deleuze's atheism, the atheism in question remains one extracted from Christian theology, a Christian atheism. In Sufi Deleuze, Michael Muhammad (...) Knight offers an intervention, engaging Deleuzian questions and themes from within Islamic tradition. Even if Deleuze did not think of himself as a theologian, Knight argues, to place Deleuze in conversation with Islam is a project of comparative theology and faces the challenge of any comparative theology: It seemingly demands that complex, internally diverse traditions can speak as coherent, monolithic wholes. To start from such a place would not only defy Islam's historical multiplicity but also betray Deleuze's model of the assemblage, which requires attention to not only the organizing and stabilizing tendencies within a structure but also the points at which a structure resists organization, its internal heterogeneity, and unpredictable "lines of flight." A Deleuzian approach to Islamic theology would first have to affirm that there is no such thing as a universal "Islamic theology" that can speak for all Muslims in all historical settings, but rather a multiplicity of power struggles between major and minor forces that contest each other over authenticity, authority, and the making of "orthodoxy." The discussions in Sufi Deleuze thus highlight Islam's extraordinary range of possibilities, not only making use of canonically privileged materials such as the Qur'an and major hadith collections, but also exploring a variety of marginalized resources found throughout Islam that challenge the notion of a singular "mainstream" interpretive tradition. To say it in Deleuze's vocabulary, Islam is a rhizome. (shrink)

This essay argues that David Miller's criticisms of global egalitarianism do not undermine the view where it is stated in one of its stronger, luck egalitarian forms. The claim that global egalitarianism cannot specify a metric of justice which is broad enough to exclude spurious claims for redistribution, but precise enough to appropriately value different kinds of advantage, implicitly assumes that cultural understandings are the only legitimate way of identifying what counts as advantage. But that is an assumption always or (...) almost always rejected by global egalitarianism. The claim that global egalitarianism demands either too little redistribution, leaving the unborn and dissenters burdened with their societies' imprudent choices, or too much redistribution, creating perverse incentives by punishing prudent decisions, only presents a problem for global luck egalitarianism on the assumption that nations can legitimately inherit assets from earlier generations – again, an assumption very much at odds with global egalitarian assumptions. (shrink)

We show that for every computable limit ordinal α, there is a computable structure A that is $\Delta _\alpha ^0 $ categorical, but not relatively $\Delta _\alpha ^0 $ categorical (equivalently. it does not have a formally $\Sigma _\alpha ^0 $ Scott family). We also show that for every computable limit ordinal a, there is a computable structure A with an additional relation R that is intrinsically $\Sigma _\alpha ^0 $ on A. but not relatively intrinsically $\Sigma _\alpha ^0 $ (...) on A (equivalently, it is not definable by a computable $\Sigma _\alpha $ formula with finitely many parameters). Earlier results in [7], [10], and [8] establish the same facts for computable successor ordinals α. (shrink)

We offer a topological treatment of scattered theories intended to help to explain the parallelism between, on the one hand, the theorems provable using Descriptive Set Theory by analysis of the space of countable models and, on the other, those provable by studying a tree of theories in a hierarchy of fragments of infinintary logic. We state some theorems which are, we hope, a step on the road to fully understanding counterexamples to Vaught's Conjecture. This framework is in the early (...) stages of development, and one area for future exploration is the possibility of extending it to a setting in which the spaces of types of a theory are uncountable. (shrink)