MENEZES, Léia Cruz de. A modalidade deôntica na construção da persuasão em discursos políticos. 2006. 186f. – Dissertação (Mestrado) – Universidade Federal do Ceará, Departamento de Letras Vernáculas, Programa de Pós-graduação em Linguística, Fortaleza (CE), 2006. / Submitted by Márcia Araújo (marcia_m_bezerra@yahoo.com.br) on 2014-08-19T14:57:52Z No. of bitstreams: 1 2006_dis_lcmenezes.pdf: 1129994 bytes, checksum: 2434958a8cb1fb1ced02f6dd19a0bee1 (MD5) / Approved for entry into archive by Márcia Araújo(marcia_m_bezerra@yahoo.com.br) on 2014-08-19T16:53:58Z (GMT) No. of bitstreams: 1 2006_dis_lcmenezes.pdf: 1129994 bytes, checksum: 2434958a8cb1fb1ced02f6dd19a0bee1 (MD5) / Made available in DSpace on 2014-08-19T16:53:58Z (GMT). No. of bitstreams: 1 2006_dis_lcmenezes.pdf: 1129994 bytes, checksum: 2434958a8cb1fb1ced02f6dd19a0bee1 (MD5) Previous issue date: 2006 / The study aimed at investigating in which way linguistic expressions of the deontic modality act in a sense of making the audience’s participation possible in standpoints defended in political speeches and, thus, it was analyzed, under a functionalist theory, forty-four speeches delivered by Representatives at the Lower House of Congress. They discussed the reformation proposal on the welfare state along the first semester of the year 2003. Being understood as the modality related to the axis of the obligation, the deontic modality is, in the present research, as a whole, analyzed under the manifestation of syntactic, semantic and pragmatic-discourse aspects. The research revealed the existence of a relation between the reformation process’ stage, what is directly related to the social pressure over the politicians, and the usage frequency of deontic modalizator expressions. Concerning the linguistc means of the deontic modality expression, one could perceive a high production of the modal verb, standing out the verb “must” in the consolidation of obligations. One could also observe a high frequency of the lack of a target’s explicitation in which the deontic value was established as well as an exclusion strategy in relation to the target, when the latter was specified. The politicians’ preference for presenting themselves to the public as the ones who took the responsibilities in a task execution, or for making the audience believe that this responsiblity belongs to somebody else, weakens the audience’s pression over the politician’s figure, then transferring this responsibility to other individuals or to institutions. For these reasons, in general terms, one can observe the politicians’ preference for keeping some distance from the established deontic value’s incidence target. / Objetivando analisar de que modo expressões lingüísticas da modalidade deôntica atuam no sentido de viabilizar a adesão do auditório a pontos de vista defendidos em discursos políticos, pesquisamos, sob o prisma da orientação funcionalista, quarenta e quatro discursos proferidos por Deputados Federais no plenário da Câmara por ocasião das discussões envolvendo a proposta de reforma no regime previdenciário dos servidores públicos, ao longo do primeiro semestre de 2003. Entendida como a modalidade relacionada à possibilidade ou necessidade de atos executados por agentes moralmente responsáveis, a modalidade deôntica foi analisada do ponto de vista sintático, semântico e pragmático. A pesquisa revelou a existência de uma relação entre pressão social sob os oradores e freqüência de uso de expressões deonticamente modalizadas, a saber, quanto maior a pressão em torno da aprovação/rejeição do projeto em tramitação, mais freqüentemente se valeram os parlamentares de expressões capazes de, entre outras funções, apresentá-los à opinião pública como autoridades dispostas a lutar pelos interesses da comunidade. Quanto aos meios lingüísticos de expressão da modalidade deôntica, constatamos a alta produtividade do verbo auxiliar modal, destacando-se o verbo dever na instauração de obrigações. Observamos também a elevada produtividade da exclusão do orador do alvo sobre o qual recai o valor deôntico instaurado. A predileção dos parlamentares por apresentarem-se à opinião pública como indivíduos que já arcaram com o ônus que lhes competia na execução de uma tarefa, ou por levar a audiência a crer que a competência para a realização de algo é de outrem, cabendo-lhes denunciar e cobrar, é justificada na medida em que essa estratégia revelou-se mecanismo de atenuação da pressão por parte do auditório sobre a figura do orador, transferindo expectativas e cobranças a outros indivíduos ou a instituições.

LOPES, Maria de Fátima de Sousa. Análise funcionalista da modalidade deôntica na coluna Confronto das Ideias do jornal "O Povo". 2015. 147f. – Dissertação (Mestrado) – Universidade Federal do Ceará, Departamento de Letras Vernáculas, Programa de Pós-graduação em Linguística, Fortaleza (CE), 2015. / Submitted by Márcia Araújo (marcia_m_bezerra@yahoo.com.br) on 2016-03-28T13:27:46Z No. of bitstreams: 1 2015_dis_mfslopes.pdf: 1689561 bytes, checksum: 12fad8f2dd6feebd802907a133aa8270 (MD5) / Approved for entry into archive by Márcia Araújo(marcia_m_bezerra@yahoo.com.br) on 2016-03-28T14:26:32Z (GMT) No. of bitstreams: 1 2015_dis_mfslopes.pdf: 1689561 bytes, checksum: 12fad8f2dd6feebd802907a133aa8270 (MD5) / Made available in DSpace on 2016-03-28T14:26:32Z (GMT). No. of bitstreams: 1 2015_dis_mfslopes.pdf: 1689561 bytes, checksum: 12fad8f2dd6feebd802907a133aa8270 (MD5) Previous issue date: 2015 / This study analyzes how linguistic expressions of deontic modality act in defense of points of view on texts from “Confronto das Ideias” column of a Brazilian newspaper called “O Povo”. We analyzed based on a functionalist view of language the manifestation of deontic modality in sixty texts produced over thirty topics each one with two contrary points of view. The topics covered in the column are about social issues of community interests. These texts were published in 2013 and 2014. Seen as the type of modality that is related to the possibility or need of acts performed by morally responsible agents, the deontic modality was analyzed in its syntactic, semantic and pragmatic aspects. With regard to the linguistic expressions of deontic modality, we verified that the modal auxiliaries were the most frequent of them with 62.7% of frequency. Among them, the auxiliary verb must was recurrent in establishing obligation, followed by the modal auxiliary can, that had an occasional frequency in establishing prohibition by negative polarity cannot. The obligation value was the most frequent with 65.9% of recurrence followed by permission value, often manifesting suggestions. With regard to semantic aspects, the deontic source that most introduced the modality was enunciator with 63.2% of frequency, since the authors, in most cases, speak on behalf of them and of a supposed common sense. The most common deontic target on which fall the deontic values was the common-area with 49.2% of presence in the texts. This type of deontic target relates to the whole community including the enunciator. When the target is defined by a third person, it was most frequent references to institutions. The tense in which the modal auxiliary verbs most appear was the Present, with 68.6% of frequency, and the Indicative, with 75.7% of recurrence. We conclude that the authors use these resources to present their ideas about obligations, permissions, suggestions and prohibitions related to topics of social interests. Some linguistic expressions were used to assert or attenuate the illocutionary force with which the authors defend their points of view, aiming to persuade the readers to practices presented by them as ideals. The deontic modality is therefore set as a category that introduces notions about conduct and citizenship in defense of points of view about social issues pointed in the column. / O presente estudo analisa de que maneira as expressões linguísticas da modalidade deôntica atuam na defesa de pontos de vista dos autores da coluna Confronto das Ideias do jornal O Povo. Pesquisamos, a partir de uma visão funcionalista da linguagem, a manifestação da modalidade deôntica em sessenta textos produzidos sobre trinta temas, cada tema com dois textos de posicionamentos contrários. Os temas tratados na coluna fazem referência a questões sociais, de interesse da comunidade. Os textos coletados foram publicados nos anos de 2013 e 2014. Vista como a modalidade relacionada à possibilidade ou necessidade de atos executados por agentes moralmente responsáveis, a modalidade deôntica foi aqui analisada quanto aos aspectos sintáticos, semânticos e pragmáticos. No que se refere aos meios linguísticos de expressão da modalidade deôntica, verificamos que os auxiliares modais foram os mais recorrentes, com 62,7% de frequência. Dentre eles, o verbo auxiliar dever foi constante frente aos demais, instaurando obrigação, seguido pelo auxiliar modal poder, que teve uma considerável frequência, instaurando proibição através da polaridade negativa não+poder. O valor de obrigação nos textos do corpus foi o mais frequente, com 65,9% de recorrência, seguido do valor de permissão, manifestado, muitas vezes, como uma sugestão. Com relação aos aspectos semânticos, a fonte deôntica que mais instaurou a modalidade foi a do tipo enunciador, com 63,2% de frequência, uma vez que os autores, na maioria dos casos, falam em nome deles e de um suposto senso comum. O alvo deôntico mais frequente, sobre o qual recaem os valores deônticos instaurados nesses textos, foi o domínio-comum, com 49,2% de presença nos textos. Esse tipo de alvo deôntico diz respeito a toda a comunidade, inclusive o enunciador. Quando o alvo é uma terceira pessoa definida, é mais frequente a referência a uma instituição. O tempo verbal em que os verbos auxiliares modais mais se manifestaram foi o Presente, com 68,6% de frequência, e o modo, o Indicativo, com 75,7% de recorrência. Concluímos que os autores se utilizam desses recursos para apresentar suas ideias com relação a obrigações, permissões, sugestões e proibições acerca de assuntos de interesse social. Algumas expressões linguísticas são usadas para asseverar ou atenuar a força ilocucionária com que os autores defendem seus pontos de vista, objetivando conquistar a adesão dos leitores às práticas apresentadas por eles como desejáveis. A modalidade deôntica é configurada, assim, como uma categoria que instaura noções relacionadas à conduta e à cidadania na defesa de opiniões sobre as questões de interesse social abordadas na coluna Confronto das Ideias do jornal O Povo.

O presente estudo analisa de que maneira as expressÃes linguÃsticas da modalidade deÃntica atuam na defesa de pontos de vista dos autores da coluna Confronto das Ideias do jornal O Povo. Pesquisamos, a partir de uma visÃo funcionalista da linguagem, a manifestaÃÃo da modalidade deÃntica em sessenta textos produzidos sobre trinta temas, cada tema com dois textos de posicionamentos contrÃrios. Os temas tratados na coluna fazem referÃncia a questÃes sociais, de interesse da comunidade. Os textos coletados foram publicados nos anos de 2013 e 2014. Vista como a modalidade relacionada à possibilidade ou necessidade de atos executados por agentes moralmente responsÃveis, a modalidade deÃntica foi aqui analisada quanto aos aspectos sintÃticos, semÃnticos e pragmÃticos. No que se refere aos meios linguÃsticos de expressÃo da modalidade deÃntica, verificamos que os auxiliares modais foram os mais recorrentes, com 62,7% de frequÃncia. Dentre eles, o verbo auxiliar dever foi constante frente aos demais, instaurando obrigaÃÃo, seguido pelo auxiliar modal poder, que teve uma considerÃvel frequÃncia, instaurando proibiÃÃo atravÃs da polaridade negativa nÃo+poder. O valor de obrigaÃÃo nos textos do corpus foi o mais frequente, com 65,9% de recorrÃncia, seguido do valor de permissÃo, manifestado, muitas vezes, como uma sugestÃo. Com relaÃÃo aos aspectos semÃnticos, a fonte deÃntica que mais instaurou a modalidade foi a do tipo enunciador, com 63,2% de frequÃncia, uma vez que os autores, na maioria dos casos, falam em nome deles e de um suposto senso comum. O alvo deÃntico mais frequente, sobre o qual recaem os valores deÃnticos instaurados nesses textos, foi o domÃnio-comum, com 49,2% de presenÃa nos textos. Esse tipo de alvo deÃntico diz respeito a toda a comunidade, inclusive o enunciador. Quando o alvo à uma terceira pessoa definida, à mais frequente a referÃncia a uma instituiÃÃo. O tempo verbal em que os verbos auxiliares modais mais se manifestaram foi o Presente, com 68,6% de frequÃncia, e o modo, o Indicativo, com 75,7% de recorrÃncia. ConcluÃmos que os autores se utilizam desses recursos para apresentar suas ideias com relaÃÃo a obrigaÃÃes, permissÃes, sugestÃes e proibiÃÃes acerca de assuntos de interesse social. Algumas expressÃes linguÃsticas sÃo usadas para asseverar ou atenuar a forÃa ilocucionÃria com que os autores defendem seus pontos de vista, objetivando conquistar a adesÃo dos leitores Ãs prÃticas apresentadas por eles como desejÃveis. A modalidade deÃntica à configurada, assim, como uma categoria que instaura noÃÃes relacionadas à conduta e à cidadania na defesa de opiniÃes sobre as questÃes de interesse social abordadas na coluna Confronto das Ideias do jornal O Povo. / This study analyzes how linguistic expressions of deontic modality act in defense of points of view on texts from âConfronto das Ideiasâ column of a Brazilian newspaper called âO Povoâ. We analyzed based on a functionalist view of language the manifestation of deontic modality in sixty texts produced over thirty topics each one with two contrary points of view. The topics covered in the column are about social issues of community interests. These texts were published in 2013 and 2014. Seen as the type of modality that is related to the possibility or need of acts performed by morally responsible agents, the deontic modality was analyzed in its syntactic, semantic and pragmatic aspects. With regard to the linguistic expressions of deontic modality, we verified that the modal auxiliaries were the most frequent of them with 62.7% of frequency. Among them, the auxiliary verb must was recurrent in establishing obligation, followed by the modal auxiliary can, that had an occasional frequency in establishing prohibition by negative polarity cannot. The obligation value was the most frequent with 65.9% of recurrence followed by permission value, often manifesting suggestions. With regard to semantic aspects, the deontic source that most introduced the modality was enunciator with 63.2% of frequency, since the authors, in most cases, speak on behalf of them and of a supposed common sense. The most common deontic target on which fall the deontic values was the common-area with 49.2% of presence in the texts. This type of deontic target relates to the whole community including the enunciator. When the target is defined by a third person, it was most frequent references to institutions. The tense in which the modal auxiliary verbs most appear was the Present, with 68.6% of frequency, and the Indicative, with 75.7% of recurrence. We conclude that the authors use these resources to present their ideas about obligations, permissions, suggestions and prohibitions related to topics of social interests. Some linguistic expressions were used to assert or attenuate the illocutionary force with which the authors defend their points of view, aiming to persuade the readers to practices presented by them as ideals. The deontic modality is therefore set as a category that introduces notions about conduct and citizenship in defense of points of view about social issues pointed in the column.

Orientador: Marcelo Esteban Coniglio / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-13T04:53:14Z (GMT). No. of bitstreams: 1 Peron_NewtonMarques_M.pdf: 601027 bytes, checksum: 5828adda31c6102b730941a14056d7d9 (MD5) Previous issue date: 2009 / Resumo: Esse trabalho expõe brevemente o que são as Lógicas da Inconsistência Formal ¿Observação: O resumo, na íntegra poderá ser visualizado no texto completo da tese digital. / Abstract: This work expose briefly what are the Logics of Formal Inconsistency ...Note: The complete abstract is available with the full electronic digital thesis or dissertations. / Mestrado / Filosofia / Mestre em Filosofia

FundaÃÃo de Amparo à Pesquisa do Estado do Cearà / O objetivo desta pesquisa à compreender a atuaÃÃo das expressÃes linguÃsticas modalizadoras deÃnticas na construÃÃo do modo de discurso argumentativo, o qual à entendido como um movimento cujo ponto de partida à o acordo do auditÃrio sobre premissas nas quais aquele que argumenta alicerÃa as teses que defende e conduz a conclusÃes autorizadas por tÃcnicas argumentativas. Partindo do pressuposto de que os usos linguÃsticos sÃo ajustados aos intentos comunicativos dos falantes, as expressÃes linguÃsticas modalizadoras deÃnticas variam em conformidade com distintos propÃsitos no transcurso do movimento argumentativo. Visando à compreensÃo dos efeitos persuasivos dessas variaÃÃes, duas perspectivas teÃrico-metodolÃgicas foram postas em diÃlogo na pesquisa: a Nova RetÃrica e a LinguÃstica de base funcional. Enquanto o arcabouÃo da LinguÃstica funcionalista, como teoria gramatical, dÃ-nos suporte para a descriÃÃo e anÃlise linguÃstica da categoria modalidade em uso, o arcabouÃo da Nova RetÃrica dÃ-nos suporte para a compreensÃo das expressÃes linguÃsticas da modalidade em funÃÃo da construÃÃo do discurso argumentativo. O corpus constituÃdo para esse trabalho à formado de vinte e nove registros taquigrÃficos de proferimentos de Deputados Federais em sessÃes plenÃrias na CÃmara dos Deputados ao longo do ano de 2007 e inÃcio de 2008. Todos os proferimentos versam sobre a necessidade de uma polÃtica de seguranÃa nacional capaz de frear a escalada da violÃncia no Brasil. A pesquisa revelou a predileÃÃo por usos subjetivos das expressÃes modalizadoras deÃnticas, nos quais se observa a diluiÃÃo do comprometimento do orador com a desejabilidade das aÃÃes que recomenda. Ao instaurar valor deÃntico cuja fonte se apresenta como ele, orador, em consonÃncia a todos os demais homens e mulheres adultos tidos como normais que compÃem a opiniÃo pÃblica do PaÃs, aquele que profere o discurso alicerÃa suas recomendaÃÃes naquilo que à tido por normal. Subjaz a estratÃgia argumentativa da autoridade do âgrande nÃmeroâ. A pesquisa tambÃm revelou a predileÃÃo pela nÃo-indicaÃÃo direta de alvos deÃnticos, como meio de evitar confrontos com conotaÃÃo pessoal. A predileÃÃo pela indicaÃÃo indireta de alvos fez-se notar em 319 ocorrÃncias das 464 expressÃes modalizadoras constantes no corpus. Quanto ao comportamento do orador em relaÃÃo a alvos deÃnticos, a pesquisa constatou a opÃÃo pela inclusÃo. Ao se colocar entre aqueles sobre os quais recai a necessidade de realizar algo ou de evitar que algo se produza, o orador aumenta a adesÃo dos ouvintes Ãs recomendaÃÃes que apresenta por mostrar-se alguÃm disposto a agir. Ao invÃs de instaurador de obrigaÃÃes e proibiÃÃes, ele apresenta-se como aquele que convoca parceiros à aÃÃo. / The goal of this research is to comprehend the actuation of the deontic linguistic expression in the construction of the argumentative speech, which is understood as a movement which the starting point is the audience agreement concerning the premises which the one who argues bases the theses he defends and draws conclusions authorized by argumentative techniques. Assuming that the linguistic uses are adjusted to the speakers communicative intention ,the deontics modal linguistic expressions vary according to the different goals along the argumentative movement. Aiming the understanding of the persuasive effects of these variation, two theoretic-methodological perspectives were discussed in the research: the New Rhetoric and the Linguistics of functional base. While the understructure of the functional Linguistics, as a grammar theory, gives us support to the description and linguistic analysis of the category of the modality in use, the New Rhetoric understructure gives us support to the understanding of the linguistic expressions of the modality concerning the construction of the argumentative speech. The corpus for this work is made of twenty nine typed registers of talks given by Federal Representatives during sessions at CÃmara dos Deputados (House of Representatives) throughout 2007 and early 2008. All talks were about the need of national security policies able to stop the increase of violence in Brazil. The research reveals the preference for the subjective use of deontic modal expressions ,in which it is observed the dilution of the speakerÂs commitment with his desire for the actions recommended by him. By restoring deontic logic which source presents itself like him, the speaker, in accord with all men and women taken as normal who compose the country public opinion, the one who gives the talk bases his recommendation on what is taken as normal. There underlies the authority of the argumentative strategy of the âmassive numberâ. The research also unveiled the preference for direct non-indication of the deontic targets, as a way to avoid confrontation with personal meaning. The predilection for the indirect indication of targets was observed in 319 occurrences out of 464 modal expressions contained in this corpus. When considered the speakerÂs behavior in relation to deontic targets, the research confirmed the option for the inclusion. When the speaker put himself among those who bear the need to do something or to prevent something negative to happen, he increases the listeners adhesion to his recommendations by showing himself willing to act. Instead of restoring obligations and prohibitions, he presents himself as the one convoking partners to action.

CoordenaÃÃo de AperfeiÃoamento de Pessoal de NÃvel Superior / Este trabalho tem por objetivo analisar a expressÃo de obrigaÃÃo na fala de Fortaleza/CE por meio dos verbos auxiliares modais ter; dever e precisar; considerando-se fatores linguÃsticos e extralinguÃsticos Adotamos; para a anÃlise dos dados; a Teoria da VariaÃÃo e; na tentativa de integrar os princÃpios de marcaÃÃo e iconicidade aos resultados obtidos; consideramos; tambÃm; o Funcionalismo Para investigar esse fenÃmeno de variaÃÃo; utilizamos 24 inquÃritos de um corpus de fala; intitulado PortuguÃs Oral Culto de Fortaleza (PORCUFORT); coletado nos anos de 1993 e 1994 O estudo revelou que; durante a instauraÃÃo de uma obrigaÃÃo; o ter à a forma preferida entre os falantes; pois representa 77% das ocorrÃncias; de um total de 322 dados; seguido da variante dever; que corresponde a 15% dos dados; e da variante precisar; que corresponde a 08% dos dados A pesquisa revelou; ainda; que os fatores faixa etÃria; tipo de obrigaÃÃo; tempo e forÃa ilocucionÃria sÃo significativos para o uso das variantes ter e dever; sendo esta Ãltima forma tambÃm condicionada pelo grupo de fatores tipo de alvo deÃntico Por sua vez; a variante precisar mostrou-se condicionada apenas pelo tipo de fonte deÃntica / This research at an analysis of the expression of obligation by means of auxiliary modal verbs ter; dever and precisar; considering both linguistic and extralinguistic elements; in the speech of the city of Fortaleza; located in the Brazilian state of Cearà For the analysis of the linguistic facts; Labovâs Variation Theory was adopted Moreover; as an attempt to integrate the principles of markedness and iconicity to the results; functionalism was also considered In order to investigate this variation phenomenon; 24 instances were adopted from the speech corpus PortuguÃs Oral Culto de Fortaleza (PORCUFORT) collected between the years of 1993 and 1994 The study revealed that; during the instauration of an obligation; ter is the preferred form among speakers; since it represents 77% of occurrences out of a total of 322 data It is followed by the variant dever; which corresponds to 15% of the data The variant precisar corresponds to 08% of the data This piece of research also revealed that elements such as age group; type of obligation; time; and illocutionary force appear to be significant for the use of the variants ter and dever; the latter form also being conditioned by the element group entitled type of deontic target On the other hand; the variant precisar seemed to be conditioned only by type of deontic source

The purpose of this thesis is to investigate simple Spanish clauses expressing implied will. They represent the way of how we can express our wish or desire without referring us to any addressee. This work consists of two parts, theoretical and modal. The first part is dedicated to the enlightenment of the term of verbal mode. This is considered to be important because these types of clauses are associated with a specific verbal mode, known as subjunctive. We will describe the use of subjunctive in simple clauses in more detail, but without neglecting its alternation with the indicative mode and the issue of an imperative mode, which consists in different approach to the meaning of the verbal mode in Spanish linguistic tradition. The second section of the chapter will then be dedicated to the modality, where we clarify the term and apply it on Spanish language. We will define specific expressions and paradigms that will be dealt with in the practical section. It will consist of a few corpuses analyzes in four different linguistic corpuses, namely InterCorp, Araneum Hispanicum Maius, CORPES XXI and CREA. KEY WORDS subjunctive, modality, wish clauses, Spanish, hable, hablara, deontic modality

Title: Hare's thesis as a logical and philosophical problem Author: Martin Luhan Department: Department of Logic Supervisor: PhDr. Vladimír Svoboda, CSc. Abstract: The present work is aiming to analyse the problem of inferring from impe- rative premisses to an indicative conclusion which goes by the name Hare's Thesis. The logical analysis of the language of morals was the basis of Richard M. Hare's ethical studies. Therefore a brief presentation of his philosophy is given followed by a detailed walkthrough of his way of dealing with impera- tives. Hare states that logic should be interested in dealing with prescriptive sentences. The paper also presents a selection of some of the semantics of logic of imperatives and some of their fundamental problems. Based on this we finally analyse whether the Hare's Thesis which forbids inferring from im- perative premisses to indicative conclusions is acceptable. And we conclude that in most cases it is reasonable to reject it. Keywords: Logic of imperatives, Hare's Thesis, deontic logic, metaethics

Contracts are legally enforceable agreements between two or more parties. The agreements can contain temporally based conditions, such as actions taken by the contract parties or events that happen, that trigger changes to the state of the contract when the conditions become true. Since the structure of these conditions can be very complex, it can be difficult to write contracts in a natural language in a clear and unambiguous way. A better approach is to have a formal language with a precise semantics to represent contracts. Contracts expressed in such a language have a mathematically precise meaning and can be written, analyzed, and manipulated by software. This thesis presents FCL, a formal language with a precise semantics for writing general contracts that may depend on temporally based conditions. Motivated by carefully selected examples of contracts, we derive a set of desirable requirements that a formal language of contracts should support. Based on the requirements, we clearly de ne the notion of contract and address what it means to fulfill or breach a contract. We present the formal syntax and semantics of FCL. We also successfully formalize different kinds of contracts in FCL and develop a reasoning system for FCL. / Thesis / Doctor of Philosophy (PhD)

The MA thesis focuses upon the meaning of weak obligation expressed by the modal verbs should, shall and be supposed to and their translation counterparts. The aim of the thesis is to describe the range of translation counterparts of the verbs should, shall and be supposed to and to specify the differences between these verbs in this particular use of weak obligation. The present thesis applies the method of bidirectional corpus-supported approach (Malá, 2013) which helps to determine the differences in meaning between the respective verbs. The most typical Czech counterpart, the verb mít, is further analysed according to its English correspondences. With the help of both directions, the differences in meaning of should, shall and be supposed to are defined. The empirical part of the MA thesis is based on the sample of 250 examples, comprising 50 examples of each modal verb as well as 100 examples of their typical Czech counterpart, the verb mít. The examples are drawn from the Parallel corpora InterCorp. Keywords: modality, weak obligation, should, shall, be supposed to