The ubiquity of conservative translations

We study the notion of conservative translation between logics introduced by Feitosa and D'Ottaviano. We show that classical propositional logic (CPC) is universal in the sense that every finitary consequence relation over a countable set of formulas can be conservatively translated into CPC. The translation is computable if the consequence relation is decidable. More generally, we show that one can take instead of CPC a broad class of logics (extensions of a certain fragment of full Lambek calculus FL) including most nonclassical logics studied in the literature, hence in a sense, (almost) any two reasonable deductive systems can be conservatively translated into each other. We also provide some counterexamples, in particular the paraconsistent logic LP is not universal.Comment: 15 pages; to appear in Review of Symbolic Logi

Ferramentas Lógicas e Matemáticas Contemporâneas

Neste artigo apresentamos um panorama objetivo do surgimento e das características da Análise Não- Standard (ANS) de Abraham Robinson, da Lógica Paraconsistente e do Cálculo Diferencial Paraconsistente (CDP) de Newton Carneiro Affonso da Costa, entre outras considerações acerca das ferramentas lógicas e matemáticas contemporâneas. Destacamos o CDP como um Cálculo ainda em construção, intimamente relacionado com teorias que preservam as mais importantes propriedades do Cálculo clássico e que, da mesma forma, apresenta inegáveis potencialidades para aplicações concretas. De facto, o Cálculo Paraconsistente estende o Cálculo tradicional e aproxima ideias presentes na Análise Infinitesimal de Newton e Leibniz e na Análise Não-Standard de Robinson, sob o uso da lógica paraconsistente e de teorias paraconsistentes de conjuntos (ver Batens et al., 2000; Robinson, 1996; da Costa, 1963, 1993; e D’Ottaviano, 1990)

ENTREVISTA COM A PROFESSORA ITALA MARIA LOFFREDO D’OTTAVIANO: UMA INTRODUÇÃO À LÓGICA, ÀS LÓGICAS NÃO CLÁSSICAS E À TEORIA DE SISTEMAS

Apresenta a notável entrevista da Profª. Drª. Itala Maria Loffredo D’Ottaviano em sua vinda à Belém do Pará, para ministrar o minicurso de teoria dos sistemas complexos" referente à Disciplina de “UMA INTRODUÇÃO À LÓGICA, ÀS LÓGICAS NÃO CLÁSSICAS E À TEORIA DE SISTEMAS”, realizada no período de 07 a 11 de Novembro de 2016. A entrevista apresenta questões dadas aos participantes do minicurso, sobretudo, do Grupo de Filosofia Temática referente as relações e indagações sobre à Lógica Paraconsistente.

RICOS E POBRES, CADA QUAL EM SEU LUGAR: a desigualdade socioespacial na metrópole paulistana

As favelas e os condomínios fechados expressam a dualidade das formas de morar de ricos e pobres na metrópole paulistana. As ocorrências desses assentamentos acontecem desde a primeira metade do século XX, no caso das favelas, e a partir dos anos 1970, no caso dos condomínios e loteamentos fechados. Este trabalho pretende analisar e identificar tanto os espaços das moradias em condição de extrema vulnerabilidade, particularmente as favelas e unidades habitacionais localizadas em assentamentos periféricos precários, bem como as formas de estruturação do espaço de morar dos ricos e da classe média, destacando, preferencialmente, os condomínios horizontais fechados, como formas de moradia que representam os dois extremos da desigualdade socioterritorial existente no contexto urbano e metropolitano de São Paulo. Trataremos também de refletir sobre as novas formas de apropriação do espaço de morar dos ricos e dos pobres, procurando compreender se existe realmente um novo padrão de ocupação do solo na Região Metropolitana de São Paulo. PALAVRAS-CHAVE: favelas, condomínios fechados, exclusão socioespacial, RMSP. RICH AND POOR, EACH ONE IN THEIR PLACE: socioespatial inequality in São Paulo Nelson Baltrusis Maria Camila Loffredo D’Ottaviano The slums and the walled condominiums express the duality of rich and poor living in São Paulo metropolitan area. The occurrences of those settlements begin, in the case of slums, in the first half of the XX century, and, , in the case of the walled condominiums and developments, in the 1970’s. This paper intends to analyze and to identify both the spaces of homes in condition of extreme vulnerability, particularly the slums and habitational units in precarious outlying neighborhoods, and the ways of structuring the space for living for the rich and the middle class, highlighting, preferentially, the walled horizontal condominiums, as real state forms that represent the two extremes of the current socioterritorial inequality in the urban and metropolitan context of São Paulo. We will also think about the new forms of space appropriation for rich and of poor living, trying to understand if there really is a new pattern of occupation of soil in the São Paulo Metropolitan Area. KEYWORDS: slums; walled condominiums; socioespatial exclusion; São Paulo Metropolitan Region. RICHES ET PAUVRES, CHACUN A SA PLACE: l’ inégalite socio-spaciale dans la métropole de São Paulo Nelson Baltrusis Maria Camila Loffredo D’Ottaviano Les favelas et les copropriétés en régime fermé démontrent la dualité des types d’habitation des riches et des pauvres dans la métropole de Sao Paulo. L’avènement de ce genre de regroupement d’habitations existe depuis la première moitié du XXe siècle en ce qui concerne les favelas et à partir des années 70 pour les copropriétés fermées. Ce travail se veut d’analyser et d’identifier autant les espaces réservés aux maisons qui se trouvent dans des conditions extrêmement vulnérables, et tout particulièrement les favelas et les quartiers précaires situés dans les périphéries, que la structuration de l’espace réservé aux résidences des riches et de la classe moyenne. On met tout spécialement en évidence les copropriétés horizontales fermées, type d’habitations qui représentent les extrémités de l’inégalité socio territoriale existante dans le contexte urbain et métropolitain de Sao Paulo. Nous ferons aussi une réflexion sur les nouvelles manières de s’approprier l’espace pour l’habitation des riches et des pauvres, pour vérifier s’il existe vraiment une nouvelle norme d’occupation du sol dans la Région Métropolitaine de Sao Paulo. MOTS-CLÉS: favelas, copropriétés fermées, exclusion socio spatiale, RMSP. Publicação Online do Caderno CRH: http://www.cadernocrh.ufba.b

A map of dependencies among three-valued logics

International audienceThree-valued logics arise in several fields of computer science, both inspired by concrete problems (such as in the management of the null value in databases) and theoretical considerations. Several three-valued logics have been defined. They differ by their choice of basic connectives, hence also from a syntactic and proof-theoretic point of view. Different interpretations of the third truth value have also been suggested. They often carry an epistemic flavor. In this work, relationships between logical connectives on three-valued functions are explored. Existing theorems of functional completeness have laid bare some of these links, based on specific connectives. However we try to draw a map of such relationships between conjunctions, negations and implications that extend Boolean ones. It turns out that all reasonable connectives can be defined from a few of them and so all known three-valued logics appear as a fragment of only one logic. These results can be instrumental when choosing, for each application context, the appropriate fragment where the basic connectives make full sense, based on the appropriate meaning of the third truth-value

Foreword

Forewor

Ferramentas Lógicas e Matemáticas Contemporâneas

Neste artigo apresentamos um panorama objetivo do surgimento e das características da Análise Não- Standard (ANS) de Abraham Robinson, da Lógica Paraconsistente e do Cálculo Diferencial Paraconsistente (CDP) de Newton Carneiro Affonso da Costa, entre outras considerações acerca das ferramentas lógicas e matemáticas contemporâneas.  Destacamos o CDP como um Cálculo ainda em construção, intimamente relacionado com teorias que preservam as mais importantes propriedades do Cálculo clássico e que, da mesma forma, apresenta inegáveis potencialidades para aplicações concretas. De facto, o Cálculo Paraconsistente estende o Cálculo tradicional e aproxima ideias presentes na Análise Infinitesimal de Newton e Leibniz e na Análise Não-Standard de Robinson, sob o uso da lógica paraconsistente e de teorias paraconsistentes de conjuntos (ver Batens et al., 2000; Robinson, 1996; da Costa, 1963, 1993; e D’Ottaviano, 1990)