Paraconsistent probabilities: consistency, contradictions and bayes' theorem

2010/51038-0sem informaçãoThis paper represents the first steps towards constructing a paraconsistent theory of probability based on the Logics of Formal Inconsistency (LFIs). We show that LFIs encode very naturally an extension of the notion of probability able to express sophisticated probabilistic reasoning under contradictions employing appropriate notions of conditional probability and paraconsistent updating, via a version of Bayes' theorem for conditionalization. We argue that the dissimilarity between the notions of inconsistency and contradiction, one of the pillars of LFIs, plays a central role in our extended notion of probability. Some critical historical and conceptual points about probability theory are also reviewed.This paper represents the first steps towards constructing a paraconsistent theory of probability based on the logics of formal inconsistency (LFIs). We show that LFIs encode very naturally an extension of the notion of probability able to express sophisticated probabilistic reasoning under contradictions employing appropriate notions of conditional probability and paraconsistent updating, via a version of Bayes' theorem for conditionalization. We argue that the dissimilarity between the notions of inconsistency and contradiction, one of the pillars of LFIs, plays a central role in our extended notion of probability. Some critical historical and conceptual points about probability theory are also reviewed.189FAPESP - FUNDAÇÃO DE AMPARO À PESQUISA DO ESTADO DE SÃO PAULOCNPQ - CONSELHO NACIONAL DE DESENVOLVIMENTO CIENTIFICO E TECNOLOGICOFAPESP - FUNDAÇÃO DE AMPARO À PESQUISA DO ESTADO DE SÃO PAULOCNPQ - CONSELHO NACIONAL DE DESENVOLVIMENTO CIENTIFICO E TECNOLOGICO2010/51038-0sem informaçã

La flexibilización de las reglas preclusorias del Procedimiento Contencioso Tributario

El propósito de esta investigación fue analizar la validez de la flexibilización de las reglas preclusorias del procedimiento contencioso tributario cuando un recurso revela circunstancias de una deuda improcedente. El estudio fue realizado desde la metodología de la dogmática jurídica, bajo un diseño no experimental y a nivel descriptivo y explicativo, y utilizamos la técnica de análisis bibliográfico, análisis documental y el análisis de contenido. Con el fin de dar solución al problema de investigación el objetivo general fue determinar si era válido flexibilizar las reglas preclusorias del procedimiento contencioso tributario cuando un recurso revela circunstancias de una deuda improcedente, para ello identificamos las circunstancias de una deuda improcedente invocadas en la jurisprudencia del Tribunal Fiscal Peruano frecuentemente, luego examinamos aquellos principios que respaldan la validez de la flexibilización de las reglas preclusorias del procedimiento contencioso tributario cuando un recurso revela circunstancias de una deuda improcedente, y finalmente analizamos si era válido flexibilizar las reglas preclusorias del procedimiento contencioso tributario cuando un recurso revela circunstancias de una deuda improcedente durante la revisión del recurso de reclamación y apelación. Se concluyó que en el marco del Estado Constitucional de Derecho y de los principios del derecho, es válido flexibilizar las reglas preclusorias del procedimiento contencioso tributario peruano, con especial referencia al recurso de reclamación y apelación extemporáneo, cuando un recurso revela circunstancias de una deuda improcedente, y el fundamento es el principio de verdad material y la flexibilización de las formas. Además, se recomendó fomentar la práctica jurídica de flexibilización en el análisis que realizan los órganos encargados de resolver dentro del procedimiento contencioso tributario, más aun teniendo en cuenta que estos dos principios que se proponen como fundamento provienen del principio constitucional del debido proceso o el derecho a un proceso justo, como también de su reconocimiento en el Derecho AdministrativoThe purpose of this investigation was to analyze the validity of the relaxation of the preclusive rules of the tax litigation procedure when an appeal reveals circumstances of an improper debt. The study was carried out from the methodology of legal dogmatics, under a non-experimental design and at a descriptive and explanatory level, and we used the technique of bibliographic analysis, documentary analysis and content analysis. In order to solve the research problem, the general objective was to determine if it was valid to relax the preclusive rules of the tax litigation procedure when an appeal reveals circumstances of an improper debt, for this we identified the circumstances of an improper debt invoked in the jurisprudence of the Peruvian Tax Court frequently, then we examine those principles that support the validity of the relaxation of the preclusive rules of the contentious tax procedure when an appeal reveals circumstances of an improper debt, and finally we analyze if it was valid to relax the preclusive rules of the contentious tax procedure when an appeal reveals circumstances of an improper debt during the review of the claim and appeal resource. It was concluded that within the framework of the Constitutional State of Law and the principles of law, it is valid to make the preclusive rules of the Peruvian tax litigation procedure more flexible, with special reference to the extemporaneous claim and appeal, when an appeal reveals circumstances of an improper debt and the foundation is the principle of material truth and the flexibility of forms. In addition, the legal practice of flexibility in the analysis carried out by the authority in charge of resolving within the tax litigation procedure will be encouraged, even more so taking into account that these two principles that are proposed as a foundation come from the constitutional principle of due process or the right to a fair process, as well as its recognition in Administrative Law.Tesi

Requisitos para um ambiente de comunicação como ferramenta de apoio à alfabetização bilingue de crianças surdas

Resumo: A percepção leiga das dificuldades que as pessoas com necessidades especiais, mais es- pecificamente os surdos, enfrentam para sua plena inclusão social determinou a motivação do presente trabalho. Este partiu do princípio da necessidade de contribuir para o apren- dizado do Português por crianças surdas que têm a Libras como sua primeira língua. Com este intuito, pensou-se que um ambiente via Internet que atraísse as crianças para conver- sas informais e, posteriormente, para atividades de expressão (oral e escrita), projetado levando em consideração suas características especiais, seria proprício. A idealização do ambiente necessitou de uma extensa pesquisa como passo metodológico fundamental, do qual originou-se a identificação de três conjuntos de requisitos que deram lugar a umas possi- bilidades do ambiente e as linhas gerais das soluções de interface e interações. Finalmente, foram descritas as características gerais do artefato tecnológico buscado, que consistem numa relação de aplicações a fazerem parte da ferramenta, dos requisitos que devem ser atendidos na sua realização é num esboço preliminar da sua arquitetura

Encuentro entre filosofía y literatura: la escritura diseminada en Jacques Derrida y Clarice Lispector | Encounter between philosophy and literature: writing disseminated in Jacques Derrida and Clarice Lispector

Este trabajo realiza un encuentro entre la filosofía derridiana y la literatura lispectoriana a través de la noción de escritura y el gesto doble de la deconstrucción. Para tal efecto, se identifica el sistema categorial de Occidente, denominado por Derrida como “la metafísica de la presencia”, para dar cuenta de las permanentes relaciones de exclusión: 1) presencia 2) ausencia. Los cuales componen los distintos discursos que han regidoel sometimiento de los márgenes. Seguidamente, desde De La Gramatología se retoma el Fedro de Platón para establecer a la escritura como Phàrmakon, y analizar la escritura diseminada en la novela Um Sopro De Vida de Lispector, evidenciando así el poder afirmativo que contiene la escritura en tanto que, ella enseña las grietas del edificio metafísico y las trampas de la razón antropocéntrica.Palabras clave: Escritura. Literatura.Deconstrucción. Falogocentrismo. Diseminación. AbstractThis paper outlines an encounter between Derridian philosophy and Lispectorian literature through the notion of writing and the 'double gesture' of deconstruction. To do so, I discuss the western categorial system, called by Derrida as "metaphysics of presence", to account for the permanent relations of exclusion: 1) presence and 2) absence, which constitute the discourses that have regulated the submission of the Margins. Subsequently, starting from Of Grammatology, Plato's Phaedro is revisited to establish writing as a pharmakon, and analyze the writing disseminated in Lispector's novel Um Sopro de Vida. Thus, showing evidence of the affirmative power of writing insofar as it shows the cracks of the edifice of metaphysics and the pitfalls of anthropocentric reason.Keywords: Writing. Literature. Deconstruction. Phallogocentrism. Dissemination. ORCIDhttp://orcid.org/0000-0002-6856-438

Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn Logic

This paper introduces the logic of evidence and truth LETF as an extension of the Belnap-Dunn four-valued logic F DE. LETF is a slightly modified version of the logic LETJ, presented in Carnielli and Rodrigues (2017). While LETJ is equipped only with a classicality operator ○, LETF is equipped with a non-classicality operator ● as well, dual to ○. Both LETF and LETJ are logics of formal inconsistency and undeterminedness in which the operator ○ recovers classical logic for propositions in its scope. Evidence is a notion weaker than truth in the sense that there may be evidence for a proposition α even if α is not true. As well as LETJ, LETF is able to express preservation of evidence and preservation of truth. The primary aim of this paper is to propose a probabilistic semantics for LETF where statements P(α) and P(○α) express, respectively, the amount of evidence available for α and the degree to which the evidence for α is expected to behave classically - or non-classically for P(●α). A probabilistic scenario is paracomplete when P(α) + P(¬α) 1, and in both cases, P(○α) < 1. If P(○α) = 1, or P (●α) = 0, classical probability is recovered for α. The proposition ○α ∨ ●α, a theorem of LETF , partitions what we call the information space, and thus allows us to obtain some new versions of known results of standard probability theor

Os povos indígenas do Brasil: Situação atual dos Guarani e Kaiowa em Mato Grosso do Sul

El propósito de este artículo es mostrar la situación actual en la que los pueblos indígenas viven en Brasil . También, trae al debate la condición en la que habitan los Guaraní Kaiowa en el estado de Mato Grosso do Sul y sus demandas reivindicatorias de demarcar sus territorios ancestrales con la sociedad y el Estado brasileño. La metodología utilizada fue construida a partir del análisis de los datos del IBGE, y principalmente a través de la observación participante y las entrevistas, en relación con las luchas del pueblo Guaraní y Kaiowá.Palabras claves: Censo de Población Indígena 2010, Re-etnización, guaraní y kaiowá, Reanudar territórios-tekohaEl propósito de este artículo es mostrar la situación actual en la que los pueblos indígenas viven en Brasil . También,trae al debate la condición en la que habitan los Guaraní Kaiowa en el estado de Mato Grosso do Sul y sus deman- das reivindicatorias de demarcar sus territorios ancestra- les con la sociedad y el Estado brasileño. La metodología utilizada fue construida a partir del análisis de los datos del IBGE, y principalmente a través de la observación participante y las entrevistas, en relación con las luchas del pueblo Guaraní y Kaiowá

TERRA DE NEGÓCIOS, TERRA DE TRABALHO

Lançando mão do contexto de produção de flores na região de Holambra/SP, este texto apresenta as experiências que são invisibilizadas quando essa produção é apresentada como uma atividade “delicada” e relacionada somente à cultura holandesa no Brasil. Serão apresentados os principais sujeitos desse processo: homens e mulheres que trabalham em estufas de flores para que a produção seja intensificada. Há um entendimento de que as expectativas de gênero reforçam a desigualdade na atribuição das atividades, na medida em que às mulheres são destinadas as tarefas de plantio, corte, classificação e embalagem das plantas, enquanto os homens são direcionados às atividades de coordenação da equipe, aplicação de venenos e transporte das plantas. Diferenças que implicam em uma hierarquia salarial com valores mais altos para os homens. A metodologia empregada foi a História Oral e a observação em campo empírico nos municípios paulistas de Artur Nogueira, Holambra e Santo Antônio de Posse

Guia de recomendações para o desenvolvimento de materiais didáticos impressos para o público de baixa visão

Autoras: Juliana Bueno, Caroline Rodrigues de Lima, Emilia Christie Picelli Sanches, Karina de Abreu Antoniolli, Marluce RequeInclui referência

Geochemistry and emplacement chronology of collisional granites in the Sergipano belt, NE-Brazil

Orientador: Elson Paiva de OliveiraTese (doutorado) - Universidade Estadual de Campinas, Instituto de GeocienciasResumo: A Faixa Sergipana é uma das mais significantes faixas móveis neoproterozóicas do nordeste do Brasil, porque ela contém diversas estruturas e domínios litológicos que permitem que ela seja comparada a orógenos fanerozóicos como os Himalaias, por exemplo. A Faixa Sergipana foi formada durante a colisão entre o Cráton São Francisco-Congo e o Maciço Pernambuco-Alagoas durante a orogênese Brasiliano/Pan-Africano é formada por cinco domínios litoestruturais (Canindé, Poço Redondo-Marancó, Macururé, Vaza Barris e Estância) e é um orógeno chave para a reconstrução de parte da história do Gondwana Oeste. São reconhecidos três eventos de deformação principais (D1-D3) nas rochas supracrustais da Faixa Sergipana, sendo que o evento D2 é o principal evento colisional na faixa e associado a ele tem-se a geração de grande parte dos granitos presentes nos domínios Macururé e Poço Redondo-Marancó. Os granitos presentes nestes domínios foram divididos em dois grupos principais: (1) os granitos com ~ 625 Ma compostos pelos: (i) granitos com características de arco no Domínio Poço Redondo-Marancó (Granodiorito Queimada Grande) e no Domínio Macururé (Tonalito Camará e Granodiorito Coronel João Sá) e (ii) granitos com características crustais do Domínio Poço Redondo- Marancó (granitos Sítios Novos e Poço Redondo) e (2) os granitos colisionais do Domínio Macururé de ~ 580 Ma. Os granitos Queimada Grande, Camará e Coronel João Sá são plutons de alto potássio, cálcioalcalinos, metaluminosos, magnesianos, tipo-I de arco vulcânico. Estes granitos foram originados por fusão parcial de rochas derivadas do manto ou de crosta inferior de composição basáltica com proporções variáveis de contaminação com crosta continental. Os granitos Sítios Novos e Poço Redondo foram gerados pela fusão dos migmatitos locais e os granitos colisionais do Domínio Macururé por alta taxa de fusão dos micaxistos encaixantes. A abundância de granitos colisionais no Domínio Macururé indica que este domínio pode ter funcionado como um conduto dúctil, durante o neoproterozóico, limitado por zonas de cisalhamento regionais. Para delimitar a duração da colisão que resultou na formação da Faixa Sergipana foi utilizada a idade obtida para o Tonalito Camará pré- D2 de 628±12 Ma, que marca a idade máxima para o início do evento D2, e a idade do Granito Pedra Furada sin a tardi- D2 de 571±9 Ma, que marca a idade mínima para o final do evento D2; utilizando estes dados tem-se que o principal evento colisional (D2) na Faixa Sergipana durou pelo menos 57 Ma. Os granitos Queimada Grande, Camará e Coronel João Sá são o registro de arco continental na Faixa Sergipana formado durante a colisão neoproterozóica e a sua presença indica que o Domínio Macururé estava conectado ao Domínio Poço Redondo-Marancó antes do início da orogênese Brasiliana.Abstract: The Sergipano Belt is one of the most significant Precambrian orogenic belts of Northeastern Brazil because it contains several structural and lithologic domains that allow it to be compared with Phanaerozoic orogens, like Himalayas. The Sergipano Belt was formed through continental collision between the Congo- São Francisco Craton and the Pernambuco-Alagoas Massif during the Brasiliano/Pan-African Orogeny and it comprises five lithostructural domains: Canindé, Poço Redondo-Marancó, Macururé, Vaza Barris and Estância and it is a key belt for reconstructing part of the history of West Gondwana. Three main events of regional deformation (D1-D3) are recognized in the supracrustal rocks of the belt and the D2 event is the main collision event in the belt, most granites were emplaced during this event in the Macururé and Poço Redondo-Marancó domains. Granites found in these domains can be divided into two groups: (1) ~ 625 Maold granites formed by: (i) arc-type granites in the Poço Redondo-Marancó domain (Queimada Grande Granodiorite) and in the Macururé Domain (Camará tonalite and Coronel João Sá granodiorite) and (ii) crustal granites in the Poço Redondo-Marancó domain (Sítios Novos and Poço Redondo granites) and (2) ~ 580 Ma-old collision-related granites in the Macururé domain. The Queimada Grande, Camará and Coronel João Sá granites are plutons of high-K calc-alkaline, metaluminous, magnesian, I-type volcanic arc granites. These granites were originated by partial melting of basic crustal sources derived from mantle or lower crust of basaltic composition with variable ratios of continental crust contamination. The Poço Redondo and Sítios Novos granites were generated by partial melting of local migmatites and the collisional granites of the Macururé domain by high degree of partial melting of the Macururé micaschists. The abundance of collisional granites in the Macururé domain indicates that this domain acted as a ductile channel flow during the Neoproterozoic limited by regional. To delimit the collision duration that results in the formation of Sergipano belt was used the 628±12 Ma age obtained for the pre-D2 Camará Tonalite, which mark the maximum age for beginning of D2 event, and the 571±9 Ma age obtained for the syn- to tardi- D2 Pedra Furada granite that mark the minimum age for end of the D2 event; using these numbers without the associated errors, we conclude that the main Neoproterozoic collisional (D2) event in the Sergipano Belt may have lasted at least 57 million years. The Queimada Grande, Camará and Coronel João Sá granites are the record of continental arc in the Sergipano belt formed during the Neoproterozoic collision and its presence indicates that the Macururé domain was connected in the Poço Redondo-Marancó domain before the beginning of the Brasiliano orogeny.DoutoradoMetalogeneseDoutor em Ciência