Alternância no uso dos modos indicativo e subjuntivo em orações subordinadas substantivas: uma comparação entre o português do Brasil e o francês do Canadá

The purpose of this work is to analyze the use of the indicative mood, instead of the subjunctive prescribed by the normative grammar, in complement clauses introduced by the conjunction que in Brazilian Portuguese. Contexts of use of the subjunctive according to grammatical prescription, and contexts of fluctuation on the use of that verbal mood were analyzed, in an attempt to investigate what interferes on the choice of the mood by the user of the language. This study is based on North-American Functional Linguistics theoretical perspective, oriented to analyzing language in use, in the light of the principles of grammaticalization and markedness. The results obtained support that the contexts that favor the indicative over the subjunctive are those composed by a complement clause functioning as a direct object the unmarked clause of all complement clauses and by a verb on the main sentence that belongs to the semantic field of low certainty, corresponding to the epistemic sub-mode the unmarked category of the deontic sub-mode. The results indicate that pragmatics and semantics factors influence the language user on the choice of the verbal mood. This research also presents comparative data on the use of the indicative mood in place of the subjunctive in Brazilian Portuguese and Canadian French, aiming to providing suggestions on language teaching

Os argumentos transcendentais: kant e o problema de hume

This work whose title is "The transcendental arguments: Kant Andy Hume's problem" has as its main objective to interpret Kant's answer to Hume's problem in the light of the conjunction of the causality and induction themes which is equivalent to skeptical- naturalist reading of the latter. In this sense, this initiative complements the previous treatment seen in our dissertation, where the same issue had been discussed from a merely skeptical reading that Kant got from Hume thought and was only examined causality. Among the specific objectives, we list the following: a) critical philosophy fulfills three basic functions, a founding, one negative and one would argue that the practical use of reason, here named as defensive b) the Kantian solution of Hume's problem in the first critisism would fulfill its founding and negative functions of critique of reason; c) the Kantian treatment of the theme of induction in other criticisms would will fulfill the defense function of critique of reason; d) that the evidence of Kant's answer to Hume's problem are more consistent when will be satisfied these three functions or moments of criticism. The basic structure of the work consists of three parts: the first the genesis of Hume's problem - our intention is to reconstruct Hume's problem, analyzing it from the perspective of two definitions of cause, where the dilution of the first definition in the second match the reduction of psychological knowledge to the probability of following the called naturalization of causal relations; whereas in the second - Legality and Causality - it is stated that when considering Hume in the skeptic-naturalist option, Kant is not entitled to respond by transcendental argument A􀁴B; A⊢B from the second Analogy, evidence that is rooted in the position of contemporary thinkers, such as Strawson and Allison; in third part - Purpose and Induction - admits that Kant responds to Hume on the level of regulative reason use, although the development of this test exceeds the limits of the founding function of criticism. And this is articulated in both the Introduction and Concluding Remarks by meeting the defensive [and negative] function of criticism. In this context, based on the use of so-called transcendental arguments that project throughout the critical trilogy, we provide solution to a recurring issue that recurs at several points in our submission and concerning to the "existence and / or the necessity of empirical causal laws. In this light, our thesis is that transcendental arguments are only an apodictic solution to the Hume s skeptical-naturalist problem when is at stake a practical project in which the interest of reason is ensured, as will, in short, proved in our final considerations

A relação entre as noções de eleuthería e autárkeia na filosofia de Epicuro

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

A coleção mossoroense e a construção dos mitos: Dix-Sept Rosado, o herói imolado

This research comprises a study on the values and ideals attributed to Dix-sept Rosado, by the Coleção Mossoroense journal. Local researchers demonstrate how the Coleção Mossoroense constructs an image of Mossoró, forming in the members of the city an identity with the place, a social cohesion or creating one forms to see and to say about the Mossoró city. The Coleção Mossoroense, through Vingt-un Rosado together with its family, established a form of seeing and identifying of the Mossoró s population with the city, just because it associated and it was, at the same time, a movement at the same time social (civic parties for example), political (the domination of the Rosado s family) and cultural (the books and theatrical parties about the city). The conjunction of the Coleção Mossoroense as and with a social movement, cultural and political was capable to establish a social identity, a subjective constituent . With this background, it was possible to make a study of the image attributed to Dix-sept Rosado, by the Coleção Mossoroense, through an analysis of the inherent discourse in the works by Bakhtin (1989) and Bourdieu (2000), of and on Dix-sept Rosado in the Coleção Mossoroense based on. The image of Dix-sept Rosado was constructed by the Coleção Mossoroense after its death, and the responsible for this was Vingt-un Rosado, which was the chief-editor of the Coleção Mossoroense up to 2006, year of its death. The Coleção Mossoroense built an image of Dix-sept Rosado as an enterprising man, progressive and innovator, of great capacity of leadership and oratory (a conductor of the crowds ), popular and charismatic, an honest and dynamic politician. This image made by the Coleção Mossoroense, although when enhancing in surplus the qualities of Dix-sept Rosado have as objective to transmit an image of a heroic personage, it has some relation with the reality. Dix-sept Rosado was a man identified with its locality. This can resemble a regional nationalism. The attitudes of Dix-sept Rosado must be understood inside of a broader social context, of a time marked by the populist politics. Qualities also appreciated and developed inside of a specific historical context and determined both national and locally. The Coleção Mossoroense enhances the qualities of Dix-sept Rosado so that the current politicians of the Rosado s family can establish a link of continuity in its contemporary political practice

Geração de casos de teste a partir de especificações B

With the increasing complexity of software systems, there is also an increased concern about its faults. These faults can cause financial losses and even loss of life. Therefore, we propose in this paper the minimization of faults in software by using formally specified tests. The combination of testing and formal specifications is gaining strength in searches mainly through the MBT (Model-Based Testing). The development of software from formal specifications, when the whole process of refinement is done rigorously, ensures that what is specified in the application will be implemented. Thus, the implementation generated from these specifications would accurately depict what was specified. But not always the specification is refined to the level of implementation and code generation, and in these cases the tests generated from the specification tend to find fault. Additionally, the generation of so-called "invalid tests", ie tests that exercise the application scenarios that were not addressed in the specification, complements more significantly the formal development process. Therefore, this paper proposes a method for generating tests from B formal specifications. This method was structured in pseudo-code. The method is based on the systematization of the techniques of black box testing of boundary value analysis, equivalence partitioning, as well as the technique of orthogonal pairs. The method was applied to a B specification and B test machines that generate test cases independent of implementation language were generated. Aiming to validate the method, test cases were transformed manually in JUnit test cases and the application, created from the B specification and developed in Java, was tested. Faults were found with the execution of the JUnit test cases

História de uma completiva: origem e desenvolvimento do complemento oracional introduzido por se do português

O propósito deste trabalho é investigar o percurso histórico da oração completiva iniciada pela conjunção se do português, que também introduz, nessa e em outras línguas românicas, uma oração adverbial condicional. Com base em registros de filólogos e romanistas, demonstra-se que a similaridade existente entre essas orações é resultado de gramaticalização da oração condicional que, no latim, passou a funcionar como oração completiva, em razão da extinção das partículas interrogativas que passaram a ser substituídas pela conjunção condicional latina si. Como oração completiva, a oração com se submete-se à gramaticalização, integrando-se à oração matriz de um modo que, conforme proposta de Hopper e Traugott (1993) e de Lehmann (1988), é próprio a construções completivas. A forma que tem essa oração de se gramaticalizar, incorporando-se à oração matriz, é, entretanto, diferente do que é previsto ocorrer a uma completiva introduzida por que, uma diferença que se deve, sobretudo, ao significado hipotético que a completiva com se preserva de sua fonte histórica. Demonstra-se, por fim, que, do português arcaico ao português contemporâneo, a gramaticalização do complemento oracional introduzido por se não se configura em mudança diacrônica, já que essa gramaticalização é atestada desde períodos mais remotos, em textos do século XIV.

Gramaticalização de juntivos adversativos na história do português

Pós-graduação em Estudos Linguísticos - IBILCE

Instrumentalização pedagógica para avaliação de crianças com risco de dislexia

Pós-graduação em Educação - FFC

Análise comparativa do processo de gramaticalização das perífrases conjuncionais agora que e já que

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Um estudo funcional da perífrase conjuncional 'Desde que' sob a ótica da gramaticalização

Pós-graduação em Linguística e Língua Portuguesa - FCLAR

Imaginários e representações da morte: caminhando sobre o fio da navalha

Pós-graduação em Serviço Social - FCHS

Estrutura eletrônica de derivados de Poli(3-Hexiltiofeno) para aplicações em camadas ativas de células solares orgânicas

Pós-graduação em Ciência e Tecnologia de Materiais - FC

Pensando no depois: um estudo sob a perspectiva da gramaticalização

Pós-graduação em Estudos Linguísticos - IBILCE

A interação ecofisiológica planta-ambiente: o papel da aclimatação fotossintética na resposta a fatores ambientais em espécies arbóreas

Pós-graduação em Ciências Biológicas (Biologia Vegetal) - IBRC

Efeitos de dois tipos de pergunta sobre os comportamentos verbal e não-verbal

O presente estudo procurou avaliar se a sinalização da mudança nas contingências programadas pela apresentação de pergunta tornaria o seguimento de regras mais provável de mudar acompanhando a mudança nas contingências. Doze estudantes universitários foram expostos a um procedimento de escolha segundo o modelo. A tarefa era apontar para três estímulos de comparação, em seqüência, na presença de um estímulo modelo. A emissão das seqüências corretas produzia pontos trocáveis por dinheiro. As respostas eram reforçadas em esquema de reforçamento contínuo. Os participantes foram distribuídos em quatro condições experimentais, cada uma composta por quatro sessões. A Sessão 1 era a linha de base. As contingências programadas na Sessão 2 eram alteradas na Sessão 3 e mantidas inalteradas na Sessão 4. Nas Condições 1 e 2 o comportamento não-verbal era estabelecido por reforço diferencial e nas Condições 3 e 4 era estabelecido por regra. Duas perguntas eram feitas: a pergunta Tipo 1 consistia em solicitar ao participante que descrevesse o comportamento que produzia reforço; e a pergunta Tipo 2 consistia em pedir ao participante para avaliar a possibilidade de haver ou não mais de um comportamento que produzia reforço na situação experimental. A pergunta Tipo 1 era apresentada a cada três tentativas ao longo das Sessões 2, 3 e 4 de todas as condições; enquanto que a pergunta Tipo 2 era apresentada no início da Sessão 3 das Condições 1 e 3 e no início da Sessão 4 das Condições 2 e 4. As verbalizações dos participantes não eram reforçadas diferencialmente. Os resultados mostraram que dois dos três participantes da Condição 1 e os três da Condição 2 mudaram seus desempenhos verbais e não-verbais quando houve mudança nas contingências. Na Condição 3, os três participantes mudaram seus desempenhos quando houve mudança nas contingências e na Condição 4 dois dos três fizeram o mesmo. Sugere-se que a pergunta Tipo 2, em conjunção com a pergunta Tipo 1, contribuiu para a ocorrência de desempenhos verbais e não-verbais sensíveis às mudanças nas contingências quando o comportamento nãoverbal foi estabelecido por regra. Os resultados têm implicações para o esclarecimento do papel de perguntas na sensibilidade dos comportamentos verbais e não-verbais às mudanças nas contingências.