Caderno de Resumos - Celsul.org.br

O tratamento formal das inferências dedutivas na Lógica Proposicionaldepende , como se sabe, dos conetivos veritativo-funcionais, como“se...então...”, “e”, “ou”, etc. A validade ou invalidade de um argumentodepende da forma lógica que o sustenta. “se P então Q e P, permite inferirvalidamente Q”. Já a forma lógica “se P então Q e Q não conduzvalidamente a P, ou seja é uma falácia. Ocorre que propriedades do léxico,da sintaxe, da semântica e, especialmente, da pragmática das línguas naturaisinterferem sobre a forma lógica, gerando aceitabilidade de falácias einaceitabilidade de tautologias. Isso dificulta uma abordagem formal deargumentos da linguagem natural e, conseqüentemente, traz problemas parao tratamento computacional de inferências desse tipo.HANDLING UNLIKE COORDINATED PHRASES IN TAG BYMIXING SYNTACTIC CATEGORY AND GRAMMATICALFUNCTIONCarlos A. Prolo (PUCRS)Coordination of phrases of different syntactic categories has posed aproblem for generative systems based only on syntactic categories. Althoughsome prefer to treat them as exceptional cases that should require some extramechanism (as for elliptical constructions), or to allow for unrestrictedcross-category coordination, they can be naturally derived in a grammaticalfunctional generative approach. In this paper we explore the idea on howmixing syntactic categories and grammatical functions in the label set of aTree Adjoining Grammar allows us to develop grammars that elegantlyhandle both the cases of same- and cross-category coordination in anuniform way.CONDICIONAIS INDICATIVOS, SUBJUNTIVOS ECONTRAFACTUAIS NUMA PERSPECTIVA INTERDISCIPLINARKarina Veronica Molsing (PUCRS)O objetivo dessa apresentação é levantar questões e problemas com respeitoao estado da arte de certos fenômenos envolvendo condicionais. Muitasvezes, ao embarcar num projeto de pesquisa particular sobre condicionais,deve-se delimitar o escopo a poucos aspectos empíricos específicos daconstrução geral, o que invariavelmente remete a uma literatura grandefilosófica que está por trás. Há muitos estudos que fizeram isso com respeitoa elementos sintático-semântico-pragmático dos condicionais, fazendodiferentes tipos de interfaces e tratando de alguns assuntos empíricos, aomesmo tempo em que reconhece os desafios filosóficos. Por outro lado,alguns podem se concentrar em questões ou empíricas ou filosóficas,deixando outras de lado. Os estudos influentes mais recentes têmreconhecido o que foi e não foi analisado nos seus trabalhos respectivos, eao mesmo tempo esperam que uma fusão seja possível entre todas asanálises. Entretanto, parece que esse fenômeno complexo ficou mais161