Semantics of logic programs with explicit negation

After a historical introduction, the bulk of the thesis concerns the study of a declarative semantics for logic programs. The main original contributions are: ² WFSX (Well–Founded Semantics with eXplicit negation), a new semantics for logic programs with explicit negation (i.e. extended logic programs), which compares favourably in its properties with other extant semantics. ² A generic characterization schema that facilitates comparisons among a diversity of semantics of extended logic programs, including WFSX. ² An autoepistemic and a default logic corresponding to WFSX, which solve existing problems of the classical approaches to autoepistemic and default logics, and clarify the meaning of explicit negation in logic programs. ² A framework for defining a spectrum of semantics of extended logic programs based on the abduction of negative hypotheses. This framework allows for the characterization of different levels of scepticism/credulity, consensuality, and argumentation. One of the semantics of abduction coincides with WFSX. ² O–semantics, a semantics that uniquely adds more CWA hypotheses to WFSX. The techniques used for doing so are applicable as well to the well–founded semantics of normal logic programs. ² By introducing explicit negation into logic programs contradiction may appear. I present two approaches for dealing with contradiction, and show their equivalence. One of the approaches consists in avoiding contradiction, and is based on restrictions in the adoption of abductive hypotheses. The other approach consists in removing contradiction, and is based in a transformation of contradictory programs into noncontradictory ones, guided by the reasons for contradiction.

Traduzir Teatro no Estado Novo: Gata em Telhado de Zinco Quente (1959), tradução de Sérgio Guimarães, do original Cat on a Hot Tin Roof (1955), de Tennessee Williams

À luz da viragem cultural dos Estudos de Tradução ocorrida nos anos 80 e tendo em conta a interdisciplinaridade abordada nos campos literário, cultural e histórico pela Manipulation School (Lefevere, Bassnett, Lambert, Hermans e Toury), na esteira de Itamar Even-Zohar com a Teoria dos Polissistemas (1979), a presente dissertação pretende analisar a tradução portuguesa da peça Cat on a Hot Tin Roof (1955), da autoria de Tennessee Williams, intitulada Gata em Telhado de Zinco Quente (1959), de Sérgio Guimarães. Este pode ser um caso representativo de como a tradução para teatro actua na cultura receptora numa perspectiva diatópica, antevendo a dimensão intercultural da tradução para o palco. É ao tradutor que cabe a tarefa de transferir a peça de um sistema linguístico e cultural para outro, conhecendo, se possível, o grau de representabilidade da mesma e o contexto cultural de chegada. Deste modo, é evidenciada a competência artístico-criativa do tradutor teatral que trabalha com o intuito de manter, fidus interpres, as intenções do autor da obra original. No período em que Cat on a Hot Tin Roof foi escrita, ensombrado pelo controlo sociopolítico do Macartismo nos E.U.A. e o contexto em que a tradução foi concretizada, sob a vigência da Ditadura de Salazar, a (auto)censura desempenha um papel fundamental ao moldar a produção literária nos dois sistemas culturais. Numa época em que, mais do que nos dias de hoje, traduzir consistia numa actividade subserviente e secundária, Vasco Morgado, detentor do monopólio de teatros em Lisboa encomendou a Sérgio Guimarães a tradução de uma peça de Tennessee Williams. Com base na teoria desenvolvida por Lawrence Venuti em The Translator’s Invisibility (1995), não é despiciente problematizar, neste estudo de caso, a invisibilidade do tradutor/mediador entre o texto e a representação, abordando simultaneamente as estratégias então necessárias para a peça ser aprovada e posta em cena.