Curry-Howard for sequent calculus at last!

This paper tries to remove what seems to be the remaining stumbling blocks in the way to a full understanding of the Curry-Howard isomorphism for sequent calculus, namely the questions: What do variables in proof terms stand for? What is co-control and a co-continuation? How to define the dual of Parigot's mu-operator so that it is a co-control operator? Answering these questions leads to the interpretation that sequent calculus is a formal vector notation with first-class co-control. But this is just the "internal" interpretation, which has to be developed simultaneously with, and is justified by, an "external" one, offered by natural deduction: the sequent calculus corresponds to a bi-directional, agnostic (w.r.t. the call strategy), computational lambda-calculus. Next, the duality between control and co-control is studied and proved in the context of classical logic, where one discovers that the classical sequent calculus has a distortion towards control, and that sequent calculus is the de Morgan dual of natural deduction.

Como nunca ninguém viu: o olhar na publicidade

[Excerto] Há quem advogue que a publicidade pode ser encarada como um sismógrafo (Sodré, 2006) ou um espelho da sociedade (Foz, 1984). Ambas as metáforas pecam por mecanicismo e univocidade. A publicidade abala tanto quanto é abalada e servir de espelho não é a sua vocação actual. Ela declina retratar tanto o produto como o público, público que, por sua vez, dispensa rever-se na publicidade. Procura, antes pelo contrário, a sensação de espanto e o sentimento de estranheza. Muita da publicidade actual, quiçá a melhor, não imita, mas alucina, não argumenta, mas seduz, nem sequer insinua, insinua-se, através da pele e dos sentidos (Kherckove, 1997). Esta dinâmica não se reduz a dois lados com o seu pêndulo de ecos e reflexos. A actividade publicitária não decorre de uma agência isolada que produz efeitos externos. Parte específica de um todo, integra uma configuração que convoca a sociedade, a cultura e a vida quotidiana (Lears, 1994).A actividade publicitária constitui um“mundo”, no sentido de Howard S. Becker (1988), ou um“campo”, no sentido de Pierre Bourdieu (1976; 1984; 1992). À semelhança da ciência e da arte, a actividade publicitária logrou alguma autonomia, que, por ser mais recente, não é menos complexa. Alberga sistemas de posições e disposições, recursos e percursos, regras e enredos, cooperação e conflito, legitimidades e instâncias de reconhecimento.

Corpo e pós-corpo: Identidades digitais

Identidades digitais: Howard Reingold; Comunidades virtuais; Desencarnação (desimbodiment); Sherry Turkle; Papéis sociais virtuais. O second self e o efeito Pessoa. Identidade no ciberespaço: Projeto 1: Identidade social virtual; Projeto 2: Digitalização da existência / experiência social; Projeto 3: Fetichização do consumo digital; Projeto 4: O cidadão enredado. Katherine Hayles: pós-humano. Subjetividade e identidade. Tecnologias da transcendência corporal. Projeto 5: Perfis de utilizadores e tipos de redes sociais. Projeto 6: Nuvens Semânticas na Blogosfera. Projeto 7: Dados pessoais e diferença social. Projeto 8: Identidade e privacidade. Projeto 9: Bancos de dados e bancos da alta finança . Projeto 10: Segurança e identidade democrática.

O livro na revista: como revistas semanais brasileiras e portuguesas abordam livros e literatura

Dissertação de mestrado em Comunicação, Arte e Cultura