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.

Teixeira de Freitas leitor de Savigny

The international circulation and reception of the works of Friedrich Carl von Savigny (1779-1861) constitute one of the main features of the first globalization of legal thought. Reaching law professors and practitioners from Brazil to Japan, readings of Savigny’s books offer a promising perspective for understanding how legal cultures around the world coped with the challenges of modernity. By focusing empirically on the circulation of books and analytically on the adaptation of texts to local contexts, the approach forwarded here tries to capture the creative aspects of the diffusion of knowledge. For this purpose, it concentrates on Brazilian readers of Savigny in the 19th Century, especially on the celebrated lawyer Augusto Teixeira de Freitas (1816-1883). It argues that Savigny’s works provided a decisive argumentative framework for some of the main issues discussed in Brazilian jurisprudence of the time. Freitas’ work documents a productive reading of Savigny that shaped his views on both normative and methodological issues, from slavery to codification. By tracing Freitas’ selective appropriation of Savigny’s texts, the article concludes that he was able both to reproduce and to subvert Savigny’s conception of private law, whenever the local context and his personal convictions demanded him to.

O dever constitucional de eficiência administrativa na jurisprudência do Supremo Tribunal Federal

O dever constitucional de eficiência administrativa consiste em norma reitora da atividade regulatória e das demais funções estatais. Este trabalho tem o objetivo de investigar seus sentidos, os tipos de norma em que se classifica e as estruturas argumentativas para a sua aplicação. Entende-se, por sentidos, os critérios usados para se considerar que uma conduta ou medida cumpre ou viola o dever de eficiência, incluindo consideração da relação entre meios para o exercício da atividade administrativa e resultados dessa atividade. Parte-se de diagnóstico de indefinição conceitual, na literatura jurídica brasileira, acerca desse dever constitucional, para investigar a existência de subsídios, na jurisprudência do Supremo Tribunal Federal, que viabilizem elaboração de conceito. Desse modo, verifica-se, na literatura, multiplicidade de definições. Além disso, o aspecto da análise custo-benefício, referido tanto na literatura sobre economicidade quanto nos textos sobre análise econômica do direito, sugere que o assunto também possa ser abordado de modo a correlacioná-lo ao conceito econômico de eficiência de Kaldor-Hicks ou de maximização da riqueza. Na jurisprudência, foi encontrada grande quantidade de sentidos de eficiência, a indicar que o STF pode não ter um posicionamento claro, senão em relação à concepção do dever constitucional de eficiência como um todo, pelo menos em relação a aspectos do conceito, a implicar a necessidade de elaboração, pelo tribunal, casuisticamente, de critérios para considerar que determinada conduta ou medida cumpre ou viola esse dever constitucional. Verificou-se, ainda, a ocorrência de aparentes divergências entre os ministros não apenas com relação à solução concreta de um caso, mas com relação à definição, em um mesmo caso, do sentido do dever de eficiência. Não se pode afirmar, no entanto, com segurança, que a concepção do dever de eficiência em um acórdão seja determinante, no STF, para a orientação dos votos. Ainda assim, um mesmo caso pode ter soluções distintas a depender do sentido de eficiência que se adote. Ademais, os acórdãos que parecem proceder a análise custo-benefício não se parecem referir a conceitos ou a critérios de eficiência econômica para fundamentar essa análise. Esses acórdãos também raramente fazem referência a dados empíricos. Quanto aos tipos de norma às estruturas argumentativas para aplicação, a literatura faz referência a teorias incompatíveis que dificultam compreender de maneira inequívoca como ocorre essa aplicação. O STF, a seu turno, faz uso de pelo menos 3 (três) estruturas argumentativas para aplicar o dever de eficiência: o consequencialismo, a análise custo-benefício e a ponderação de normas. O uso concomitante da análise custo-benefício e da ponderação de normas, contudo, enseja confusão entre o dever de eficiência e a máxima da proporcionalidade. Nesse contexto, a proposta conceitual busca tornar claros os sentidos, os tipos de norma e os modos de aplicação do dever constitucional de eficiência, mediante adoção de referencial teórico único que seja compatível com os achados de jurisprudência. Sendo assim, propõe-se a classificação do dever de eficiência como sobreprincípio e do dever de economicidade como postulado, com referência às concepções teóricas de Humberto Ávila, buscando-se evitar incorrer nos problemas diagnosticados na doutrina e na jurisprudência.

Argumentative systems in robots

Nowadays, the development of intelligent agents intends to be more refined, using improved architectures and reasoning mechanisms. Revise the beliefs of an agent is also an important subject, due to the consistency that agents should have about their knowledge. In this work we propose deliberative and argumentative agents using Lego Mindstorms robots, Argumentative NXT BDI-like Agents. These agents are built using the notions of the BDI model and they are capable to reason using the DeLP formalism. They update their knowledge base with their perceptions and revise it when necessary. Two variations are presented: the Single Argumentative NXT BDI-like Agent and the MAS Argumentative NXT BDI-like Agent.

Literatura e educação :ação argumentativa na discussão de histórias

The focus of this thesis is the discussion of stories from the fairy tales genre in reading classes of Children´s Literature. Its main purpose is to investigate the argumentative action in the mediation pedagogic process.The evidence from this study is that the argumentative action is a fundamental component of teacher´s mediation as far as story discussion is concerned. The concept of mediation in this thesis comes from principles of interacionist Psychology articulated with THE theory of argumentation. It is understood that argumentative action is a process that objectives to obtain and to intensify the interlocuter´s adhesion through speech. The analysis of the story discussion activity is based on Psycholinguistic, particularly on the study of prevision ability; on the Theory of reception with special reference to the theory of the aesthetic effect, which considers the reader´s reactions and reader´s replies to the text; and on sociocognitive conflict study highlighting conflicts modalities brought up by the discussion of texts. The corpus analysed is composed by discussion episodes of stories from reading classes of Children´s Literature realized through participative observation.The subjects were children aged five-six years old from a public pre-school located in Natal-RN, Brazil. The study highlights mediation acts of argumentative nature such as direct question; illustrations from the book; rereading that were used by the teacher-researcher in story discussion. Among its conclusions it is revealed that argumentative action in stories discussion favors and intensifies the agreement of children´s to the activity. It increases the interaction between text and reader; it favours children´s organization and explicitation of their thoughts. The analysed material shows children´s exposing their ability to argue when having adequade scaffolding by an argumentative mediator the teacher

A modalização como estratégia argumentativa em textos de vestibulandos

In this work, the argumentative strategies construction in university entrance examinations texts is analyzed. The study intended to present, through the analyzed occurrences in the corpus, the discursive strategies use for the argumentation construction, observing the different lexicalization forms and the effects that these strategies produced for the intended meaning construction. Aiming to analyze the modalization via texts written by candidates for the UFRN entrance examination, the relations between this category and the resources used for the argumentative guidance of the text were highlighted. Conceived as a speaker argumentative strategy to express his/her relationship with the proposition content which enunciates, the modalization is, thus, one of the linguistic expression form used for the attainment of intended meaning effects in the argumentation construction. In order to substantiate the research, the theoretical assumptions adopted were the propositions which deal with this linguistic category, guiding it to a pragmatic-semantic perspective as well as a discursive-semantic one. Hence, Neves ( 1996, 2006), Koch ( 2000, 2002), Cervoni ( 1989), Bronkart (1999) and Castilho; Morais de Castilho (1996) studies, among others founded this work. Afterwards, a contextualized analysis of the modalized statements, taking into account all the set of elements implied on the argumentation construction, was carried out. The research, which had a strict qualitative character, revealed that the candidates make use of modalization to express commitment or dissociation as regards the statement which they produce; to obtain credibility and provide more authority to their arguments, thus avoiding them of being contested; to impose their arguments as real ones and acquire acceptance of the interlocutor; to lessen the proposition content and disguise the knowledge source; to comment the enunciation and attribute the discourse to another sender; to establish a dialogic relation with the interlocutor. In addition to offering support for new investigations, the research also aims to contribute for the mother tongue teaching, emphasizing the need of a focus which provides special attention to the written language functioning and its application diversity. In this work, the argumentative strategies construction in university entrance examinations texts is analyzed. The study intended to present, through the analyzed occurrences in the corpus, the discursive strategies use for the argumentation construction, observing the different lexicalization forms and the effects that these strategies produced for the intended meaning construction. Aiming to analyze the modalization via texts written by candidates for the UFRN entrance examination, the relations between this category and the resources used for the argumentative guidance of the text were highlighted. Conceived as a speaker argumentative strategy to express his/her relationship with the proposition content which enunciates, the modalization is, thus, one of the linguistic expression form used for the attainment of intended meaning effects in the argumentation construction. In order to substantiate the research, the theoretical assumptions adopted were the propositions which deal with this linguistic category, guiding it to a pragmatic-semantic perspective as well as a discursive-semantic one. Hence, Neves ( 1996, 2006), Koch ( 2000, 2002), Cervoni ( 1989), Bronkart (1999) and Castilho; Morais de Castilho (1996) studies, among others founded this work. Afterwards, a contextualized analysis of the modalized statements, taking into account all the set of elements implied on the argumentation construction, was carried out. The research, which had a strict qualitative character, revealed that the candidates make use of modalization to express commitment or dissociation as regards the statement which they produce; to obtain credibility and provide more authority to their arguments, thus avoiding them of being contested; to impose their arguments as real ones and acquire acceptance of the interlocutor; to lessen the proposition content and disguise the knowledge source; to comment the enunciation and attribute the discourse to another sender; to establish a dialogic relation with the interlocutor. In addition to offering support for new investigations, the research also aims to contribute for the mother tongue teaching, emphasizing the need of a focus which provides special attention to the written language functioning and its application diversity

A argumentação na petição inicial

This research investigates current sense effects at the use of linguistic resources of the argument in a corpus constituted by juridical pieces (Initial Petitions), that gave opportunity to actions originated from the Civil Special Court of the District of Currais Novos-RN. For this purpose it was established a relation between the Law and the Linguistics, mediated by the focus of the Argumentative Semantics, emphasizing, in a special way, the use of argumentative operators, which inserted in the own language, in its grammar, assume the orientation of the speech and the modalizers use, important mechanisms in the construction of the sense of the text and in the signalling in the way as that that one say is said,. This way, we began the investigation of that gender choosing as study object the section of the facts , that comprehends a part of Initial Petition where is explanted the narration of events that gave margin to the proposal for the Action. In face of the study object and the aim to be reached it was appealed, methodologically, to the notion of Rhetoric since from the classic antiquity to the emergence of the New present Rhetoric in Perelman and Olbrechts-Tyteca (2005) that, at the present time, is inserted in the studies of the Pragmatic connected to the central theses of the Ducrot s thinking (1977, 1980, 1987). Such referential allowed us to a better understanding about the production of the juridical speech on the part of the operators of the Law, as well as, to analyze in way wide the current sense effects from the use of argument linguistic marks the juridical speech. The data showed that such marks are indispensable elements to the construction of the textual web, particularly when in the range of the juridical argumentation, since they direct the speech for certain conclusions. However, we have observed that in the texts produced by the lawyers the use of those linguistic resources not always takes place in an appropriate way. The texts analyzed have also showed that it is possible to unmask, through the linguistic resources, the argumentative strategy employed by the authors for convincing of the magistrate, making evident that language is more than a system of signs, which it makes possible to see beyond the limit of the words and statements. Finally, we have verified that the categories analyzed, when used appropriately, are elements that engender argumentative maneuvers of effectiveness in the juridical text, being fundamental pieces which give argumentative strength the text, making the speech to move forward, not only the juridical, but the speech produced in any domain of the knowledge

Ave! Mossoró! : os mecanismos discursivos sobre o episódio da resistência ao bando de Lampião

This thesis has as objective the interdiscursive relations in the process of language construction in use in the poetic and in the journalistic spheres, with the purpose of perceiving how the genre news is constituted in different fields of social activity, as well as to analyze the argumentative processes that structure the written discourses about the resistance episode to the group of Lampião in Mossoró in the year of 1927. The corpus of the research is constituted by the news of the period informed in the printed newspapers: Correio do povo and O Nordeste, both from Mossoró/RN, and the narratives presented in the cordéis de acontecido : Mossoró in the resistance to the group of Lampião; Lampião in Mossoró in 1927, and Mossoró attacking to the group of Lampião, all potiguar poets. The analysis of the texts had as theoretical background the studies of: The texts analysis had as theoretical background The Discourse Analysis; The Argumentation Theory and the studies about Discourse Genres. We focused our discussion in the emphasis given to the news in the discursive perspective of the social-historic memory constructed in the cordéis, from ideological values (political, economical, religious etc.) that pass to be a fundamental element in the constitution of the image of the resistance. Methodologically, this is a documental research, since it makes use essentially of the written document. Regarding to the nature of the data, the research is characterized as a qualitative one. In the analysis, we considered the argumentative techniques adopted in the defense of the thesis, the meaning effects suggested, and the genres mentioned, that revealed to us the manner in which the episode was informed by the newspapers and the cordéis. That way, we affirm, based on the positions assumed by the announcers of the genres analyzed who defended clearly positions in favor of the defense of Mossoró, that the relation between both is captured interdiscursively, since they are asked by the same ideology, and converge to the same discursive formation, defending identical positions, and structuring their discussions with resembling argumentative techniques, reason by which take us to believe that the discourse presented in that social activity demonstrates and develops traces of a manipulation of the subject. In this case, the discursive construction of the text points towards determining standard of repetition, since the linguistic context is characterized in the journalistic field, and in the poetic field assuming, in the first instance, a local expression

O leitor universitário e a construção das práticas de ler e escrever textos impressos e digitais

The construction of a mapping of the practices of reading and writing printed and digital texts, declared by graduating students from the Bachelor s degree in Science and Technology (BCT), has provided us the analysis of the course they are making in such a socio-historical moment characterized by the revolution of the post-paper. In this sense, the general objective of this research is to understand how that construction works under the point of view of those graduating students. For this, our reflection has been guided by the search of answers for some questions which have presented to us: what reading and writing conceptions BCT graduating students have; what reading and writing practices those collaborators develop; what collections they declare to have access to; what differences they declare to have between printed and digital reading and writing along the different social roles they develop; what the reader/writer identity relations of those collaborators are. To achieving the plausible answers, we have gathered a corpus composed by texts of three genres of the argument order: academic profiles (or self-portrait), opinion articles and argumentative letters. Besides, we have made semi-structured interviews and questionnaires in the online tool of the Google Docs. The methodology which supports this academic work is the qualitative research (SIGNORINI; CAVALCANTI, 1998)of ethnographic direction (THOMAS, 1993; ANDRÉ, 1995) in Applied Linguistics (CELANI, 2000; MOITA-LOPES, 2006) and the theoretical contribution comes from the bakhtinian perspective of language conception (BAKHTIN [1929] 1981); the socio-historical writing construction (LÉVY, 1996; CHARTIER, R., 1998, 2002, 2007; COSCARELLI, 2006; CHARTIER, A., 2007; ARAÚJO, 2007; COSCARELLI; RIBEIRO, 2007; XAVIER, 2009; MARCUSCHI; XAVIER, 2010); from the studies of the pedagogy of the writing (GIROUX, 1997); from the literacy studies understood as sociocultural practice, plural and situated (TFOUNI, 1988; KLEIMAN, 1995; TINOCO, 2003, 2008; OLIVEIRA; KLEIMAN, 2008), from the studies about identity in postmodernity (HALL, 2003; BAUMAN, 2005). The results of the analysis have pointed at a multiplicity of reading/writing practices of printed and digital texts developed by the BCT graduating students due to the coexistence of the modality printed and that one derived from the new mobile devices. In that multiplicity, the prevalent idea of the collaborators is that there is a continuum between printed texts and digital texts (not a dichotomy), since the option of reading/writing printed texts or digital ones is always linked to specific communication situations, which involve participants, objectives, strategies, values, (dis)advantages, besides (re)creation of discursive genres in function of the mobile devices to which those collaborators have access in the different spheres of activities that they participate. All of that has caused a deep intersection in the identity traces of college students readers/writers in the 21st century which cannot be ignored by academic formation