Analytic Methods for the Logic of Proofs

The logic of proofs (lp) was proposed as Gdels missed link between Intuitionistic and S4-proofs, but so far the tableau-based methods proposed for lp have not explored this closeness with S4 and contain rules whose analycity is not immediately evident. We study possible formulations of analytic tableau proof methods for lp that preserve the subformula property. Two sound and complete tableau decision methods of increasing degree of analycity are proposed, KELP and preKELP. The latter is particularly inspired on S4-proofs. The crucial role of proof constants in the structure of lp-proofs methods is analysed. In particular, a method for the abduction of proof constant specifications in strongly analytic preKELP proofs is presented; abduction heuristics and the complexity of the method are discussed.

Proposal of a High-Level Language for Writing Self Modifying Programs

This paper proposes a simple high-level programming language, endowed with resources that help encoding self-modifying programs. With this purpose, a conventional imperative language syntax (not explicitly stated in this paper) is incremented with special commands and statements forming an adaptive layer specially designed with focus on the dynamical changes to be applied to the code at run-time. The resulting language allows programmers to easily specify dynamic changes to their own program`s code. Such a language succeeds to allow programmers to effortless describe the dynamic logic of their adaptive applications. In this paper, we describe the most important aspects of the design and implementation of such a language. A small example is finally presented for illustration purposes.

Intrinsically Multivariate Predictive Genes

Canalizing genes possess such broad regulatory power, and their action sweeps across a such a wide swath of processes that the full set of affected genes are not highly correlated under normal conditions. When not active, the controlling gene will not be predictable to any significant degree by its subject genes, either alone or in groups, since their behavior will be highly varied relative to the inactive controlling gene. When the controlling gene is active, its behavior is not well predicted by any one of its targets, but can be very well predicted by groups of genes under its control. To investigate this question, we introduce in this paper the concept of intrinsically multivariate predictive (IMP) genes, and present a mathematical study of IMP in the context of binary genes with respect to the coefficient of determination (CoD), which measures the predictive power of a set of genes with respect to a target gene. A set of predictor genes is said to be IMP for a target gene if all properly contained subsets of the predictor set are bad predictors of the target but the full predictor set predicts the target with great accuracy. We show that logic of prediction, predictive power, covariance between predictors, and the entropy of the joint probability distribution of the predictors jointly affect the appearance of IMP genes. In particular, we show that high-predictive power, small covariance among predictors, a large entropy of the joint probability distribution of predictors, and certain logics, such as XOR in the 2-predictor case, are factors that favor the appearance of IMP. The IMP concept is applied to characterize the behavior of the gene DUSP1, which exhibits control over a central, process-integrating signaling pathway, thereby providing preliminary evidence that IMP can be used as a criterion for discovery of canalizing genes.

Experiência e linguagem como estratégias de resistência

Neste artigo visamos apontar, apoiadas em W. Benjamim e G. Agamben, a fragilização do registro da experiência e sua incidência na lógica do poder/violência. Analisamos, pretendendo desmistificar a eficácia dos discursos mortificadores da experiência, a figura do "mulçumano"; - nome que designava os mortos-vivos nos campos de concentração, conforme relato de Primo Levi e outros. Tal figura é emblemática do estado limite a que chegaram algumas pessoas e podem expressar o destino de alguns sujeitos na contemporaneidade. Pudemos identificar nessa posição tanto um movimento na direção da perda do laço identificatório com o semelhante, como uma forma de resistência à violência perpetrada pelo discurso social. Tal resistência consiste em operar uma mimese ao objeto resto, o que permite ao sujeito a manutenção da estrutura fantasmática. Indicamos que, apesar das estratégias do poder, o sujeito reinventa modos de se situar na relação ao Outro, nos quais se fazem importantes a presença e a palavra, incluindo aí a experiência psicanalítica.

Análise de atitudes de professoras do ensino fundamental no que se refere à educação inclusiva

Este artigo, que tem como referência a teoria crítica, relata o resultado de uma pesquisa sobre atitudes em relação à educação inclusiva, realizada com doze professoras do 5º ano do ensino fundamental; dentre elas, seis tinham experiência de ter em sala de aula alunos com deficiência, e seis não tinham. A análise qualitativa dos dados decorrentes do levantamento realizado em seis escolas da rede municipal de Campo Grande (MS) demonstrou que, de modo geral, as professoras foram favoráveis à educação inclusiva. Contudo, ficou evidente a expressão de atitudes preconceituosas veladas ou explícitas no âmbito escolar. A formação para experiência com quem é "diferente" ainda encontra barreiras por conta do preconceito e da discriminação presentes nesta sociedade que tem como lógica uma "inclusão marginal". Em suas manifestações, apontaram dificuldades de trabalhar com alunos com deficiência intelectual severa; assinalaram que a responsabilidade de trabalhar sob a predominância da educação centrada no desempenho, com foco na inserção das pessoas no mercado de trabalho, gerava um "sentimento de impotência". Diante das contradições existentes, a educação inclusiva não deixa de evidenciar a presença das injustiças que ainda se apresentam no processo educativo. Apesar disso, foram indicados vários elementos favoráveis a essa forma de educação, que não é dissociada de movimentos sociais mais amplos.

O projeto museográfico da exposição Cartografia de uma história - São Paulo colonial: mapas e relatos

Este artigo apresenta o projeto museográfico da exposição Cartografia de uma história, inaugurada no Museu Paulista da Universidade de São Paulo em março de 2005. O projeto museográfico foi concebido e elaborado a partir do diálogo entre as propostas da equipe de pesquisa e os dados do perfil dos visitantes do Museu, constituindo-se assim um trabalho integrado, que buscava tratar de forma lúdica o ato de descobrir.

Juventude pobre, violência e cidadania

Este trabalho problematiza, a partir de uma perspectiva sócio-histórica, formas de enfrentamento à violência a que estão submetidos adolescentes e jovens de grupos populares urbanos no Brasil. Considera-se a violência como um fenômeno complexo de grande relevância para diversas instâncias sociais. A vulnerabilidade daqueles adolescentes e jovens, expressa por inúmeros índices relacionados à violência, tem alcançado patamares alarmantes no nosso país, num contexto de políticas públicas que são, em grande parte, insuficientes, fragmentadas e/ou inadequadas. Assim, apresenta-se o relato e a análise de uma intervenção social calcada na educação e na defesa dos direitos decorrentes da cidadania, para adolescentes e jovens vulneráveis socialmente, tomando-se como referência uma região composta por bairros pobres e carentes de infra-estrutura social numa cidade média do interior do estado de São Paulo. Trabalhou-se em diferentes projetos com ações pautadas na abordagem interdisciplinar, por meio de três eixos bases: Violência Escolar; Violência Urbana; e Violação de Direitos e Comunidade. Os resultados alcançados refletem elaborações coletivas acerca das ações destinadas aos jovens de grupos populares urbanos e suas alternativas, buscando produzir estratégias de enfrentamento dessas questões em espaços públicos, desde a instituição escolar historicamente constituída para essa população, assim como as instituições mais recentes que respondem à lógica contraditória e complexa da assistência ao direito. Cria-se, portanto, subsídios para políticas públicas cujo impacto se dê na direção de promover a diminuição da desigualdade, da discriminação e da violência a que está sujeita a maioria dos adolescentes e jovens no Brasil.

Some questions about the Metropolitan Areas in Buenos Aires, Sao Paulo and Santiago regions

Among the numerous problems that are common to the Latin-American metropolises, such as the deep socio-spatial segregation, the impressive territorial fragmentation and the real estate valorisation that overvalues some territories, whilst it depreciates others, we have chosen to focus on the management of the metropolitan regions. That question clearly indicates that due to the great current changes of the economical restructuring - a process that strengthened the capitalist logic of social development - the traditional form of thinking urban planning has found its limits. Consequently, this issue of metropolitan management shows the need to look for new ways of metropolitan administration that can answer to the The main metropolitan regions of South America: Buenos Aires, Sao Paulo and Santiago form our references to characterize the recent changes from a territorial point of view on the one hand; and relative to the new determinations of the metropolis on the other hand. This leads us to discuss the challenges that metropolitan management face in a scenario of governability fragmentation.

von Wright`s Therapy to Jorgensen`s Syndrome

In his last papers about deontic logic, von Wright sustained that there is no genuine logic of norms. We argue in this paper that this striking statement by the father of deontic logic should not be understood as a death sentence to the subject. Rather, it indicates a profound change in von Wright`s understanding about the epistemic and ontological role of logic in the field of norms. Instead of a logical constructivism of deontic systems revealing a necessary structure of prescriptive discourse, which marked his earlier efforts, he adopted the view that such systems should be seem as mere objects of comparison, i.e. as providing practical standards of rationality for norm-giving activity. Within such view he proposed an interpretation of standard deontic logic in such a way to free deontic logicians from the philosophical difficulties related to the so-called Jorgensen`s dilemma and deontic paradoxes. This effort, as we claim in the present paper, is an application of Wittgenstein`s therapeutic method to dissolve philosophical difficulties caused by the use of logical tools to model relations between norms.

A pointcut-based coverage analysis approach for aspect-oriented programs

Aspect-oriented programming (AOP) is a promising technology that supports separation of crosscutting concerns (i.e., functionality that tends to be tangled with, and scattered through the rest of the system). In AOP, a method-like construct named advice is applied to join points in the system through a special construct named pointcut. This mechanism supports the modularization of crosscutting behavior; however, since the added interactions are not explicit in the source code, it is hard to ensure their correctness. To tackle this problem, this paper presents a rigorous coverage analysis approach to ensure exercising the logic of each advice - statements, branches, and def-use pairs - at each affected join point. To make this analysis possible, a structural model based on Java bytecode - called PointCut-based Del-Use Graph (PCDU) - is proposed, along with three integration testing criteria. Theoretical, empirical, and exploratory studies involving 12 aspect-oriented programs and several fault examples present evidence of the feasibility and effectiveness of the proposed approach. (C) 2010 Elsevier Inc. All rights reserved.