Semántica Formal

A coerência é comumente abordada no paradigma da linguística textual (Fávero, 1991; Koch; Travaglia, 1997). Propomos uma abordagem alternativa desse fenômeno em sala de aula estabelecendo um diálogo entre semiótica discursiva (Greimas, Courtés, 2012; Greimas, 2014 [1983]) e semântica dinâmica (Stalnaker, 1999; Portner, Partee, 2002). Da primeira disciplina, emprestaremos os conceitos de isotopias e contrato de veridicção; da segunda, contradição e common ground. A aproximação desses dois ferramentais analíticos permitirá distinguir incoerências internas e incoerências externas. As primeiras emergem quando há contradição entre ideias dentro de um mesmo texto, enquanto as segundas decorrem de uma contradição entre uma proposição do texto e o repositório de saberes comuns partilhado pelos sujeitos da enunciação. O rendimento de aplicação desses conceitos será demonstrado primeiramente na análise de textos mais simples extraídos de redes sociais, passando em seguida para textos visuais para, por fim, desembocar em textos verbais mais complexos. As atividades didáticas se pautam pelos princípios da aprendizagem ativa baseada em cooperação (Pilati, 2017; Johnson et al., 1998; Johnson, Johnson, 2008). A abordagem proposta permite reconhecer incoerências propositalmente empregadas com fins retóricos, argumentativos e estéticos.

Se presenta un marco matemático general, basado en particiones numerables de los números naturales [1], que permite brindar una semántica a lenguajes proposicionales. El mismo tiene la particularidad de permitir que tanto las valuaciones como los conjuntos de interpretación para los conectivos discriminen complejidad de las fórmulas. Esto permite que se puedan emplear distintos criterios de adecuación para valuar fórmulas asociadas con un mismo conectivos, pero que difieran en su complejidad. El método presentado
puede adaptarse a un número arbitrario de conectivos y valores de verdad, por lo cual puede ser considerado un marco general para brindar una semántica a varios de los sistemas lógicos conocidos (por ejemplo, LC,
L3 LP, FDE). La semántica presentada permite converger a diferentes semánticas estándar si se anula el procedimiento de separación por complejidad. Por lo tanto, puede ser entendido como un marco que permite mayor precisión (en términos de complejidad) con respecto a la satisfacción de fórmulas. Naturalmente, por cómo es construido, puede ser incorporado en semánticas no deterministas. El procedimiento efectivo presentado permite también generar valuaciones que otorgan un valor de verdad diferente a cada fórmula del lenguaje proposicional. Como efecto colateral positivo, nuestro método permite una prueba constructiva de la equipotencia entre N y N^n para todo n natural.

Neste artigo analisamos o item ‘capaz’ sob um viés semântico-pragmático, sugerindo que ele pode desempenhar três funções diferentes na gramática do Português Brasileiro (PB), tais como: marcador conversacional, negação e modal. Especificamente, aqui, focamos no comportamento modal de ‘capaz’, utilizando como bases teóricas a Semântica de Mundos Possíveis (KRATZER, 1981, 1991, 2012) e as abordagens para os modais do PB de Pires de Oliveira; Scarduelli (2008) e Pessotto (2011a, 2011b, 2015). Verificamos que o item tem força modal de possibilidade e veicula leituras: epistêmica, doxástica, epistêmico-tácita e físico-intelectual. Desse modo, ‘capaz’ é um legítimo modal do PB e merece figurar no rol dos modais das línguas naturais.