On the EA-style integrated processing of self-contained mathematical texts

A sound and complete first-order goal-oriented sequent-type calculus is developed with ``large-block'' inference rules. In particular, the calculus contains formal analogues of such natural proof-search techniques as handling definitions and applying auxiliary propositions.

Evidence Algorithm and Processing Formalized Mathematical Texts

The goal of a research programme Evidence Algorithm is a development of an open system of automated proving that is able to accumulate mathematical knowledge and to prove theorems in a context of a self-contained mathematical text. By now, the first version of such a system called a System for Automated Deduction, SAD, is implemented in software. The system SAD possesses the following main features: mathematical texts are formalized using a specific formal language that is close to a natural language of mathematical publications; a proof search is based on special sequent-type calculi formalizing natural reasoning style, such as application of definitions and auxiliary propositions. These calculi also admit a separation of equality handling from deduction that gives an opportunity to integrate logical reasoning with symbolic calculation.

You Shall Have No Other Gods Before Me: Covenant in Faith and History

In this paper I have attempted to explore "covenant" in faith and history, as it extends throughout the entire framework of the Bible and the entire history of the people who produced it. With such a monstrous topic, a comprehensive analysis of the material could take a lifetime to do it justice. Therefore, I have taken a very specific approach to the material in order to investigate the evolution of covenant from the Hebrew Bible (Old Testament) to the Christian Scriptures (New Testament). I have made every effort to approach this thesis as a text-based, non-doctrinal discussion. However, having my own religious convictions, it has, at times, been difficult to recognize and escape my biases. Nevertheless, I am confident that this final product is, for the most part, objective and free from dogmatism. Of course, I have brought my own perspective and understanding to the material, which may be different from the reader's, so there may be matters of interpretation on which we differ, but c 'est fa vie in the world of religious dialogue. The structure of this paper is symmetrical: Part I examines the traditions of the Torah and the Prophets; Part II, the Gospels and Paul's letters. I have balanced the Old Testament against the New Testament (the Torah against the Gospels; the Prophets against Paul) in order to give approximately equal weight to the two traditions, and establish a sense of parallelism in the structure of my overall work. A word should also be said about three matters of style. First, instead of the customary Christian designation of time as B.C. or A.D., I have opted to use the more modem B.C.E. (Before the Common Era) and C.E. (Common Era) notations. This more recent system is less traditional; however, more acceptable in academic and, certainly, more appropriate for a non-doctrinal discussion. Second, in the body of this paper I have chosen to highlight several texts using a variety of colors. This highlighting serves (1) to call the reader's attention to specific passages, and (2) to compare the language and imagery of similar texts. All highlighting has been added to the texts at my own discretion. Finally, the divine name, traditionally vocalized as "Yahweh," is a verbal form of the Hebrew "to be," and means, approximately, "I am who I am." This name was considered too holy to pronounce by the ancient Israelites, and, the word adonai ("My LORD") was used in its stead. In respect of this tradition, I have left the divine name in its original Hebrew form. Accordingly, should be read as "the LORD" throughout this paper. All Hebrew and Greek translations, where they occur, are my own. The Greek translations are based on the New Revised Standard Version (NRSV) of the Bible.

Scriptural Archeology: Excavating the Presence of Women in the Torah

Women's roles in religious history have been traditionally described in terms of their relation and value to men. The normative religious texts provide an androcentric perspective on the gender relationships within the early community, the growth of Judaism in "Jacob's House" and the monotheistic worship of God. Yet these literary representations omit an entire half of the experience of the Jewish community: the perspective and participation of women. As Judith Plaskow argues extensively in Standing Again at Sinai, women are defined not in her own terms or in her own voice, but by her relationship and value to men through the androcentric vocabulary of the Torah. This statement is textually illustrated by the authorial and editorial presentation of women and their place in ancient Israelite society in the Torah. As Judaism grew increasingly androcentric in its leadership, women were increasingly reduced to marginal figures in the community by authorial and editorial revisions. Yet the participation of women of ancient Israel is not lost. Instead, the presence of women is buried beneath the androcentric presentation of the early Judaic community, waiting to be excavated by historical and scriptural examination. The retelling of the past is influenced by the present; memory is not static but takes on different shapes depending on the focus of concentration. However, tradition greatly influences the interpretation of religious history as well. In the book of Genesis, the literature emphasizes the divine appointment of male figures such as Abraham the father of the covenant and Jacob who is renamed and claimed by God as "Israel," placing them at the center of Jewish history. As a result, the other figures in these biblical narratives are described in relation to the patriarchs, those male bearers of the covenant, by their service or their value to him. Women are at the bottom of this hierarchy. Although female figures of exceptional quality are noted in later chronicles, such as Ruth, Deborah and Miriam, it is the very nature of their exception that highlights the androcentric editorial focus of the Torah. I agree with Peggy Day, whose own scriptural examination in Gender and Difference in Ancient Israel, makes the important distinction between the literary representation and the reality of ancient Israelite culture: they are not coextensive nor equivalent. Although the text represents the culture of ancient Israel as male dominated from the time of Abraham, this presentation omits the perspective of half of the population-the women. By beginning at the point of realization that women did exist and were active in their culture, and placing aside the androcentric perspective of the text and its editors, the reality of women's place in ancient Israel may be determined. Through this new perspective, the women of the Torah will emerge as the archetypes of strength, leadership and spiritual insight to provide Jewish women of the present with female, ancestral role models and a foundation for their gender's heritage, a more complete understanding of the partial record of Jewish history recorded in the Torah. Those stories that appear as the exception of women's presence will unveil an exceptional presence. As Tamar Frankiel eloquently states in The Voice of Sarah, "the women we call our 'Mothers'-Sarah, Rivkah (Rebekah), Rachel, and Leah-are not merely mothers, any more than the 'Fathers'-Abraham, Isaac and Jacob-are merely fathers "(Frankiel 5).

Max Stirner, o único e o que lhe é próprio: uma interpretação e(m) algun(s) ensaio(s)

This work has a study object the main thinking work of Johan Kaspar Schmidt well known as Max Stirner (1806-1856) - originally titled (in German), Der Einzige und sein Eigentun, and translated into Portuguese by the Portuguese publisher Antígona in 2004, under the title The Unique and its Ownership. This book was known in 1844 although its publication dated 1845 seen that the censor of that time rejected the publication request in that year - saying that ( ) in concrete passages of that work, not only God, Christ, the church and the religion are usually object of proposal blasphemy, but also because all social order, the state and the government are defined as something that should not exist simultaneously as one justifies the lie, perjury, the murder and suicide and denies the ownership right. After this first attack and rejection by its bearing the unique come to be others target, due practically to all the philosophical political thinkers its time including thinkers like Ludwig Feuerbach and Karl Marx & Friedrich Engels in spite of, on the other hand, having inspired formulations and reformulations of many of those thinkers that were against then in their times, as well as those thinkers that came after then such as Nietzsche himself. Even though this work was be victim of powerful attempts of erasing it of history, it has shown a great repercussion power and that is the main reason that led us to ask the following questions what is its big originality? , how could his author arrive at a so impactant perspective? What is its most legitimate political place? We endeavored in elaborate answers to those questions trough the exegesis of its text, taking in account both the scholarship environment where the author produced his intellectual life set - and the detailed reading of texts linked to discussion in focus, where this reading is always based upon the meaning and senses traced by the texts and its contexts as a precaution against the limits and the traps of the readings which shed light markedly on strict letter of the phrases constructs. Ours conclusions point at to the idea that a work like this , that subverts the characteristic ways of thought of the modernity, completely, continues being a utter odds, without rank in the history of thought and the moderns political practices, finding parallel possibility only, in a very special way, with a certain autharchic perspective of Ancient Greece

Heráclito na filosofia do jovem Nietzsche

In the early 1870s, the German Philosopher Friedrich Nietzsche, professor of philology in Basel, researches the ancient Greek philosophers. These studies result in texts as The Preplatonic Philosophers, also known as Lessons on Pre-platonic Philosophers, and Philosophy in Greek tragic age. Using both texts as sources, this dissertation aims elucidating the Nietzsche's interpretation about Heraclitus, in other words, comprehend how Nietzsche recognizes in Heraclitus a philosopher with an aesthetic vision of the world, a contemplative and cheerful view of the world, the becoming, defined by the incessant change, as a child's play that builds and destroy sand castles on the shore. This spectacle, as Nietzsche believed, would be unveiled first by Heraclitus and must be contemplated eternally

O corpo no pensamento de Epicuro: limites e possibilidades

The theme that fits the perspective of this thesis comes from the interest of treating, in the Epicurean corpus, about the importance of the body and its manners of realization for understanding the thought of Epicurus of Samos. Based on the inferences contained in the texts that remained from Epicurus, we did an analysis of the aspects that characterize Epicurism as a thought that makes repeated references to the body as an instance of sensitivity. It was necessary, therefore, to discuss how the body is linked to the possibility of thought, and how the latter can be admitted as a body element. It is further understood that the atomistic physics converges to the idea that asserts natural phenomena as likely to be contained and explained by the observations that come from the senses which are manifested through the body. For this reason, it was also pertinent to reflect on the admission of the body as a key element for the interpretation of Epicurean thought, even under the constitution of language. The Epicurean construction about body image was also used for the interpretation and questioning of the dynamics that define the relationships between individuals, characterizing the koinonía of the garden through the notion of corporeal unity. It was defined, therefore, that the characterization of the action field of individuals who lived in the Epicurean garden revolves around the use of logos, with the dialogues coming from the exercise of philosophy for therapeutic purposes, which were able to introduce a specific mode of political action marked by the absence of strange interests of the notion of philía