We argue that (1) a purported example of an infinite inference we humans can actually perform admits a faithful, finitary description, and (2) infinite inference contravenes any view which does not grant our minds uncomputable powers. These arguments block the strategy, dating back to Carnap's Logical Syntax of Language, of using infinitary inference rules to secure the determinacy of arithmetical truth on conventionalist grounds.

This chapter contains sections titled: Notes.

Ice Cube "What's a brother gotta do to get a message through to the Red, White, and Blue?" Ice-T Rap music has emerged as one of the most distinctive and controversial music genres of the past decade. A significant part of hip hop culture, [1] rap articulates the experiences and conditions of African-Americans living in a spectrum of marginalized situations ranging from racial stereotyping and stigmatizing to struggle for survival in violent ghetto conditions. In this cultural context, rap provides (...) a voice to the voiceless, a form of protest to the oppressed, and a mode of alternative cultural style and identity to the marginalized. Rap is thus not only music to dance and party to, but a potent form of cultural identity. It has become a powerful vehicle for cultural political expression, serving as the "CNN of black people", or upping the high-tech ante, as their "satellite communication system". It is an informational medium to tune into, one that describes the rage of African-Americans facing growing oppression, declining opportunities for advancement, changing moods on the streets, and everyday life as a matter of sheer survival. In turn, it has become a cultural virus, circulating its images, sounds, and attitude throughout the culture and body politic. (shrink)

There is a burgeoning scientific and ethical literature on the use of biomarkers—such as genes or brain scan results—and biological interventions to predict and prevent crime. This literature on biopredicting and biopreventing crime focuses almost exclusively on crimes that are physical, violent, and/or sexual in nature—often called blue-collar crimes—while giving little attention to less conventional crimes such as economic and environmental offences, also known as white-collar crimes. We argue here that this skewed focus is unjustified: white-collar crime is likely (...) far costlier than blue-collar crime in money, health, and lives lost. Moreover, attempts to biopredict and bioprevent blue-collar crime may entail adopting potentially unfair measures that target individuals who are already socio-economically disadvantaged, thus compounding pre-existing unfairness. We argue, therefore, that we ought to extend the study of bioprediction and bioprevention to white-collar crime as a means of more efficiently and fairly responding to crime. We suggest that identifying biomarkers for certain psychopathic traits, which appear to be over-represented among senior positions in corporate and perhaps political organisations, is one avenue through which this research can be broadened to include white-collar crime. (shrink)

This paper presents an experimental study investigating artificial grammar learning (AGL) in monolingual and bilingual children, with and without dyslexia, using an original methodology. We administered a serial reaction time (SRT) task, in the form of a modified Simon task, in which the sequence of the stimuli was manipulated according to the rules of a simple Lindenmayer grammar (more specifically, a Fibonacci grammar). By ensuring that the subjects focused on the correct response execution at the motor stage in presence of (...) congruent or incongruent visual stimuli, we could meet the two fundamental criteria for implicit learning: the absence of an intention to learn and the lack of awareness at the level of resulting knowledge. The participants of our studies were four groups of 10-year-old children: 30 Italian monolingual typically developing children, 30 bilingual typically developing children with Italian L2, 24 Italian monolingual dyslexic children and 24 bilingual dyslexic children with Italian L2. Participants were administered the modified Simon task developed according to the rules of the Fibonacci grammar and tested with respect to the implicit learning of three regularities: (i) a red is followed by a blue; (ii) a sequence of two blues is followed by a red and (iii) a blue can be followed either by a red or by a blue. Results clearly support the hypothesis that implicit learning took place, since participants of all groups became increasingly sensitive to the structure of the input, implicitly learning the sequence of the trials and thus appropriately predicting the occurrence of the relevant items, as manifested by faster reaction times in predictable trials. Moreover, group differences were found, with bilinguals being overall faster than monolinguals and dyslexics less accurate than controls. Finally, an advantage of bilingualism in dyslexia was found, with bilingual dyslexics performing consistently better than monolingual dyslexics and, in some conditions, at the level of the two control groups. These results are taken to suggest that bilingualism should be supported also among linguistically impaired individuals. (shrink)

In this article, I make the case for the continued relevance of Plato’s Timaeus. I begin by sketching Allan Bloom’s picture of the natural sciences today in The Closing of the American Mind, according to which the natural sciences are, objectionably, increasingly specialized and have ejected humans qua humans from their purview. I argue that Plato’s Timaeus, despite the falsity of virtually all of its scientific claims, provides a model for how we can pursue scientific questions in a comprehensive way (...) that stresses their connections to other disciplines, including the humanities, and that puts humanity qua humanity back in the picture. I then argue that being led by Plato’s philosophy to return humanity conceptually to the natural world can improve our thinking regarding climate change and other important environmental crises. (shrink)

Chapter INTRODUCTION Charles Sanders Peirce is quickly becoming the dominant figure in the history of American philosophy. The breadth and depth of his work ...

Believing that the enterprise of constructing "artificial intelligence" transcends the bounds of any one discipline, the editors of Mechanical Bodies, Computational Minds have brought together researchers in AI and scholars in the humanities to reexamine the fundamental assumptions of both areas. The AI community, for example, could benefit from explorations of human intelligence and creativity by philosophers, psychologists, anthropologists, literary critics, and others, while analysis of AI's theoretical struggles and technical advances could yield insights into such traditional humanist concerns as (...) the nature of rationality and the mind-body dichotomy.The contributions include a continuation of the famous Hubert Dreyfus-Daniel Dennett debate over Kasparov's defeat by IBM's Deep Blue; Philip Agre's tracing of difficulties in AI research to the inherited tensions of Cartesian dualism; Evelyn Fox Keller's examination of the development of computer technology in relation to biology; Douglas Hofstadter's argument that thinking is more than the theorem-solving activities of AI; and Alison Adam's discussion of the implicitly male universal subject used in AI. (shrink)

The American thinker Charles Sanders Peirce, best known as the founder of pragmatism, has been influential not only in the pragmatic tradition but more recently in the philosophy of science and the study of semiotics, or sign theory. Strands of System provides an accessible overview of Peirce's systematic philosophy for those who are beginning to explore his thinking and its import for more recent trends in philosophy.

The partial ordering of Medvedev reducibility restricted to the family of Π0 1 classes is shown to be dense. For two disjoint computably enumerable sets, the class of separating sets is an important example of a Π0 1 class, which we call a ``c.e. separating class''. We show that there are no non-trivial meets for c.e. separating classes, but that the density theorem holds in the sublattice generated by the c.e. separating classes.

Abstract.The partial ordering of Medvedev reducibility restricted to the family of Π01 classes is shown to be dense. For two disjoint computably enumerable sets, the class of separating sets is an important example of a Π01 class, which we call a ``c.e. separating class''. We show that there are no non-trivial meets for c.e. separating classes, but that the density theorem holds in the sublattice generated by the c.e. separating classes.

Cenzer, D., R. Downey, C. Jockusch and R.A. Shore, Countable thin Π01 classes, Annals of Pure and Applied Logic 59 79–139. A Π01 class P {0, 1}ω is thin if every Π01 subclass of P is the intersection of P with some clopen set. Countable thin Π01 classes are constructed having arbitrary recursive Cantor- Bendixson rank. A thin Π01 class P is constructed with a unique nonisolated point A and furthermore A is of degree 0’. It is shown that no (...) set of degree ≥0” can be a member of any thin Π01 class. An r.e. degree d is constructed such that no set of degree d can be a member of any thin Π01 class. It is also shown that between any two distinct comparable r.e. degrees, there is a degree that contains a set which is of rank one in some thin Π01 class. It is shown that no maximal set can have rank one in any Π01 class, while there exist maximal sets of rank 2. The connection between Π01 classes, propositional theories and recursive Boolean algebras is explored, producing several corollaries to the results on Π01 classes. For example, call a recursive Boolean algebra thin if it has no proper nonprincipal recursive ideals. Then no thin recursive Boolean algebra can have a maximal ideal of degree ≥0”. (shrink)

This paper is a continuation of the authors' work , where the main problem considered was whether a given recursive structure is recursively isomorphic to a polynomial-time structure. In that paper, a recursive Abelian group was constructed which is not recursively isomorphic to any polynomial-time Abelian group. We now show that if every element of a recursive Abelian group has finite order, then the group is recursively isomorphic to a polynomial-time group. Furthermore, if the orders are bounded, then the group (...) is recursively isomorphic to a polynomial-time group with universe A being the set of tally representations of natural numbers Tal = s{;1s};* or the set of binary representations of the natural numbers Bin. We also construct a recursive Abelian group with all elements of finite order but which has elements of arbitrary large finite order which is not isomorphic to any polynomial-time group with universe Tal or Bin. Similar results are obtained for structures , where f is a permutation on the set A. (shrink)

ABSTRACT In this essay, I argue that large‐scale technologies may be more threatening to open democratic institutions than to ecological systems. I describe the threat in terms of an alliance between bureacrats and entrepreneurs to govern society according to their own methods, e.g., cost‐benefit analysis, and thus to usurp the rule of law. In America, though not in England, blue‐collar and environmentalist constituencies have on occasion beaten back this threat, a triumph of democracy. I use ‘grid‐group’ theory, as developed (...) by Mary Douglas and her students, to make these arguments about the relation between technology and democracy. (shrink)

The central problem considered in this paper is whether a given recursive structure is recursively isomorphic to a polynomial-time structure. Positive results are obtained for all relational structures, for all Boolean algebras and for the natural numbers with addition, multiplication and the unary function 2x. Counterexamples are constructed for recursive structures with one unary function and for Abelian groups and also for relational structures when the universe of the structure is fixed. Results are also given which distinguish primitive recursive structures, (...) exponential-time structures and structures with honest witnesses. (shrink)

In order to improve our understanding of the components that reflect functionally important processes during reward anticipation and consumption, we used principle components analyses (PCA) to separate and quantify averaged ERP data obtained from each stage of a modified monetary incentive delay (MID) task. Although a small number of recent ERP studies have reported that reward and loss cues potentiate ERPs during anticipation, action preparation, and consummatory stages of reward processing, these findings are inconsistent due to temporal and spatial overlap (...) between the relevant electrophysiological components. Our results show three components following cue presentation are sensitive to incentive cues (N1, P3a, P3b). In contrast to previous research, reward‐related enhancement occurred only in the P3b, with earlier components more sensitive to break‐even and loss cues. During feedback anticipation, we observed a lateralized centroparietal negativity that was sensitive to response hand but not cue type. We also show that use of PCA on ERPs reflecting reward consumption successfully separates the reward positivity from the independently modulated feedback‐P3. Last, we observe for the first time a new reward consumption component: a late negativity distributed over the left frontal pole. This component appears to be sensitive to response hand, especially in the context of monetary gain. These results illustrate that the time course and sensitivities of electrophysiological activity that follows incentive cues do not follow a simple heuristic in which reward incentive cues produce enhanced activity at all stages and substages. (shrink)

Several diagrams and tables from review articles during the Ox-Phos Controversy serve as an occasion to assess the nature of competition in models of theory choice in science. Many models follow "Super-Bowl" principles of polar, either-or, winner-take-all competition. A significant alternative highlighted by this episode, however, is the differentiation of domains. Incommensurability and the partial divergence of overlapping domains serve both as signals and context for shifting frameworks of competition. Appropriate strategies may thus help researchers diagnose the status of competition (...) and shape their research accordingly. (shrink)

A Π01 class is an effectively closed set of reals. We study properties of these classes determined by cardinality, measure and category as well as by the complexity of the members of a class P. Given an effective enumeration {Pe:e < ω} of the Π01 classes, the index set I for a certain property is the set of indices e such that Pe has the property. For example, the index set of binary Π01 classes of positive measure is Σ02 complete. (...) Various notions of boundedness are discussed and classified. For example, the index set of the recursively bounded classes is Σ03 complete and the index set of the recursively bounded classes which have infinitely many recursive members is Π04 complete. Consideration of the Cantor-Bendixson derivative leads to index sets in the transfinite levels of the hyperarithmetic hierarchy. (shrink)

We describe here an interdisciplinary lab science course for non-majors using the history of science as a curricular guide. Our experience with diverse instructors underscores the importance of the teachers and classroom dynamics, beyond the curriculum. Moreover, the institutional political context is central: are courses for non-majors valued and is support given to instructors to innovate? Two sample projects are profiled.

I highlight a category of experiment-what I am calling 'demonstrations'-that differs in justificatory mode and argumentative role from the more familiar 'crucial tests'. 'Tests' are constructed such that alternative results are equally and symmetrically informative; they help discriminate between alternative solutions within a problem-field, where questions are shared. 'Demonstrations' are notably asymmetrical (for example, "failures" are often not telling), yet they are effective, if not "crucial," in interparadigm dispute, to legitimate questions themselves. The Ox-Phos Controversy in bioenergetics serves as an (...) integral case study. (shrink)

This paper continues joint work of the authors with P. Clote, R. Soare and S. Wainer (Annals of Pure and Applied Logic, vol. 31 (1986), pp. 145--163). An element x of the Cantor space 2 ω is said have rank α in the closed set P if x is in $D^\alpha(P)\backslash D^{\alpha + 1}(P)$ , where D α is the iterated Cantor-Bendixson derivative. The rank of x is defined to be the least α such that x has rank α in (...) some Π 0 1 set. The main result of the five-author paper is that for any recursive ordinal λ + n (where λ is a limit and n is finite), there is a point with rank λ + n which is Turing equivalent to O (λ + 2n) . All ranked points constructed in that paper are Π 0 2 singletons. We now construct a ranked point which is not a Π 0 2 singleton. In the previous paper the points of high rank were also of high hyperarithmetic degree. We now construct ▵ 0 2 points with arbitrarily high rank. We also show that every nonrecursive RE point is Turing equivalent to an RE point of rank one and that every nonrecursive ▵ 0 2 point is Turing equivalent to a hyperimmune point of rank one. We relate Clote's notion of the height of a Π 0 1 singleton in the Baire space with the notion of rank. Finally, we show that every hyperimmune point x is Turing equivalent to a point which is not ranked. (shrink)

We develop a theory of LOGSPACE structures and apply it to construct a number of examples of Abelian Groups which have LOGSPACE presentations. We show that all computable torsion Abelian groups have LOGSPACE presentations and we show that the groups ${\mathbb {Z}, Z(p^{\infty})}$ , and the additive group of the rationals have LOGSPACE presentations over a standard universe such as the tally representation and the binary representation of the natural numbers. We also study the effective categoricity of such groups. For (...) example, we give conditions are given under which two isomorphic LOGSPACE structures will have a linear space isomorphism. (shrink)

Important examples of $\Pi^0_1$ classes of functions $f \in {}^\omega\omega$ are the classes of sets (elements of ω 2) which separate a given pair of disjoint r.e. sets: ${\mathsf S}_2(A_0, A_1) := \{f \in{}^\omega2 : (\forall i < 2)(\forall x \in A_i)f(x) \neq i\}$ . A wider class consists of the classes of functions f ∈ ω k which in a generalized sense separate a k-tuple of r.e. sets (not necessarily pairwise disjoint) for each k ∈ ω: ${\mathsf S}_k(A_0,\ldots,A_k-1) := (...) \{f \in {}^\omega k : (\forall i < k) (\forall x \in A_i) f(x) \neq i\}$ . We study the structure of the Medvedev degrees of such classes and show that the set of degrees realized depends strongly on both k and the extent to which the r.e. sets intersect. Let ${\mathcal S}^m_k$ denote the Medvedev degrees of those ${\mathsf S}_k(A_0,\ldots,A_{k-1})$ such that no m + 1 sets among A 0,...,A k-1 have a nonempty intersection. It is shown that each ${\mathcal S}^m_k$ is an upper semi-lattice but not a lattice. The degree of the set of k-ary diagonally nonrecursive functions $\mathsf{DNR}_k$ is the greatest element of ${\mathcal S}^1_k$ . If 2 ≤ l < k, then 0 M is the only degree in ${\mathcal S}^1_l$ which is below a member of ${\mathcal S}^1_k$ . Each ${\mathcal S}^m_k$ is densely ordered and has the splitting property and the same holds for the lattice ${\mathcal L}^m_k$ it generates. The elements of ${\mathcal S}^m_k$ are exactly the joins of elements of ${\mathcal S}^1_i$ for $\lceil{k \over m}\rceil \leq i \leq k$. (shrink)

This article examines peirce's technical use of metaphor. in doing so it looks at certain aspects of his semiotics and, in particular, his division of signs into icons, indexes, and symbols. the upshoot is that, for peirce, metaphor plays a central role in artistic thought while analogy is central to scientific thought.

How can we imagine a future not driven by capitalist assumptions about humans and the wider world? How are a range of contemporary artistic and popular cultural practices already providing pathways to post-capitalist futures? Authors from a variety of disciplines answer these questions through writings on blues and hip hop, virtual reality, post-colonial science fiction, virtual gaming, riot grrrls and punk, raku pottery, post-pornography fanzines, zombie films, and role playing. The essays in Art as Revolt are clustered around themes such (...) as technology and the future, aesthetics and resistance, and ethnographies of the self beyond traditional understandings of identity. Using philosophies of immanence – describing a system that gives rise to itself, independent of outside forces – drawn from a rich and evolving tradition that includes Spinoza, Nietzsche, Deleuze, and Braidotti, the authors and editors provide an engrossing range of analysis and speculation. Together the essays, written by experts in their fields, stage an important collective, transdisciplinary conversation about how best to talk about art and politics today. Sophisticated in its theoretical and philosophical premises, and engaging some of the most pressing questions in cultural studies and artistic practice today, Art as Revolt does not provide comfortable closure. Instead, it is understood by its authors to be a “Dionysian machine,” a generator of open-ended possibility and potential that challenges readers to affirm their own belief in the futures of this world. Contributors include Timothy J. Beck, Mark Bishop, Dave Collins, David Fancy, Veronica Pacini-Ketchabaw, Malisa Kurtz, Nicole Land, Eric Lochhead, Douglas Ord, Joanna Perkins, Peter Rehberg, Chris Richardson, Hans Skott-Myhre, and Kathleen Skott-Myhre. (shrink)

The problem of when a recursive graph has a recursive k-coloring has been extensively studied by Bean, Schmerl, Kierstead, Remmel, and others. In this paper, we study the polynomial time analogue of that problem. We develop a number of negative and positive results about colorings of polynomial time graphs. For example, we show that for any recursive graph G and for any k, there is a polynomial time graph G′ whose vertex set is {0,1}* such that there is an effective (...) degree preserving correspondence between the set of k-colorings of G and the set of k-colorings of G′ and hence there are many examples of k-colorable polynomial time graphs with no recursive k-colorings. Moreover, even though every connected 2-colorable recursive graph is recursively 2-colorable, there are connected 2-colorable polynomial time graphs which have no primitive recursive 2-coloring. We also give some sufficient conditions which will guarantee that a polynomial time graph has a polynomial time or exponential time coloring. (shrink)

We examine the effective categoricity of equivalence structures via Ershov's difference hierarchy. We explore various kinds of categoricity available by distinguishing three different notions of isomorphism available in this hierarchy. We prove several results relating our notions of categoricity to computable equivalence relations: for example, we show that, for such relations, computable categoricity is equivalent to our notion of weak ω-c.e. categoricity, and that $\Delta _2^0 $ -categoricity is equivalent to our notion of graph-ω-c.e. categoricity.

This book begins with the question 'Who am I?' and immediately sets off in an astonishingly original direction. Why didn't anyone before Harding think of responding to this question like this? It's so obvious, once you see it. Harding presents a new vision of our place in the universe that uses the scientific method of looking to see what is true. It turns out that the truth about ourselves is not only true but also very good, and breathtakingly beautiful. We (...) live in a sacred, many-layered, living universe - or rather it lives in us. Though it was completed in 1950, this book is still ahead of its time. One day it will surely be widely recognised for its greatness: its all-encompassing vision, its originality and freshness, its depth of insight, its wide-ranging knowledge, the clarity and poetry of its language, its humanity. It is a world-view not dependent on local culture or religion, but on universally verifiable facts. It is also a world-view that respects our manifest differences whilst celebrating our underlying unity - the unity not just of oneself with other people but with all of life, indeed with the whole universe. Harding died in 2007 aged 97, leaving behind him an impressive body of work. He was a highly creative person who was passionate about - he was in love with - this living universe and the immortal treasure that abides at its centre - at our centre. "A work of the highest genius." C. S. Lewis. (shrink)

Wilson introduces us to nine of his favorite authors through their lives, key works, and legacies. In doing so, he shows what good writing looks like-- and helps you become a better reader.

Moral enhancements aim to morally improve a person, for example by increasing the frequency with which an individual does the right thing or acts from the right motives. Most of the applied ethics literature on moral enhancement focuses on moral bioenhancement – moral enhancement pursued through biomedical means – and considers examples such as the use of drugs to diminish aggression, suppress implicit racial biases, or amplify empathy. A number of authors have defended the voluntary pursuit of moral bioenhancement, or (...) the development of technologies that would enable it. They have highlighted the need for humans to morally improve themselves in order to address moral failures such as the oppression of women, the mistreatment of animals, and anthropogenic climate change. They have also emphasised the moral similarities between moral bioenhancement and more familiar forms of moral enhancement, such as that achieved through childhood education, introspective reflection, and engagement with literature. Critics of moral enhancement have argued that it may undermine our freedom to ‘fall’ (i.e. be immoral), and therefore our moral agency, or exacerbate the domination of individuals by political authorities. They have also questioned the potential for biomedical interventions to produce the deepest and most valuable forms of moral improvement, and have highlighted the risks that technologies for moral bioenhancement might misfire or be intentionally misused, thereby producing moral deterioration. Underlying some of these worries is the observation that there is little agreement on which psychological transformations would constitute moral improvements, and in which contexts. Defenders of moral enhancement have made various proposals for resolving or side-stepping these disagreements, but it remains unclear how far these proposals can take us beyond establishing consensus on the worst types of moral failure. (shrink)

Let A and B be subsets of the space 2 N of sets of natural numbers. A is said to be Wadge reducible to B if there is a continuous map Φ from 2 N into 2 N such that A = Φ -1 (B); A is said to be monotone reducible to B if in addition the map Φ is monotone, that is, $a \subset b$ implies $\Phi (a) \subset \Phi(b)$ . The set A is said to be monotone (...) if a ∈ A and $a \subset b$ imply b ∈ A. For monotone sets, it is shown that, as for Wadge reducibility, sets low in the arithmetical hierarchy are nicely ordered. The ▵ 0 1 sets are all reducible to the (Σ 0 1 but not ▵ 0 1 ) sets, which are in turn all reducible to the strictly ▵ 0 2 sets, which are all in turn reducible to the strictly Σ 0 2 sets. In addition, the nontrivial Σ 0 n sets all have the same degree for n ≤ 2. For Wadge reducibility, these results extend throughout the Borel hierarchy. In contrast, we give two natural strictly Π 0 2 monotone sets which have different monotone degrees. We show that every Σ 0 2 monotone set is actually Σ 0 2 positive. We also consider reducibility for subsets of the space of compact subsets of 2 N . This leads to the result that the finitely iterated Cantor-Bendixson derivative D n is a Borel map of class exactly 2n, which answers a question of Kuratowski. (shrink)

Here, in textbook style, is a concise biological account of the evolution of morality. It addresses morality on three levels: moral outcomes (behavioral genetics), moral motivation or intent (psychology and neurology), and moral systems (sociality). The rationale for teaching this material is addressed in Allchin (2009). Classroom resources (including accompanying images and video links) and a discussion of teaching strategies are provided online at: http://EvolutionOfMorality.net.

The objective of this paper is to suggest types of analysis that can help managers effectively choose NGO partners that help them meet their international corporate sustainability and social responsibility goals. NGO partner choices should offer a good fit to corporate goals/objectives and create opportunities to reap the benefits of social responsibility and sustainability efforts, which include public image, environmental protection, customer and stakeholder satisfaction, employee morale, and the completion of work that serves a social responsibility or sustainability goal. Examples (...) of this type of goal include providing income generation activities for persons with HIV/AIDS, and educational opportunities for people who would not normally get them. The paper exploresthree lenses through which partner choice may be viewed: agency theory, transaction cost economics, and resource dependency. Areas for further exploration are suggested, and a comprehensive research agenda/model is discussed. (shrink)

Does tenure serve its original purpose of promoting freedom of inquiry for academics in teaching and research? It seems not. Of concern is the finding that achieving tenure does not translate into a significant increase in exercise of freedom of inquiry either in teaching or research. Why? Promotion evaluation for associate professors by their senior colleagues has a continued inhibiting effect. (Published Online February 8 2007).

The relationship between Mary and the Holy Spirit can be appointed in Scriptures passages that supply us enough security to affirm it a different relationship of that others creatures can have with God. This relationship is a model of the integration desired by God with his Church. May be perceived that many of the mentions done at Holy Spirit in the New Testament have Mary like person of the respective context. Being herself a masterpiece of the Holy Spirit she is (...) quoted in intention to serve like prototype of that spreaks a text. Is based on this affirmation that Mary is a start point to the ecclesiology and to pneumatology since long tradition in the Church. A study about Mary and the Holy Spirit have in view, therefore, afford elements of theological elaboration to both treaties of fundamental relevance. (shrink)