Made available in DSpace on 2014-06-11T19:30:28Z (GMT). No. of bitstreams: 0 Previous issue date: 2010-01-18Bitstream added on 2014-06-13T19:19:19Z : No. of bitstreams: 1 santana_l_dr_sjrp.pdf: 1536697 bytes, checksum: 74eccec20298ad2fbce9e2f4cfd327a3 (MD5) / Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) / O principal objetivo desta tese é o estudo da variação escalar entre construções verbais e nominais que figuram como complemento de orações hierarquicamente superiores, isto é, orações completivas finitas plenamente desenvolvidas e orações completivas não-finitas com um verbo infinitivo ou com uma nominalização como núcleo. Essas possibilidades de variação fornecem um conjunto de construções alternativas, cuja seleção pode depender de fatores funcionais, embora não exclusivamente. A variação entre construções mais nominais e construções mais verbais e as consequências dela decorrentes são razões que justificam plenamente uma investigação criteriosa das motivações semânticas que regem o funcionamento das construções encaixadas completivas, mediante a atuação dos princípios funcionais de iconicidade e economia (HAIMAN, 1983; CRISTOFARO, 2003) na relação entre a semântica do predicado encaixador de complemento e a codificação morfossintática do predicado encaixado. A principal proposição que conduz a investigação é a de que, para a seleção dos diferentes tipos de complemento, existe uma relação de integração semântica (GIVÓN, 1980, 1990) entre construções completivas e a categoria semântica do predicado encaixador, de modo que a semântica do predicado encaixador é altamente relevante para determinar a categoria morfossintática das predicações dependentes. A relação de gradação entre maior ou menor grau de sentencialidade (LEHMANN, 1988), que se correlaciona ao grau de nominalidade da construção dependente, está vinculada ao nível e à camada de organização estrutural definidos pela Gramática Discursivo-Funcional (HENGEVELD; MACKENZIE, 2008) nos seguintes termos: quanto mais baixa a camada de representação do complemento tanto maior o grau de integração semântica entre o predicado da oração encaixadora... / The aim of this thesis is to investigate the scalar variation between verbal and nominal constructions which function as complements of hierarchically higher clauses, i.e., finite complement clauses which are fully developed, and non-finite complement clauses which are headed by an infinitive verb or a nominalization. This range of variation provides a set of alternative constructions whose selection may, though not exclusively, depend on functional factors. The variation between more nominal and more verbal constructions and its consequences fully justifies a rigorous investigation of the semantic motivations which govern how embedded complement clauses actually function, by means of the functional principles of iconicity and economy (HAIMAN, 1983; CRISTOFARO, 2003) on the relationship between the semantics of the complement taking predicate and the morphosyntactic encoding of the embedded predicate. The main tenet underlying this investigation is that (i) sorting out different types of complement predicates requires a relation of semantic integration (GIVÓN, 1980, 1990) between complement clause and the semantic category of the complement taking predicate and (ii) such relation is, therefore, highly relevant to determine the morphosyntactic encoding of the dependent predications. The gradient relationship between balancing and deranking sentences, which is correlated to the degree of nominality or sentenciality of the dependent construction (LEHMANN, 1988), is associated with the structural organization of levels and layers defined by Functional Discourse Grammar (HENGEVELD; MACKENZIE, 2008) as follows: the lower the representation level of the complement the higher the degree of semantic integration between the complement taking predicate and the predicate of the embedded clause. Keywords: complement taking predicate; complement clause; semantic integration.

Orientador: Roberto Gomes Camacho / Banca: Sebastião Carlos Leite Gonçalves / Banca: Cláudia Nívea Roncarati de Souza / Banca: Flávia Bezerra de Menzes Hirata-Vale / Banca: Vânia Cristina Casseb Galvão / Resumo: O principal objetivo desta tese é o estudo da variação escalar entre construções verbais e nominais que figuram como complemento de orações hierarquicamente superiores, isto é, orações completivas finitas plenamente desenvolvidas e orações completivas não-finitas com um verbo infinitivo ou com uma nominalização como núcleo. Essas possibilidades de variação fornecem um conjunto de construções alternativas, cuja seleção pode depender de fatores funcionais, embora não exclusivamente. A variação entre construções mais nominais e construções mais verbais e as consequências dela decorrentes são razões que justificam plenamente uma investigação criteriosa das motivações semânticas que regem o funcionamento das construções encaixadas completivas, mediante a atuação dos princípios funcionais de iconicidade e economia (HAIMAN, 1983; CRISTOFARO, 2003) na relação entre a semântica do predicado encaixador de complemento e a codificação morfossintática do predicado encaixado. A principal proposição que conduz a investigação é a de que, para a seleção dos diferentes tipos de complemento, existe uma relação de integração semântica (GIVÓN, 1980, 1990) entre construções completivas e a categoria semântica do predicado encaixador, de modo que a semântica do predicado encaixador é altamente relevante para determinar a categoria morfossintática das predicações dependentes. A relação de gradação entre maior ou menor grau de sentencialidade (LEHMANN, 1988), que se correlaciona ao grau de nominalidade da construção dependente, está vinculada ao nível e à camada de organização estrutural definidos pela Gramática Discursivo-Funcional (HENGEVELD; MACKENZIE, 2008) nos seguintes termos: quanto mais baixa a camada de representação do complemento tanto maior o grau de integração semântica entre o predicado da oração encaixadora... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: The aim of this thesis is to investigate the scalar variation between verbal and nominal constructions which function as complements of hierarchically higher clauses, i.e., finite complement clauses which are fully developed, and non-finite complement clauses which are headed by an infinitive verb or a nominalization. This range of variation provides a set of alternative constructions whose selection may, though not exclusively, depend on functional factors. The variation between more nominal and more verbal constructions and its consequences fully justifies a rigorous investigation of the semantic motivations which govern how embedded complement clauses actually function, by means of the functional principles of iconicity and economy (HAIMAN, 1983; CRISTOFARO, 2003) on the relationship between the semantics of the complement taking predicate and the morphosyntactic encoding of the embedded predicate. The main tenet underlying this investigation is that (i) sorting out different types of complement predicates requires a relation of semantic integration (GIVÓN, 1980, 1990) between complement clause and the semantic category of the complement taking predicate and (ii) such relation is, therefore, highly relevant to determine the morphosyntactic encoding of the dependent predications. The gradient relationship between balancing and deranking sentences, which is correlated to the degree of nominality or sentenciality of the dependent construction (LEHMANN, 1988), is associated with the structural organization of levels and layers defined by Functional Discourse Grammar (HENGEVELD; MACKENZIE, 2008) as follows: the lower the representation level of the complement the higher the degree of semantic integration between the complement taking predicate and the predicate of the embedded clause. Keywords: complement taking predicate; complement clause; semantic integration. / Doutor

The main topic of this thesis is the analytic predicate with event nouns with the suffix -ement in French. It is divided into two parts, the theoretical and the practical one. In the first theoretical part we concentrate on the description of the analytic predicate and we also introduce some test for its identification. The next parts are dedicated to the particular components of this predicate: to the light verb and the predicative noun with a particular emphasis on event nouns, for which we examine their possible typologies. After this we focus on the suffix ement itself, its characteristics as well as the characteristics of nouns, which are created by this suffix. The last topic which we cover is the concurrence between suffixes -ement and age. In the practical part, we begin by describing used methods thanks to which we received needed data as well as our instruments. Then we divided the extracted nouns with the suffix ement according to their meaning into a few groups and we continued by verifying their eventive meaning. Subsequently we concentrated on the collocability of chosen nouns with verbs and we finished by comparing the suffix ement with suffix -age.

The first aim of this work is to describe the way in which the term apposition is defined in French and Czech linguistics. The second aim is to examine the use of one type of French apposition in journalistic and legal texts and to find out which equivalents are used in the Czech language for these expressions. The work is divided into theoretical and practical part. The theoretical part includes a description of different approaches of apposition in the French and Czech language. The practical part begins with a choice of one definition of apposition which will be further used in the corpus analysis. The corpus analysis is conducted by using the corpus InterCorp and its subject is to examine the function and frequency of French apposition in journalistic and legal texts and furthermore to analyse its Czech equivalents.

Made available in DSpace on 2017-07-10T18:55:48Z (GMT). No. of bitstreams: 1 Vicente.pdf: 540780 bytes, checksum: 804984f295882304087aae116e2676f5 (MD5) Previous issue date: 2007-03-20 / The aim of this research is to investigate the modalization role of the nominal predicate in thematic position from the analysis of textual portions at phrasal level, taken from texts produced by candidates to Unioeste entrance examination, in 2004. The interest in promoting an analysis in this context reflects an attempt to contribute, yet minimally, with the teaching of Portuguese, considering that the writing activities at high school aim to prepare the students linguistic-discursive abilities for the text production at the entrance examination. During the route traced for the development of this work, we tried to demonstrate that the unity nominal predicate + subject represents a structure of asseverative content from which the text producer exposes value judgments. The thematic position is used as a parameter for the recognition, in the syntactic plan, of a specific type of semantic organization. The delimitation of a syntactic-semantic description conducted an evaluation that joins the thematic position and the modalization content activated by the nominal predicate. For this reason, Halliday´s (1985) theory, based on the thematic structure of the clause, and the studies on modalization made by authors like Parret (1988), Castilho and Castilho (1992), Neves (1996), among others, support the hypothesis that the nominal predicate, when placed before the subject, plays a modalization role. The analysis carried out resulted in the recognition of a relationship between the nominal predicate and the propositional content exposed inside the subject. In this sense, the classification proposed in this work, although limited, summarizes the interpretation derived from comparisons and contrasts of the relationship PN + subject . / O objetivo desta pesquisa consiste em investigar o papel modalizador do predicado nominal em posição temática a partir da análise de recortes de nível frasal retirados de redações produzidas por candidatos ao vestibular da Unioeste em 2004. O interesse em promover uma análise neste contexto reflete uma tentativa de contribuir, mesmo que minimamente, com o ensino de língua portuguesa, considerando-se que atividades de escrita no ensino médio visam ao preparo de habilidades lingüístico-discursivas dos alunos para a produção da redação de vestibular. Durante o percurso traçado para o desenvolvimento deste trabalho, buscou-se demonstrar que a unidade predicado nominal + sujeito representa uma estrutura de teor asseverativo a partir da qual o produtor do texto expõe juízos de valor. A posição temática do predicado nominal serve de parâmetro para o reconhecimento, no plano sintático, de um tipo específico de organização semântica. O enfoque na descrição sintático-semântica acenou para uma avaliação que concilia a posição temática e o teor de modalização acionado pelo predicado nominal. Para tanto, a proposta de Halliday (1985), pautada na estrutura temática da oração, e os estudos sobre modalização realizados por autores como Parret (1988), Castilho e Castilho (1992), Neves (1996), entre outros, subsidiam a hipótese de que o predicado nominal, quando anteposto ao sujeito, possui caráter modalizador. A análise empreendida resultou no reconhecimento de que há uma relação entre o predicado nominal e o teor proposicional exposto no interior do sujeito. Nesse sentido, a proposta de classificação em foco, embora limitada, resume a interpretação obtida por meio de cotejos e contrastes da relação PN + sujeito .

Orientador: Lucas Angioni / Tese (doutorado) ¿ Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-24T03:09:27Z (GMT). No. of bitstreams: 1 Oliveira_ThiagoSilvaFreitas_D.pdf: 1336929 bytes, checksum: 9e6a0d7a9fe1c8d20225c8f994f6de9e (MD5) Previous issue date: 2013 / Resumo: Esta tese pretende demonstrar como Aristóteles lança mão de um projeto ontológico, no livro das Categorias, a partir de uma distinção básica entre quatro tipos de entes e das relações possíveis entre estes de acordo com dois critérios fundamentais, tanto lógicos quanto ontológicos, a saber, predicação e inerência. Nossa proposta é mostrar como esses critérios operam dentro da ontologia exposta nos primeiros capítulos da obra em questão e como eles podem ser entendidos dentro de uma ontologia que, nesta obra, assume a ousía primeira como condição fundamental para todos os outros entes e, respectivamente, para as relações estabelecidas entre estes / Abstract: This thesis aims to demonstrate how Aristotle makes use of an ontological project, in the book of Categories, starting from a basic distinction between four types of entities and the possible relations between them, according to two fundamental criteria, both logical and ontological, namely predication and inherence. Our purpose is to show how these criteria operate within the ontology exposed in the Categories' first chapters and how they can be understood within an ontology that, in this work, assumes the próte ousía as a precondition for all other entities and, respectively, to the relations between these / Doutorado / Filosofia / Doutor em Filosofia

Debugging is an important and critical phase during the software development process. Software debugging is serious and tough practice involved in functional base test driven development. Software vendors encourages their programmers to practice test driven development during the initial development phases to capture the bug traces and the associated code coverage infected from diagnosed bugs. Application’s source code with fewer threats of bug existence or faulty executions is assumed as highly efficient and stable especially when real time software products are in consideration. Due to the fact that process of development of software projects relies on great number of users and testers which required having an effective fault localization technique. This specific fault localization technique can highlight the most critical areas of software system at code as well as modular level so that debugging algorithm can be used to debug the application source code. Nowadays many complex or simple software systems are in corporation with open bug repositories to localize the bugs. Any inconsistency or imperfection in early development phase of software product results in low efficient system and less reliability. Statistical debugging of program source code for visualization of fault is an important and efficient way to select and rank the suspicious lines of code. This research provides guidelines for practicing statistical debugging technique for programs coded in Ruby programming language. This thesis presents statistical debugging techniques available for dynamic programming languages. Firstly, the statistical debugging techniques were thoroughly observed with different predicate base approaches followed in previous work done in the subject area. Secondly, the new process of statistical debugging for programs coded in Ruby programming language is introduced by generating dynamic predicates. Results were analyzed by implementing multiple programs written in Ruby programming language with different complexity level. The analysis of experimentation performed on candidate programs depict that SOBER is more efficient and accurate in bug identification than Cause Isolation Scheme. It is concluded that despite of extensive research in the field of statistical debugging and fault localization it is not possible to identify majority of the bugs. Moreover SOBER and Cause Isolation Scheme algorithms are found to be two most mature and effective statistical debugging algorithms for bug identification with in software source code. / Address: School of Computing Blekinge Institute of Technology SE-371 79 Karlskrona, Sweden Phone: +46-(0)455-385804 Fax: +46-(0)455-385057

In this dissertation we prove the Completeness, Soundness and Compactness of the Monadic Hybrid Calculus MHC and we prove its expressive equivalence to the Monadic Predicate Calculus MPC. The Monadic Hybrid Calculus MHC is a new system that is based on the (propositional) modal logic S5. It is “Hybrid” in the sense that it includes quantifier free MPC and therefore, unlike S5, allows free individual constants. The main innovation in this system is the elimination of bound variables. In MHC, upper case letters denote properties and lower case letters denote individuals. Universal quantification is represented by square brackets, [], and existential quantification is represented by angled brackets, 〈〉. Thus, All Athenians are Greek and mortal is formalized as [A](G∧M), Some mortal Greeks are Athenians as 〈M∧G〉A, and Socrates is mortal and Athenian as s(M∧A). We give the formal syntax and the formal semantics of [MHC] and give Beth-style Tableau Rules (Inference Rules). In these rules, if [P]Q is on the right then we select a new constant [v] and we add [vP] on left, vQ on the right, and we cancel the formula. If [P]Q is on the left then we select a pre-used constant p and split the tree. We add pP on the right of one branch and pQ on the left of the other branch. We treat 〈P〉Q similarly. Our Completeness proof uses induction on formulas down a path in the proof tree. Our Soundness proof uses induction up a path. To prove that MPC is logically equivalent to the Monadic Predicate Calculus, we present algorithms that transform formulas back and forth between these two systems. Compactness follows immediately. Finally, we examine the pragmatic usage of the Monadic Hybrid Calculus and we compare it with the Monadic Predicate Calculus using natural language examples. We also examine the novel notions of the Hybrid Predicate Calculus along with their pragmatic implications. / Graduate / 0800 / 0984

The thesis describes a rational reconstruction of Sowa's theory of Conceptual Graphs. The reconstruction produces a theory with a firmer logical foundation than was previously the case and which is suitable for computation whilst retaining the expressiveness of the original theory. Also, several areas of incompleteness are addressed. These mainly concern the scope of operations on conceptual graphs of different types but include extensions for logics of higher orders than first order. An important innovation is the placing of negation onto a sound representational basis. A comparison of theorem proving techniques is made from which the principles of theorem proving in Peirce logic are identified. As a result, a set of derived inference rules, suitable for a goal driven approach to theorem proving, is developed from Peirce's beta rules. These derived rules, the first of their kind for Peirce logic and conceptual graphs, allow the development of a novel theorem proving approach which has some similarities to a combined semantic tableau and resolution methodology. With this methodology it is shown that a logically complete yet tractable system is possible. An important result is the identification of domain independent heuristics which follow directly from the methodology. In addition to the theorem prover, an efficient system for the detection of selectional constraint violations is developed. The proof techniques are used to build a working knowledge base system in Prolog which can accept arbitrary statements represented by conceptual graphs and test their semantic and logical consistency against a dynamic knowledge base. The same proof techniques are used to find solutions to arbitrary queries. Since the system is logically complete it can maintain the integrity of its knowledge base and answer queries in a fully automated manner. Thus the system is completely declarative and does not require any programming whatever by a user with the result that all interaction with a user is conversational. Finally, the system is compared with other theorem proving systems which are based upon Conceptual Graphs and conclusions about the effectiveness of the methodology are drawn.

This study analyzes the syntactic structure of motion predicates in Mandarin, with a specific focus on how the language expresses paths of motion and telicity. It adopts a generative-constructionist model called the Exo-Skeletal Model. Data were gathered from three native speakers of Mandarin living in Taiwan, using video prompts depicting various types of motion events. Upon seeing a prompt, the speakers produced a sentence or sentences describing the event in the prompt. Based on the data, this study points out a number of syntactic patterns unique to Mandarin, and it proposes an explanatory account of these patterns.