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.

On the efficiency of data representation on the modeling and characterization of complex networks

Specific choices about how to represent complex networks can have a substantial impact on the execution time required for the respective construction and analysis of those structures. In this work we report a comparison of the effects of representing complex networks statically by adjacency matrices or dynamically by adjacency lists. Three theoretical models of complex networks are considered: two types of Erdos-Renyi as well as the Barabasi-Albert model. We investigated the effect of the different representations with respect to the construction and measurement of several topological properties (i.e. degree, clustering coefficient, shortest path length, and betweenness centrality). We found that different forms of representation generally have a substantial effect on the execution time, with the sparse representation frequently resulting in remarkably superior performance. (C) 2011 Elsevier B.V. All rights reserved.

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.

Systemic Model for Diagnosis of the Micro, Small and Medium Enterprises from Two Cities from the Countryside of the State of So Paulo in Brazil

This article presents a proposal of a systemic model composed for the micro and small companies (MSE) of the region of Ribeiro Preto and the agents which influenced their environment. The proposed model was based on Stafford Beer`s (Diagnosing the system for organizations. Chichester, Wiley, 1985) systemic methodologies VSM (Viable System Model) and on Werner Ulrich`s (1983) CSH (Critical Systems Heuristics). The VSM is a model for the diagnosis of the structure of an organization and of its flows of information through the application of the cybernetics concepts (Narvarte, In El Modelo del Sistema Viable-MSV: experiencias de su aplicacin en Chile. Proyecto Cerebro Colectivo del IAS, Santiago, 2001). On the other hand, CSH focus on the context of the social group applied to the systemic vision as a counterpoint to the organizational management view considered by the VSM. MSE of Ribeiro Preto and Sertozinho had been analyzed as organizations inserted in systems that relate and integrate with other systems concerning the public administration, entities of representation and promotion agencies. The research questions: which are the bonds of interaction among the subsystems in this process and who are the agents involved? The systemic approach not only diagnosed a social group, formed by MSE of Ribeiro Preto and Sertozinho, public authorities and support entities, but could also delineate answers that aimed the clarification of obscure questions generating financial assistance to the formularization of efficient actions for the development of this system.

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.

Corporeidade e ação nos processos de formação do eu

Parte-se da hipótese de que tanto os modos de constituição da subjetividade, quanto as teses epistemológicas sobre a formação do eu têm sofrido importantes mudanças nas últimas décadas. No plano das identidades pessoais, tal fato se expressa no atenuamento do ideário intimista, tradicionalmente centrado na idéia da vida mental como espaço privado e interior. No plano epistemológico, diferentes saberes vêm questionando a equivalência entre vida mental e interioridade psicológica e propondo descrições da origem do eu que incluam a dimensão da corporeidade e da ação. Considerando as noções de representação e de ação como eixos fundamentais para diferentes concepções da subjetividade, este artigo examina um modelo internalista do psiquismo, contrastando-o com outro que toma o eu como agente corporificado.

Representações sociais do trabalho: uma análise comparativa entre jovens trabalhadores e não trabalhadores

O trabalho na adolescência é justificado, dentre outros aspectos, pela necessidade econômica das famílias. Os objetivos deste estudo foram analisar o conteúdo e a estrutura da representação social do trabalho na adolescência, entre estudantes trabalhadores e não trabalhadores, entre catorze e dezoito anos; comparar as representações nos dois grupos estudados; verificar se as cognições participantes do núcleo central das representações caracterizadas se confirmam em uma segunda técnica de estudo das representações. A amostra foi composta por 724 alunos do ensino médio da rede pública de ensino da cidade de São Paulo. A coleta de dados foi realizada através da técnica de evocações livres de palavras, utilizando o termo indutor "trabalho", e da realização de 21 grupos focais. Os resultados revelam que a representação do trabalho, em ambos os grupos, foi associada a significados morais e psicossociais positivos. Do ponto de vista metodológico, a maioria dos elementos classificados como participantes do núcleo central da representação foram confirmados nos diferentes eixos temáticos da análise de conteúdo dos grupos focais.

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.

Reflexões acerca das relções entre representação temática e descritiva

It presents the importance of integrating the thematic representation into the descriptive one, revealing the theoretical and practical aspects of these disciplines and tracing relationships between them. The goal of this work is to discuss the conceptual models Functional Requirements for Bibliographic Records (FRBR), Functional Requirements for Subject Authority Data (FRAD) and Functional Requirements for Subject Authority Data (FRSAD), illustrating them with the work of information search done by the user on a system. It emphasizes the importance of specific knowledge, without losing the viewpoint of both areas as complementary ones. The theoretical and methodological approach is based on the theoretical and conceptual research on the discussed thematics so as to analyze the facts available in the literature as well as to consider their practical applicability. We conclude that there is a happy and necessary integration between the thematic and descriptive representations that optimizes the informational access, though the second discipline is still regarded by many as pure physical description in manual catalogs.

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.

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.