Discriminating languages in bilingual contexts: the impact of orthographic markedness

Does language-specific orthography help language detection and lexical access in naturalistic bilingual contexts? This study investigates how L2 orthotactic properties influence bilingual language detection in bilingual societies and the extent to which it modulates lexical access and single word processing. Language specificity of naturalistically learnt L2 words was manipulated by including bigram combinations that could be either L2 language-specific or common in the two languages known by bilinguals. A group of balanced bilinguals and a group of highly proficient but unbalanced bilinguals who grew up in a bilingual society were tested, together with a group of monolinguals (for control purposes). All the participants completed a speeded language detection task and a progressive demasking task. Results showed that the use of the information of orthotactic rules across languages depends on the task demands at hand, and on participants' proficiency in the second language. The influence of language orthotactic rules during language detection, lexical access and word identification are discussed according to the most prominent models of bilingual word recognition.

Processos de indeterminação lexical em conversas telefônicas interceptadas

O objetivo principal deste trabalho é estudar estratégias de indeterminação de sentido em um corpus de conversas telefônicas interceptadas, considerando que a produção de sentido é um processo cognitivo dependente do contexto. Delimitamos a linguística cognitiva como a área na qual essa pesquisa se encontra inserida, para melhor compreender os fundamentos e os pressupostos norteadores da Teoria dos Modelos Cognitivos Idealizados (TMCI) e da Teoria da Mesclagem Conceptual (blending), tendo como base, principalmente, os estudos de Lakoff (1987), Fauconnier (1997) e Fauconnier e Turner (2002). No decorrer do trabalho propomo-nos responder às seguintes questões de pesquisa: a) que estratégias de indeterminação de sentido são mais frequentemente usadas nestas conversas? b) que elementos do contexto e do cotexto permitem a delimitação do sentido do item lexical em determinada conversa? c) como funcionam, no corpus, as estratégias de indeterminação de sentido e de que forma elas contribuem para sustentar determinado tipo de relação interpessoal? Para responder a estas questões de pesquisa, das 22 gravações de conversas telefônicas de atores sociais envolvidos com tráfico de armas e drogas, sequestro e extorsão, fornecidas pela Coordenadoria de Segurança e Inteligência do Ministério Público do Rio de Janeiro, selecionamos 10 conversas, em função da sua qualidade sonora, para serem transcritas e para proceder à análise qualitativa do uso da polissemia e da vagueza lexical. A partir das discussões teóricas e das análises desenvolvidas, concluímos que a polissemia representa a estratégia de indeterminação de sentido mais frequente no corpus desta pesquisa e que a mesma pode ser entendida como um processo de mesclagem conceptual, que sofre influências sociais e culturais: é a dinamicidade do pensamento e da linguagem que geram a polissemia. Concluímos também que a vagueza lexical é utilizada, no corpus, como um recurso linguístico para referência a assuntos ilícitos. Os itens lexicais analisados instanciam esquemas mentais abstratos que têm seus sentidos realizados a partir de pistas linguísticas e extralinguísticas que apontam para um processo interacional que pode ser entendido como um enquadre de transações comerciais (tráfico de drogas)

Análise do gênero portuário NOR sob a ótica da linguística sistêmico-funcional

O ensino de inglês em uma escola técnica é voltado para atender às necessidades dos alunos e do curso. Atuando como professora de inglês para fins específicos no CEFET UnED Itaguaí, deparei-me com um curso novo no estado do Rio de Janeiro, o Curso Pós-Médio Técnico em Portos. Em vista disto, este estudo propõe-se a investigar como o documento portuário, NOR, Notice of Readiness, ou ainda, Aviso de Prontidão, fundamental em uma operação portuária e, consequentemente, material importante para o curso de Portos, se estrutura em estágios para transmitir significados. Objetivamente, este trabalho responde as seguintes questões: em que situação o gênero NOR se constitui? e que linguagem medeia a atividade social nessa situação?. Para tanto, no desenvolvimento da pesquisa, são utilizados os pressupostos da Linguística Sistêmico-funcional (HALLIDAY, 1985; HALLIDAY; HASAN, 1989), que tem a função e a semântica como base da linguagem e da atividade comunicativa, sendo a língua influenciada pelo contexto social. Dessa forma, adota-se uma concepção de gênero a partir de uma perspectiva funcionalista: o gênero é visto como uma atividade direcionada por objetivos e propósitos, realizada em estágios e na qual os falantes são engajados como membros da nossa cultura (MARTIN, 1992). Adota-se, ainda, a noção de configuração contextual (CC) de um gênero, que faz referência às variáveis de registro localizadas no contexto situacional: o campo, a relação e o modo, que possibilitam perceber os elementos obrigatórios e opcionais que compõem a estrutura potencial de um gênero (EPG), assim como verificar seus traços estruturais, lexicais, gramaticais e semânticos (HALLIDAY; HASAN, 1989). O corpus desta pesquisa é constituído de dez exemplares do documento NOR, coletados em duas empresas que possuem terminais portuários na região da Costa Verde, no Rio de Janeiro. A fim de analisar os exemplares do documento, fizemos uma pesquisa de base qualitativa para identificar os seus estágios obrigatórios e opcionais a partir das marcas léxico-gramaticais no texto, mapeando suas funções, conforme a proposta de Hasan (1989). Os resultados da análise dos dez documentos sugere que há quatro estágios obrigatórios nestes textos, ou seja, o documento NOR possui quatro estágios que cumprem certas funções importantes na atividade social em que se insere. Estes estágios ocorreram em todos os exemplares pesquisados e são portanto determinantes para caracterizar o gênero NOR. Nestes estágios, foram identificados padrões da léxico-gramática que sinalizam as respectivas funções dos segmentos textuais que compõem o NOR, mostrando a estreita relação entre texto (representado por suas características lexico-gramaticais) e contexto (representado pela configuração contextual postulada para o NOR). Assim, esta análise aponta vantagens para o contexto portuário uma vez que propõe um modelo para facilitar a leitura e escrita do documento NOR, levando o profissional da área a se tornar um participante mais competente. Além do aporte à área portuária, esta dissertação pode auxiliar na análise de outros gêneros, nos quais seus pesquisadores tenham como premissa um modelo que considera o meio social onde o texto é produzido

Gays contanto suas histórias: uma análise organizacional, lexical e discursiva das narrativas de sair do armário

Este trabalho tem por objetivo investigar as histórias de sair do armário sob seu aspecto organizacional, lexical e discursivo. Busca-se apontar que padrões organizacionais prevalecem nas histórias, que léxicos significativos predominam e como os léxicos predominantes são avaliados em termos de Afeto, Julgamento e Apreciação. Para o exame organizacional, a análise se apropria do quadro analítico de Labov e colaboradores (1967; 1972), por ser pioneiro nos estudos sobre narrativas orais de experiência pessoal; em seguida, lança mão dos elementos do Padrão Problema-Solução (PPS), proposto por Hoey (1983; 2001), por iluminar o aspecto cíclico das referidas histórias. Para a análise lexical, esse estudo se ampara nos preceitos e técnicas da investigação eletrônica de textos da Linguística de Corpus (TOGNINI BONELILI, 2001; SINCLAIR, 2004; BERBER-SARDINHA, 2004; McENERY e HARDIE, 2011), conjugado ao conjunto de programas WordSmith Tool 5.0 (SCOTT, 2010). Já sobre o aspecto discursivo, em especial sobre a linguagem da avaliação, a análise privilegiou a metafunção interpessoal da Linguística Sistêmico Funcional (Halliday, 2004) e lançou mão das categorias do subsistema da ATITUDE da Teoria da Avaliatividade, proposto por Martin (2000) e Martin e White (2005). O Corpus analisado consiste de sete narrativas, coletadas pelo método da Entrevista Narrativa, à qual se voluntariaram homossexuais do sexo masculino, entre (20) vinte a (30) anos de idade, oriundos da zona norte do Rio de Janeiro. Os resultados da análise da organização da narrativa mostraram que as histórias de sair do armário são episódicas, são contadas com muitos recursos avaliativos como descritos por Labov e se organizam por meio do Padrão Problema-Solução. Os resultados da análise lexical revelaram a predominância do item eu e mãe/ela nas sete histórias coletivamente. Por fim a análise discursiva, sob a ótica da linguagem atitudinal, aponta que os itens eu e mãe/ela, que apontam para o narrador e suas mães, são marcados por Afeto (emoções) e Julgamento (comportamento). A dissertação em seu final combina as três linhas de análise para fazer uma reflexão sobre o peso social do que significa sair do armário para o sujeito gay

Type-omega DPLs

Type-omega DPLs (Denotational Proof Languages) are languages for proof presentation and search that offer strong soundness guarantees. LCF-type systems such as HOL offer similar guarantees, but their soundness relies heavily on static type systems. By contrast, DPLs ensure soundness dynamically, through their evaluation semantics; no type system is necessary. This is possible owing to a novel two-tier syntax that separates deductions from computations, and to the abstraction of assumption bases, which is factored into the semantics of the language and allows for sound evaluation. Every type-omega DPL properly contains a type-alpha DPL, which can be used to present proofs in a lucid and detailed form, exclusively in terms of primitive inference rules. Derived inference rules are expressed as user-defined methods, which are "proof recipes" that take arguments and dynamically perform appropriate deductions. Methods arise naturally via parametric abstraction over type-alpha proofs. In that light, the evaluation of a method call can be viewed as a computation that carries out a type-alpha deduction. The type-alpha proof "unwound" by such a method call is called the "certificate" of the call. Certificates can be checked by exceptionally simple type-alpha interpreters, and thus they are useful whenever we wish to minimize our trusted base. Methods are statically closed over lexical environments, but dynamically scoped over assumption bases. They can take other methods as arguments, they can iterate, and they can branch conditionally. These capabilities, in tandem with the bifurcated syntax of type-omega DPLs and their dynamic assumption-base semantics, allow the user to define methods in a style that is disciplined enough to ensure soundness yet fluid enough to permit succinct and perspicuous expression of arbitrarily sophisticated derived inference rules. We demonstrate every major feature of type-omega DPLs by defining and studying NDL-omega, a higher-order, lexically scoped, call-by-value type-omega DPL for classical zero-order natural deduction---a simple choice that allows us to focus on type-omega syntax and semantics rather than on the subtleties of the underlying logic. We start by illustrating how type-alpha DPLs naturally lead to type-omega DPLs by way of abstraction; present the formal syntax and semantics of NDL-omega; prove several results about it, including soundness; give numerous examples of methods; point out connections to the lambda-phi calculus, a very general framework for type-omega DPLs; introduce a notion of computational and deductive cost; define several instrumented interpreters for computing such costs and for generating certificates; explore the use of type-omega DPLs as general programming languages; show that DPLs do not have to be type-less by formulating a static Hindley-Milner polymorphic type system for NDL-omega; discuss some idiosyncrasies of type-omega DPLs such as the potential divergence of proof checking; and compare type-omega DPLs to other approaches to proof presentation and discovery. Finally, a complete implementation of NDL-omega in SML-NJ is given for users who want to run the examples and experiment with the language.

Foundations of Actor Semantics

The actor message-passing model of concurrent computation has inspired new ideas in the areas of knowledge-based systems, programming languages and their semantics, and computer systems architecture. The model itself grew out of computer languages such as Planner, Smalltalk, and Simula, and out of the use of continuations to interpret imperative constructs within A-calculus. The mathematical content of the model has been developed by Carl Hewitt, Irene Greif, Henry Baker, and Giuseppe Attardi. This thesis extends and unifies their work through the following observations. The ordering laws postulated by Hewitt and Baker can be proved using a notion of global time. The most general ordering laws are in fact equivalent to an axiom of realizability in global time. Independence results suggest that some notion of global time is essential to any model of concurrent computation. Since nondeterministic concurrency is more fundamental than deterministic sequential computation, there may be no need to take fixed points in the underlying domain of a power domain. Power domains built from incomplete domains can solve the problem of providing a fixed point semantics for a class of nondeterministic programming languages in which a fair merge can be written. The event diagrams of Greif's behavioral semantics, augmented by Baker's pending events, form an incomplete domain. Its power domain is the semantic domain in which programs written in actor-based languages are assigned meanings. This denotational semantics is compatible with behavioral semantics. The locality laws postulated by Hewitt and Baker may be proved for the semantics of an actor-based language. Altering the semantics slightly can falsify the locality laws. The locality laws thus constrain what counts as an actor semantics.

Semantics-Preserving Dimensionality Reduction: Rough and Fuzzy-Rough-Based Approaches

R. Jensen and Q. Shen. Semantics-Preserving Dimensionality Reduction: Rough and Fuzzy-Rough Based Approaches. IEEE Transactions on Knowledge and Data Engineering, 16(12): 1457-1471. 2004.

Frequency of word-use predicts rates of lexical evolution throughout Indo-European history

Mark Pagel, Quentin D. Atkinson & Andrew Meade (2007). Frequency of word-use predicts rates of lexical evolution throughout Indo-European history. Nature, 449,717-720. RAE2008