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

Cette thèse présente une modélisation des principaux aspects syntaxiques de la coordination dans les grammaires d'interaction de Guy Perrier. Les grammaires d'interaction permettent d'expliciter la valence des groupes conjoints. C'est précisément sur cette notion qu'est fondée notre modélisation. Nous présentons également tous les travaux autour de cette modélisation qui nous ont permis d'aboutir à une implantation réaliste: le développement du logiciel XMG et son utilisation pour l'écriture de grammaires lexicalisées, le filtrage lexical par intersection d'automates et l'analyse syntaxique. / This thesis presents a modelisation of the main syntactical aspects of coordination using Guy Perrier's Interaction Grammars as the target formalism. Interaction Grammars make it possible to explicitly define conjuncts' valencies. This is precisely what our modelisation is based upon. We also present work around this modelisation that enabled us to provide a realistic implementation: lexicalized grammar development (using our tool XMG), lexical disambiguation based on automata intersection and parsing.

Nesta tese, analiso, a partir do arcabouço teórico da gramática gerativa (Chomsky 1957 e outros), uma série de fenômenos relacionados à expressão da negação no português brasileiro (PB). Trato de quatro temas principais: (i) a distribuição dos marcadores negativos em diferentes contextos sintáticos; (ii) as formas de codificação da negação enfática; (iii) a negação de constituintes; (iv) e a determinação do escopo em sentenças com adjuntos. Os fenômenos examinados possuem duas propriedades em comum: (a) ao contrário do normalmente esperado para o PB, o marcador não se coloca à esquerda, mas à direita do elemento negado, em uma configuração [X(P) Neg]; (b) o marcador apresenta um requerimento anafórico, ocorrendo apenas em contextos em que o constituinte negado tenha sido previamente introduzido no discurso. A tese principal é que a ordem linear e anaforicidade são resultado de uma propriedade sintática básica: esses marcadores são gerados no CP e, portanto, apresentam sensibilidade a propriedades codificadas nesse sistema. Ao longo da tese, demonstro como essa sensibilidade se manifesta em diferentes fenômenos. Quanto à distribuição dos marcadores, mostro que o não pós-VP apresenta um série de restrições com propriedades ilocucionárias e sintáticas das sentenças em que ocorre. Argumento que essas propriedades são derivadas de o não pós-VP não ser um adjunto verbal nem a realização da polaridade sentencial, mas a realização de uma categoria funcional associada à confirmação e rejeição de proposições prévias, o que aproxima o não pós-VP de partículas como o yes e no do inglês ao invés de marcadores internos como not. Quanto à negação enfática, argumento que o não pós-VP do PB não é um recurso de ênfase ou reforço da negação pré-verbal enfraquecida. Proponho que o quantificador nada, aparecendo em posições não-argumentais, é que pode exercer as funções de negação enfática e de negação exclamativa (ou metalinguística). Quanto à negação de constituintes, mostro que, assim como na negação sentencial, o PB também pode exibir a configuração [X Neg] com a negação agindo sobre DPs, APs, PPs e AdvPs. Argumento que essa configuração só está disponível em contextos em que o elemento negado ocorra isoladamente ou em posição periférica da sentença, sendo proibido em contextos mediais. Defendo, então, que a configuração [X Neg] na negação de constituintes não é derivada por adjunção da negação à direita do elemento negado, mas pela ativação da mesma categoria (do CP) em que são gerados o não pós-VP e o marcador nada, com o constituinte não-oracional aparecendo no especificador dessa categoria, com apagamento opcional da estrutura sentencial abaixo da negação. Quanto ao escopo, analiso a interpretação da negação em sentenças com adjuntos verbais e com marcadores pré-verbais (em que há ambiguidade de escopo) e com marcadores pré-verbais e pós-VP (em que a ambiguidade se desfaz). Argumento contra a análise de ambiguidade nas relações de c-comando (cf. Huang 1982; Johnston 1994) e assumo a proposta de Hornstein & Nunes (2008) sobre a opcionalidade de atribuição de rótulo nas operações de adjunção. Proponho que a presença ou ausência de rótulo afeta as relações de escopo negativo ao tornar (ou não) o adjunto visível para o marcador negativo pré-verbal. / In this Dissertation, I analyze a set of phenomena related to the expression of negation in Brazilian Portuguese (BP). I deal with four main themes: (i) distribution of negative markers in different syntactic contexts, (ii) forms of encoding emphatic negation and (iii) constituent negations, (iv) and negative scope ambiguity in sentences with verbal adjuncts. These phenomena have two properties in common: (a) differently from what is normally expected in BP, the negative marker não is not placed at the left, but at the right of the negated constituent, in a configuration like [X(P) Neg]; (b) the marker has an anaphoric requirement and is acceptable only in contexts where the negated constituent has been previously introduced in the discourse or in the communicative context. The main hypothesis is that the linear order and the anaphoric requirement are the result of a syntactic property: these markers are generated in the CP and therefore are insensitive to properties encoded in the CPsystem. Throughout the thesis, I show how this sensitivity appear in different phenomena. As for item (i), I show that post-VP não shows a set of restrictions with discursive, illocutionary and syntactic properties of the sentences it occurs. I argue against proposals that analyze post- VP não as a verbal adjunct or the head of the sentential polarity category (PolP). I defend that post-VP não heads a functional category associated with confirmation and rejection of previous propositions and functions as English particles like yes and no rather than as internal markers as not. As for item (ii), I argue that post-VP não is not a form of emphasis or reinforcement of a weakened preverbal marker (in Jespersens 1917 sense). I propose that the negative quantifier nada, in non-argumental positions, is the marker responsible for emphatic negation and exclamative (or metalinguistic) negation in BP. As for item (iii), BP constituent negation behaves like sentential negation in allowing the configuration [X Neg], with the negative marker at the right of non-clausal phrases like DPs, APs, PPs and AdvPs. I show that [X Neg] is available only in contexts where negated XP occurs isolated or in a peripheral position of the sentence and is banned in medial positions. I argue then that [X Neg] in constituents negation also involves the category where post-VP não and non-argumental nada are generated, with the non-clausal constituent appearing in its specifier. As for item (iv), I examine the interpretation of negation over with verbal adjuncts in sentences with pre-verbal markers (which show scope ambiguity) and in sentences with both preverbal and post-VP markers (which show no scope ambiguity). I argue against Huang 1982 and Johnstons 1994 analyses, based on differences in c-command relations, and assume Hornstein & Nunes (2008) proposal on adjunction and labeling. I propose that the presence or absence of label in adjunctions affects scope relations in making verbal adjunct visible or invisible to negative marker.

Um dos fenômenos mais investigados na literatura sintática recente sobre o português brasileiro (PB), dentro do quadro teórico gerativista e também de outras teorias linguísticas, é aquele que se refere ao que viria a ficar conhecido como tópico-sujeito. Este trabalho se debruçou sobre este fenômeno sintático, mais especificamente, o tópico-sujeito locativo, um tipo de tópico-sujeito em que um constituinte com interpretação locativa figura em posição pré-verbal. Os aspectos investigados mais de perto referem-se à grade argumental e à estrutura eventiva dos verbos envolvidos, bem como ao modo de licenciamento dos dois DPs participantes da estrutura eventiva que expressa a relação locativa. Depois de uma revisão da literatura relevante sobre o tópico-sujeito e as bases do gerativismo, a hipótese derivacional que assumimos neste trabalho considerou uma estrutura semelhante à das sentenças transitivas sem, no entanto, a projeção de Voice agentivo. Postulamos, em seu lugar, um núcleo aplicativo alto, com traços de pessoa, que identifica um evento apto a receber uma locação e introduz um novo participante afetado, com uma relação temática locativa entre ele e o VP. Do ponto de vista diacrônico, supomos que o parâmetro envolvido no aparecimento do tópico locativo na gramática do PB estaria na mesma rede paramétrica relacionada à mudança no parâmetro do sujeito nulo. Foi feita também uma pesquisa com corpora históricos abrangendo o período dos séculos XIX ao XXI, com o objetivo de rastrear um possível desenvolvimento das construções com sintagmas locativos em posição pré-verbal, em variação com os locativos em posição pós-verbal, na expectativa de poder encontrar ocorrências de construções que apresentem as propriedades que identifiquem o tópico-sujeito locativo. Foram utilizados anúncios, cartas pessoais e entrevistas, todos circunscritos ao estado de São Paulo. A metodologia utilizada foi quantitativa e buscou contabilizar variáveis presentes em todas as sentenças com sintagmas de interpretação locativa. / syntactic literature, inside the theoretical frame of the Generative Syntax program and also another linguistic theories, is the one that has come to be known as topic-subject. This work focused on this syntactic phenomenon, more specifically the locative topic, a subtype of topic-subject in which a constituent with locative interpretation appears in a pre-verbal position. The more closely investigated aspects refer to the argument structure and event structure of the verbs involved, as well as to the licensing mode of the two DPs participating in the event structure that expresses the locative relation. After a literature revision about the topic-subject and the foundations of the generative enterprise, the derivational hypothesis that we assume in this work considers a structure similar to that of the transitive sentences without, however, the agentive Voice projection. We consider instead a high applicative head, with person features, whose function is to identify an event capable of receiving a location and to introduce a new affected participant, with a locative thematic relation between it and the VP. From the diachronic point of view, we assume that the parameter involved in the implementation of the locative topic in the BP grammar would be in the same parametric network related to the change in the null subject parameter. Besides, a research was made with historical corpora spanning the period from the nineteenth century to the twenty-first century, aiming to track a probable development of the constructions with locative phrases in pre-verbal position, in variation with locatives in post-verbal position, waiting to find occurrences of constructions showing the topic-subject properties. We used ads, personal letters and interviews, all of which were limited to the state of São Paulo. The methodology used was quantitative and sought to account for variables present in all sentences with phrases associated to locative interpretation.

Nesta tese, analiso, a partir do arcabouço teórico da gramática gerativa (Chomsky 1957 e outros), uma série de fenômenos relacionados à expressão da negação no português brasileiro (PB). Trato de quatro temas principais: (i) a distribuição dos marcadores negativos em diferentes contextos sintáticos; (ii) as formas de codificação da negação enfática; (iii) a negação de constituintes; (iv) e a determinação do escopo em sentenças com adjuntos. Os fenômenos examinados possuem duas propriedades em comum: (a) ao contrário do normalmente esperado para o PB, o marcador não se coloca à esquerda, mas à direita do elemento negado, em uma configuração [X(P) Neg]; (b) o marcador apresenta um requerimento anafórico, ocorrendo apenas em contextos em que o constituinte negado tenha sido previamente introduzido no discurso. A tese principal é que a ordem linear e anaforicidade são resultado de uma propriedade sintática básica: esses marcadores são gerados no CP e, portanto, apresentam sensibilidade a propriedades codificadas nesse sistema. Ao longo da tese, demonstro como essa sensibilidade se manifesta em diferentes fenômenos. Quanto à distribuição dos marcadores, mostro que o não pós-VP apresenta um série de restrições com propriedades ilocucionárias e sintáticas das sentenças em que ocorre. Argumento que essas propriedades são derivadas de o não pós-VP não ser um adjunto verbal nem a realização da polaridade sentencial, mas a realização de uma categoria funcional associada à confirmação e rejeição de proposições prévias, o que aproxima o não pós-VP de partículas como o yes e no do inglês ao invés de marcadores internos como not. Quanto à negação enfática, argumento que o não pós-VP do PB não é um recurso de ênfase ou reforço da negação pré-verbal enfraquecida. Proponho que o quantificador nada, aparecendo em posições não-argumentais, é que pode exercer as funções de negação enfática e de negação exclamativa (ou metalinguística). Quanto à negação de constituintes, mostro que, assim como na negação sentencial, o PB também pode exibir a configuração [X Neg] com a negação agindo sobre DPs, APs, PPs e AdvPs. Argumento que essa configuração só está disponível em contextos em que o elemento negado ocorra isoladamente ou em posição periférica da sentença, sendo proibido em contextos mediais. Defendo, então, que a configuração [X Neg] na negação de constituintes não é derivada por adjunção da negação à direita do elemento negado, mas pela ativação da mesma categoria (do CP) em que são gerados o não pós-VP e o marcador nada, com o constituinte não-oracional aparecendo no especificador dessa categoria, com apagamento opcional da estrutura sentencial abaixo da negação. Quanto ao escopo, analiso a interpretação da negação em sentenças com adjuntos verbais e com marcadores pré-verbais (em que há ambiguidade de escopo) e com marcadores pré-verbais e pós-VP (em que a ambiguidade se desfaz). Argumento contra a análise de ambiguidade nas relações de c-comando (cf. Huang 1982; Johnston 1994) e assumo a proposta de Hornstein & Nunes (2008) sobre a opcionalidade de atribuição de rótulo nas operações de adjunção. Proponho que a presença ou ausência de rótulo afeta as relações de escopo negativo ao tornar (ou não) o adjunto visível para o marcador negativo pré-verbal. / In this Dissertation, I analyze a set of phenomena related to the expression of negation in Brazilian Portuguese (BP). I deal with four main themes: (i) distribution of negative markers in different syntactic contexts, (ii) forms of encoding emphatic negation and (iii) constituent negations, (iv) and negative scope ambiguity in sentences with verbal adjuncts. These phenomena have two properties in common: (a) differently from what is normally expected in BP, the negative marker não is not placed at the left, but at the right of the negated constituent, in a configuration like [X(P) Neg]; (b) the marker has an anaphoric requirement and is acceptable only in contexts where the negated constituent has been previously introduced in the discourse or in the communicative context. The main hypothesis is that the linear order and the anaphoric requirement are the result of a syntactic property: these markers are generated in the CP and therefore are insensitive to properties encoded in the CPsystem. Throughout the thesis, I show how this sensitivity appear in different phenomena. As for item (i), I show that post-VP não shows a set of restrictions with discursive, illocutionary and syntactic properties of the sentences it occurs. I argue against proposals that analyze post- VP não as a verbal adjunct or the head of the sentential polarity category (PolP). I defend that post-VP não heads a functional category associated with confirmation and rejection of previous propositions and functions as English particles like yes and no rather than as internal markers as not. As for item (ii), I argue that post-VP não is not a form of emphasis or reinforcement of a weakened preverbal marker (in Jespersens 1917 sense). I propose that the negative quantifier nada, in non-argumental positions, is the marker responsible for emphatic negation and exclamative (or metalinguistic) negation in BP. As for item (iii), BP constituent negation behaves like sentential negation in allowing the configuration [X Neg], with the negative marker at the right of non-clausal phrases like DPs, APs, PPs and AdvPs. I show that [X Neg] is available only in contexts where negated XP occurs isolated or in a peripheral position of the sentence and is banned in medial positions. I argue then that [X Neg] in constituents negation also involves the category where post-VP não and non-argumental nada are generated, with the non-clausal constituent appearing in its specifier. As for item (iv), I examine the interpretation of negation over with verbal adjuncts in sentences with pre-verbal markers (which show scope ambiguity) and in sentences with both preverbal and post-VP markers (which show no scope ambiguity). I argue against Huang 1982 and Johnstons 1994 analyses, based on differences in c-command relations, and assume Hornstein & Nunes (2008) proposal on adjunction and labeling. I propose that the presence or absence of label in adjunctions affects scope relations in making verbal adjunct visible or invisible to negative marker.

Um dos fenômenos mais investigados na literatura sintática recente sobre o português brasileiro (PB), dentro do quadro teórico gerativista e também de outras teorias linguísticas, é aquele que se refere ao que viria a ficar conhecido como tópico-sujeito. Este trabalho se debruçou sobre este fenômeno sintático, mais especificamente, o tópico-sujeito locativo, um tipo de tópico-sujeito em que um constituinte com interpretação locativa figura em posição pré-verbal. Os aspectos investigados mais de perto referem-se à grade argumental e à estrutura eventiva dos verbos envolvidos, bem como ao modo de licenciamento dos dois DPs participantes da estrutura eventiva que expressa a relação locativa. Depois de uma revisão da literatura relevante sobre o tópico-sujeito e as bases do gerativismo, a hipótese derivacional que assumimos neste trabalho considerou uma estrutura semelhante à das sentenças transitivas sem, no entanto, a projeção de Voice agentivo. Postulamos, em seu lugar, um núcleo aplicativo alto, com traços de pessoa, que identifica um evento apto a receber uma locação e introduz um novo participante afetado, com uma relação temática locativa entre ele e o VP. Do ponto de vista diacrônico, supomos que o parâmetro envolvido no aparecimento do tópico locativo na gramática do PB estaria na mesma rede paramétrica relacionada à mudança no parâmetro do sujeito nulo. Foi feita também uma pesquisa com corpora históricos abrangendo o período dos séculos XIX ao XXI, com o objetivo de rastrear um possível desenvolvimento das construções com sintagmas locativos em posição pré-verbal, em variação com os locativos em posição pós-verbal, na expectativa de poder encontrar ocorrências de construções que apresentem as propriedades que identifiquem o tópico-sujeito locativo. Foram utilizados anúncios, cartas pessoais e entrevistas, todos circunscritos ao estado de São Paulo. A metodologia utilizada foi quantitativa e buscou contabilizar variáveis presentes em todas as sentenças com sintagmas de interpretação locativa. / syntactic literature, inside the theoretical frame of the Generative Syntax program and also another linguistic theories, is the one that has come to be known as topic-subject. This work focused on this syntactic phenomenon, more specifically the locative topic, a subtype of topic-subject in which a constituent with locative interpretation appears in a pre-verbal position. The more closely investigated aspects refer to the argument structure and event structure of the verbs involved, as well as to the licensing mode of the two DPs participating in the event structure that expresses the locative relation. After a literature revision about the topic-subject and the foundations of the generative enterprise, the derivational hypothesis that we assume in this work considers a structure similar to that of the transitive sentences without, however, the agentive Voice projection. We consider instead a high applicative head, with person features, whose function is to identify an event capable of receiving a location and to introduce a new affected participant, with a locative thematic relation between it and the VP. From the diachronic point of view, we assume that the parameter involved in the implementation of the locative topic in the BP grammar would be in the same parametric network related to the change in the null subject parameter. Besides, a research was made with historical corpora spanning the period from the nineteenth century to the twenty-first century, aiming to track a probable development of the constructions with locative phrases in pre-verbal position, in variation with locatives in post-verbal position, waiting to find occurrences of constructions showing the topic-subject properties. We used ads, personal letters and interviews, all of which were limited to the state of São Paulo. The methodology used was quantitative and sought to account for variables present in all sentences with phrases associated to locative interpretation.