Gotowa bibliografia na temat „Formal imperatice”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Spis treści
Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „Formal imperatice”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Artykuły w czasopismach na temat "Formal imperatice"
De Carvalho, Luiz Fernando, i Márcia Cristina De Brito Rumeu. "As construções imperativas de 2ª pessoa do singular no português brasileiro escrito dos séculos XIX e XX: rastros históricos do imperativo abrasileirado / The Imperative Constructions of the 2nd Person Singular in Brazilian Portuguese Written in the 19th and 20th Centuries: Historical Traces of the Brazilian Imperative". Caligrama: Revista de Estudos Românicos 27, nr 1 (12.08.2022): 150. http://dx.doi.org/10.17851/2238-3824.27.1.150-173.
Pełny tekst źródłaAnderBois, Scott. "An illocutionary account of reportative evidentials in imperatives". Semantics and Linguistic Theory 27 (21.12.2017): 459. http://dx.doi.org/10.3765/salt.v27i0.4172.
Pełny tekst źródłaKleiber, Judit, i Gábor Alberti. "Compositional analysis of interrogative imperatives in Hungarian". Linguistics Beyond and Within (LingBaW) 3 (30.12.2017): 117–35. http://dx.doi.org/10.31743/lingbaw.5654.
Pełny tekst źródłaKlinger‐Vartabedian, Laurel C. "Formal group communication with older adults: A research imperative". Journal of Applied Communication Research 15, nr 1-2 (marzec 1987): 67–76. http://dx.doi.org/10.1080/00909888709365260.
Pełny tekst źródłaBernander, Rasmus. "On the “Atypical” Imperative Verb Form in Manda". Studia Orientalia Electronica 8, nr 3 (20.11.2020): 22–42. http://dx.doi.org/10.23993/store.69737.
Pełny tekst źródłaChen, Yupin. "Children’s formal division of labor in requests". Pragmatics. Quarterly Publication of the International Pragmatics Association (IPrA) 23, nr 2 (1.06.2013): 215–41. http://dx.doi.org/10.1075/prag.23.2.02che.
Pełny tekst źródłaCoffey, Tom, Reiner Dojen i Tomas Flanagan. "Formal verification: an imperative step in the design of security protocols". Computer Networks 43, nr 5 (grudzień 2003): 601–18. http://dx.doi.org/10.1016/s1389-1286(03)00292-5.
Pełny tekst źródłaKnoll, Carsten, Julius Fiedler i Stefan Ecklebe. "Imperative Formal Knowledge Representation for Control Engineering: Examples from Lyapunov Theory". Machines 12, nr 3 (8.03.2024): 181. http://dx.doi.org/10.3390/machines12030181.
Pełny tekst źródłaAsistido, Randolf L., i Wilfredo O. Hermosura. "Imperatives Evident in the EVP’s Special Message during the General Assembly and Alumni Homecoming of 2018". Kalamboan 1 (31.10.2021): 58–71. http://dx.doi.org/10.61864/kalamboan.v1i1.7.
Pełny tekst źródłaHolvoet, Axel, Anna Daugavet i Liina Lindström. "Insubordinated concessive imperatives". Baltic Linguistics 10 (31.12.2019): 307–54. http://dx.doi.org/10.32798/bl.367.
Pełny tekst źródłaRozprawy doktorskie na temat "Formal imperatice"
PeÌrez, RamiÌrez Miguel. "Formal pragmatic model for imperatives interpretation". Thesis, University of Essex, 2003. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.268700.
Pełny tekst źródłaMohamed, Rafsandjani Hassani. "Les révisions constitutionnelles en Afrique et la limitation des mandats présidentiels. : Contribution à l'étude du pouvoir de révision". Electronic Thesis or Diss., Toulon, 2022. http://www.theses.fr/2022TOUL0147.
Pełny tekst źródłaAfrican countries have been experiencing an increasing number of constitutional amendments, mainly affecting the presidential term limit clause. Leaders, who initiate them, seek to facilitate their re-election. Such reformist inclinations lead to major political and social crises. From the political actors, civil society organisations and citizen movements point of view, the presidential term limit clause is a key feature of constitutions and as such it should not be the subject of constitutional amendments. This thesis aims at demonstrating that constitutional amendment power is not absolute power. It must comply with two requirements. The first is formal. The amendment process provided by constitutions needs to be followed. The second is an objective. The duty of constitutional amendment power is to consolidate the institutional system by preserving its founding principles. These form the basic structure of constitutions. In Africa, it appears that these two requirements are not always observed when amending constitutions. This research also highlights that at both national and regional levels, there is a set of original mechanisms supervising constitutional amendment power, which are political and jurisdictional, but still in their infancy
Fávaro, Gisela Sequini [UNESP]. "Estudo morfológico das formas verbais do modo imperativo nas Cantigas de Santa Maria". Universidade Estadual Paulista (UNESP), 2016. http://hdl.handle.net/11449/138946.
Pełny tekst źródłaRejected by Ana Paula Grisoto (grisotoana@reitoria.unesp.br), reason: Solicitamos que realize uma nova submissão seguindo as orientações abaixo: Inserir a data de defesa na folha de aprovação. Corrija estas informações e realize uma nova submissão contendo o arquivo correto. Agradecemos a compreensão. on 2016-06-02T19:30:51Z (GMT)
Submitted by Gisela Sequini Favaro null (gisela_favaro@hotmail.com) on 2016-06-02T22:49:12Z No. of bitstreams: 1 Tese_Gisela Favaro_Versão Definitiva_Repositório.pdf: 2997134 bytes, checksum: 94fefaf51da45c497e6f0cfd3bb1e21c (MD5)
Approved for entry into archive by Ana Paula Grisoto (grisotoana@reitoria.unesp.br) on 2016-06-03T14:01:33Z (GMT) No. of bitstreams: 1 favaro_gs_dr_arafcl.pdf: 2997134 bytes, checksum: 94fefaf51da45c497e6f0cfd3bb1e21c (MD5)
Made available in DSpace on 2016-06-03T14:01:33Z (GMT). No. of bitstreams: 1 favaro_gs_dr_arafcl.pdf: 2997134 bytes, checksum: 94fefaf51da45c497e6f0cfd3bb1e21c (MD5) Previous issue date: 2016-04-18
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Este estudo objetiva realizar o mapeamento e a análise da estrutura morfológica no processo da flexão verbal das formas imperativas em Português Arcaico (PA), a partir das Cantigas de Santa Maria (CSM), com a finalidade de mostrar se a situação que encontramos hoje (ou seja, variação entre formas indicativas e subjuntivas para expressar ordens e pedidos), que leva à dúvida quanto ao imperativo ser um modo independente ou não, já ocorria no PA. A metodologia constitui-se no mapeamento das formas verbais do imperativo nas CSM. Contamos, também, com glossários e vocabulários como auxílio na categorização das formas verbais. Após a coleta dos dados, são analisadas as estruturas morfológicas das formas verbais imperativas encontradas, comparando-as com a estrutura morfológica das formas verbais do presente do indicativo e do subjuntivo mapeadas no corpus, a fim de explicar se critérios, tais como ordem, presença ou ausência do sujeito e contextos relacionados a atos de fala (ordem ou pedido), podem ser utilizados para considerar uma forma imperativa ou não. Foram coletadas 189 formas verbais imperativas conjugadas nas 2ªpp e 2ªps. Verificamos a alta produtividade da supressão da vogal temática em um estágio inicial da língua. Podemos comprovar que o modo imperativo preservava sua estrutura morfológica no PA, já que os indíces de variação começam a surgir apenas em meados do século XVIII, quando há as primeiras manifestações do processo de substituição do pronome tu por você nas relações de tratamento. Discorremos, também, a partir de uma perspectiva diacrônica, sobre os fatores de natureza linguística e social que interferiram e continuam interferindo no processo de variação das formas pronominais de tratamento em PB e como este fenômeno está associado à provável perda da morfologia do modo imperativo. Assim, esta tese visou a contribuir para a compreensão da história do português, no sentido de que a retomada de fatos do passado linguístico da língua portuguesa pode trazer uma maior compreensão da estrutura do português atual.
This study aims to map and analyze the morphological structure in the process of verb inflection of imperative forms in Archaic Portuguese (AP) in the Cantigas de Santa Maria (CSM). The objective of the study is to show if the situation we find today (i.e., variation among indicative and subjunctive forms to express orders and requests), which leads to the question if the imperative was an independent mood or not, already occurred in the AP. The methodology consists in mapping the imperative verb forms in the CSM. We have also used glossaries and vocabularies as a support in categorization of verb forms. After data is collected, the morphological structure of the imperative verb forms found are analyzed in comparison with the morphological structure of the simple present and subjunctive mapped in the corpus, in order to explain if criteria, such as order, presence or absence of the subject and contexts related to speech acts (order or request), can be used to consider if a form is imperative or not. One hundred eighty-nine imperative verb forms conjugated in the secondperson plural and second-person singular were collected and at the end of the analysis of the data we verified the high productivity of the suppression of the thematic vowel at an early stage of the language. We can prove that the imperative form preserved its morphological structure in the AP, since the variation indices start to emerge only in mid-eighteenth century, when there are the first manifestations of the process which replaces tu by você in treatment relations. We have also discussed, from a diachronic perspective, by the factors of linguistic and social nature that interfered and continue to interfere in the process of change in pronoun forms of address in BP and how this phenomenon is associated with the probable loss of the morphology of the imperative form. Thus, this thesis aimed to contribute to the history of the Portuguese language, considering that the resumption of facts of the linguistic past of the Portuguese language can bring greater understanding of the structure of the current Portuguese.
Mallon, Ryan Peter Kingsley. "The Semantics, Formal Correctness and Implementation of History Variables in an Imperative Programming Language". Thesis, University of Canterbury. Computer Science and Software Engineering, 2006. http://hdl.handle.net/10092/1173.
Pełny tekst źródłaFavaro, Gisela Sequini. "Estudo morfológico das formas verbais do modo imperativo nas Cantigas de Santa Maria /". Araraquara, 2016. http://hdl.handle.net/11449/138946.
Pełny tekst źródłaOrientador: Gladis Massini-Cagliari
Banca: José Sueli de Magalhães
Banca: Paulo Chagas de Souza
Banca: Cristina Martins Fargetti
Banca: Daniel Soares da Costa
Resumo: Este estudo objetiva realizar o mapeamento e a análise da estrutura morfológica no processo da flexão verbal das formas imperativas em Português Arcaico (PA), a partir das Cantigas de Santa Maria (CSM), com a finalidade de mostrar se a situação que encontramos hoje (ou seja, variação entre formas indicativas e subjuntivas para expressar ordens e pedidos), que leva à dúvida quanto ao imperativo ser um modo independente ou não, já ocorria no PA. A metodologia constitui-se no mapeamento das formas verbais do imperativo nas CSM. Contamos, também, com glossários e vocabulários como auxílio na categorização das formas verbais. Após a coleta dos dados, são analisadas as estruturas morfológicas das formas verbais imperativas encontradas, comparando-as com a estrutura morfológica das formas verbais do presente do indicativo e do subjuntivo mapeadas no corpus, a fim de explicar se critérios, tais como ordem, presença ou ausência do sujeito e contextos relacionados a atos de fala (ordem ou pedido), podem ser utilizados para considerar uma forma imperativa ou não. Foram coletadas 189 formas verbais imperativas conjugadas nas 2ªpp e 2ªps. Verificamos a alta produtividade da supressão da vogal temática em um estágio inicial da língua. Podemos comprovar que o modo imperativo preservava sua estrutura morfológica no PA, já que os indíces de variação começam a surgir apenas em meados do século XVIII, quando há as primeiras manifestações do processo de substituição do pronome tu por você nas relações de tratamento. Discorremos, também, a partir de uma perspectiva diacrônica, sobre os fatores de natureza linguística e social que interferiram e continuam interferindo no processo de variação das formas pronominais de tratamento em PB e como este fenômeno está associado à provável perda da morfologia do modo imperativo. Assim, esta tese visou a contribuir...
Abstract: This study aims to map and analyze the morphological structure in the process of verb inflection of imperative forms in Archaic Portuguese (AP) in the Cantigas de Santa Maria (CSM). The objective of the study is to show if the situation we find today (i.e., variation among indicative and subjunctive forms to express orders and requests), which leads to the question if the imperative was an independent mood or not, already occurred in the AP. The methodology consists in mapping the imperative verb forms in the CSM. We have also used glossaries and vocabularies as a support in categorization of verb forms. After data is collected, the morphological structure of the imperative verb forms found are analyzed in comparison with the morphological structure of the simple present and subjunctive mapped in the corpus, in order to explain if criteria, such as order, presence or absence of the subject and contexts related to speech acts (order or request), can be used to consider if a form is imperative or not. One hundred eighty-nine imperative verb forms conjugated in the secondperson plural and second-person singular were collected and at the end of the analysis of the data we verified the high productivity of the suppression of the thematic vowel at an early stage of the language. We can prove that the imperative form preserved its morphological structure in the AP, since the variation indices start to emerge only in mid-eighteenth century, when there are the first manifestations of the process which replaces tu by você in treatment relations. We have also discussed, from a diachronic perspective, by the factors of linguistic and social nature that interfered and continue to interfere in the process of change in pronoun forms of address in BP and how this phenomenon is associated with the probable loss of the morphology of the imperative form. Thus, this thesis aimed to contribute to the...
Doutor
Cintra, Fernando Vogel. "A universalizabilidade lógico-ética na fundamentação do princípio jurídico da igualdade e da vinculatividade dos precedentes judiciais : contribuicao para uma interpretação kantiana da teoria do discurso prático racional geral". reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2018. http://hdl.handle.net/10183/181187.
Pełny tekst źródłaThe main objective of the thesis is to examine whether in Immanuel Kant’s practical philosophy distinct variants of the idea of universalizability are already contained, in particular Richard Mervyn Hare’s, Kurt Baier’s, Marcus George Singer’s and Jürgen Habermas’ variants, with a view to determine whether Robert Alexy’s theory of rational practical discourse could be construed as Kantian. The secondary objective of the thesis is to examine whether the idea of universalizability, such as developed in formal logic and ethics of Kantian orientation, can be employed successfully in the philosophical foundation of the legal principle of equality and of the binding character of judicial precedent, as well as to present arguments based on universalizability and precedent for the solution of three extraordinary appeals, with recognized general repercussion, which are pending judgment in the Brazilian Federal Supreme Court: Extraordinary Appeals n. 611.874, n. 639.138 and n. 710.293. The methods employed were the logical-analytic, the hermeneutic and the comparative, including also bibliographical, case law and legislative review. The main results obtained were as follows: (i) from the viewpoint of formal logic, universalizability can be located within the domain of operation rules of first order predicate calculus; (ii) in relation to the different formulas of Kant’s categorical imperative, the Formula IIIa (Kingdom of Ends) seems the more inclusive, by comprehending the form of moral action (the universal law) and the matter of moral action (the people as ends in themselves); ( (iii) in their essential aspects, Hare’s, Baier’s, Singer’s and Habermas’ variants of universalizability can be reduced to the Kantian categorical imperative; (iv) in Kant’s philosophy of law and state, the double law-giving doctrine explains the difference between the ethical law-giving and legal law-giving based on the difference between “incentive” (Triebfeder); (v) the existence of a close link between the concepts of law (including the possibility of external coercion), universalizability and equality (in the application of law and in the establishment of law) was demonstrated; (vi) the two fundamental concepts of the theory of precedent – stare decisis and ratio decidendi – can be reduced to the idea of universalizability; (vii) both arguments based on the utilization of precedent and the argument of universalizability can offer an important contribution to the solution of concrete cases, pending judgment in Brazilian courts. The conclusions obtained from the results are that Hare’s, Baier’s, Singer’s and Habermas’ variants of the idea of universalizability can, in their essential aspects, be reduced to Kant’s practical philosophy, also demonstrating the compatibility between Alexy’s theory of rational practical discourse and that philosophy.
Costa, Rodrigo de Campos. "Formas de enfrentamento à criminalidade organizada". Pontifícia Universidade Católica de São Paulo, 2011. https://tede2.pucsp.br/handle/handle/5647.
Pełny tekst źródłaThe purpose of this paper is to analyse Criminal Law in relation to the fight against organized crime. The evolution of Criminal Law was outlined, starting with the main penal schools and also with the dogmatic lines of thought, from Causalism to Functionalism. Considering the legal interest as Criminal Law's main objective, parameters based on constitutional values were established for its definition. The analysis of the legal interest was double folded, having been classified as being of both individual and universal nature, thus enabling the defence of the constitutionality of crimes of abstract danger. The warrants of criminalization, whose fundamentals oblige the infra-constitutional legislator to protect the legal interest elected by the Constitution, were object of analysis. As for organized crime, its evolution as a social and legal phenomenon was analysed, focusing on the history of Brazilian legislation, from the Imperial Penal Code to today's Law 9.034/95. The analysis of the concept of organized crime was based on the concept taken from the Palermo Convention, more open and permissive, so as not to restrict legislation on the account of the effects of the advance of globalization. Thus, in order to establish the concept of organized crime, its characteristics were identified insisting on the need for legal definition. The investigation tools of the Law 9.034/95 were also analysed, following legitimizing arguments. Lastly, the Enemy's Criminal Law and the Right to Safety were analysed as ways to interpret and provide justification for legislations both from penal as well as processual order in the fight against organized crime. From the research done, we conclude for the interpretation of the Right to Safety as a fundamental right, in its objective acception, based on imperatives of tutelage. The collision between constitutional principles must be solved through the application of the principle of proportionality
O objetivo do presente trabalho consiste na análise do Direito Penal, no que diz respeito ao enfrentamento da criminalidade organizada. Foi delineada evolução do Direito Penal, com início nas principais escolas penais e também através das linhas do pensamento dogmático, do causalismo ao funcionalismo. Com norte no bem jurídico, como finalidade do Direito Penal, foram estabelecidos parâmetros para sua definição, ancorado nos valores constitucionais. O bem jurídico foi cindido em sua análise, sendo classificado como de natureza individual e universal, classificação essa que permitiu defender a constitucionalidade dos crimes de perigo abstrato. Foram objeto de análise os mandados de criminalização, cuja fundamentação, obriga o legislador infraconstitucional à proteção do bem eleito pela Constituição. Quanto ao crime organizado, foi analisada sua evolução enquanto fenômeno social e jurídico. Foi objeto de análise a história da legislação brasileira, desde o Código Penal do Império até a atual Lei 9.034/95. Na análise do conceito do crime organizado, levou-se em consideração o conceito previsto pela Convenção de Palermo, mais aberto e permissivo, de modo a não engessar a legislação, devido aos efeitos do avanço da globalização, de modo que para estabelecer o conceito foram identificadas suas características, firmando ainda posicionamento pela necessidade de definição legal. Os instrumentos de investigação da Lei 9.034/95 também foram analisados, firmando-se por argumentos legitimadores. Por fim, foram analisados o Direito Penal do Inimigo e o Direito à Segurança, como formas de se interpretar e fundamentar legislações tanto de ordem penal como processual no enfrentamento à criminalidade organizada. Pela pesquisa feita, posicionamo-nos no sentido de interpretar o Direito à Segurança, como um direito fundamental, na acepção objetiva, com base nos imperativos de tutela. A colisão de princípios constitucionais deve ser sanada através da aplicação do princípio da proporcionalidade
Braga, Henrique Santos. "Desaparecimento da flexão verbal como marca de tratamento no modo imperativo - um caso de variação e mudança no português brasileiro". Universidade de São Paulo, 2008. http://www.teses.usp.br/teses/disponiveis/8/8142/tde-05012009-141440/.
Pełny tekst źródłaFrom a corpus comprised of dramatic texts produced in Brazils southeast region between 1850 and 1975, our research aims to study speakers usage of the imperative mood in the singular form. The motivation of this thesis is due to the fact that among certain variations of brazilian Portuguese language the interlocutor is treated mainly by the pronoun você. Moreover, a process of variation has already been noticed between the imperative form derived from the indicative mood associated with the treatment in the second-person singular and the form derived from the subjunctive mood considered as the third-person singular. Given this synchrony that has already been analyzed in other papers, our target was to investigate the usage in previous times aiming to identify if besides the variation it is still possible to observe a language changing process involving this verbal forms. To treat the phenomenon in question we have opted for the multisystemic theory (cf. CASTILHO, 2006), a functional linguistics approach that assumes language as a complex system in which the grammatical, lexical and semantic-pragmatical subsystems, in spite of being correlated, dont establish a deterministic relationship. We have still searched for methodological suggestions from the variacionist sociolinguistic to quantify the data being analyzed.
CIANI, SCIOLLA JACOPO. "¿SEGNI DISTINTIVI E PUBBLICO DOMINIO: IL RUOLO DELL¿IMPERATIVO DI DISPONIBILITA¿ NELLA REGISTRAZIONE E NELLA TUTELA DEL MARCHIO¿". Doctoral thesis, Università degli Studi di Milano, 2016. http://hdl.handle.net/2434/351166.
Pełny tekst źródłaAmong the 45 Recommendations adopted under the WIPO Development Agenda, two indicate the preservation of public domain as a key task for firms, individuals and Member States. This study explores the notion of “public domain” in relation to trademark law, with particular reference to the challenging issue of how safeguarding it, avoiding misappropriation of signs which should remain usable by the public. Some studies have shown that legal instruments provided by trademark law to keep signs and certain forms of use free, risk not being appropriate counterbalances to prevent the misappropriation of public domain. A general exclusion from registration does not exist for many signs which are part of a communal heritage and even if a refusal for registration may be grounded on the lack of distinctiveness, this requirement may still be overcome, showing that the sign has acquired a “secondary meaning”. Furthermore, a look into the registers reveals that trademark right is often used as a vehicle to extend prior patent, design or copyrights, with great public domain’s concerns. At last, the space of public domain is endangered by the expanded protection of new types of marks and by the anti-dilution enhanced protection, which gave the registered trademark’s owner more general control over his sign, making it unavailable for socially and culturally valuable use, such as news reporting, criticism, review and parody. German case law was the first to address the issue of the safeguard of this room for free signs and uses, suggesting that trademark registration should be subject to a prior assessment of the opportunity that a sign remain public available (Freihaltebedürfnis). This interest raises from the observation of the negative impact that granting rights to certain types of trademark may have on market competition and led most countries to refrain from recognising trademark rights to descriptive and generic signs and functional shapes. Otherwise, by choosing these signs, right holders may acquire strategic competitive advantages on competitors whose marketing strategies and communication, deprived of the opportunity to use them, would result much less effective than that allowed to the trademark’s holder. This advantage has nothing to do with the essential function to guarantee the trade mark as an indication of origin and is therefore not justified in the light of the objectives underlying trade mark law. The ECJ, requested to preliminary ruling on whether this “need to keep free” should play any role in the European trademark law, answered contradictorily. Notwithstanding, courts still rely on public policy concerns in order to preclude or limit the trademark protection, such as the “color depletion” and the “functionality” doctrine used by U.S. Courts for granting protection to color or shape marks. This work suggests that public interest should still play a role as a key-factor in order to assess the distinctive character relevant both in registration and infringement proceedings and shares the view that wording should be added in the Trademark Directive and Regulation, that the assessment of distinctive character should take into account the “right to keep free”. This proposal becomes particularly actual in the light of the works in progress for reforming the European trademark legislation, which appear to have ignored the problem of striking the proper balance between trademark right and public domain.
Savi, Neto Pedro Savi. "Educa??o e mem?ria do sofrimento em T. W. Adorno". Pontif?cia Universidade Cat?lica do Rio Grande do Sul, 2017. http://tede2.pucrs.br/tede2/handle/tede/7283.
Pełny tekst źródłaMade available in DSpace on 2017-05-18T17:40:17Z (GMT). No. of bitstreams: 1 TES_PEDRO_SAVI_NETO_COMPLETO.pdf: 4757795 bytes, checksum: 749902895c149cf542941ae99bf9cf99 (MD5) Previous issue date: 2017-02-24
Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior - CAPES
Conselho Nacional de Pesquisa e Desenvolvimento Cient?fico e Tecnol?gico - CNPq
The present thesis aims at the adequate understanding of the memory duty from the categorical imperative formulated by T.W. Adorno, that events like Auschwitz mustn?t be repeated, as an educational foundation for the de-barbarization of society from its fundamental dimension: the subject. For this, the research starts from the analysis of bourgeois society as a social organization that appropriated and reinforced the logic of domination of nature to structure a society managed by economic interests and marked by the coldness in personal relations. The context in which the pedagogical character of the memory of suffering does not find its place in human development, reduced to mere training for the labor market, of two fundamental dimensions: negativity and mimesis. The research goes through the understanding of the negative moral philosophy of Adorno exposed relationally with the moral philosophy of Kant, with the purpose of explaining the type of moral conscience that must be formed by the education to resist the barbarism. Memory raised to the moral category is not confused with history; memory is related to the perspective to face history, a political position in front of history, committed to the past suffering erected to the condition of foundation to think the moral philosophy and, consequently, to define the values that humanity understands fundamental to conserve to the future generations. The constant presence of barbarism in the history of mankind is analyzed from the critique of the conception of history as progress, present in Hegel's philosophy. The educational importance of the elaboration of the past is founded with support in the work of Reyes Mate. From these theoretical-philosophical elements, the duty of memory is defended as an ethical stance and political conviction necessary to enable the construction of a just society from an education committed to an adequate understanding of the causes that have made possible so much suffering in the past and that remain present in the world to enable a different future. The thesis, then, is that the humanization of the human, understood as the main objective of the educational process, only occurs when the memory of suffering is the basis of its structuring.
A presente tese tem como objetivo a compreens?o adequada do dever de mem?ria a partir do imperativo categ?rico formulado por T.W. Adorno, de que eventos como Auschwitz n?o se repitam, como fundamento educacional para a desbarbariza??o da sociedade a partir de sua dimens?o fundamental: o sujeito. Para tanto, a pesquisa parte da an?lise da sociedade burguesa, enquanto organiza??o social que se apropriou e refor?ou a l?gica de domina??o da natureza para estruturar uma sociedade administrada pelos interesse econ?micos e marcada pela frieza nas rela??es pessoais. Contexto no qual, o car?ter pedag?gico da mem?ria do sofrimento n?o encontra lugar pelo n?o desenvolvimento na forma??o humana, reduzida a mero treinamento para o mercado de trabalho, de duas dimens?es fundamentais: negatividade e mimese. A pesquisa passa pela compreens?o da filosofia moral negativa de Adorno exposta de forma relacional com a filosofia moral de Kant, com o objetivo de explicitar o tipo de consci?ncia moral que deve ser formado pela educa??o para resistir ? barb?rie. A mem?ria elevada ? categoria moral n?o se confunde com a hist?ria; a mem?ria est? relacionada ? perspectiva para encarar a hist?ria, uma posi??o pol?tica diante da hist?ria, comprometida com o sofrimento passado erigido ? condi??o de fundamento para pensar a filosofia moral e, por consequ?ncia, definir os valores que a humanidade entende fundamentais para conservar ?s gera??es futuras. A presen?a constante da barb?rie na hist?ria da humanidade ? analisada a partir da cr?tica ? concep??o de hist?ria como progresso, presente na filosofia de Hegel. A import?ncia educacional da elabora??o do passado ? fundamentada com apoio na obra de Reyes Mate. A partir desses elementos te?rico-filos?ficos, o dever de mem?ria ? defendido como postura ?tica e convic??o pol?tica necess?ria para viabilizar a constru??o de uma sociedade justa a partir de uma educa??o comprometida com a adequada compreens?o das causas que possibilitaram tanto sofrimento no passado e que permanecem presentes no mundo para possibilitar um futuro diferente. A tese, ent?o, ? de que a humaniza??o do humano, entendida como objetivo principal do processo educacional, somente se d? quando a mem?ria do sofrimento est? na base de sua estrutura??o.
Książki na temat "Formal imperatice"
Derrida, Badiou, and the formal imperative. New York: Continuum International Pub. Group, 2012.
Znajdź pełny tekst źródłaNorris, Christopher. Derrida, Badiou, and the formal imperative. New York: Continuum International Pub. Group, 2012.
Znajdź pełny tekst źródłaO, Barclay Rebecca, i United States. National Aeronautics and Space Administration., red. NASA/DOD aerospace knowledge diffusion research project.: A strategic imperative for improving U.S. competitiveness. [Washington, D.C.]: National Aeronautics and Space Administration, 1998.
Znajdź pełny tekst źródłaO, Barclay Rebecca, i United States. National Aeronautics and Space Administration., red. NASA/DOD aerospace knowledge diffusion research project.: A strategic imperative for improving U.S. competitiveness. [Washington, D.C.]: National Aeronautics and Space Administration, 1998.
Znajdź pełny tekst źródłaDurakova, Irina, Larisa Matasova, Ekaterina Mayer, Ivan Grigorov, Tat'yana Rahmanova, Elena Mitrofanova, Anna Bagirova i in. Personnel management in Russia: reboot. Book 11. ru: INFRA-M Academic Publishing LLC., 2023. http://dx.doi.org/10.12737/2035498.
Pełny tekst źródłaNorris, Christopher. Derrida, Badiou and the Formal Imperative. Continuum International Publishing Group, 2012. http://dx.doi.org/10.5040/9781350251816.
Pełny tekst źródłaNorris, Christopher. Derrida, Badiou and the Formal Imperative. Bloomsbury Publishing Plc, 2014.
Znajdź pełny tekst źródłaSarvasy, Hannah S. Imperatives and commands in Nungon. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780198803225.003.0011.
Pełny tekst źródłade Vries, Lourens. The imperative paradigm of Korowai, a Greater Awyu language of West Papua. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780198803225.003.0012.
Pełny tekst źródłaAmha, Azeb. Commands in Wolaitta. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780198803225.003.0014.
Pełny tekst źródłaCzęści książek na temat "Formal imperatice"
Lau, Kung-Kiu. "A Beginner’s Course on Reasoning About Imperative Programs". W Teaching Formal Methods, 1–16. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-30472-2_1.
Pełny tekst źródłaPirvulescu, Mihaela, i Yves Roberge. "Objects and the Structure of Imperatives". W Formal Perspectives on Romance Linguistics, 211. Amsterdam: John Benjamins Publishing Company, 1999. http://dx.doi.org/10.1075/cilt.185.16pir.
Pełny tekst źródłaFernández, Maribel, i Ian Mackie. "A Reversible Operational Semantics for Imperative Programming Languages". W Formal Methods and Software Engineering, 91–106. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-63406-3_6.
Pełny tekst źródłaMaingaud, Séverine, Vincent Balat, Richard Bubel, Reiner Hähnle i Alexandre Miquel. "Specifying Imperative ML-Like Programs Using Dynamic Logic". W Formal Verification of Object-Oriented Software, 122–37. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-18070-5_9.
Pełny tekst źródłaNikolić, Đurica, Corrado Priami i Roberto Zunino. "A Rule-Based and Imperative Language for Biochemical Modeling and Simulation". W Software Engineering and Formal Methods, 16–32. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-33826-7_2.
Pełny tekst źródłaLamraoui, Si-Mohamed, i Shin Nakajima. "A Formula-Based Approach for Automatic Fault Localization of Imperative Programs". W Formal Methods and Software Engineering, 251–66. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-11737-9_17.
Pełny tekst źródłaBlazy, Sandrine, i Xavier Leroy. "Formal Verification of a Memory Model for C-Like Imperative Languages". W Formal Methods and Software Engineering, 280–99. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11576280_20.
Pełny tekst źródłaGomes, Leandro, Alexandre Madeira, Manisha Jain i Luis S. Barbosa. "On the Generation of Equational Dynamic Logics for Weighted Imperative Programs". W Formal Methods and Software Engineering, 154–69. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-32409-4_10.
Pełny tekst źródłaDaudier, Dorian, Trinh Ngoc Quoc Bao i Kazuhiro Ogata. "A Proof Score Approach to Formal Verification of an Imperative Programming Language Compiler". W Structured Object-Oriented Formal Language and Method, 200–217. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-90104-6_13.
Pełny tekst źródłaBeyer, Dirk, Martin Spiessl i Sven Umbricht. "Cooperation Between Automatic and Interactive Software Verifiers". W Software Engineering and Formal Methods, 111–28. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-17108-6_7.
Pełny tekst źródłaStreszczenia konferencji na temat "Formal imperatice"
Gibbons, Hugh. "Declarative View of Imperative Programs". W 2nd Irish Workshop on Formal Methods. BCS Learning & Development, 1998. http://dx.doi.org/10.14236/ewic/fm1998.3.
Pełny tekst źródłaXu, Bo, Baojian Hua i Ying Gao. "An imperative formal calculus for Java". W 2010 2nd International Conference on Future Computer and Communication. IEEE, 2010. http://dx.doi.org/10.1109/icfcc.2010.5497813.
Pełny tekst źródłaLarraz, Daniel, Albert Oliveras, Enric Rodriguez-Carbonell i Albert Rubio. "Proving termination of imperative programs using Max-SMT". W 2013 Formal Methods in Computer-Aided Design (FMCAD). IEEE, 2013. http://dx.doi.org/10.1109/fmcad.2013.6679413.
Pełny tekst źródłaSinn, Moritz, Florian Zuleger i Helmut Veith. "Difference constraints: an adequate abstraction for complexity analysis of imperative programs". W 2015 Formal Methods in Computer-Aided Design (FMCAD). IEEE, 2015. http://dx.doi.org/10.1109/fmcad.2015.7542264.
Pełny tekst źródłaDemongeot, Thomas, Julien Mallet i Yves Le Traon. "Runtime verification of declassification for imperative programs: Formal foundations". W 2009 Fourth International Conference on Risks and Security of Internet and Systems (CRiSIS 2009). IEEE, 2009. http://dx.doi.org/10.1109/crisis.2009.5411980.
Pełny tekst źródłaOlsson, O., i A. Wallenburg. "Customised induction rules for proving correctness of imperative programs". W Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05). IEEE, 2005. http://dx.doi.org/10.1109/sefm.2005.15.
Pełny tekst źródłaGemünde, Mike, Jens Brandt i Klaus Schneider. "A Formal Semantics of Clock Refinement in Imperative Synchronous Languages". W 2010 10th International Conference on Application of Concurrency to System Design. IEEE, 2010. http://dx.doi.org/10.1109/acsd.2010.25.
Pełny tekst źródłaGemunde, Mike, Jens Brandt i Klaus Schneider. "Compilation of imperative synchronous programs with refined clocks". W 2010 8th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010). IEEE, 2010. http://dx.doi.org/10.1109/memcod.2010.5558633.
Pełny tekst źródłaLi, Xian, i Klaus Schneider. "Control-flow guided property directed reachability for imperative synchronous programs". W 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE). IEEE, 2016. http://dx.doi.org/10.1109/memcod.2016.7797742.
Pełny tekst źródłaWerner, Marcel Christian, i Klaus Schneider. "Translation of continuous function charts to imperative synchronous quartz programs". W MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design. New York, NY, USA: ACM, 2021. http://dx.doi.org/10.1145/3487212.3487338.
Pełny tekst źródłaRaporty organizacyjne na temat "Formal imperatice"
Rosenfeld i Kiefner. L52270 Basics of Metal Fatigue in Natural Gas Pipeline Systems - A Primer for Gas Pipeline Operators. Chantilly, Virginia: Pipeline Research Council International, Inc. (PRCI), listopad 2004. http://dx.doi.org/10.55274/r0010154.
Pełny tekst źródłaCanto, Patricia, red. Marcos para la construcción de una gobernanza colaborativa. Universidad de Deusto, 2022. http://dx.doi.org/10.18543/fwjo3694.
Pełny tekst źródłaPacheco Pinilla, Claudia Marcela, i Lina Shirley López Hernández. Técnicas de integración: fracciones parciales. Ediciones Universidad Cooperativa de Colombia, październik 2023. http://dx.doi.org/10.16925/gcnc.75.
Pełny tekst źródłaPexas, Georgios, Ilias Kyriazakis i Bob Doherty. The Future of Animal Feed. Food Standards Agency, kwiecień 2023. http://dx.doi.org/10.46756/sci.fsa.gzi586.
Pełny tekst źródłaClement, Timothy, i Brett Vaughan. Evaluation of a mobile learning platform for clinical supervision. University of Melbourne, 2021. http://dx.doi.org/10.46580/124369.
Pełny tekst źródłaHaslam, Divna, Ben Mathews, Rosana Pacella, James Graham Scott, David Finkelhor, Daryl Higgins, Franziska Meinck i in. The prevalence and impact of child maltreatment in Australia: Findings from the Australian Child Maltreatment Study: Brief Report. Queensland University of Technology, 2023. http://dx.doi.org/10.5204/rep.eprints.239397.
Pełny tekst źródła