Orientador : Edson Françozo / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Estudos da Linguagem / Made available in DSpace on 2018-07-31T14:50:20Z (GMT). No. of bitstreams: 1 Pagani_LuizArthur_D.pdf: 5226511 bytes, checksum: 343b678114d53cbfe98c6df5acd7943f (MD5) Previous issue date: 2001 / Resumo: Nesta tese foram desenvolvidos analisadores gramaticais para as seguintes línguas apresentadas no livro Introduction to Montague Semantics (Dowty, Wall & Peters 1981): Lo,LoE,LI e LType. Nesse manual, a apresentação da semântica de Montague é feita primeiro através da apresentação de uma parte do cálculo de predicados, seguida de sua correspondente adaptação para um fragmento do inglês; e aos poucos vão sendo introduzidas complexidades que resultam nas novas línguas. A língua Lo corresponde à parte do cálculo de predicados apenas com constantes (nomes de indivíduos e predicados); a língua LI corresponde à parte que contém as variáveis para indivíduos (chamada de primeira ordem); e em Ltype a língua é acrescida de variáveis para qualquer categoria sintática (o que é conhecido como ordem superior). Estamos empregando o termo "analisador gramatical" como tradução do termo em inglês "parser"; mas, ao contrário do que muitas vezes acontece, o analisador gramatical aqui, além de incluir um analisador sintático, inclui também um interpretador semântico. A única língua que não teve implementação completa foi LType, para a qual não foi feito o seu interpretador semântico. No entanto, essa falta fica justificada porque durante a tentativa de implementação de seu interpretador, constatou-se um defeito na especificação formal de suas regras semânticas. Assim, ao invés dessa implementação, optou-se por descrever e propor uma solução para esse problema / Abstract: A few parsers for some languages, presented in Introduction to Montague Semantics (Dowty, Wall & Peters 1981), were developed in the present dissertation. The parsers were developed for languages Lo,LOE,LI and Ltype. In their book the authors introduce Montague semantics by first presenting a version of parts of predicate calculus followed by its adaptation to the corresponding fragment of English. Additional features are introduced when moving from one language to another. Lo corresponds to the part of predicate calculus with constants only (names and predicates). LI corresponds to the part with individual variables (called first order calculus). Ltype contains variables for every type (known as high order calculus). Contrary to what is common to almost alI parsers, the ones developed here perform not only syntactic analyses but also semantic interpretations. Ltype is the only language that has no semantic interpretation associated with it. This is, however, justifiable because during the implementation of Ltype parser, an error was found on the formal especification of its semantic ruIes. So instead of simply implementing the parser, it was necessary to describe and solve that problem / Doutorado / Doutor em Linguística

Orientador: Carlos Vogt / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Estudos da Linguagem / Made available in DSpace on 2018-07-14T02:07:52Z (GMT). No. of bitstreams: 1 Veras_Viviane_M.pdf: 4124694 bytes, checksum: 970dc8487d04686074070ae02beeef30 (MD5) Previous issue date: 1989 / Resumo não impresso na obra / Abstract: Not informed. / Mestrado / Mestre em Linguística

Orientador: Balthazar Barbosa Filho / Dissertação (mestrado)-Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-13T21:19:23Z (GMT). No. of bitstreams: 1 Guerzoni_JoseAlexandreDurry_M.pdf: 20001334 bytes, checksum: c5d46f863f98986f46c459b3c33344e0 (MD5) Previous issue date: 1986 / Resumo: Não informado / Abstract: Not informed. / Mestrado / Mestre em Filosofia

Made available in DSpace on 2013-08-07T19:03:00Z (GMT). No. of bitstreams: 1 000422739-Texto+Completo-0.pdf: 1435459 bytes, checksum: f6319ddd22b6cda20d948b2f14cd31d3 (MD5) Previous issue date: 2010 / The objective of this dissertation is two-fold. The general objective is to contribute to the understanding of a method of investigation that emphasizes interdisciplinary and intradisciplinary relations in guiding foundational, theoretical and empirical analyses. The specific objective is to apply this method to the topic of temporal-aspectual phenomena in natural languages. To achieve a better understanding of the meaning associated to the present perfect structure in Brazilian Portuguese, known as the “pretérito perfeito composto” (PPC), this dissertation takes an approach that involves constructing interfaces at every level of analysis. The unique problem the PPC presents is its often obligatory meaning of repetition, even in the absence of adverbial modification and despite its morphological structure, ter+past participle, mirroring those of other Romance and Germanic languages. The approach taken in this study involves four stages: i) an investigation of the philosophical foundations of plurals and events; ii) an investigation of the linguistic foundations of plurals and events; iii) an examination of how the first two stages influence the conception of theories of lexical aspect and grammatical aspect; iv) a compositional analysis of the PPC, taking into consideration the previous three stages. / A presente tese visa um duplo objetivo. O objetivo geral é contribuir para o entendimento de um método de investigação que enfatiza as relações interdisciplinares e intradisciplinares nas análises de fundamentos, teóricas e empíricas. O objetivo específico é aplicar este método ao tópico de fenômenos tempo-aspectuais nas línguas naturais. Para obter um entendimento melhor do significado associado à estrutura do pretérito perfeito composto (PPC) no português brasileiro, esta tese assume uma abordagem que envolve a construção de interfaces em todos os níveis de análise. O problema excepcional que o PPC apresenta é o seu significado muitas vezes obrigatório de repetição, mesmo que sem modificação adverbial, e apesar da sua estrutura morfológica, ter+particípio passado, que se espelha nas de outras línguas românicas e germânicas. A abordagem assumida neste estudo envolve quatro etapas: i) uma investigação de fundamentos filosóficos de plurais e eventos; ii) uma investigação dos fundamentos lingüísticos de plurais e eventos; iii) uma análise de como as primeiras duas etapas modelam a concepção de teorias de aspecto lexical e aspecto gramatical; iv) uma análise composicional do PPC, levando em consideração as primeiras três etapas.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Comunicação e Expressão. Programa de Pós-Graduação em Linguística. / Made available in DSpace on 2012-10-16T20:31:42Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-08T13:49:54Z : No. of bitstreams: 1 238399.pdf: 11016295 bytes, checksum: 22ebea9dc0586f5d538e6e511233c2f7 (MD5)

Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Estudos da Linguagem / Made available in DSpace on 2012-10-16T23:31:08Z (GMT). No. of bitstreams: 0Bitstream added on 2013-07-16T17:30:08Z : No. of bitstreams: 1 102621.pdf: 6667863 bytes, checksum: 91ee513a0f734c43d0520e511f243e75 (MD5)

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Comunicação e Expressão. Programa de Pós-Graduação em Linguística. / Made available in DSpace on 2012-10-22T08:53:33Z (GMT). No. of bitstreams: 1 231717.pdf: 836995 bytes, checksum: ed2eeb968ed00be9ae51f99caa2d05f4 (MD5) / Este trabalho se desenvolve ao redor de dois eixos: o teórico, no qual se discutem alguns temas de ontologia filosófica e semântica lexical, como a individuação e a polissemia, o nominalismo e o realismo; e o técnico-prático, no qual se estabelece um conjunto de regras de inferência para ontologias computacionais, que chamaremos de QualiaNet, cujo objetivo é a integração das relações da estrutura qualia do léxico gerativo às árvores de inferência ou hierárquicas. São propostas regras como a seguinte: o constitutivo do formal de X é formal do contitutivo de X. Por fim, aplicamos esta mesma regra a uma parte das relações da Wordnet 2.0, por meio das fontes em PROLOG, e demonstramos que a QualiaNet não apenas incrementa coerência entre as relações semânticas como, também, pode ser utilizada para gerar novos arcos hiperonímicos, os quais são, como se sabe, a espinha dorsal de qualquer rede semântica.

Tese (doutorado) - Pontificia Universidade Catolica do Rio de Janeiro, Centro de Teologia e Ciências Humanas. Programa de Pós-Graduação em Filosofia / Made available in DSpace on 2015-02-04T20:43:51Z (GMT). No. of bitstreams: 0 Previous issue date: 2001

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Comunicação e Expressão, Programa de Pós-Graduação em Linguística, Florianópolis, 2013. / Made available in DSpace on 2013-12-05T22:22:59Z (GMT). No. of bitstreams: 1 321530.pdf: 1158665 bytes, checksum: 2d1f539738f7b6a9eeb2ee0b3319492f (MD5) Previous issue date: 2013 / O objetivo desta dissertação é apresentar e discutir as principais análises encontradas na literatura em semântica formal a respeito da semântica das descrições demonstrativas, dividindo essas análises em dois grupos, o das teorias referenciais e o das teorias descritivistas, defendendo, ao final, a prevalência das teorias descritivistas para a descrição dos dados das línguas naturais, em especial o PB. Parte-se do princípio de que descrições demonstrativas são termos definidos e que se aproximam sintática e semanticamente das descrições definidas, devendo ambas receberem análises similares. Entre teorias referenciais e descritivistas, conclui-se que as teorias descritivistas contemplam melhor essa aproximação entre descrições demonstrativas e descrições definidas, o que acaba lhes conferindo uma aceitação melhor enquanto descrição linguística dessas expressões. No Capítulo I, são apresentados os definidos do PB e suas principais características, mostrando como as descrições demonstrativas se enquadram tipologicamente dentro dessa classe. No Capítulo II, num primeiro momento, é apresentado o trabalho de Kaplan (1989[1977]) como a análise que inaugura questões a respeito da semântica das descrições demonstrativas que devem ser respondidas por qualquer teoria subsequente que pretenda descrever esses termos; num segundo momento, é apresentado um paralelo sintático e semântico entre descrições demonstrativas e descrições definidas, mostrando, nessa comparação, aspectos linguísticos das descrições demonstrativas que extrapolam o alcance empírico da teoria de Kaplan (1989[1977]) e que também devem ser contemplados por qualquer teoria que se objetive a propor um tratamento semântico para essas expressões. No Capítulo III, são detalhadas e analisadas as teorias de alguns dos principais autores que tratam da semântica das descrições demonstrativas na literatura recente, sendo eles Dever (2001), como representante do segmento de teorias referenciais, e Roberts (2002), Elbourne (2008) e Wolter (2006), como representantes do segmento de teorias descritivistas. Por fim, no Capítulo IV, as teorias apresentadas no Capítulo III são avaliadas e têm discutidas suas aceitações enquanto descrição linguística dos dados do PB para a semântica das descrições demonstrativas, encerrando-se o trabalho com uma seção de problemas em aberto que não têm, aparentemente, uma explicação encontrada nas teorias discutidas. <br> / Abstract : The aim of this master thesis is to show and discuss some of the main analyzes found in the literature on formal semantics about the semantics of demonstrative descriptions. These analyzes can be divided into two groups: the referential theories and the descriptive theories, arguing. We will argue that descriptive theories are the best ones to explain the data, in particular the examples in Brazilian Portuguese (BrP). We begin arguing that demonstrative descriptions are defined terms, akin syntactically and semantically to definite descriptions. Between referential and descriptivist theories, we conclude that approaches based on descriptive theories result in better descriptions of the interpretation and distribution of demonstrative and definite descriptions. In Chapter I, we present the descriptions (definite and demonstrative) of the BrP and their main features, showing how demonstrative descriptions fit typologically within the class of descriptions. In Chapter II, firstly, we introduce the theory proposed by Kaplan (1989 [1977]) as an important analysis which poses essential questions about the semantics of demonstrative descriptions that must be answered by any theory which aims at describing these terms; secondly, we present syntactic and semantic parallels between demonstrative and definite descriptions, aiming to show through this comparison linguistic aspects of demonstrative descriptions that go beyond the scope of Kaplan?s (1989 [1977]) theory that should nevertheless be addressed by any theory about the semantics of demonstrative descriptions. In Chapter III, we show in details some of the main contemporary theories about the semantics of demonstrative descriptions in the recent literature, namely Dever (2001), as a representative of referential theory, and Roberts (2002), Elbourne (2008 ) and Wolter (2006), as representatives of descriptivist theories. Finally, in Chapter IV, the theories presented in Chapter III are evaluated and discussed with regards to their success as a linguistic description of the BrP data. We conclude with a section about open problems that apparently are not yet explained by the theories discussed.

Tese (doutorado) - Pontificia Universidade Catolica do Rio de Janeiro, Centro de Teologia e Ciências Humanas. Programa de Pós-Graduação em Filosofia / Made available in DSpace on 2012-10-19T09:42:13Z (GMT). No. of bitstreams: 0