In 1999, da Silva, D'Ottaviano and Sette proposed a general definition for the term translation between logics and presented an initial segment of its theory. Logics are characterized, in the most general sense, as sets with consequence relations and translations between logics as consequence-relation preserving maps. In a previous paper the authors introduced the concept of conservative translation between logics and studied some general properties of the co-complete category constituted by logics and conservative translations between them. In this paper we (...) present some conservative translations involving classical logic, Lukasiewicz three-valued system L₃, the intuitionistic system Iⁱ and several para-consistent logics, as for instance Sette's system Pⁱ, the D'Ottaviano and da Costa system J₃ and da Costa's systems $\text{C}_{n}$ , 1 ≤ n ≤ ω. (shrink)

The logic TK was introduced as a propositional logic extending the classical propositional calculus with a new unary operator which interprets some conceptions of Tarski’s consequence operator. TK-algebras were introduced as models to TK. Thus, by using algebraic tools, the adequacy of TK relatively to the TK-algebras was proved. This work presents a neighbourhood semantics for TK, which turns out to be deductively equivalent to the non-normal modal logic EMT4.

The logic TK was introduced as a propositional logic extending the classical propositional calculus with a new unary operator which interprets some conceptions of Tarski’s consequence operator. TK-algebras were introduced as models to TK . Thus, by using algebraic tools, the adequacy (soundness and completeness) of TK relatively to the TK-algebras was proved. This work presents a neighbourhood semantics for TK , which turns out to be deductively equivalent to the non-normal modal logic EMT4 . DOI:10.5007/1808-1711.2011v15n2p287.

Apresentamos conceitos algébricos básicos e fundamentais como conjuntos ordenados, reticulados, álgebra de Boole e as TK-álgebras. Destacamos os espaços de Tarski, associados ao conceito de sistema dedutivo e sua apresentação quase topológica. Então, apresentamos a Lógica da Dedutibilidade, vinda da formalização lógica dos espaços de Tarski. A seguir, trazemos os pares de funções de Galois, que surgem em muitos tópicos da Matemática. Como resultado original, além de alguns desenvolvimentos teóricos, destacamos uma conexão de Galois com os espaços de Tarski.

Deontic logic is a branch of symbolic logic interested in notions such as obligatory, permissible, optional, ought, and others similar. There are some equivalent ways to present the Standard Deontic Logic or KD. In this paper, we will mention some of them and highlight one that is of interest. With this presentation we can propose a simple algebraic model for the Standard Deontic Logic.

We show that using quasi-set theory, or the theory of collections of indistinguishable objects, we can define an algebra that has most of the standard properties of an orthocomplete orthomodular lattice, which is the lattice of all closed subspaces of a Hilbert space. We call the mathematical structure so obtained $\mathfrak{I}$-lattice. After discussing some aspects of such a structure, we indicate the next problem of axiomatizing the corresponding logic, that is, a logic which has $\mathfrak{I}$-lattices as its Lindembaum algebra, which (...) we postpone to a future work. Thus we conclude that the initial intuitions by Birkhoff and von Neumann that the ``logic of quantum mechanics" would be not classical logic, is consonant with the idea of considering indistinguishability right from the start, that is, as a primitive concept. In the first sections, we present the main motivations and a ``classical'' situation which mirrors that one we focus on the last part of the paper. This paper is our first analysis of the algebraic structure of indiscernibility. (shrink)

Neste artigo, tratamos de três tópicos básicos para o entendimento de uma noção de razão, a saber, relação de consequência, relação de ordem e sistema formal. A partir de uma caracterização de sistema formal, definimos as duas relações mencionadas. Destacamos uma inter-relação entre consequência e ordem. Então, apresentamos outros sistemas formais que consideram especificamente um conceito de implicação, dado pelas álgebras implicativas e pela lógica implicativa. Esta lógica implicativa, que tem como modelo as álgebras implicativas, apresenta apenas um operador, o (...) de implicação; e este conceito de implicação, mais uma vez, remete para as noções de consequência e ordem. Por fim, a partir da caracterização de consequência que está no texto, introduzimos um modelo algébrico para esta lógica implicativa. (shrink)

In 1999, da Silva, D'Ottaviano and Sette proposed a general definition for the term translation between logics and presented an initial segment of its theory. Logics are characterized, in the most general sense, as sets with consequence relations and translations between logics as consequence-relation preserving maps. In a previous paper the authors introduced the concept of conservative translation between logics and studied some general properties of the co-complete category constituted by logics and conservative translations between them. In this paper we (...) present some conservative translations involving classical logic, Lukasiewicz three-valued system L3, the intuitionistic system I1 and several paraconsistent logics, as for instance Sette's system P1, the D'Ottaviano and da Costa system J3 and da Costa's systems Cn, 1≤ n≤ω. (shrink)

Tarski apresentou sua definição de operador de consequência com a intenção de expor as concepções fundamentais da consequência lógica. Um espaço de Tarski é um par ordenado determinado por um conjunto não vazio e um operador de consequência sobre este conjunto. Esta estrutura matemática caracteriza um espaço quase topológico. Este artigo mostra uma visão algébrica dos espaços de Tarski e introduz uma lógica proposicional modal que interpreta o seu operador modal nos conjuntos fechados de algum espaço de Tarski. DOI:10.5007/1808-1711.2010v14n1p47.

In this paper we introduce the concept of conservative translation between logics. We present some necessary and sufficient conditions for a translation to be conservative and study some general properties of logical systems, these properties being characterized by the existence of conservative translations between the systems. We prove that the class constituted by logics and conservative translations between them determines a co-complete subcategory of the bi-complete category constituted by logics and translations.

This work presents the concepts of translation and conservative translation between logics. By using algebraic semantics we introduce several conservative translations involving the classical propositional calculus and the many-valued calculi of Post and Lukasiewicz.

Tarski presented his definition of consequence operator to explain the most important notions which any logical consequence concept must contemplate. A Tarski space is a pair constituted by a nonempty set and a consequence operator. This structure characterizes an almost topological space. This paper presents an algebraic view of the Tarski spaces and introduces a modal propositional logic which has as a model exactly the closed sets of a Tarski space.

Tarski presented his definition of consequence operator to explain the most important notions which any logical consequence concept must contemplate. A Tarski space is a pair constituted by a nonempty set and a consequence operator. This structure characterizes an almost topological space. This paper presents an algebraic view of the Tarski spaces and introduces a modal propositional logic which has as a model exactly the closed sets of a Tarski space. • DOI:10.5007/1808-1711.2010v14n1p47.

From generalized quantifiers we move to modulated logic. So with this motivation we show ways for the construction of some modal logics. With the translations between logics we show some inter-relations between modal logics. Finally, we introduce some opportune concepts for a type of classification of deontic logic.

The literature on quantum logic emphasizes that the algebraic structures involved with orthodox quantum mechanics are non distributive. In this paper we develop a particular algebraic structure, the quasi-lattice ( $${\mathfrak{I}}$$ -lattice), which can be modeled by an algebraic structure built in quasi-set theory $${\mathfrak{Q}}$$. This structure is non distributive and involve indiscernible elements. Thus we show that in taking into account indiscernibility as a primitive concept, the quasi-lattice that ‘naturally’ arises is non distributive.

This work presents some basic results on a theory of translations between logics and a short revision about Łukasiewicz's logics. Then, it is shown, using facts about algebraic semantics, that there is a conservative translation from every finite Łukasiewicz's logic into classical logic. However, this is not a constructive result.

Este artigo apresenta reflexões sobre o letramento literário a partir da recepção da obra O olho de vidro do meu avô, de Bartolomeu Campos de Queirós, por meio da análise de depoimentos de leitores comuns – a literatura no cotidiano dos indivíduos - e de trechos de artigos científicos sobre a obra – a literatura no campo acadêmico. Apresentamos também uma sequência didática desenvolvida com alunos do 6º ano do Ensino Fundamental de uma escola pública de Itabirito, interior de Minas (...) Gerais, a partir da recepção do livro. Para a realização da prática pedagógica, usamos a proposta sugerida e experienciada por Rildo Cosson para o letramento literário, denominada pelo pesquisador como “Sequência Básica”, composta por quatro etapas: motivação, introdução, leitura e interpretação. Dessa forma, procuramos compreender a literatura, a leitura literária e o letramento literário na vida social e na escola, pois cabe a essa instituição proporcionar aos alunos experiências que desenvolvam essa competência para o letramento literário, a se perpetuar pela vida adulta. O principal objetivo desse processo no contexto escolar é formar um leitor que aprecie significações estéticas, capaz de se inserir em uma comunidade que faça suas próprias escolhas literárias, que saiba manipular seus instrumentos culturais e possa construir com eles um sentido para si e para o mundo em que vive. Dessa forma, é necessário reconhecer a importância de atividades que abarquem diferentes tipos de materiais escritos, mas que não sejam negligenciados os textos literários, multiplicando, dessa forma, os espaços de leitura e constituindo comunidades de leitores na escola e fora dela. (shrink)

RESUMO Esta pesquisa aborda o ato interpretativo e tem como objetivo conhecer melhor a atuação do intérprete de língua brasileira de sinais (Libras), que atua na modalidade simultânea, no contexto de Conferências acadêmicas. A reflexão sobre esta prática baseia-se em autores que se fundamentam em conceitos bakhtinianos. Assim, foi desenvolvida pesquisa descritiva de abordagem qualitativa, usando a técnica da autoconfrontação simples na coleta de dados. O estudo mostrou que a conferência é um contexto complexo de atuação para esses profissionais, quanto: (...) (i) ao tempo necessário para tomada de decisões; (ii) à exposição resultante do destaque físico; (iii) à posição, ao lado ou um pouco à frente no palco, e (iv) ao preparo, que por vários motivos nem sempre é possível ser previamente executado. A compreensão mais aprofundada do contexto de interpretação em Conferência favorece a proposição de ações formativas adequadas às demandas e indica a necessidade de novos estudos nesse campo. (shrink)

Este trabalho analisa a influência tributária na definição do modelo constitucional de atribuição dos resultados econômicos da exploração do petróleo offshore, no Brasil. Além da abordagem constitucional do tema, destaca-se a participação dos entes federativos estaduais nas rendas da produção de petróleo, sua federalização e, em decorrência, a redução das rendas dos entes federativos subnacionais, implicando num movimento compensatório pela via da utilização de elementos de natureza tributária, tais como o extinto Imposto Único sobre Minerais e o regime constitucional especial (...) de cobrança na origem do ICMS devido nas operações de combustíveis e derivados de petróleo. (shrink)

Alumnos con discapacidad: modelo de inclusión de la Universidad Federal de San Carlos Resumen: El objetivo fue describir cómo funciona el programa de inclusión para alumnos con discapacidad en la Universidad Federal de San Carlos, en Brasil. Es una investigación cualitativa con análisis del discurso de cuatro entrevistas semiestructuradas con alumnos con discapacidad, investigadores especialistas y gestores. Los principales resultados muestran que no es suficiente trabajar sobre los ejes de atención a estos estudiantes sino se analizan y evalúan las funciones (...) de los actores involucrados en el proceso de inclusión. Es necesaria una estructura que promueva cambios culturales en la comunidad universitaria, de otro modo, las barreras actitudinales siguen siendo uno de los principales límites para estos alumnos. Palabras clave: Educación Superior; Discapacidad; Educación Especial; Educación Inclusiva. Alunos com deficiência: modelo de inclusão na Universidade Federal de São Carlos Resumo: O objetivo desta pesquisa foi descrever o funcionamento do programa de inclusão para alunos com deficiência na Universidade Federal de São Carlos, Brasil. Trata-se de uma pesquisa qualitativa com base na análise do discurso de quatro entrevistas semiestruturadas com alunos com deficiência, pesquisadores especializados e gestores. Os resultados centrais mostram que não é suficiente trabalhar sobre os eixos principais de atenção a estes alunos, que deve-se analisar e avaliar as funções dos atores envolvidos no processo de inclusão, e é preciso uma estrutura que motive uma mudança cultural na comunidade universitária, caso contrário, as barreiras atitudinais continuam sendo limites principais para estes alunos. Palavras-chave: Ensino Superior; Deficiência; Educação Especial; Educação Inclusiva. Students with disabilities: inclusion model of Federal University of São Carlos Abstract: The objective of the study is to describe the inclusion program for students with disability in the Federal University of São Carlos, in Brazil. A qualitative study based on discourse analysis of four semi-structured interviews with students with disability, specialist researchers, and managers. The main results shows that is not enough to focus on the principal subjects of inclusive education, instead, it’s necessary to analyze responsibilities of every actor involved in the inclusion process, motivation based structure is needed towards a cultural change. Otherwise, attitudinal barriers of the university community continue to be one of the principal limits for these students. Key words: Higher Education; Disability; Especial Education; Inclusive Education. Data de registro: 04/03/2020 Data de aceite: 28/08/2020. (shrink)

O presente artigo objetiva apresentar alguns dos fundamentos da Pedagogia freiriana, a fim de compreender as justificativas para os constantes ataques que esse autor tem sofrido por parte da extrema direita do país. Nesse sentido, buscamos responder à seguinte problemática: quais as principais perspectivas e os fundamentos da Pedagogia freiriana que ameaçam a extrema direita do Brasil? Para tanto, buscamos responder às seguintes questões norteadoras, a saber: quem foi Paulo Freire? Em qual contexto emergiu a Pedagogia libertadora? Qual a perspectiva (...) de educação defendida pela extrema direita e suas divergências históricas com a Pedagogia freiriana? Posto isto, realizamos uma pesquisa bibliográfica de abordagem dialética, como proposta por Sánchez Gamboa, ancorando-nos nos seguintes autores: Brandão Paludo, Prado, Freire, Marx, Gramsci, dentre outros. (shrink)

O presente texto visa analisar de maneira introdutória como se constrói no decurso do pensamento filosófico ocidental a relação de interdependência entre democracia e educação, os argumentos que lhe dão sustentação, bem como as possíveis controvérsias de significação nela existentes. Para esse fim, examinamos obras fundamentais da filosofia e em específico da filosofia da educação, buscando compreender asserções de autores que implícita ou explicitamente tratam dessa articulação.

La réflexion qui suit vise à examiner s’il existe des formes brésiliennes spécifiques de résistance au nihilisme européen. Pour répondre à cette question, il est nécessaire, premièrement, de reconquérir le sens de la notion philosophique de « nihilisme européen ».

We can easily verify that the development of the main theories of knowledge in the modern period of Western philosophy was closely related to the status quo of the development of mathematics and science in a general way. This characteristic is especially evident in the Kantian project of providing the philosophical basis to explain the possibility of (Euclidean) geometry and Newtonian physics, which Kant based on principles which he considered sine qua non conditions of human knowledge. However, the physics that (...) have developed in the first half of the 20th century presented situations in which physicists themselves had to question themselves about the epistemological problems involved in the description, interpretation, and ultimately, in the communication of observed phenomena, so that some concepts dear to traditional epistemology proved to be either invalid or inefficient to explain the possibility of objective knowledge in the face of this new set of phenomena. Therefore, we would like to briefly present how this contrast between traditional epistemology and quantum theory occurs, as well as how physicists Niels Bohr and Werner Heisenberg dealt with the new situation that was presented. (shrink)

No presente ensaio, discute-se o impacto do negacionismo na Educação escolar. Essa ideologia é baseada em falsos argumentos, cujos protagonistas negam evidências cientificamente comprovadas, como forma de fortalecer seus anseios pelo poder. A narrativa negacionista atinge pessoas que aceitam acriticamente e replicam esses argumentos como se fossem verdades absolutas. Um dos resultados da disseminação e aceitação dessa ideologia é o estímulo a ações extremistas, como vimos acontecer recentemente no Brasil. A negação fomenta intencionalmente os analfabetismos histórico, social e científico. As (...) pessoas "contaminadas" por essa ideologia extremista ignoram os argumentos lógicos e permanecem alheias ao avanço da Ciência. Acreditam em disparates, como o chamado “terraplanismo”; são disseminadores de informações falsas; promovem “cruzadas” antivacinação; defendem o uso de medicamentos ineficazes; e fomentam o descrédito da democracia. As ideias de Paulo Freire, que estimulam o cultivo do pensamento crítico e emancipatório, é o aporte teóricometodológico que norteia este ensaio, contextualizado na prática docente dos autores, que consideram a Educação como uma prática de liberdade. (shrink)

Ovídio, poeta latino do século I a.C, compôs as Heroides, obra em que heróis e heroínas das lendas escrevem a seus amados(as) ausentes. Todas as cartas apresentam profundo teor trágico, tanto na temática quanto nos aspectos trágicos marcantes. Analisamos a tragicidade na carta de Dejanira a Hércules, na qual a mulher do herói narra seu desespero ao receber a notícia da morte de Hércules, após vestir a túnica que ela havia enviado. Como base para a análise, serão usados (...) os conceitos aristotélicos de hamartia e hybris, bem como os sentimentos de terror e compaixão e também a concepção filosófica de trágico estabelecida pelos idealistas alemães do século XVIII. (shrink)

This paper aims at discussing the usage by Davidson as to events of Quine's criterion of ontological commitment. According to Davidson, we are ontologically committed to the existence of events as individuals as we employ literally terms such as ‘Caesar’s death’, for instance. Davidson extends this analysis to actions as well, since actions are human events. One of the consequences of this view is that psychology deals with individual events in a non-lawful way. An alternative view is here proposed, based (...) on a complementary criterion, namely ontological density, according to which from the point of view of a given theory, we can always distinguish between events (or phenomena) and individuals (entities) among the overall occurrences described by the theory. Some consequences of this alternative view of psychology as a science dealing lawfully with general human events are also explored here. (shrink)

This paper proposes an alternative view of the connection between knowledge and truth. Truth is traditionally seen as a semantic notion, i.e. a relation between what we say about the world and the world itself. Epistemologists and philosophers of science are therefore apt to resort to correspondence theories of truth in order to deal with the question whether our theories and beliefs are true. Correspondence theories try to define truth, but, in order to do so, they must choose a truth (...) bearer, i.e. something capable of being true, for instance, propositions, sentences or statements. According to the analysis here proposed, none of these truth bearers can be defined without reference to the others. The pragmatic, alternative view here presented, in its turn, is unaffected by this kind of conceptual difficulty. According to this view, one must focus on the use of truth terms – such as ‘true’, ‘false’, ‘correct’, ‘appropriate’, etc. – and the methodological role such terms play in the investigative practices and research programs to be found both in the sciences and in other, everyday investigative activities, such as forensic and journalistic investigations. (shrink)

This article proposes an exposition and analysis of perceptions intrinsic to rituals carried out with the use of the jurema plant, especially when mixed with Syrian rue (juremahuasca) in contexts of contemporary esoteric re-actualizations in Brazil. These rituals are conducted by people who look at jurema as a spiritual path, once acquainted with its psychedelic properties. We highlight the mystical attributes and the cultural bricolage elaborated by these individuals, who conduct ceremonies in ritual spaces in which participants experience altered states (...) of perception and consciousness. Considered as an entheogen, jurema leads to states of mystical transformation in people. Such personal changes are often considered by users as the rhetoric of healing. Life stories and ethnographic contexts form the background of the article, which seeks to advance understandings about jurema based on speculations around the intertwining of the themes of consciousness, mysticism, and healing. (shrink)

Nesse artigo, procuramos mostrar que duas alternativas célebres aos fundacionalismos tradicionais - o falibilismo de Popper e o naturalismo de Quine - apresentam consequências indesejáveis a respeito do problema da base empírica. Propomos uma terceira alternativa - o ceticismo alético -, que pode lidar adequadamente com esse problema. Além disso, compreendemos o ceticismo alético como uma doutrina diferente do ceticismo pirrônico tradicional (e outras versões antigas e modernas de ceticismo), no que diz respeito ao objetivo da investigação, embora ele coincida (...) com o pirronismo em seu método. O ceticismo alético evita não apenas o naturalismo, mas também o falibilismo. (shrink)

Este artigo investiga a concepção de Thomas Kuhn acerca do desenvolvimento científico como base para uma teoria social da investigação. Nesse sentido, o autor procura explicar o papel desempenhado pelas comunidades científicas na constituição da prática científica. Esta consiste na investigação dirigida por padrões compartilhados, tais como valores e modelos, que também dirigem e dão forma ao comportamento individual dos cientistas. Desse ponto de vista, o comportamento na investigação das comunidades científicas precede e é mais fundamental do que o dos (...) indivíduos. Na verdade, a investigação de um cientista em particular dá-se sempre, e apenas, dentro do quadro intelectual fornecido pela comunidade científica. /// This paper aims to depict Thomas Kuhn's view of scientific development as the basis for a social theory of scientific investigation. The role played by scientific communities in the constitution of scientific practice is accounted for. Scientific practice consists in inquiry governed by shared standards such as values and models, which also govern and shape the behavior of individual scientists. From this point of view the investigative behavior of scientific communities is prior to and more fundamental than individual scientific behavior. An individual scientists inquiry takes place only within the intellectual setting provided by the scientific community. (shrink)